Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů – Mgr. Ing. Bc. Petr Horáček
Mgr. Ing. Bc. Petr Horáček
Diplomová práce
Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů
Web module for monitoring and robustness analysis of temporal properties of biological systems
Anotace:
Tato diplomová práce se zabývá návrhem a implementací webového modulu pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů na portálu www.e-cyanobacterium.org. Tento modul výpočtem lokální robusnosti umožňuje nejen kvalitativní rozhodnutí o platnosti STL formule zachycující nějakou vlastnost modelovaného systému, ale poskytuje také kvantitativní informaci o tom, s jakou …víceAbstract:
This thesis deals with design and implementation of web module for monitoring and robustness analysis of temporal properties of biological systems on www.e-cyanobacterium.org. This module, using local robustness, allows not only deciding about validity of STL formula, but also provides quantitative information about how much is the formula satisfied. The thesis describes in detail the functions of …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 30. 5. 2016
Identifikátor:
https://is.muni.cz/th/p60he/
Obhajoba závěrečné práce
- Obhajoba proběhla 1. 7. 2016
- Vedoucí: RNDr. David Šafránek, Ph.D.
- Oponent: Mgr. Matej Klement
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 informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Aplikovaná informatika / Bioinformatika