|
|
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.
|
|
|
Orchestrace modulů multitenantních systémů
Jeřábek, Filip ; Janoušek, Vladimír (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem práce je navrhnout a demonstrovat řešení alternativního převodu aplikace do multitenantní podoby spolu s jejím přesunem ze zákaznického serveru a nasazením na sdílený server firmy, která tento systém vyvíjí. Součástí převodu není klasická modifikace původní aplikace a implementace multitenance přímo do jejího kódu. Pomocí systémů jako je Docker a Kubernetes budou vyčleňovány, kontejnerizovány a orchestrovány moduly původní aplikace, díky čemuž vznikne iluze multitenance. Práce necílí na předložení jednoho řešení, ale apeluje na poskytnutí potřebných znalostí, více variant návrhu a implementace univerzálního demonstračního řešení, kdy je před použitím nějakého z návrhů předpoklad jeho upravení dle specifických potřeb vlastního řešení a jeho následná implementace. Navrhovaná řešení mají za cíl zjednodušení procesu tohoto převodu, což souvisí s ušetřením prostředků, a také poskytnutí možnosti vytvoření iluze multitenance u systémů, kde je klasický postup příliš náročný nebo nemožný.
|
|
|
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í.
|
|
|
Operační systém reálného času s fixní prioritou úloh pro Raspberry Pi
Kolář, Josef ; Peringer, Petr (oponent) ; Janoušek, Vladimír (vedoucí práce)
Cílem této práce je realizace podpory volně dostupného operačního systému reálného času s fixní prioritou úloh na mikropočítači Raspberry Pi 3B+. Jako vhodný systém je vybrán projekt FreeRTOS, pro který je v práci zrealizováno běhové prostředí a představena podpora pro tvorbu uživatelských aplikací s preemptivními úlohami. To je prezentováno pomocí dvou demonstračních aplikací, z nichž první využívá dvou periodických úloh a monitorování sériovou linkou, a v rámci druhé je vytvořena podpora pro sběrnici CAN, pomocí které je stav úloh s čítači reportován. Výsledkem práce je tedy funkční úprava systému FreeRTOS určená pro běh na mikropočítači Raspberry Pi 3B+ vhodná pro časově kritické aplikace.
|
|
| |
|
|
Dokovací stanice pro automatické nabíjení baterií robota
Beran, Jan ; Janoušek, Vladimír (oponent) ; Rozman, Jaroslav (vedoucí práce)
Cílem této práce je vytvořit funkční systém dokování a nabíjení pro robota Trilobot, který je v rámci této práce vylepšen a upraven pro použití v případných dalších projektech. V teoretické části jsou probrány způsoby plánování cesty, typy akumulátorů a způsoby jejich nabíjení, typy dokovacích stanic a samotného způsobu nabíjení. Také je uveden návrh renovace robota, který je poté realizován, spolu s dokovací stanicí. Renovovaný robot má k dispozici funkční ovládací software ve frameworku ROS, který mu umožňuje plnit nejen úkol autonomního dobíjení baterií. V práci je také proveden test celého systému a zhodnoceny výsledky.
|
|
| |
|
| |
|
| |
|
|
Výukový simulátor v prostředí WebAssembly
Březina, Jaromír ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Tato bakalářská práce se zaměřuje na problematiku simulace časovaných stochastických Petriho sítí a spojitých blokových schémat pro výukové účely. Výsledná aplikace je tvořena ze dvou dílčích částí. První z nich je jednoduchý grafický editor, jenž poskytuje nástroje pro vytvoření požadovaného modelu ve formě Petriho sítě nebo blokového schématu a vizualizaci výsledků simulace. Grafické uživatelské rozhraní editoru bylo vytvořeno pomocí knihovny React. Druhou část aplikace tvoří simulátor implementovaný v jazyce C++, jenž slouží pro simulaci vytvořeného modelu a je integrován do celého řešení jako WebAssembly modul. Součástí aplikace je i sada 10 příkladů, které slouží jako ukázka jednoduchých modelů vhodných pro výukové účely.
|
host ::
RSS.