|
|
Výukový nástroj pro barvené Petriho sítě
Navrátil, Ondřej ; Kočí, Radek (oponent) ; Rogalewicz, Adam (vedoucí práce)
Barvené Petriho sítě (CPN) jsou rozšířením klasických place-transition Petriho sítí (P/T PN). Všechny tokeny a místa zde mají svůj typ (příp. i hodnotu), do sítě lze dále vkládat různé typy inskripcí. CPN vynikají svou snadnou čitelností a skvělou vyjadřovací schopností. Zároveň disponují pevnými formálními podklady, jenž usnadňují jejich počítačovou simulaci a v omezené míře umožňují verifikovat některé vlastnosti. Motivací tohoto projektu je fakt, že v současnosti je veřejně dostupný pouze jediný nástroj pro úpravu a simulaci CPN, a sice CPNTools vyvíjený na univerzitě v Aarhusu. Program je však komplikovaný a pro nezainteresovaného uživatele obtížně uchopitelný. Cílem projektu je prozkoumat možnosti a vlastnosti CPN a nástroje CPNTools a na základě získaných znalostí navrhnout a implementovat didaktickou aplikaci se svižným a intuitivním rozhraním, která umožní uživatelům bez hlubších teoretických vědomostí získat přehled o problematice CPN.
|
|
|
Správa nahrávání aplikací na ARM zařízení
Hrvol, Marek ; Smrčka, Aleš (oponent) ; Kočí, Radek (vedoucí práce)
Záměrem práce je usnadnění nasazování Internetu věcí v domácnostech nebo malých firmách a také zvýšit udržitelnost vytvořené sítě. Webová aplikace slouží ke správě aplikací napříč ARM jedno-deskovými zařízeními. Umožňuje nahrávat aplikace přímo na zaregistrovaná zařízení, poskytuje ucelený, intuitivní náhled všech dostupných zařízení. Dále zaznamenává stav těchto zařízení, zobrazuje potřebná data o zařízení a informuje o případném selhání některého ze zařízení.
|
|
|
Java EE Organizér - modul úkoly
Černý, Petr ; Martinek, David (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá problematikou aplikací pro orgranizaci času a kontaktů. Obsahuje analýzu stávajících řešení, používaných architektur a stručnou charakteristiku konkrétních aplikací. Práce se také zabývá tvorbou aplikačního klienta pro Java EE aplikace a pojednává o základních technologiích, které se v této oblasti používají (Swing, platforma Java EE a její technologie). Praktická část obsahuje návrh a implementaci modulů pro správu kontaktů a úkolů, které jsou zakomponovány do demonstrační aplikace Java EE Organizér.
|
|
|
Řízení entit ve strategické hře založené na multiagentních systémech
Knapek, Petr ; Kočí, Radek (oponent) ; Zbořil, František (vedoucí práce)
Tato práce se zaměřuje na návrh a implementaci systému podpory učení a plánování agentů schopných hry real-time strategických her typu StarCraft. Budou vysvětleny problémy ovládání herních objektů a protivníků počítačem a představeny obvykle používané způsoby řešení. Na základě analýzy je navržen a implementován nový systém využívající multiagentního přístupu k ovládání hry a metod strojového učení, který je schopný porážet protivníky a přizpůsobovat se novým výzvám.
|
|
|
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í.
|
|
| |
|
|
Graphical Editor for Design Models
Hlavačka, Filip ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
The thesis is aimed at the solution of graphical editing for design models, especially Object-oriented Petri nets. There are many tools for editing Object-oriented Petri nets, but none of these support complete cooperation with simulation classes. This thesis offers created tool, which is implemented in the Pharo environment and uses the Morphic library. The created tool enables users to create or modify Object-oriented Petri net. Users can export created net to SVG or PNG format. The tool also enables the saving and loading of Object-oriented Petri net. The tool provides syntax check to the user.
|
|
|
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.
|
|
|
Monitorování stavu bezdrátových senzorových sítích agenty
Houšť, Marek ; Kočí, Radek (oponent) ; Zbořil, František (vedoucí práce)
Čtenář se nejprve seznámí s historií a možnými aplikacemi pro bezdrátové senzorové sítě. Práce poté popisuje problematiku bezdrátových senzorových sítí a implementační nástroje pro bezdrátové senzorové sítě. Práce také představuje systém WSageNt a jeho klientské webové rozhraní. Praktická část práce se odvíjí od návrhu agentních prvků. Popisuje postupnou implementaci, testování a praktickou realizaci těchto agentních prvků v systému WSageNt. Na závěr práce diskutuje výhody a nevýhody řešení projektu a uvádí možná rozšíření systému do budoucna.
|
|
| |
host ::
RSS.