|
|
Redukce nedeterministických konečných automatů
Procházka, Lukáš ; Kořenek, Jan (oponent) ; Kaštil, Jan (vedoucí práce)
Nedeterministický konečný automat je důležitým nástrojem, který se používá pro zpracování řetězců v mnoha různých oblastech programování. V rámci zvýšení efektivity programů je důležité snažit se o zmenšování jeho velikosti. Tento problém je však velmi výpočetně náročný, proto je potřeba hledat nové postupy. V této práci jsou uvedeny základy konečných automatů a poté jsou představeny různé metody zabývající se jejich redukcí. Použitelné redukční algoritmy jsou v práci podrobněji popsány, dále implementovány a otestovány. Nakonec jsou výsledky zhodnoceny.
|
|
|
Řešitel hry griddlers
Balcárek, Lukáš ; Čermák, Martin (oponent) ; Goldefus, Filip (vedoucí práce)
Hlavním motivem této práce je logická hra Griddlers, na které jsou ukázány různé postupy pro hledání správného řešení. Pro nalezení řešení daného zadání se používají neinformované a informované algortimy, které jsou přizpůsobeny pro tuto logickou hru. Součástí této práce je vytvořená konzolová aplikace (demonstrující hledání výsledků ze zadaných metadat), na které je možné testovat různá zadání a pozorovat měnící se výpočetní nároky. Vytvořená aplikace má za cíl jednoduchým způsobem ukázat propojení umělé inteligence, algoritmizace a zpracování dat ve zvolené hře Griddlers.
|
|
|
Grafické animace metod řešení úloh
Macek, Jiří ; Jurka, Pavel (oponent) ; Zbořil, František (vedoucí práce)
Pro automatizované řešení problémů výpočetní technikou se používají různé implementace umělé inteligence. Tato práce se zabývá některými typickými metodami, popisuje jejich vlastnosti, porovnává je a uvádí možný způsob algoritmizace a implementace. Cílem je vytvoření aplikace, která názorným způsobem demonstruje na vybraných úlohách metody jejich řešení.
|
|
|
Grafické animace metod řešení úloh
Macek, Jiří ; Jurka, Pavel (oponent) ; Zbořil, František (vedoucí práce)
Pro automatizované řešení problémů výpočetní technikou se používají různé implementace umělé inteligence. Tato práce se zabývá některými typickými metodami, popisuje jejich vlastnosti, porovnává je a uvádí možný způsob algoritmizace a implementace. Cílem je vytvoření aplikace, která názorným způsobem demonstruje na vybraných úlohách metody jejich řešení.
|
|
|
Řešitel hry griddlers
Balcárek, Lukáš ; Čermák, Martin (oponent) ; Goldefus, Filip (vedoucí práce)
Hlavním motivem této práce je logická hra Griddlers, na které jsou ukázány různé postupy pro hledání správného řešení. Pro nalezení řešení daného zadání se používají neinformované a informované algortimy, které jsou přizpůsobeny pro tuto logickou hru. Součástí této práce je vytvořená konzolová aplikace (demonstrující hledání výsledků ze zadaných metadat), na které je možné testovat různá zadání a pozorovat měnící se výpočetní nároky. Vytvořená aplikace má za cíl jednoduchým způsobem ukázat propojení umělé inteligence, algoritmizace a zpracování dat ve zvolené hře Griddlers.
|
|
|
Redukce nedeterministických konečných automatů
Procházka, Lukáš ; Kořenek, Jan (oponent) ; Kaštil, Jan (vedoucí práce)
Nedeterministický konečný automat je důležitým nástrojem, který se používá pro zpracování řetězců v mnoha různých oblastech programování. V rámci zvýšení efektivity programů je důležité snažit se o zmenšování jeho velikosti. Tento problém je však velmi výpočetně náročný, proto je potřeba hledat nové postupy. V této práci jsou uvedeny základy konečných automatů a poté jsou představeny různé metody zabývající se jejich redukcí. Použitelné redukční algoritmy jsou v práci podrobněji popsány, dále implementovány a otestovány. Nakonec jsou výsledky zhodnoceny.
|
host ::
RSS.