Diplomová práce
Získaná ocenění: Cena děkana FI za vynikající závěrečnou práci

Analýza robustnosti spojitých dynamických systémů v distribuovaném prostředí

Robustness analysis of continuous-time dynamical systems in distributed environment

Bc. Jan Papoušek, učo 325494
Anotace

Práce prezentuje algoritmus pro analýzu dynamických systémů zadaných pomocí soustavy obyčejných diferenciálních rovnic vzhledem k chování charakterizovanému vlastností temporální logiky signálů. Výsledkem analýzy je představa o tom, jakým způsobem ovlivňují změny modelu jeho chování. Popisovaná metoda se zakládá na již existujícím algoritmu a výpočtu lokální robustnosti. Algoritmus byl implementován …více

Abstract

The work presents an algorithm for the analysis of dynamic systems specified by ordinary differential equations. The system behavior is characterized by the formula of signal temporal logic. The result of the analysis is the idea of how the changes affect the model's behavior. The described method is based on an existing algorithm and calculation of local robustnes. The implementation of the algorithm …více

Klíčová slova
dynamický systém soustava diferenciálních rovnic STL monitoring analýza vlastnosti robustnost
Zadání práce

Cílem práce je v teoretické části nastudovat algoritmus pro analýzu robustnosti formulí logiky STL (Signal Temporal Logic) vzhledem k parametrickým perturbacím spojitých dynamických systémů. Výstupem této části bude upravit tento algoritmus tak, aby byl jeho výpočet jednoduše distribuovatelný.

V praktické části student navrhne a implementuje command-line aplikaci pro analýzu robustnosti spojitých dynamických systémů formulovaných v jazyce SBML (Systems Biology Markup Language) vzhledem k formulím STL. Výpočetním jádrem bude distribuovaný algoritmus výpočtu robustnosti. Student navrhne a implementuje metriky umožňující kontrolovat vyváženost zátěže výpočetních uzlů (load balancing).

Distribuovaná implementace bude experimentálně evaluována na několika modelech různé složitosti. Experimenty budou provedeny na homogenním i heterogenním výpočetním klastru.

Preferovaným jazykem implementace je Java.

Administrativní informace
Práce zkontrolována:
28. 5. 2013 09:34, doc. RNDr. David Šafránek, Ph.D., učo 3159
Plný text práce
1,2 MB / soubor PDF
Jazyk práce
čeština čeština
Termín obhajoby
28. 6. 2013
Práce byla úspěšně obhájena

Vedoucí

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

Oponent

Mgr. Sven Dražan, učo 139891
abs FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
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.