|
Demonstrační aplikace pro mobilní robot
Prokopová, Dagmar ; Beran, Vítězslav (oponent) ; Materna, Zdeněk (vedoucí práce)
Práce se zabývá primárně návrhem a principy použitými při vytváření demonstrační aplikace Ball Picker pro mobilního robota TurtleBUT2. Robot řízený touto aplikací je schopen sbírat tenisové míčky ve svém okolí a předávat je do dlaně nedaleko stojícího člověka. Práce se věnuje mimojiné i popisu robotického operačního systému, na jehož základech byla aplikace vytvořena, a popisu simulátoru Gazebo. Dále je detailně rozebrán algoritmus pro detekci tenisového míčku založený na filtraci obrazu na základě barvy a použití Houghovy transformace a princip detekce pomocí kaskády klasifikátorů Haarových příznaků, využitý pro detekci lidské dlaně.
|
|
Vizualizace výrazů procesní algebry pi-kalkul
Prokopová, Dagmar ; Křivka, Zbyněk (oponent) ; Rychlý, Marek (vedoucí práce)
Tato práce se zabývá problémem vizualizace výrazů procesní algebry pi-kalkul. Teoretická část práce pojednává jak o obecných principech procesních algeber, tak i o specifických vlastnostech konkrétních modelů se zaměřením na procesní algebru pi-kalkul. Součástí je rovněž srovnání několika textových a grafických reprezentací výrazů. Hlavní část práce se pak zabývá návrhem a implementací aplikace pro převod textové reprezentace výrazů na grafickou. Vedle textové a grafické reprezentace byla navržena také interní stromová reprezentace určená pro práci s výrazy uvnitř aplikace. V práci jsou také popsány algoritmy pro vyhledání proveditelných redukcí, pro provedení redukce a pro zjednodušení výrazů, které pracují s navrženou stromovou reprezentací.
|
|
Vizualizace výrazů procesní algebry pi-kalkul
Prokopová, Dagmar ; Křivka, Zbyněk (oponent) ; Rychlý, Marek (vedoucí práce)
Tato práce se zabývá problémem vizualizace výrazů procesní algebry pi-kalkul. Teoretická část práce pojednává jak o obecných principech procesních algeber, tak i o specifických vlastnostech konkrétních modelů se zaměřením na procesní algebru pi-kalkul. Součástí je rovněž srovnání několika textových a grafických reprezentací výrazů. Hlavní část práce se pak zabývá návrhem a implementací aplikace pro převod textové reprezentace výrazů na grafickou. Vedle textové a grafické reprezentace byla navržena také interní stromová reprezentace určená pro práci s výrazy uvnitř aplikace. V práci jsou také popsány algoritmy pro vyhledání proveditelných redukcí, pro provedení redukce a pro zjednodušení výrazů, které pracují s navrženou stromovou reprezentací.
|
|
Demonstrační aplikace pro mobilní robot
Prokopová, Dagmar ; Beran, Vítězslav (oponent) ; Materna, Zdeněk (vedoucí práce)
Práce se zabývá primárně návrhem a principy použitými při vytváření demonstrační aplikace Ball Picker pro mobilního robota TurtleBUT2. Robot řízený touto aplikací je schopen sbírat tenisové míčky ve svém okolí a předávat je do dlaně nedaleko stojícího člověka. Práce se věnuje mimojiné i popisu robotického operačního systému, na jehož základech byla aplikace vytvořena, a popisu simulátoru Gazebo. Dále je detailně rozebrán algoritmus pro detekci tenisového míčku založený na filtraci obrazu na základě barvy a použití Houghovy transformace a princip detekce pomocí kaskády klasifikátorů Haarových příznaků, využitý pro detekci lidské dlaně.
|