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
- 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
- Öz bilgi destekli derin öğrenme yaklaşımları ile hsg gürültü giderme
Self-ınformation empowered deep learning approaches for hsı denoising
ORHAN TORUN
Doktora
Türkçe
2024
Elektrik ve Elektronik MühendisliğiHacettepe ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
DOÇ. DR. SENİHA ESEN YÜKSEL ERDEM
PROF. DR. MEHMET ERKUT ERDEM
- Spor filmlerinin dil ve içerik açısından incelenmesi
Analysis of languages and contents of sport movies
DUYGU YARALI
Yüksek Lisans
Türkçe
2015
SporMuğla Sıtkı Koçman ÜniversitesiBeden Eğitimi ve Spor Ana Bilim Dalı
YRD. DOÇ. DR. KUBİLAY ÖCAL
- İlkokul yönetici ve öğretmenlerinin okul güvenliğine ilişkin görüşleri
The views of primary school principals and teachers regarding to school safety
LEVENT GÜLBAZ
Yüksek Lisans
Türkçe
2016
Eğitim ve ÖğretimAnkara ÜniversitesiEğitim Yönetimi ve Politikası Ana Bilim Dalı
PROF. DR. İNAYET AYDIN