Monitoring and checking of discrete event simulations
Kesikli olayların benzetimleri üzerinde izleme ve kontrol
- Tez No: 143362
- Danışmanlar: YRD. DOÇ. DR. HALİT OĞUZTÜZÜN, DOÇ. DR. SİNAN KAYALIGİL
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: kesikli olayların benzetimleri, doğrulama ve geçerleme, önesürüm denetimi, koşturma sırasında izleme, enstrümantasyon, discrete event simulation, validation and verification, assertion checking, run-time monitoring, instrumentation
- Yıl: 2003
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Ö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. Bir vaka çalışması olarak, Ortadoğu Teknik Üniversitesi Makine Mühendisliği Bölümü Bilgisayar Tümleşik Üretim Laboratuvan'mn bir benzetimi yapılmıştır. Bu laboratuvarda biri robot olmak üzere iki tane taşıyıcı, parçalan işleyen iki makine ve bir tane de kalite kontrol bileşeni bulunmaktadır. Bu berızetimin 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.
Özet (Çeviri)
Discrete event simulation is a widely used technique for decision support. The results of the simulation must be reliable for critical decision making problems. Therefore, much research has concentrated on the verification and validation of simulations. In this thesis, we apply a well-known dynamic verification technique, a ssertion c necking m ethod, a s a v alidation t echnique. O ur a im i s t o validate the particular runs of the simulation model, rather than the model itself. As a case study, the operations of a manufacturing cell have been simulated. The cell, which is METUCIM Laboratory at the Mechanical Engineering Department of METU, has a robot and a conveyor to carry the materials, and two machines to manufacture t he i terns, and a q uality control t o m easure t he c orrectness o f t he manufactured items. This simulation is monitored and checked by using the Monitoring and Checking (MaC) tool, a prototype developed at the University of Pennsylvania. The separation of low-level implementation details (pertaining to the code) from the high-level requirement specifications (pertaining to the simuland) helps keep monitoring and checking the simulations at an abstract level.
Benzer Tezler
- Esnek üretim sistemleri için bir etkin üretim denetleme modeli
An Effective supervisory control model for flexible manufacturing systems
BAHAR KORKUSUZ
Doktora
Türkçe
1989
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. GÖNÜL YENERSOY
- Dövme ürünlerinin kalitesinin geliştirilmesinde olası hata türü ve etkisi analizi tekniğinin uygulanması
Başlık çevirisi yok
LEVENT KÖSEOĞLU
- TS-ISO 9OOO kalite güvence sisteminin pamuk ipliği tesisinde uygulanması
Application of ISO 9OOO quality assurance standart in a cotton-spinning mill
A.CELAL AŞKAROĞLU
Yüksek Lisans
Türkçe
1994
Tekstil ve Tekstil Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. MUSTAFA KÖSEOĞLU
- Modellenen ve simülasyonla ayarlanan prototip HVAC sistemine ait PI kontrolün bir binada denenerek karşılaştırılması
Checking PI controller of a developed, tested and tuned prototyp HVAC control system in an office building
M. ONUR KARAHAN
- Turizmin çevresel etkilerinin değerlendirilmesi ve çevre duyarlı sürdürülebilir turizm modeli
Environmental impact assesment of tourism and environment sensitive sustainable tourism model
FUAT GÜNDÜZ