Kesikli olayların benzetimleri üzerinde izleme ve kontrol


Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Türkiye

Tezin Onay Tarihi: 2003

Tezin Dili: İngilizce

Öğrenci: Buket Ulu

Eş Danışman: MEHMET HALİT S. OĞUZTÜZÜN, Mehmet Oğuztüzün

Özet:

Kesikli olayların benzetimleri, yaygın olarak kullanılan bir karar destekleme tekniğidir. Kritik problemler için bu benzetimlerden elde edilen sonuçların güvenilirliği önem taşır. Bu nedenle, sistem benzetimlerinin doğrulanması ve geçerlenmesi üzerinde birçok araştırma yapılmaktadır. Bu tezde, çok iyi bilinen bir dinamik doğrulama tekniği olan, önesürümlerin denetimi yöntemi, benzetimlerin geçerliliğini kanıtlama yönünde uygulanmaktadır. Amacımız modelin kendisinden ziyade o modelin koşturmalarını geçerlemektir. vi Bir vaka çalışması olarak, Ortadoğu Teknik Üniversitesi Makine Mühendisliği Bölümü Bilgisayar Tümleşik Üretim Laboratuvarı'nın bir benzetimi yapılmıştır. Bu laboratuvarda biri robot olmak üzere iki tane taşıyıcı, parçaları işleyen iki makine ve bir tane de kalite kontrol bileşeni bulunmaktadır. Bu benzetimin izlenmesi ve kontrolü, Pensilvanya Üniversitesi’nde bu konuda geliştirilmiş bir ön ürünle yapılmaktadır. Bu çalışmada düşük-seviye olarak adlandırılan kod detayları, yüksek-seviye olarak adlandırılan sistem gereksinimlerinden ayrılmıştır. Bu da izlenme ve kontrolün soyut bir seviyede yapılmasını sağlamaktadır.