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

Mgr. Ing. Bc. Petr Horáček, učo 370772
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íce

Abstract

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

Klíčová slova
systém ODE modelování model checking robustnost STL formule
Zadání práce

Cílem práce je seznámit se s algoritmy pro monitoring a výpočet robustnosti dané vlastnosti signální temporální logiky (STL) na numerické simulaci spojitého modelu biologického systému v kontextu využití na online platformě www.e-cyanobacterium.org, zvolit vhodné prostředí k implementaci a začlenit technologii monitoringu do této platformy.

Jelikož je tato práce unikátní (dosud technologie monitoringu STL nebyla realizována jako online služba), je nezbytnou součástí této práce podrobný rozbor problému a návrh vhodného řešení se zaměřením na následující aspekty:

  • vhodné grafické uživatelské rozhraní pro vstup: zadávání temporálních vlastností biology
  • způsob vizualizace výsledků uživateli
  • hromadné zpracování pro množinu simulací získanou samplováním/skenováním parametrů ve zvoleném rozsahu (iniciální podmínky, modelové parametry)
  • návrh s ohledem na budoucí rozšíření o expresivnější logiku STL* a monitoring experimentů (časových řad)

Výstupem praktické části bude implementace navrhovaného řešení začleněná do testovací verze portálu www.e-cyanobacterium.org.

Administrativní informace
Práce zkontrolována:
30. 5. 2016 11:08, doc. RNDr. David Šafránek, Ph.D., učo 3159
Plný text práce
1,2 MB / soubor PDF
Přílohy (1)
Jazyk práce
čeština čeština
Termín obhajoby
1. 7. 2016
Práce byla úspěšně obhájena

Vedoucí

doc. RNDr. David Šafránek, Ph.D., učo 3159
KSUZD FI MU

Oponent

Mgr. Matej Klement
ext CERIT FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

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

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.