Akademik Veri Yönetim Sistemi
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 Oğuztüzün, MEHMET HALİT S. 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.