|
| |
|
|
Klient-server aplikace pro modelování a simulaci na bázi DEVS
Brázdil, Martin ; Peringer, Petr (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato bakalářská práce se zabývá analýzou, návrhem a implementací aplikace pro modelování a simulaci na bázi DEVS. Jedná se o klient-server aplikaci, přičemž klient je implementován jako samonosná aplikace v jazyku Java. Server se zakládá na jazyku Smalltalk (přesněji Squeak) a vychází z existující aplikace SmallDEVS. V práci je čtenář obeznámen se základy systémů s diskrétními událostmi (DEVS) a Petriho sítí pro modelování a simulaci. Práce se rovněž věnuje návrhu uživatelsky přívětivého grafického rozhraní pro klientskou část, respektive editor.
|
|
|
Diskrétní simulace programovatelných systémů
Mynář, Pavel ; Zuzaňák, Jiří (oponent) ; Mlích, Jozef (vedoucí práce)
Předmětem této práce je návrh a implementace softwarové knihovny pro diskrétní simulaci programovatelných, navzájem komunikujících jednotek, a implementace několika názorných příkladů nad touto knihovnou. Knihovna je navržena jako platformě nezávislá, co možná nejrobustnější a jednoduchá na ovládání.
|
|
|
Grafický editor simulačních modelů
Bulka, Pavol ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Tato práce se zaobírá tvorbou multiplatformního grafického editoru simulačních modelů využívajícího pro modelovaní DEVS formalismus a jazyk XML pro ukládání modelů. Návrh editoru je založený na průzkumu obdobných grafických simulačních nástrojů. Kromě popisu tvorby editoru práce obsahuje i krátký popis DEVS formalismu, jeho obdob a rozšíření. Vytvořený editor neobsahuje vlastní implementaci simulátoru, ale používá externí knihovnu Adevs. Z tohoto důvodu byli do editoru implementované možnosti rozšíření pomocí pluginů, aby při potenciální tvorbě vlastního simulátoru nemuselo být zasahováno do samotného editoru. Další možností rozšíření funkčnosti editoru je použití uživatelských skriptů. Práce ve svém závěru následně popisuje sérii testů, kterým byl grafický editor simulačních modelů podrobený na několika platformách.
|
|
|
Platformně nezávislá reprezentace simulačních modelů na bázi XML
Durman, David ; Smrčka, Aleš (oponent) ; Janoušek, Vladimír (vedoucí práce)
S rozmanitostí platforem pro popis modelů systémů s diskrétními událostmi vyvstává problém, jak tyto modely reprezentovat tak, aby bylo možné je napříč platformami sdílet, ať už pro účely validace těchto modelů, jejich efektivnějšího spouštění, nebo pro účely znovupoužití či začlenění modelů do větších celků. Tato práce rozšiřuje a implementuje jazyk DEVSML pro reprezentaci DEVS modelů, u nichž pro popis chování atomických komponent využívá stavových diagramů, které reprezentuje pomocí SCXML. Akce a stráže stavových diagramů popisuje jazykem Scheme. Dále byl vytvořen vizuální nástroj pro tvorbu stavových diagramů, který je začleněn do systému SmallDEVS a také transformátor modelů popsaných pomocí DEVSML do prostředí Adevs.
|
|
|
Simulace a návrh inteligentních agentů
Šperka, Svatopluk ; Rozman, Jaroslav (oponent) ; Janoušek, Vladimír (vedoucí práce)
Konvenční způsob vývoje opakující fáze návrhu, implementace a testování není adekvátní pro systémy třídy inteligentních agentů, u nichž je vyžadováno komplexní chování, ale jejich specifikace je na počátku nejasná. Jako vhodnější se jeví inkrementální tvorba modelu agenta v simulaci, která dává návrháři přímou zpětnou vazbu v podobě změn chování systému. Tato interaktivita nejenže urychluje vývoj, ale také, díky novým znalostem o chování získaných během simulace, zpřístupňuje návrháři nové části prostoru možných modelů. Tato práce se zabývá srovnáním vhodnosti dvou přístupů k návrhu inteligentních agentů, a s nimi souvisejících platforem v kontextu modelovacího a simulačního frameworku SmallDEVS, pro tento způsob vývoje. Prvním přístupem je reaktivní subsumpční architektura založená na formalismu DEVS a druhým framework PNagent realizující deliberativní BDI architekturu pomocí Objektově Orientovaných Petriho Sítí.
|
|
|
Simulační server pro DEVS
Šimara, Michal ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Cílem této diplomové práce bylo navrhnout a implementovat simulační server pro DEVS využívající již existujícího systému SmallDEVS. V práci se budeme hlavně zabývat popisem DEVS formalismu, systému SmallDEVS a implementovaného simulačního serveru. Ten poskytuje funkce pro vzdálené vytváření nových DEVS modelů, editování existujících modelů a funkce pro řízení simulace. Navíc server zaznamenává informace o změnách stavu modelu v průběhu simulace, takže je možné zjistit stav modelu v libovolném simulačním čase. To umožňuje následně provádět analýzu těchto dat a získat tak více informací o průběhu simulace, což doposud nebylo možné. V práci je uveden detailní popis komunikačního protokolu popisující komunikaci mezi klientem a serverem. Tento protokol je možné snadno aktualizovat v případě, že do systému SmallDEVS přidáme nějakou novou funkci. K otestování implementovaného simulačního serveru byl vytvořen prototyp klienta, který implementuje tento komunikační protokol a umožňuje uživateli pracovat se systémem SmallDEVS na serveru.
|
|
|
Aplikace pro vzdálenou editaci DEVS modelů a řízení simulace na simulačním serveru
Kolařík, Jan ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá návrhem a samotnou implementací klient-server aplikace pro vzdálený přístup k modelům systémů uloženým na serveru. Aplikace umožňuje tyto modely také editovat a provádět nad nimi simulace. Součástí práce je i navržení samotného komunikačního protokolu mezi klientem a serverem. Klient je implementován pomocí knihovny Qt, stejně jako prototyp serveru. Server je realizován jako součást existujícího simulačního jádra (SmallDEVS), které je implementováno v jazyce Smalltalk.
|
|
|
Modelem řízený návrh konferenčního systému
Caha, Matěj ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato diplomová práce se zabývá problematikou modelem řízeného návrhu a aplikace simulací v návrhu systémů. V rámci uvedení do problematiky práce diskutuje historii procesu vývoje SW a nastiňuje jeho aktuální stav. Cílem práce je demonstrovat modelem řízený návrh na případové studii konferenčního systému. Konkrétně zde budou představeny formalismy DEVS a OOPN společně s experimentálními nástroji PNtalk a SmallDEVS, které umožňují práci s těmito formalismy. Výsledný model konferenčního systému bude nasazen jako součást webové aplikace implementované pomocí frameworku Seaside v prostředí Squeak.
|
|
|
Pokročilý simulátor mikrokontrolérů rodiny MSP430
Kaluža, Jan ; Bidlo, Michal (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Cílem této diplomové práce je seznámení s mikrokontrolery MSP430, návrh simulátoru těchto mikrokontrolerů s možností rozšíření o další periferie a jeho implementace. Po stručném úvodu do problematiky následuje popis mikrokontrolerů rodiny MSP430 včetně jejich interních periferií a formátů pro uložení jejich binárního kódu. Dále práce pokračuje popisem událostně řízené simulace se zaměřením na formalismus DEVS. Na základě předchozích kapitol je pak proveden návrh simulátoru složeného ze simulačního jádra, knihovny simulující mikrokontroler MSP430 a grafického uživatelského rozhraní. Tento návrh je implementován a ověřen oproti reálnému mikrokontroleru. Formou případové studie je popsána tvorba nových rozšiřujících modulů v jazyce Python a C++ a v závěru práce je celý simulátor zhodnocen.
|
host ::
RSS.