|
| |
|
|
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.
|
|
|
Algoritmy pro řízení pohybu dvounohého robota
Pokorný, Jan ; Janoušek, Vladimír (oponent) ; Martinek, David (vedoucí práce)
Tato práce si klade za cíl použít k naučení chůze bipedálního robota softcomputingové metody. Robot je reprezentován virtuálním modelem. Ze začátku je rozebrána motivace a důvody ke zpracování tohoto tématu. Dále je navržen tvar robota, který se použije. Jsou popsány nezbytné knihovny, jakých simulátor simulace využívá. Dále je navržen systém algoritmů, které budou robota učit. Nejdůležitější z nich je SOMA, který je proto blíže popsán. Vzhledem k předpokládané výpočetní náročnosti je část práce věnována optimalizacím a zjednodušením. Jsou rozebrány použité struktury a jejich propojení. Jedna kapitola je věnována měření úspěšnosti aproximace řešení. Na konci je umístěno zhodnocení výsledků práce.
|
|
| |
|
|
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.
|
host ::
RSS.