Geri Dön

Automatic Selection of Statistical Model Checkers for Analysis of Biological Models

Başlık çevirisi mevcut değil.

  1. Tez No: 622958
  2. Yazar: MEHMET EMİN BAKIR
  3. Danışmanlar: PROF. DR. DANIŞMAN YOK
  4. Tez Türü: Doktora
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2017
  8. Dil: İngilizce
  9. Üniversite: The University of Sheffield
  10. Enstitü: Yurtdışı Enstitü
  11. Ana Bilim Dalı: Belirtilmemiş.
  12. Bilim Dalı: Belirtilmemiş.
  13. 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

  1. 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

    Türkçe

    2016

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    PROF. DR. EŞREF ADALI

  2. Ö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

    Türkçe

    2017

    Jeodezi ve Fotogrametriİstanbul Teknik Üniversitesi

    Geomatik Mühendisliği Ana Bilim Dalı

    PROF. DR. CENGİZHAN İPBÜKER

    PROF. DR. TAŞKIN KAVZOĞLU

  3. Tekstil endüstrisinde makina girişimi

    Machine interference

    OYA BALCI

    Yüksek Lisans

    Türkçe

    Türkçe

    1990

    Endüstri ve Endüstri Mühendisliğiİstanbul Teknik Üniversitesi

    PROF.DR. ATAÇ SOYSAL

  4. 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

    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

  5. 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

    Türkçe

    1997

    Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesi

    Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı

    DOÇ. DR. ÜMİT AYGÖLÜ