Bakalářská práce

Optimalizace nástroje Parasim pro analýzu robustnosti dynamických systémů

Optimisation of the Parasim tool for robustness analysis of dynamical systems

Vojtěch Brůža, učo 433392
Anotace

Cíl práce je optimalizovat nástroj Parasim a nahradit původní modul pro numerické řešení diferenciálních rovnic novou vhodně zvolenou knihovnou. Na základě původní implementace nástroje Parasim byly stanoveny požadavky, podle kterých byly náležitě vybrány kandidátní knihovny. Výběr byl postupně zužován až byla vybrána jedna vyhovující knihovna. Tato knihovna je implementována do současné verze nástroje …více

Abstract

The goal of this work is to optimise the Parasim tool and replace the original module for solving ordinary differential equations with a new suitable library. Library requirements has been set based on the Parasim tool architecture. Given these requirements candidate libraries has been chosen. The selection has been narrowed to the point where only one appropriate library remained. This library is …více

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

Nástroj Parasim byl vyvinut za účelem pokročilé analýzy dynamiky spojitých systémů reprezentovaných formou obecných diferenciálních rovnic vzhledem k temporální specifikaci v logice STL (signální temporální logika). Klíčovým modulem nástroje, který současně determinuje efektivitu výpočtu, je modul pro numerické řešení diferenciálních rovnic. V současné době nástroj využívá externí volání aplikace Octave.

Cílem práce v teoretické části bude seznámit se s problematikou nástroje Parasim a souvisejícími algoritmy a pochopit způsob jejich implementace v aktuální verzi nástroje. Dále bude provedena rešerše v oblasti vhodných knihoven pro numerické řešení diferenciálních rovnic, ideálně implementovaných v jazyce Java. Na zvolených příkladech modelů budou kandidátní knihovny porovnány a na tomto základě bude vybrána nejvhodnější knihovna.

V praktické části bude upraven nástroj Parasim tak, aby vhodně využíval zvolenou knihovnu místo aplikace Octave. Výsledné řešení bude porovnáno a náležitě diskutováno vzhledem k předchozí implementaci.

Administrativní informace
Práce zkontrolována:
30. 6. 2017 17:44, doc. RNDr. David Šafránek, Ph.D., učo 3159
Plný text práce
467 KB / soubor PDF
Přílohy (1)
Jazyk práce
čeština čeština
Termín obhajoby
30. 6. 2017
Práce byla úspěšně obhájena

Vedoucí

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

Oponent

RNDr. Samuel Pastva, Ph.D., učo 410286
KTP FI MU

Literatura

  • BRIM, Luboš; Tomáš VEJPUSTEK; David ŠAFRÁNEK a Jana FABRIKOVÁ. Robustness Analysis for Value-Freezing Signal Temporal Logic. Online. In Proceedings HSB 2013. Neuveden: Neuveden, 2013, s. 20-36. ISSN 2075-2180. Dostupné z: https://doi.org/10.4204/EPTCS.125.
  • BRIM, Luboš; Petr DLUHOŠ; David ŠAFRÁNEK a Tomáš VEJPUSTEK. STL*: Extending signal temporal logic with signal-value freezing operator. Information and computation. Academic Press, 2014, roč. 236, January, s. 52-67. ISSN 0890-5401. Dostupné z: https://doi.org/10.1016/j.ic.2014.01.012.
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.