Automatic Selection of Statistical Model Checkers for Analysis of Biological Models
Başlık çevirisi mevcut değil.
- Tez No: 622958
- Danışmanlar: PROF. DR. DANIŞMAN YOK
- Tez Türü: Doktora
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2017
- Dil: İngilizce
- Üniversite: The University of Sheffield
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Belirtilmemiş.
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 216
Özet
Statistical Model Checking (SMC) blends the speed of simulation with the rigorous analyt- ical capabilities of model checking, and its success has prompted researchers to implement a number of SMC tools whose availability provides exibility and ne-tuned control over model analysis. However, each tool has its own practical limitations, and di erent tools have di erent requirements and performance characteristics. The performance of di erent tools may also depend on the speci c features of the input model or the type of query to be veri ed. Consequently, choosing the most suitable tool for verifying any given model requires a signi cant degree of experience, and in most cases it is challenging to predict the right one. The aim of our research has been to simplify the model checking process for researchers in biological systems modelling by simplifying and rationalising the model selection process. This has been achieved through delivery of the various key contributions listed below (p. vii; see also Sect. 1.3 for a more detailed discussion).
Özet (Çeviri)
Özet çevirisi mevcut değil.
Benzer Tezler
- Türkçe tümcelerin yüklem odaklı anlam ve dilbilgisi çözümlemesi
Grammatical and semantic analysis of turkish sentence based on predicate
İLKNUR DÖNMEZ
Doktora
Türkçe
2016
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. EŞREF ADALI
- Özellik seçimi algoritmaları kullanılarak heyelanda etkili faktörlerin belirlenmesi ve heyelan duyarlılık haritalarının üretilmesi
Determination of effective factors using feature selection algorithms and production of landslide susceptibility maps
EMREHAN KUTLUĞ ŞAHİN
Doktora
Türkçe
2017
Jeodezi ve Fotogrametriİstanbul Teknik ÜniversitesiGeomatik Mühendisliği Ana Bilim Dalı
PROF. DR. CENGİZHAN İPBÜKER
PROF. DR. TAŞKIN KAVZOĞLU
- Tekstil endüstrisinde makina girişimi
Machine interference
OYA BALCI
Yüksek Lisans
Türkçe
1990
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. ATAÇ SOYSAL
- Demiryolu hemzemin geçitlerinde emniyet değerlendirmesi: Türkiye için örnek bir model oluşturma
Safety assessment at railway level crossings: Developing a sample model for Turkey
GÖKHAN BAYAZIT
Yüksek Lisans
Türkçe
2019
Ulaşımİstanbul Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
ÖĞR. GÖR. ADEM FAİK İYİNAM
- Zamanla değişen kanalların kestirimi ve uyarlamalı kodlama
The Estimation of time varying channels and adaptive coding
CÜNEYT DELİKTAŞ
Yüksek Lisans
Türkçe
1997
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
DOÇ. DR. ÜMİT AYGÖLÜ