|
|
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.
|
|
|
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í.
|
|
|
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í.
|
|
|
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.
|
|
|
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.
|
|
|
DEVS Simulator Implementation in C++20
Šurina, Timotej ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
This master's thesis deals with the issue of modeling and simulation of systems based on the DEVS formalism. The result of this work is a library that is inspired by the adevs tool and based on the classical DEVS formalism. The library is implemented in the programming language C++20 and is supplemented by predefined models of components for creation of queueing systems. The library also contains a set of examples for use in teaching. In comparison with the paralel adevs tool it is less effective but it has simpler interface with focus on clarity, which is more important for teaching. The library also simplifies definition of models with the use of modules, intelligent pointers for memory management and the use of mentioned components.
|
|
|
Model robota Trilobot
Štěpán, Miroslav ; Janoušek, Vladimír (oponent) ; Hrubý, Martin (vedoucí práce)
Tato diplomová práce popisuje tvorbu modelu pohybu mobilního robota Trilobot, který je následně implementován do jednoduchého simulačního nástroje. Jsou zde popsány experimenty provedené s tímto robotem, stručně je popsán nástroj SmallDEVS s jehož využitím je model v prostředí Squeak Smalltalku implementován. Motivací této práce je zjednodušení návrhu a testování navigačních algoritmů pro robota Trilobot, který je studentům FIT VUT v Brně k dispozici v robotické laboratoři ÚITS. Tvorbou jednoduchého simulačního nástroje by se tedy dala i částečně snížit závislost na fyzické dostupnosti tohoto robota.
|
|
|
Modelem řízený návrh softwarových systémů
Hanák, Tomáš ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá moderním přístupem při vytváření softwarových systémů, který se nazývá modelem řízený návrh softwarových systémů. Jedná se o metodiku, která odstraňuje řadu kritických problémů, jež se vyskytují při konvenčním návrhu systémů. Hlavní myšlenka tohoto poměrně nového přístupu se zakládá na možnosti automatického, či poloautomatického generování výsledného kódu z konceptuálních modelů.
|
|
|
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.
|
host ::
RSS.