Tool support for qualitative reasoning in event-B
Başlık çevirisi mevcut değil.
- Tez No: 400168
- Danışmanlar: DR. THAİ SON HOANG, PROF. DR. DAVİD BASİN
- 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: 2010
- Dil: İngilizce
- Üniversite: Eidgenössische Technische Hochschule Zürich (ETH)
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Belirtilmemiş.
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 86
Özet
Özet yok.
Özet (Çeviri)
Event-B is a notation and method for modelling discrete transition systemsby renement. The standard reasoning in Event-B is based on nondeterminism,however some system behaviours are more appropriately modelledprobabilistically. Earlier work has extended Event-B with means forreasoning about qualitative probability. The extension provides proof obligationsto prove almost-certain termination of systems and does not complicatethe existing Event-B notation or method. However, this early work does notmention the preservation of qualitative reasoning in the case of renement.Within our work we discuss how qualitative probabilistic reasoning can bemaintained during renement and propose some restrictions and conditionsfor almost-certain termination on renement.We continue the above investigation with the integration of qualitative probabilisticreasoning into Event-B further towards the direction of having a toolsupport. We extend the Rodin Platform to support proving almost-certaintermination and using our new developed tool support we model some examplealgorithms terminating almost-certainly. In passing by, we formalise anon-trivial algorithm, namely Rabin's choice coordination. Our correctnessreasoning is a combination of termination proofs in terms of probabilisticconvergence and standard invariants techniques with renement. We usethe technique of splitting/merging the events to avoid having complicatedproofs.
Benzer Tezler
- Çok ölçütlü sorun çözümüne yönelik bir bütünleşik karar destek modeli
Integrated decision aid model for multiattribute problem solving
YUSUF İLKER TOPÇU
Doktora
Türkçe
2000
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiPROF. DR. FÜSUN ÜLENGİN
- Matematik okuryazarlığının problem çözmede sistematik çeşitleme ile desteklenmesinin öğretim deneyi yoluyla incelenmesi
Investigation of supporting mathematical literacy through systematic variation problems via teaching experiment
FATMA KIZILTOPRAK
Doktora
Türkçe
2017
Eğitim ve ÖğretimAnadolu ÜniversitesiMatematik Eğitimi Ana Bilim Dalı
DOÇ. DR. TANGÜL KABAEL
- Okul öncesi öğretmenlerinin sınıf içi soru sorma faaliyetlerine yönelik pedagojik inanç sistemleri ve kavramları
Pedagogical belief systems and concepts regarding the in-class questioning activities of preschool teachers
KÜBRA CERGİBOZAN
Yüksek Lisans
Türkçe
2022
Eğitim ve Öğretimİstanbul Aydın ÜniversitesiTemel Eğitim Ana Bilim Dalı
DOÇ. DR. YILMAZ SOYSAL
- İstanbul-Paşaköy-B.Bakkalköy arası enerji nakil hattı kamulaştırma bilgi sistemi pilot çalışması
Başlık çevirisi yok
NURAY BAŞ
Yüksek Lisans
Türkçe
1998
Jeodezi ve Fotogrametriİstanbul Teknik ÜniversitesiJeodezi ve Fotogrametri Mühendisliği Ana Bilim Dalı
DOÇ. DR. GONCA COŞKUN
- Simulator-based evaluation of human response in emergencies
Acil durumlarda ınsan faktörünün simülatör ortamında değerlendirilmesi
ESMA UFLAZ
Doktora
İngilizce
2023
Denizcilikİstanbul Teknik ÜniversitesiDeniz Ulaştırma Mühendisliği Ana Bilim Dalı
Prof. Dr. ÖZCAN ARSLAN