|
|
Interpret vysokoúrovňových Petriho sítí v Pythonu
Grigorev, Danil ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato práce je zaměřená na implementací interpretu vysokoúrovňových Petriho sítí v jayzce Python za použítí knihovny SNAKES. Je schopná provadění a pokročilé vizualizace navyřených sítí, které jsou popsané v jayzce Python. Vysledný simulator odpovidá zasadům distribuo- vaného systému, a podporuje provádí v realném čase. Konečný užívatel bude mít příležitost vyzkoušet intuitivní API pro vytvoření a spouštění vysokoúrovňových Petriho sítí.
|
|
|
Procedurální generování struktur typu dungeon
Šipoš, Marek ; Rychlý, Marek (oponent) ; Bartík, Vladimír (vedoucí práce)
Hlavním cílem této bakalářské práce bylo navrhnout a vytvořit knihovnu pro procedurální generování dungeonů a webovou aplikaci pro její praktické využití. Knihovna nabízí konfigurační rozhraní, generování výstupu podle této konfigurace a souborovou podporu. Webová aplikace pak umožňuje získaný výstup vizualizovat. Pro implementaci byl zvolen jazyk Java.
|
|
| |
|
|
Zjišťování topologie bezdrátové senzorové sítě genetickými algoritmy
Dalecký, Štěpán ; Samek, Jan (oponent) ; Zbořil, František (vedoucí práce)
Cílem této bakalářské práce je navrhnout genetický algoritmus, který bude schopen určit polohu senzorů bezdrátové senzorové sítě na základě síly signálu mezi jednotlivými senzory. Nejprve se práce zabývá teorií genetických algoritmů a okrajově popisem bezdrátové senzorové sítě. Následně je na základě této teorie navržen genetický algoritmus, který slouží k zjištění topologie bezdrátové senzorové sítě. Práce také popisuje důležité rysy implementace tohoto algoritmu. Závěrem jsou zhodnoceny dosažené výsledky.
|
|
|
Automatické rozvržení diagramů
Jezný, Lukáš ; Chmelař, Petr (oponent) ; Herout, Adam (vedoucí práce)
Tato práce se zabývá automatickým rozvržením diagramů. V teoretické části jsou představeny možnosti, algoritmy a metriky pro automatické rozvržení diagramů. V praktické části jsou pak navrženy algoritmy pro automatické rozvržení diagramů organizační struktury a modelu procesů.
|
|
|
Vliv ESP/ESC na chování vozidla
Weigel, Filip ; Mrázek, Vojtěch (oponent) ; Strnadel, Josef (vedoucí práce)
Práce se zabývá aktivním prvkem bezpečnosti vozidel - ESP. Systém ESP velmi významně pomáhá se stabilizací vozidla při zatáčení. Práce rozebírá modelování, princip fungování brzd, popis podřízených systémů - ABS a ASR, fyzikální jevy a síly, vzorový příklad, rozbor problému, návrh modelu, implementaci modelu a vyhodnocení experimentů s modelem v prostředí UPPAAL. Cílem práce je prokázat, že systém ESP pomáhá stabilizovat vozidlo při zatáčení pomocí simulačního modelu vozidla. Výsledky jsou prezentány v přehledných grafech. Z grafů lze analyzovat chování vozidla s ESP a bez ESP.
|
|
|
Simulátor zásobníkového automatu
Graizely, Martin ; Blatný, Petr (oponent) ; Bidlo, Radek (vedoucí práce)
Vizualizácia často napomáha pochopeniu problému a umožňuje jeho rýchle osvojenie. Táto práca je zameraná na implementáciu simulátora zásobníkového automatu. Účelom tejto aplikácie je uľahčiť pochopenie tohto abstraktného stroja a jeho možností, poskytnutím vizuálneho návrhu a umožnením interaktívnej animácie algoritmu.
|
|
|
Metody pro zpracování segmentovaných obrazů
Štěrba, Radek ; Číka, Petr (oponent) ; Zukal, Martin (vedoucí práce)
Tato práce se zabývá reprezentací segmentovaných obrazů pomocí grafů. Také jsou zde popsány různé segmentační techniky, které se používají při zpracování obrazové informace. Matematika je v dnešní době stále více zapotřebí. V této práci tato skutečnost není opomenuta. Jsou zde popsány základní informace o teorii. Druhá část práce je praktická. Obsahuje průzkum knihoven zpracovávajících grafy. Dále jsou zde popsány datové struktury pro popis segmentovaného obrazu. V neposlední řadě je zde také popsána tvorba a vlastnosti operátorů pro prostředí RapidMiner, které tyto struktury plní.
|
|
|
Barvení grafů
Procházka, Lukáš ; Goldefus, Filip (oponent) ; Masopust, Tomáš (vedoucí práce)
Tato práce se zabývá barvením grafů, což je přiřazování barev jednotlivým vrcholům grafu tak, aby žádné dva vrcholy spojené hranou neměly stejnou barvu. Tento problém je velmi výpočetně náročný, protože je NP-úplný. Zároveň je velmi důležitý, protože má řadu praktických aplikací. Zde jsou popsány některé heuristické algoritmy, které se tento problém snaží řešit pomocí postupného zlepšování počátečního řešení při zadaném počtu barev. Tři algoritmy byly implementovány a poté otestovány na různých grafech a porovnány vzhledem k různým kritériím.
|
|
|
Metody pro obarvení uzlů multigrafu
Knotek, Martin ; Kunovský, Jiří (oponent) ; Šátek, Václav (vedoucí práce)
Tato práce se zabývá algoritmy pro vrcholové barvení a jejich aplikaci na barvení prvků elektrické rozvodné sítě nízkého napětí. Výsledkem práce je program zobrazující průběh barvení pěti implementovaných metod na zvoleném grafu, který představuje distribuční síť elektrické energie ve městě.
|
host ::
RSS.