Geri Dön

Blind spots of qualitative simulators

Nitel benzetimcilerin kör noktaları

PDF İndir

  1. Tez No: 179335
  2. Yazar: NURİ TAŞDEMİR
  3. Danışmanlar: PROF. AHMET CELAL CEM SAY
  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: Belirtilmemiş.
  7. Yıl: 2007
  8. Dil: İngilizce
  9. Üniversite: Boğaziçi Ü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ı: 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

  1. Tez No

    474941

    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

    İngilizce

    2017

    Eğitim ve ÖğretimOrta Doğu Teknik Üniversitesi

    Bilgisayar ve Öğretim Teknolojileri Eğitimi Ana Bilim Dalı

    YRD. DOÇ. DR. GÜLFİDAN CAN

  2. Tez No

    358671

    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

    Türkçe

    2014

    Kamu YönetimiKara Harp Okulu Komutanlığı

    Güvenlik Bilimleri Ana Bilim Dalı

    YRD. DOÇ. DR. AYÇA GELGEÇ BAKACAK

  3. Tez No

    892819

    Ö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

    Türkçe

    2024

    Elektrik ve Elektronik MühendisliğiHacettepe Üniversitesi

    Elektrik-Elektronik Mühendisliği Ana Bilim Dalı

    DOÇ. DR. SENİHA ESEN YÜKSEL ERDEM

    PROF. DR. MEHMET ERKUT ERDEM

  4. Tez No

    419977

    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

    Türkçe

    2015

    SporMuğla Sıtkı Koçman Üniversitesi

    Beden Eğitimi ve Spor Ana Bilim Dalı

    YRD. DOÇ. DR. KUBİLAY ÖCAL

  5. Tez No

    445809

    İ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

    Türkçe

    2016

    Eğitim ve ÖğretimAnkara Üniversitesi

    Eğitim Yönetimi ve Politikası Ana Bilim Dalı

    PROF. DR. İNAYET AYDIN

Geri Dön