|
|
Grafický editor Objektově orientovaných Petriho sítí
Neužil, Antonín ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato bakalářská práce se zabývá Petriho sítěmi a jejich modelování. V první řadě práce popisuje formalismy Petriho sítě. Dále se také zaměří na objektovou orientovanost sítí. V druhé řadě se práce specializuje na vytvořenou aplikaci a tou je grafický editor objektově orientovaných Petriho sítí. Součástí práce je postup návrhu a implementace již zmíněné aplikace. Aplikace je vytvořena pomocí jazyku Java a je kompatibilní pouze s operačním systémem Windows. Pro tvorbu aplikace bylo použito vývojové prostředí NetBeans IDE 8.0.2. Výsledkem celé bakalářské práce je tedy aplikace pro tvorbu modelů Objektově orientovaných Petriho sítí a jejich simulací pomocí přiloženého serveru. Několik příkladů těchto modelů a jejich výsledky jsou součástí této práce. Tyto příklady slouží jako manuál pro použití aplikace.
|
|
|
Nástroj pro podporu vývoje softwarových systémů
Hrubý, Daniel ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Nástroj pro podporu vývoje systémů je aplikace sloužící pro usnadnění průběhu vývoje softwarových systémů. Pomocí diagramu užití pomáhá k lepšímu porozumění požadavků od zákazníka, následně s využitím diagramu tříd lze přepsat návrh do objektového konceptu a díky Objektově orientovaným Petriho sítím lze popsat chování systémů. V práci nejdříve popíší programy věnující se stejné problematice, poté se vysvětlí jednotlivé diagramy a Objektově orientované Petriho sítě. Následně bude představena samotná aplikace, její testování a možná vylepšení.
|
|
| |
|
|
Porovnání nástrojů pro modelování a vývoj procesně orientovaných aplikací
Spišák, Samuel ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práca sa zaoberá porovnaním nástrojou na modelovanie, vývoj a nasadenie procesne orientovaných aplikácií, ktoré ponúkajú spoločnosti Camunda, Bonitasoft a Netgrif. Hlavná časť práce patrí opisu spôsobu vývoja aplikácie navhrnutej na demoštračné účely, ktorá bola vyvinutá v každom nástroji zvlášť. Na základe získaných skúseností z návrhu a implementácie aplikácie v jednotlivých nástrojoch, sú v poslednej kapitole práce zosumarizované ich silné a slabé stránky. Po prečítaní práce by mal mať čitateľ vytvorenú predstavu o spôsobe vývoja v jednotlivých nástrojoch a v prípade záujmu o vytvorenie vlastnej procesne orientovanej aplikácie by mu mala práca pomôcť určiť z porovnávaných nástrojov ten, ktorý by bol na jej implementáciu najvhodnejší.
|
|
|
Nástroj pro práci s Objektově orientovanými Petriho sítěmi
Josefík, Martin ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá tvorbou nástroje pro práci s Objektově orientovanými Petriho sítěmi za použití dvou rozdílných jazyků PNML a PNtalk. PNML slouží pro popis Petriho sítě, je založený na XML a jeho výhodou je, že dokáže každý prvek Petriho sítě popsat pomocí svých elementů. PNtalk je konkrétní implementací OOPN a je založený na jazyce Smalltalk. Nástroj pro práci s OOPN bude komunikovat s externí aplikací systémem PNtalk z důvodu výměny modelů. Na závěr budou navržena rozšíření nástroje.
|
|
| |
|
|
Jednoduché vývojové prostředí pro C++ na platformě Android
Režňák, Pavel ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Tato bakalářská práce se zabývá vytvořením prostředí pro překlad aplikací psaných v jazycích C a C++. Vývojové prostředí se skládá z aplikace emulující terminál a balíčků obsahujících open-source překladače a pomocné nástroje, přeložené pro mobilní zařízení s ARM procesorem a operačním systémem Android. Tento proces zahrnuje vygenerování křížového překladače pro systém Android z nástrojů NDK, správné nastavení parametrů během konfigurace, opravy zdrojových souborů těchto open-source překladačů a vytvoření aplikace instalovatelné pod OS Android, která umožní snadné použití těchto nástrojů.
|
|
|
Generátor analyzátorů dokumentů popsaných pomocí RELAX NG
Šimonek, Jan ; Janoušek, Vladimír (oponent) ; Martinek, David (vedoucí práce)
Tato práce se zabývá vytvořením generátoru (překladače), který na základě XML schématu v jazyce RELAX NG vytvoří C++ analyzátor XML dokumentů. Analyzátor je podle zadaného schématu schopen načítat data z XML, validovat je, zpřístupnit je v paměti a zpětně data do XML zapsat. Možnosti použití tohoto systému jsou ilustrovány na příkladech. V práci je také popsán formát XML, existující jazyky pro popis schémat a nutné teoretické základy validace.
|
|
|
Řízení autonomní formule
Harvan, Mário ; Janoušek, Vladimír (oponent) ; Rozman, Jaroslav (vedoucí práce)
Cieľom tejto práce je rozobrať problématiku riadenia autonómnej formule v súťaži Formula Student. Práca sa zaoberá návrhom a implementáciou systému, ktorý dokáže identifikovať trať, vypočítať trasu, ktorú ma formula nasledovať a riadiť formulu po vypočítanej trase. Úlohou systému je riadiť formulu tak, aby zvládla trať prejsť v najkratšom možnom čase. Súčasťou práce je teoretický model vozidla, pomocou ktorého dokáže algoritmus vypočítať maximálnu možnú rýchlosť formule v každom úseku trate. V závere práce je vyhodnotenie testovania systému v simulátore a porovnanie rôznych prístupov k riadeniu autonómneho vozidla.
|
|
|
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í.
|
host ::
RSS.