|
|
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.
|
|
|
Lokalizace mobilního robota a mapování pomocí Kalmanovy filtrace
Caha, Matěj ; Orság, Filip (oponent) ; Herman, David (vedoucí práce)
Cílem této bakalářské práce je navrhnout metodu lokalizace a mapování (zvané SLAM) pomocí mobilního robota s ohledem na jeho senzorický systém a pohyb ve vnitřních statických prostorách. Pro metodu SLAM využít Kalmanovy filtrace a toto navržené řešení implementovat. V této práci je také rozebrána problematika odometrie a problematika extrakce a asociace vhodných význačných bodů.
|
|
|
Registrace obrazových korespondencí získaných z více zdrojů
Cáha, Matěj ; Buriánek, Jan (vedoucí práce) ; Pelikán, Josef (oponent)
V přiložené práci studujeme algoritmy pro párování grafů a jejich využití k registraci korespondencí důležitých obrazových bodů získaných z více různých zdrojů. Zaměřujeme se především na získání přesnějších dat pro výslednou 3D rekonstrukci modelu z velkého množství fotografií s již známými korespondencemi. V této práci se zabýváme problematikou párování grafů včetně definic, výpočetní složitostti problému a mnoha příkladů různých přístupů a použití algoritmů pro párování grafů pro řešení rozličných problémů v různých oblastech. Dále navrhujeme vlastní algoritmus pro párování grafů, který hledá aproximaci problému registrace podgrafů ohodnocených grafů s minimální cenou a který je schopen řešit tento problém pro velké množství velkých grafů v rozumném čase. V naší práci také uvádíme krátký přehled problému bodových korespondencí, implementujeme jednoduché bodové a hranové metriky, které následně použijeme pro párování částečne zrekonstruovaných 2D a 3D geometrií modelu. Algoritmus testujeme na skutečných i uměle vygenerovaných datech. Úlohu omezujeme na řídké bodové korespondence a předpokládáme, že rekonstruovaný 3D model je po částech složený z ploch.
|
|
|
Registrace obrazových korespondencí získaných z více zdrojů
Cáha, Matěj ; Pelikán, Josef (oponent) ; Buriánek, Jan (vedoucí práce)
V přiložené práci studujeme algoritmy pro párování grafů a jejich využití k registraci korespondencí důležitých obrazových bodů získaných z více různých zdrojů. Zaměřujeme se především na získání přesnějších dat pro výslednou 3D rekonstrukci modelu z velkého množství fotografií s již známými korespondencemi. V této práci se zabýváme problematikou párování grafů včetně definic, výpočetní složitostti problému a mnoha příkladů různých přístupů a použití algoritmů pro párování grafů pro řešení rozličných problémů v různých oblastech. Dále navrhujeme vlastní algoritmus pro párování grafů, který hledá aproximaci problému registrace podgrafů ohodnocených grafů s minimální cenou a který je schopen řešit tento problém pro velké množství velkých grafů v rozumném čase. V naší práci také uvádíme krátký přehled problému bodových korespondencí, implementujeme jednoduché bodové a hranové metriky, které následně použijeme pro párování částečne zrekonstruovaných 2D a 3D geometrií modelu. Algoritmus testujeme na skutečných i uměle vygenerovaných datech. Úlohu omezujeme na řídké bodové korespondence a předpokládáme, že rekonstruovaný 3D model je po částech složený z ploch.
|
|
|
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.
|
|
|
Lokalizace mobilního robota a mapování pomocí Kalmanovy filtrace
Caha, Matěj ; Orság, Filip (oponent) ; Herman, David (vedoucí práce)
Cílem této bakalářské práce je navrhnout metodu lokalizace a mapování (zvané SLAM) pomocí mobilního robota s ohledem na jeho senzorický systém a pohyb ve vnitřních statických prostorách. Pro metodu SLAM využít Kalmanovy filtrace a toto navržené řešení implementovat. V této práci je také rozebrána problematika odometrie a problematika extrakce a asociace vhodných význačných bodů.
|
host ::
RSS.