Blind spots of qualitative simulators
Nitel benzetimcilerin kör noktaları
- Tez No: 179335
- Danışmanlar: PROF. AHMET CELAL CEM SAY
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2007
- Dil: İngilizce
- Üniversite: Boğaziçi Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 45
Özet
Nitel benzetimciler, dinamik sistemlerin olası davranışlarının analizi konusunda önemli araçlardır. Nitel benzetim yönteminin bazı kuramsal sınırları mevcuttur. Bir nitel benzetimci, kimi girdiler için ya yanlış tahminler vermekte ya da bazı olası davranışları göstermemektedir. Gösterilmiştir ki, mükemmel bir nitel benzetimci yapılamaz. Çünkü bazı yanlış tahminlerin yanlış olduğu ispatlanamamaktadır. Bu tez, yanlışlığı ispatlanabilen bütün yanlış tahminleri fark edip eleyebilen bir nitel benzetimcinin yapılabilirliğini sorgulamaktadır. Olumsuz bir sonuca ulaşılmıştır. Kimi makul özellikleri taşıyan herhangi bir nitel benzetimci için bu nitel benzetimci tarafından elenemeyen yanlışlığı ispatlanabilir bir yanlış tahmine neden olan ve sistematik bir şekilde elde edilebilen bir girdi mevcuttur. Bunun yanı sıra, gösterilmiştir ki yanlışlığının ispatlanması üstel zaman gerektiren yanlış tahminler de bulunmaktadır.
Özet (Çeviri)
Qualitative simulators are important tools for analyzing the possible behaviors of a dynamical system. The technique of qualitative simulation has some theoretical limitations. For some input system models, a qualitative simulator either predicts spurious (impossible) behaviors or does not predict some possible behaviors. It has been shown that a ?perfect? qualitative simulator cannot be built, because there are some spurious behaviors which cannot be proven to be spurious. This thesis questions the possibility of building a qualitative simulator which can detect and eliminate all spurious behaviors which can be proven to be so. We find the answer to be negative. For each qualitative simulator which possesses some reasonable properties, there is an efficiently constructible, provably inconsistent input which cannot be rejected by the simulator in question. In addition, it is shown that there exist spurious behaviors which require exponential time to detect.
Benzer Tezler
- Türk boğazları gemi trafik yönetimi etkinliğinin sistem dinamikleri ile modellenmesi: Sürdürülebilir deniz ulaştırma yatırımları yaklaşımı
Modeling effectiveness of vessel traffic management in the Turkish straits with system dynamics: Approaching of sustainable maritime transportation investments
BERAT DAĞKIRAN
Doktora
Türkçe
2024
Denizcilikİstanbul Teknik ÜniversitesiDeniz Ulaştırma Mühendisliği Ana Bilim Dalı
DOÇ. DR. PELİN BOLAT
- A critical analysis of research trends in educational technology theses and dissertations in Turkey
Türkiye'de eğitim teknolojisi alanında yapılmış tezlerin araştırma eğilimleri yönüyle eleştirel analizi
AYŞE GÜL KARA AYDEMİR
Doktora
İngilizce
2017
Eğitim ve ÖğretimOrta Doğu Teknik ÜniversitesiBilgisayar ve Öğretim Teknolojileri Eğitimi Ana Bilim Dalı
YRD. DOÇ. DR. GÜLFİDAN CAN
- Sosyal kontrolün yeni biçimi olarak özel güvenlik birimleri: Site yerleşimlerinde yaşayanlar üzerinde karşılaştırmalı bir analiz, Ankara örneği
Private security units as a new type of social control: Comparative analyze on gated-community residents, Ankara sample
MUSTAFA DEYAN
Yüksek Lisans
Türkçe
2014
Kamu YönetimiKara Harp Okulu KomutanlığıGüvenlik Bilimleri Ana Bilim Dalı
YRD. DOÇ. DR. AYÇA GELGEÇ BAKACAK
- Examining the factors that affect the selection of health tourism destinations: A case from the perspectives of practitioners in Türkiye
Sağlık turizmi destinasyonlarının seçimini etkileyen faktörlerin incelenmesi: Türkiye'deki uygulayıcıların bakış açısından bir vaka analizi
RANEEN KHALEEL
- Değişim sürecinde taziye geleneği ve yemekli mevlit törenlerinin sosyolojik analizi
Sociological analysis of condolence tradition and meal with mawlid ceremonies in the process of change
ABDULKERİM YALÇIN
Doktora
Türkçe
2025
DinÇukurova ÜniversitesiFelsefe ve Din Bilimleri Ana Bilim Dalı
PROF. DR. MEHMET ALİ KİRMAN