Geri Dön

Monitoring and checking of discrete event simulations

Kesikli olayların benzetimleri üzerinde izleme ve kontrol

  1. Tez No: 143362
  2. Yazar: BUKET ULU
  3. Danışmanlar: YRD. DOÇ. DR. HALİT OĞUZTÜZÜN, DOÇ. DR. SİNAN KAYALIGİL
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2003
  8. Dil: İngilizce
  9. Üniversite: Orta Doğu Teknik Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 127

Ö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. Anahtar Kelimeler : kesikli olayların benzetimleri, doğrulama ve geçerleme, önesürüm denetimi, koşturma sırasında izleme, enstrümantasyon.

Ö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. Keywords : discrete event simulation, validation and verification, assertion checking, run-time monitoring, instrumentation.

Benzer Tezler

  1. Esnek üretim sistemleri için bir etkin üretim denetleme modeli

    An Effective supervisory control model for flexible manufacturing systems

    BAHAR KORKUSUZ

  2. Farklı sınıf seviyelerindeki öğrencilerin üst bilişsel farkındalıklarının çeşitli değişkenler açısından boylamsal incelenmesi

    Longitudinal analysis of students' metacognitive awareness of who are different class levels in terms different kinds of variables

    GÖKHAN ÇALGICI

    Yüksek Lisans

    Türkçe

    Türkçe

    2018

    Eğitim ve ÖğretimMarmara Üniversitesi

    Ortaöğretim Fen ve Matematik Alanları Eğitimi Ana Bilim Dalı

    PROF. DR. FERAL BEKİROĞLU

  3. 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

    Türkçe

    1994

    Tekstil ve Tekstil Mühendisliğiİstanbul Teknik Üniversitesi

    PROF.DR. MUSTAFA KÖSEOĞLU

  4. A policy analysis and recommendation for combating against the VAT fraud problem in Turkey

    Başlık çevirisi yok

    ERTAN GÜVENDİ

    Yüksek Lisans

    İngilizce

    İngilizce

    2019

    EkonomiDuke University

    PROF. GANGADHAR PRASAD SHUKLA

    DOÇ. DR. SANDEEP BHATTACHARYA