Zpět na vyhledávání

Mgr. Samuel Pastva

Bachelor's thesis

Škálovatelná syntéza parametrů pro hypotézy formulované v logice CTL

Scalable Parameter Synthesis from CTL Hypotheses
Anotácia:
Hlavným cieľom tejto práce je navrhnúť a implementovať paralelný algoritmus pre výpočet problému syntézy parametrov pre biochemické systémy a CTL hypotézy operujúci v distribuovanej pamäti. Výsledný algoritmus je založený na farebnom CTL overovaní modelov. Aplikovateľnosť a škálovateľnosť algoritmu sú demonštrované na biochemických modeloch založených na obyčajných diferenciálnych rovniciach. Taktiež …viac
Abstract:
The main goal of this thesis is to design and implement a parallel and distributed memory algorithm for computing the parameter synthesis problem for biochemical systems and CTL hypotheses. The resulting algorithm is based on coloured CTL model checking. The applicability and scalability of the algorithm is successfully demonstrated on biochemical models based on ordinary differential equations. We …viac
 

Keywords

Coloured Model Checking CTL Distributed Memory Parameter Synthesis Problem Systems Biology ODE Model Thomas Network Farebné Overovanie Modelov Distribuovaná Pamäť Problém Syntézy Parametrov Systémová Biológia
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 18. 5. 2015
Identifikátor: https://is.muni.cz/th/eby8h/

Obhajoba závěrečné práce

  • Obhajoba proběhla 17. 6. 2015
  • Vedúci: prof. RNDr. Luboš Brim, CSc.
  • Oponent: RNDr. David Šafránek, Ph.D.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Informatics / Parallel and Distributed Systems

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.
Všechny práce