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: Benzetim, Kalitatif benzetim, Yapay zeka, Simulation, Qualitative simulation, Artificial intelligence
- 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ı: Belirtilmemiş.
Ö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
- Aylık ortalama güneş ışınımı hesaplamalarında ardışık yerine koyma yöntemi
Başlık çevirisi yok
AHMET DURAN ŞAHİN
- Cumhuriyet Dönemi`nde Türkiye Radyo Televizyon Kurumu ve Türk halk müziği ilişkileri
Başlık çevirisi yok
CAN ETİLİ ÖKTEN
- Industrial restructuring, flexible production and the changing role of small manufacturing firms, a case study in Eskişehir
Sanayide yeniden yapılanma, esnek üretim ve küçük imalat firmalarının değişen rollerin Eskişehir'de bir alan çalışması
BAŞAK SERTER
Yüksek Lisans
İngilizce
1996
Şehircilik ve Bölge PlanlamaOrta Doğu Teknik ÜniversitesiBölge Planlama Ana Bilim Dalı
- Gelişmekte olan ülkelerde teknoloji politikalarının belirlenmesi ve Türkiye'deki durum
Technology policies in developing countries and the situatiın in Turkey
MEHPARE BARIŞ
Yüksek Lisans
Türkçe
1997
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiMühendislik Yönetimi Ana Bilim Dalı
DOÇ. DR. TUFAN V. KOÇ