Jakub Raček

Bakalářská práce

Optimalizácia Rektangulárnej Abstrakcie v Nástroji Pithya

Optimising Rectangular Abstraction in Pithya
Abstract:
The goal of this thesis is to optimise the Pithya tool, specifically the generation of rectangular abstraction (transition system) based on input biological model expressed by differential equations. The first optimisation removes redundant evaluation of vertices in models with sparse dependencies. To decide if a transition exists, it is necessary to compute derivation values in every vertex of a given …více
Abstract:
Cieľ práce je optimalizovať nástroj Pithya, konkrétne tvorbu rektangulárnej abstrakcie (prechodového systému) na základe vstupného biologického modelu, zadaného pomocou diferenciálnych rovníc. Prvou optimalizáciou je odstránenie redundantného vyhodnocovania vrcholov v modeloch s riedkými závislosťami. Pre vyhodnotenie prechodu je nutné vypočítať derivácie vo všetkých vrcholoch daného facetu v rámci …více
 
 
Jazyk práce: slovenština
Datum vytvoření / odevzdání či podání práce: 27. 5. 2019

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

  • Obhajoba proběhla 28. 6. 2019
  • Vedoucí: Mgr. Samuel Pastva
  • Oponent: RNDr. Martin Demko

Citační záznam

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