Exploiting relative durations in qualitative simulation
Nitel benzetimde göreceli sürelerin incelenmesi
- Tez No: 95447
- Danışmanlar: DOÇ. DR. A. C. 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: 2000
- Dil: İngilizce
- Üniversite: Boğaziçi Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Sistem ve Kontrol Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 186
Özet
VI ÖZET nitel benzetimde göreceli surelerin incelenmesi Bu tezde, nitel benzetim algoritmalarının, girdilerini daha iyi kullanarak, çıktılanndaki davranış tahminlerindeki zaman aralıklarının göreceli uzunlukları hakkında önemli miktarda çıkarımda bulunabilecekleri gösterilmektedir. Simetri, dönemlilik ve iki zaman aralığındaki olayların karşılaştırılması gibi kavramları kullanan basit teknikler, uslamlayıcının göreceli süreler hakkında çıkarsanmış bilgileri gösteren bir liste oluşturabilmesini sağlar. Bu bilgiler, önerilen davranışlar arasından çelişkili süre verilerine yolaçan sahte davranışları eleyen yeni süzgeçler tarafından kullanılır. Süzgeçler tarafından elenmeyen davranışlara, çıkarılan göreceli süre bilgilerinin yanı sıra, sistem değişkenlerinin niteliksel özelliklerini betimleyen daha zengin ifadeler iliştirilir. Önerilen bazı süzgeçlerin, aynı bilgiyi kullanan olası süzgeçler arasında en iyileri olduğu kanıtlanmaktadır. Bu süzgeçleri geliştirmek ve doğruluklarını kanıtlamak için, literatürde mevcut olan Sİ ve SRİ işaret cebirlerini genişleten yeni bir işaret cebiri olan SRİ* ve bahsedilen süzgeçlerde göreceli süre gerçeklerinin çıkarılmasının yanı sıra, bir karşılaştırmalı çözümleme yöntemi olan Nitel Fark Çözümlemesi 'nin çözemediği problemleri çözmekte de kullanılabilen, SRİ* üzerine kurulu yeni bir karşılaştırmalı çözümleme yöntemi olan Karşılaştırma Hesabı önerilmektedir.
Özet (Çeviri)
ABSTRACT EXPLOITING RELATIVE DURATIONS IN QUALITATIVE SIMULATION We show that qualitative simulation algorithms can make better use of their input to deduce significant amounts of information about the relative lengths of the time intervals in their output behavior predictions. Simple techniques employing concepts like symmetry, periodicity, and comparison of the circumstances in two time intervals can enable the reasoner to build a list of facts representing the deduced information about relative durations. These facts are used by new filters, which eliminate proposed spurious behaviors leading to inconsistent duration data. Surviving behaviors are annotated with richer descriptions of the qualitative properties of system variables, in addition to the extracted relative duration information. For some of the filters, we prove that they are the best ones among the possible filters that use the same information. For the purpose of developing these filters and proving that they are sound, we propose a new sign algebra SRI* by extending the existing sign algebras SI and SRI and a new Comparative Analysis Method, Comparison Calculus, which can be used not only to design filters that eliminate spurious behaviors, but also to solve Comparison Analysis Problems. tc tûmmö?mfM sasmss
Benzer Tezler
- Exploring the cognitive processes of map users employing eye tracking and EEG
Göz izleme ve EEG yöntemleri kullanılarak harita kullanıcılarının bilişsel süreçlerinin araştırılması
MERVE KESKİN
Doktora
İngilizce
2020
Coğrafyaİstanbul Teknik ÜniversitesiGeomatik Mühendisliği Ana Bilim Dalı
DOÇ. DR. AHMET ÖZGÜR DOĞRU
PROF. DR. PHILIPPE DE MAEYER
- Sosyal ilişkilerin Türk seçmeninin siyasal davranışına etkisi
The effect of social relations on the political behaviours of Turkish voters
ADEM DOĞAN
Doktora
Türkçe
2014
Siyasal BilimlerFırat ÜniversitesiSosyoloji Ana Bilim Dalı
PROF. DR. Y. CEMALETTİN ÇOPUROĞLU
- Türkiye'de üretilen granitlerin gama ve nötronları zayıflatma özelliklerinin incelenmesi
Investigation of gamma and neutron attenuation properties for granites produced in Turkey
OSMAN ÖZYURT
Yüksek Lisans
Türkçe
2015
Enerjiİstanbul Teknik ÜniversitesiNükleer Araştırmalar Ana Bilim Dalı
PROF. DR. NESRİN ALTINSOY