|
Modelování a analýza energeticky úsporných budov
Devečka, Matej ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Práca sa zaoberá analýzou prostredia, návrhom modelu energeticky úspornej budovy, jeho implementáciou a testovaním. Analyzuje jednotlivé faktory, ktoré majú vplyv na energetickú náročnosť budov. Predstavuje návrh modelu, ktorý umožňuje sledovanie spotreby energie v budove a simuláciu tepelných javov. Návrh modelu je implementovaný v nástroji UPPAAL SMC, za pomoci siete stochastických časovaných automatov. V poslednej časti práca obsahuje vyhodnotenie jednotlivých testov a ich porovnanie s predpokladmi.
|
|
Hledání řídicích strategií pomocí UPPAAL STRATEGO
Hruška, Filip ; Hrubý, Martin (oponent) ; Strnadel, Josef (vedoucí práce)
Tato práce se zabývá hledáním řídicích strategií v předem vybraných problémech z různých oblastí pomocí nástroje Uppaal Stratego. Byly vybrány čtyři oblasti k řešení, jmenovitě šachy, hanojské věže, posuvné pole a kinematický problém zahrnující balíček, auto a letadlo. Pro zvolené problémy a oblasti byla navržena a vytvořena sada jim odpovídajícím modelů. U hanojských věží a posuvného pole bylo možné úspěšně vyhodnotit relevantní strategie, zvedající pravděpodobnosti úspěchu až na více než 90 %. U dalších modelů byl nalezen problém ve velikosti stavového prostoru a strategie nebylo možné vyhodnotit, protože maximální kapacita paměti, kterou nástroj využívá, nebyla dostatečná. U kinematického problému se po omezení a zjednodušení modelu podařilo strategie vyhodnotit, ovšem u šachů to nebylo možné ani po významném zjednodušení.
|
|
Dependability Assessment Based on SMC
Gajdošík, Róbert ; Lojda, Jakub (oponent) ; Strnadel, Josef (vedoucí práce)
The aim of this thesis is assessing dependability of computerized systems using modelling and simulation. After establishing basic nomenclature, research was performed on de- pendability metrics, fault taxonomy and dependability bolstering techniques. Afterwards, analytical solutions were explored to be used as a reference point. Next, multiple simulation tools were assessed and Uppaal SMC was chosen as the most suitable tool because of it’s timed automaton framework enriched with a query language and multiple Simulation Model Checking tools. Finally, systems describing multiple relevant situations were implemented and evaluated against both themselves and the analytically computed reference point.
|
|
Hledání řídicích strategií pomocí UPPAAL STRATEGO
Hruška, Filip ; Hrubý, Martin (oponent) ; Strnadel, Josef (vedoucí práce)
Tato práce se zabývá hledáním řídicích strategií v předem vybraných problémech z různých oblastí pomocí nástroje Uppaal Stratego. Byly vybrány čtyři oblasti k řešení, jmenovitě šachy, hanojské věže, posuvné pole a kinematický problém zahrnující balíček, auto a letadlo. Pro zvolené problémy a oblasti byla navržena a vytvořena sada jim odpovídajícím modelů. U hanojských věží a posuvného pole bylo možné úspěšně vyhodnotit relevantní strategie, zvedající pravděpodobnosti úspěchu až na více než 90 %. U dalších modelů byl nalezen problém ve velikosti stavového prostoru a strategie nebylo možné vyhodnotit, protože maximální kapacita paměti, kterou nástroj využívá, nebyla dostatečná. U kinematického problému se po omezení a zjednodušení modelu podařilo strategie vyhodnotit, ovšem u šachů to nebylo možné ani po významném zjednodušení.
|
|
Modelování a analýza energeticky úsporných budov
Devečka, Matej ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Práca sa zaoberá analýzou prostredia, návrhom modelu energeticky úspornej budovy, jeho implementáciou a testovaním. Analyzuje jednotlivé faktory, ktoré majú vplyv na energetickú náročnosť budov. Predstavuje návrh modelu, ktorý umožňuje sledovanie spotreby energie v budove a simuláciu tepelných javov. Návrh modelu je implementovaný v nástroji UPPAAL SMC, za pomoci siete stochastických časovaných automatov. V poslednej časti práca obsahuje vyhodnotenie jednotlivých testov a ich porovnanie s predpokladmi.
|