| |
|
Editor objektově orientovaných Petriho sítí
Kovács, Zoltán ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Práce se věnuje návrhu a implementace editoru OOPN popsaných jazykem PNTalk. Vytvoří se kompatibilní zobrazení PNTalk a formát uložení založený na technologií XML. V návrhu jednotlivých částí editoru je kladen důraz na vnitřní uložení objektů, grafického uživatelského rozhraní a funkcionalitu. V závěru práce jsou demonstrovány praktické ukázky z aplikace.
|
|
Aplikace posilovaného učení v řízení autonomního vozidla
Vosol, David ; Zbořil, František (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato práce se zabývá problematikou posilovaného učení aplikovaného na úlohu autonomního řízení vozidla. Nejprve je probrána nezbytná teorie posilovaného učení, která je zakončena představením nejmodernějších aktor-kritik metod. Z nich je vybrána metoda Proximal Policy Optimization , která je následně aplikována na tuto úlohu. Pro tento účel je také zvolen závodní simulátor TORCS. Naším cílem je naučit v simulovaném prostředí agenta autonomně řídit, s ohledem na jeho budoucí aplikaci v reálném prostředí v podobě zmenšeného RC modelu vozidla. Za tímto účelem jsou simulovány podmínky vzdáleného učení a ovládání vozidla v cloudu a to v podobě simulace ztráty paketů s daty od senzorů a aktuátorů nebo simulace zašuměných dat. Také jsou provedeny experimenty s cílem zjistit nejmenší počet senzorů, se kterým je agent schopen se úlohu naučit. Dále je experimentováno s využitím výstupu kamery vozidla. Jsou představeny různé návrhy architektur systému, mimo jiné i se zaměřením na co nejnižší hardwarové požadavky. Na závěr jsou prozkoumány vlastnosti naučeného agenta z pohledu generalizace v neznámém prostředí.
|
|
Dohledový a řídicí systém pro hotel realizovaný prostředky IoT
Hockicko, Matej ; Smrčka, Aleš (oponent) ; Janoušek, Vladimír (vedoucí práce)
Táto práca rieši návrh a prototypovú realizáciu dohľadového a riadiacého systému pre hotel s využitím prostriedkov IoT. K riešeniu sa dospelo s využitím mikrokontrolérov ESP, ktoré ovladajú pripojené senzory a aktuátory. Zariadenia ESP sú ďalej združované do skupín a pripájané na cetrálny bod v dosahu. Pomocou tohto bodu sa ďalej prenáša MQTT komunikácia na cloud. V cloude beží služba IoT Core, vďaka ktorej je možné ovládať a uchovávať stav zariadení. Zároveň sa v cloude nachádza vývojový nástroj Node-RED, v ktorom bolo vytvorené grafické rozhranie pre tento systému. Výsledok tento práce umožňuje vzdialené monitorovanie a riadenie hotelu s využitím senzorov a aktuátorov pripojených do tejto siete.
|
| |
| |
|
Framework pro tvorbu a ověřování specifikačních modelů
Matalík, Štěpán ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá objektově orientovanými Petriho sítěmi (OOPN) a tvorbou nástroje pro tvorbu a ověřování specifikačních modelů popsaných OOPN. V první části práce jsou popsány formalismy existujících typů Petriho sítí, včetně OOPN. Další část se zabývá tvorbou editačního nástroje, který také umožňuje spouštění simulačních modelů na vzdáleném serveru. Výstupem editoru je jednak grafická podoba Petriho sítě a také simulační model popsaný jazykem PNtalk, což je konkrétní implementace OOPN založená na jazyku Smalltalk. Simulační modely jsou spouštěny na serveru v prostředí Pharo. Na závěr práce jsou ukázány příklady konkrétních simulací a možná rozšíření nástroje.
|
|
Nástroj pro podporu vývoje softwarových systémů
Crlík, Radek ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Pro tvorbu kvalitního softwarového systému je potřeba takový projekt dobře analyzovat, navrhnout, naprogramovat a otestovat. Celý proces se pak souhrnně označuje jako životní cyklus softwaru a zabývá se jím softwarové inženýrství. Dnes existuje celá řada nástrojů, které tyto procesy ulehčují. Pro analýzu a návrh softwaru se v praxi osvědčil jazyk UML. Dovoluje popsat různé úrovně softwaru pomocí grafických diagramů pro jejich lepší pochopení. Některé je pak možné převést na kód v požadovaném programovacím jazyce. Problémem je pak udržování diagramů, kdy se tak v pozdějších fázích projektu ztrácí jejich význam. Tento problém se snaží odstranit tzv. Model-Driven Development, kdy programátor pracuje jen s přesně definovanými modely ze kterých je možné automaticky generovat programový kód, který se ale již nemusí ručně upravovat. Bohužel tento přístup není univerzální. Tato práce se zaměřuje na tvorbu nástroje, který umí pracovat s diagramem případů užití, diagramem tříd a objektově-orientovanými Petriho sítěmi. Nástroj by měl zvládat jejich tvorbu a základní synchronizaci informací mezi diagramy a tak ulehčit návrh systémů.
|
|
Informační systém pro evidenci a řízení firemních zakázek
Paľko, Matúš ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Cieľom tejto práce je návrh a implementácia informačného systému pre podnik SGS Zvolen s.r.o. podľa požiadaviek zákazníka. Slúži na evidenciu a manažment informácií o toku zákaziek firmy. Má podobu webovej aplikácie vyvíjanej na frameworku Laravel, ktorá je pripojená na MySQL relačnú databázu. Práca sa zaoberá taktiež problematikou dizajnu užívateľského rozhrania a komunikáciu so zákazníkom pri návrhu systému. V rámci tejto práce sa vytvorila len časť tohto rozsiahleho systému, ktorá bola reálne testovaná u zákazníka.
|
| |