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
- 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
- Rethinking regional security complex theory in light of the emergence of the Eastern Mediterranean Complex
Bölgesel güvenlik kompleksi teorisini Doğu Akdeniz Kompleksinin ortaya çıkışı ışığında yeniden düşünmek
EMANİ ASENWAR HACIOĞLU
Doktora
İngilizce
2026
Uluslararası İlişkilerİstanbul Sabahattin Zaim ÜniversitesiSiyaset Bilimi ve Uluslararası İlişkiler Ana Bilim Dalı
DOÇ. DR. OSAMA AMOUR
- 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
- Profesyonellerin özel gereksinimli çocuklara yönelik şiddete ilişkin görüşleri ve deneyimleri: Nitel bir çalışma
Professionals' views and experiences regarding violence towards children with special needs: A qualitative study
ARZU TEKELİOĞLU
Yüksek Lisans
Türkçe
2025
Sosyal HizmetBurdur Mehmet Akif Ersoy ÜniversitesiAile Çalışmaları Ana Bilim Dalı
DOÇ. DR. NEVİN USLU
- 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
SosyolojiÇukurova ÜniversitesiFelsefe ve Din Bilimleri Ana Bilim Dalı
PROF. DR. MEHMET ALİ KİRMAN