|
|
Diskrétní simulace programovatelných systémů
Mynář, Pavel ; Zuzaňák, Jiří (oponent) ; Mlích, Jozef (vedoucí práce)
Předmětem této práce je návrh a implementace softwarové knihovny pro diskrétní simulaci programovatelných, navzájem komunikujících jednotek, a implementace několika názorných příkladů nad touto knihovnou. Knihovna je navržena jako platformě nezávislá, co možná nejrobustnější a jednoduchá na ovládání.
|
|
|
Globálně řízené celulární automaty
Švantner, Martin ; Žaloudek, Luděk (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato diplomová práce obsahuje úvod do problematiky celulárních automatů a podrobněji se zabývá možností jejich globálního řízení. Popisuje implementaci simulátoru globálně řízených celulárních automatů. Cílem je na základě provedených experimentů navrhnout a vyzkoušet klasifikaci celulárních automatů s globálním řízením. Návrh klasifikace je založen na ohodnocení vlivu jednotlivých parametrů globálně řízeného celulárního automatu na dynamiku chování automatu.
|
|
|
Realistický model oblohy
Brtník, Jan ; Herout, Adam (oponent) ; Beran, Vítězslav (vedoucí práce)
Simulace přírodních fenoménů jako jsou mraky, kouř, oheň a voda je jednou z nejdůležitějších oblastí výzkumu v počítačové grafice. Mraky jsou esenciální součástí každého virtuálního prostředí, přidávají důležitý vizuální detail, bez kterého by prostředí působilo nevěrohodně. Tento dokument popisuje přístup k vytvoření simulace mraků. Mraky v našem systému jsou modelovány pomocí celulárního automatu. Abychom akcelerovali simulaci a její vizualizaci, tak jsme oba dva implementovali na grafickém hardwaru. Hlavní část algoritmu je implementována ve fragment shadru a tak získáváme výhodu v jeho rychlém paralelním zpracování. Algoritmus dokáže generovat výsledek v reálném čase. Také simulujeme interakci mraku se světlem, včetně jeho vlastních stínů.
|
|
|
Strukturní design pomocí celulárních automatů
Bezák, Jakub ; Vašíček, Zdeněk (oponent) ; Bidlo, Michal (vedoucí práce)
Cílem tohoto textu je čtenáři co nejvíce přiblížit problematiku celulárních automatů, jejich návrhu a použití pro strukturní design. Na návrh automatů se nejčastěji používá genetických algoritmů, které jsou zde pro lepší pochopení také prezentovány. Jako struktury jsou použity řadicí sítě, které však nejsou součástí automatů, ale jsou generovány samostatně, pomocí pravidel lokální přechodové funkce automatu.
|
|
|
Kalibrace mikrosimulačního modelu dopravy
Pokorný, Pavel ; Minařík, Miloš (oponent) ; Korček, Pavol (vedoucí práce)
Práce se zabývá problematikou mikroskopické simulace dopravy. Součástí práce je návrh a implementace mikrosimulačního modelu, který je založen na celulárním automatu a vychází z modelu Nagel-Schreckenberg. Model podporuje kalibraci genetickým algoritmem. Práce obsahuje výsledky simulací s nastavením modelu, které bylo nalezeno při kalibraci.
|
|
|
Optimalizace návrhu celulárních automatů
Jílek, Tomáš ; Drábek, Vladimír (oponent) ; Bidlo, Michal (vedoucí práce)
Tato diplomová práce je zaměřena na evoluční návrh celulárních automatů a jeho optimalizaci. Nejprve jsou popsány evoluční algoritmy, celulární automaty, a poté je rozebrán jeden z možných nových postupů pro reprezentaci a evoluční návrh přechodové funkce automatu - podmínková pravidla. Následuje popis experimentů s podrobnými výsledky. V závěru je prezentováno úspěšné dosažení optimalizace evolučního návrhu celulárních automatů za pomocí podmínkových pravidel pro vybrané problémy.
|
|
|
Simulátor umělého života
Popek, Miloš ; Grulich, Lukáš (oponent) ; Martinek, David (vedoucí práce)
Oblast umělého života je velmi rozsáhlá. Tato práce je zaměřena na simulace s reaktivními agenty. Je popsán návrh simulátoru umělého života a jazyka pro definování chování agenta. Jsou popsány návrhy a výsledky provedených simulací.
|
|
|
Celulární automat v evolučním procesu
Hejč, Michal ; Herrman, Tomáš (oponent) ; Bidlo, Michal (vedoucí práce)
Tato diplomová práce pojednává o využití evolučních algoritmů společně s technikou developmentu v celulárních automatech. Popisuje základní principy jednotlivých nástrojů a následně se zaměřuje na jednu specifickou oblast - návrh kombinačních logických obvodů. Pomocí genetického algoritmu je hledán neuniformní celulární automat, který slouží jako generátor výsledného obvodu. Jsou provedeny experimenty se základními typy kombinačních logických obvodů a se speciální třídou nazývanou polymorfní obvody. Na závěr jsou představeny dosažené výsledky a provedeno porovnání s uniformními celulárními automaty.
|
|
|
Tvorba operačního systému založeného na evolučních a genetických algoritmech
Skorkovský, Petr ; Moučka,, Jiří (oponent) ; Kovár, Martin (oponent) ; Chvalina, Jan (vedoucí práce)
Hlavním cílem této práce je představit nové myšlenky, jak obvyklé postupy pro návrh operačního systému a přidruženého software mohou být vylepšeny aby se staly součástí automatizovaného vývoje software. Obecně se předpokládá, že algoritmy nalezené pomocí genetického programování nemohou být použity pro přesné výpočty, ale jen pro přibližná řešení. Je představeno několik příkladů jak lze při evoluci software přesto dosáhnout přiměřené přesnosti. Pro dosažení tohoto cíle jsou vlastnosti stromově orientovaných struktur spolu s postupy používanými u buněčných automatů spojeny do nového slibného přístupu, který slučuje výhody obou metod. Byla vyvinuta aplikace založená na těchto nových postupech a předpokládá se její budoucí využití v procesu automatizovaného vývoje software.
|
|
|
Interaktivni simulace s využitím technologie Flash
Látal, Pavel ; Šedá, Jitka (oponent) ; Matoušek, Radomil (vedoucí práce)
Práce se zabývá vytvořením šesti interaktivních simulací pomocí technologie Flash. Vytvořené interaktivní simulace jsou následující: rozšířená varianta Conwayova celulárního automatu realizovaná v ortogonální a hexagonální mřížce, simulace 1D celulárního automatu, demonstrace vybraných selekčních principů evolučních algoritmů, možné grafické zobrazení 2D Turingova stroje a aplikace demonstrující příklad chování mravenčí kolonie.
|
host ::
RSS.