|
|
EVOLUČNÍ NÁVRH KOMBINAČNÍCH OBVODŮ
Žák, Jan ; Hůlka, Tomáš (oponent) ; Matoušek, Radomil (vedoucí práce)
Práce se zaměřuje na využití kartézského genetického programování pro návrh kombinačních obvodů. V rámci projektu byla implementována metoda CGP v programovacím jazyce Python s využitím knihovny NumPy. Implementace byla úspěšně otestována na experimentálních úlohách, jejichž výsledky jsou také v práci diskutovány.
|
|
|
Algoritmy a metody statistického hodnocení Q řazení
Burešová, Zuzana ; Beran, Vítězslav (oponent) ; Herout, Adam (vedoucí práce)
Cílem této bakalářské práce bylo seznámení se s Q-metodologií, vytvoření Q-řazení pro získávání testovacích dat, převedení testovacích dat do JSON formátu, experimentování s vizualizací a vyhodnocováním dat a také vytvoření knihovny nástrojů pro vyhodnocování a vizualizaci dat získaných z Q-řazení. V práci je zahrnuta zpráva o použitých technologiích a popisu jednotlivých nástrojů implementovaných ve vytvořené knihovně. Zaměřila jsem se především na vizualizaci dat, kdy jsem experimentovala s různými grafy a knihovnami pro vizualizaci. Díky této knihovně může uživatel jednoduše vyhodnotit a vizualizovat data získaná z Q-řazení.
|
|
|
Nástroj pro práci s Büchi automaty
Schindler, Petr ; Lengál, Ondřej (oponent) ; Rogalewicz, Adam (vedoucí práce)
Tato práce zpracovává problematiku Büchiho automatů a představuje knihovnu, umožňující provádět základní operace nad těmito automaty. V práci jsou uvedeny základy teorie automatů. Ty jsou použity při popisu konečných automatů, mezi které patří Büchiho automaty, jejichž popis tvoří hlavní část zde uvedené teorie. Znalost jejich vlastností je důležitá pro pochopení algoritmů, které s nimi pracují. Dále jsou tyto algoritmy představeny i s detailním vysvětlením. Následuje návrh datových struktur formátu, v jakém jsou automaty ukládány na disk. Stěžejní část práce se věnuje implementaci knihovny a pomocných skriptů. Detailně jsou zde popsány důležité nebo zajímavé části implementace jednotlivých metod. Závěr práce je věnován testování funkčnosti knihovny.
|
|
|
Nástroj pro práci s Büchi automaty
Schindler, Petr ; Lengál, Ondřej (oponent) ; Rogalewicz, Adam (vedoucí práce)
Tato práce zpracovává problematiku Büchiho automatů a představuje knihovnu, umožňující provádět základní operace nad těmito automaty. V práci jsou uvedeny základy teorie automatů. Ty jsou použity při popisu konečných automatů, mezi které patří Büchiho automaty, jejichž popis tvoří hlavní část zde uvedené teorie. Znalost jejich vlastností je důležitá pro pochopení algoritmů, které s nimi pracují. Dále jsou tyto algoritmy představeny i s detailním vysvětlením. Následuje návrh datových struktur formátu, v jakém jsou automaty ukládány na disk. Stěžejní část práce se věnuje implementaci knihovny a pomocných skriptů. Detailně jsou zde popsány důležité nebo zajímavé části implementace jednotlivých metod. Závěr práce je věnován testování funkčnosti knihovny.
|
host ::
RSS.