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ı: Belirtilmemiş.
Ö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
- Egzersizin kantitatif ultrason parametrelerine etkisi
The Effect of exercises on quantitative ultrasound parameters
DEVRİM TARAKÇI
Yüksek Lisans
Türkçe
2002
Fiziksel Tıp ve Rehabilitasyonİstanbul ÜniversitesiFizik Tedavi ve Rehabilitasyon Ana Bilim Dalı
PROF.DR. AYDAN ORAL
- Encountering with the real: A critical reading of the works of Lacan, Laclau, Zizek and Badiou
Gerçekle karşılaşma: Lacan, Laclau, Zizek ve Badiou'nun eserlerinin eleştirel bir okuması
SAVAŞ YAZICI
Doktora
İngilizce
2007
FelsefeOrta Doğu Teknik ÜniversitesiFelsefe Ana Bilim Dalı
DOÇ.DR. DAVİD GRÜNBERG
- 13-15 yaş grubu yapan görme engellilerin statik ve dinamik denge etkinliklerinin karşılaştırılması
Comparison of static and dynamic balance activities in blinds dealing with sports at age group of 13-15
MUSTAFA KAYA
Yüksek Lisans
Türkçe
2003
SporGazi ÜniversitesiBeden Eğitimi ve Spor Ana Bilim Dalı
YRD. DOÇ. DR. ATİLLA PULUR
- Al-Si 6,5-Mg 3,5 alüminyum alaşımının özelliklerinin dövme döküm yöntemi ile geliştirilmesi
Başlık çevirisi yok
MAZHAR ÜMİT BÜYÜKFIRAT
- Osmanlı belgeleri ışığında Dr. Esat Bey'in biyografisi ve görme engellilere yönelik eğitim çalışmaları
In the light of Ottoman documents, the biography of Mr. Dr. Esat and the studies of educational activities towards the blind people
HASAN BASRİ SAYI
Yüksek Lisans
Türkçe
2008
Eğitim ve ÖğretimSelçuk Üniversitesiİlköğretim Bölümü
PROF. DR. YUSUF KÜÇÜKDAĞ