|
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.
|
|
Interpret Petriho sítí pro řídicí systémy s procesorem Atmel
Minář, Michal ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá interpretací vnořených petriho sítí popsaných jazykem PNML na procesorech Atmel. Zahrnuje popis cílové architektury, jež je značně omezená, jak co se týčeoperační a úložní kapacity, tak i výkonu. A tedy značně ovlinila návrh a implentaci samotného interpretu. Ten je hlavní náplní této práce a bude tedy detailně popsán z obou zmíněných pohledů. Protože při všech krocích byl kladen důraz na možnost verifikace a simulace samotného interpretu, byl pro implementaci použit jazyk smalltalk na platformě squeak. Ten nám umožnil testovat interpret na PC a následně jej přeložit pro cílovou architekturu v nezměněné podobě. Motivace k tomuto řešení a podrobný popis převodu jsou rovněž předmětem této práce.
|
|
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.
|
|
Simulátor paměťového podsystému
Holášek, Petr ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Tato práce popisuje problematiku zpracování paměťových stop, jejich využití v simulaci a vývoj modulárního simulátoru paměťového podsystému založeného na paměťových stopách. Simulátor podporuje také využití pro výukové účely díky vestavěné vizualizaci, pomocí které lze sledovat přístupy na adresy v paměťové hierarchii.
|
|
Metody a nástroje modelování trhu s více komoditami
Janeček, Vítězslav ; Janoušek, Vladimír (oponent) ; Hrubý, Martin (vedoucí práce)
Cílem této práce je prostudovat teorii her, včetně ekonomických teorií, které se vztahují k chování zemědělských producentů. Částí, která navazuje na teoretické východiska, je vytvoření modelu pro simulaci ekonomického systému. Pro simulaci produkce komodit je zvolena obecná teorie her s hledáním Nashových equilibrií. Modelování poptávky je založeno na spotřební funkci, která vychází z Cournotovy hry. Součástí systému je také obchodování s půdou založené na jednoduchých aukcích obálkovou metodou s druhou cenou. Práce využívá externího programu Gambit, což je volně dostupný nástroj pro řešení her. Hodnocení modelu se nachází v sekci experimentů, kde je zkoumána realističnost modelu a jeho logická struktura.
|
|
Webový prohlížeč pro Squeak Smalltalk
Šlemr, Martin ; Hrubý, Martin (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá popisem webového prohlížeče Scamper v prostředí Squeak Smalltalk, jeho dosavadního vývoje, nového návrhu a implementace, která respektuje CSS box model a vizuální formátovací model včetně tabulek. Také objasňuje pojmy související s prohlížeči obecně a technologií kolem Internetu jako protokol HTTP a struktura pro popis dokumentů MIME. Další částí je popis systému Squeak Smalltalk a jeho grafického prostředí Morphic.
|
|
Nástroj pro podporu vývoje softwarových systémů
Hala, Karel ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Nástroj pro podporu vývoje softwarových systému je aplikace sloužící pro vizuální znázornění průběhu vývoje aplikace. Slouží k porozumění požadavků od zákazníka, tyto požadavky převádí do objektového návrhu s možností popisu chování tříd pomocí objektově orientovaných Petriho sítí. V této práci se postupně popíší nástroje věnující se tomuto tématu, vyberou se jednotlivé diagramy a popíše se způsob implementace těchto diagramů. V závěru budou představeny možná rozšíření.
|
| |
|
Srovnání metod pro řešení problému obchodního cestujícího
Šušová, Lucia ; Janoušek, Vladimír (oponent) ; Rozman, Jaroslav (vedoucí práce)
Tato práce se zabývá srovnáním metod řešení problému obchodního cestujícího (traveling salesman problem). Pro řešení tohoto NP-úplného problému existuje celá řada algoritmů, kdy není jednoduché vybrat ten správný. Hlavní přínos této práce tkví v experimentálním srovnání jednotlivých metod mezi sebou. Čtenář se tak dozví, jaké výsledky pří hledání cesty může očekávat při použití konkrétního algoritmu. První část práce se zabývá teoretickým základem, kdy jsou popsány všechny potřebné informace pro správně pochopení problému. Druhá část se zabývá popisem jednotlivých heuristik a metod řešení rozdělených do kategorií podle principu činnosti. Dále práce obsahuje experimentální srovnání metod. Toto porovnávání bylo prováděno na základě vlastní implementace jednotlivých heuristik, část práce se věnuje také samotné implementaci metod a popisu programu. Na závěr jsou uvedeny možnosti dalšího vývoje projektu a nechybí ani zhodnocení výsledků.
|