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: 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
  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ı: 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

  1. Tez No

    14110

    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

    Türkçe

    1989

    Endüstri ve Endüstri Mühendisliğiİstanbul Teknik Üniversitesi

    PROF.DR. GÖNÜL YENERSOY

  2. Tez No

    945928

    Data-driven process mining for production line optimization using IIOT and big data technologies

    IIOT ve büyük veri teknolojileri kullanılarak veri odaklı süreç madenciliği ile üretim hattı uygulaması

    BEYZA YAPAKÇI

    Yüksek Lisans

    İngilizce

    İngilizce

    2025

    Endüstri ve Endüstri Mühendisliğiİstanbul Teknik Üniversitesi

    Veri Mühendisliği ve İş Analitiği Ana Bilim Dalı (disiplinlerarası)

    PROF. DR. ALP ÜSTÜNDAĞ

  3. Tez No

    139400

    How cryptographic implementations affect mobile agent systems

    Şifreleme gerçekleştirmelerinin gezgin aracı internet sistemlerini nasıl etkilediği

    İSMAİL ULUKUŞ

    Yüksek Lisans

    İngilizce

    İngilizce

    2003

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi Üniversitesi

    Sistem ve Kontrol Mühendisliği Ana Bilim Dalı

    PROF. DR. EMİN ANARIM

  4. Tez No

    270175

    ?ISO 22000 gıda güvenliği yönetim sistemleri? uygulanan bir gıda işletmesinde pirinç unu üretim prosesindeki mikrobiyolojik risklerin izlenmesi ve değerlendirilmesi

    Monitoring and evaluation of microbiological risks at rice flour production process in a food plant certificated with ?ISO 22000 food safety management systems?

    DİLEK ŞAHİN

    Yüksek Lisans

    Türkçe

    Türkçe

    2010

    Gıda MühendisliğiHacettepe Üniversitesi

    Gıda Mühendisliği Ana Bilim Dalı

    PROF. DR. AYHAN TEMİZ

  5. Tez No

    496386

    Gemilerde enerji verimliliğinin izlenmesi ve raporlanması

    Monitoring and reporting of energy efficiency in ships

    EMRE HÜSMEN

    Yüksek Lisans

    Türkçe

    Türkçe

    2017

    Enerjiİstanbul Teknik Üniversitesi

    Gemi İnşaatı ve Gemi Makineleri Mühendisliği Ana Bilim Dalı

    PROF. DR. OĞUZ SALİM SÖĞÜT

Geri Dön