|
Srovnání algoritmů při řešení problému obchodního cestujícího
Kopřiva, Jan ; Všetička, Martin (oponent) ; Dostál, Petr (vedoucí práce)
Diplomová práce se zabývá inovací v modulu logistiky informačního systému ERP. Principem inovace je implementace heuristických algoritmů řešících problém obchodního cestujícího (TSP). Pro analýzu a testy zmíněných algoritmů je využit softwarový nástroj MATLAB. Východiskem práce je porovnání vybraných algoritmů s ohledem na ekonomické faktory řešení (přesnost řešení, rychlost výpočtu a paměťovou náročnost).
|
|
Simulátor Turingových strojů popsaných pomocí kompozitních diagramů
Siska, Josef ; Lengál, Ondřej (oponent) ; Rogalewicz, Adam (vedoucí práce)
V této práci je uvedena teorie související s Turingovými stroji a formami jejich popisu se zaměřením na kompozitní diagramy. Cílem práce je vytvořit aplikaci, která umožní editaci Turingových strojů zapsaných pomocí kompozitních diagramů a simulaci jejich běhu na zadané vstupní konfiguraci (včetně strojů nedeterministických i vícepáskových). Dále bude aplikace umožňovat spustit analýzu daného Turingova stroje za účelem zjištění, zda tento stroj nebo některé jeho části vždy zastaví. Výsledná aplikace poskytující uvedené funkce je implementována v Javě a zmíněná analýza je v ní prováděna s využitím konstrukce fundovaných uspořádání. V rámci práce tak vznikl nástroj umožňující návrh a testování Turingových strojů zapsaných pomocí kompozitních diagramů. Aplikace může najít své využití zejména při výuce teoretické informatiky, kde může posloužit např. pro demonstraci činnosti daného Turingova stroje.
|
|
Výpočetní historie Turingových strojů a jejich generování gramatikami s rozptýleným kontextem
Kajan, Dušan ; Soukup, Ondřej (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této diplomové práce je navrhnout metodu , která by na vstupu očekávala Turingův stroj a na výstupu by byla propagujucí gramatika s roptýleným kontextem . Jazyk výstupní gramatiky by byl tvořený množinou řetězců reprezentující všechny validní výpočetní historie stroje na vstupu . Následně se tato práce zabývá otázkami , které z existence takového algoritmu vystávají , zejména ve vztahu k předpokladům , které dosud o výpočetní síle propagujících gramatik s rozptýleným kontextem existují . Názorné ukázky práce s těmito gramatikami a implementace představeného algoritmu v jazyce Haskell jsou také součástí této diplomové práce .
|
|
Klasifikace a využití gramatik, jazyků a automatů
Jancek, Libor ; Novotná, Veronika (oponent) ; Bobalová, Martina (vedoucí práce)
Tato bakalářská práce se zabývá teorií jazyků, gramatik a automatů. Ukázky použití konečných automatů v praxi na názorných příkladech a vytvoření programu, pro firmu Paradise Casino Admiral a.s. . Účelem tohoto programu je vyplnění evidence docházky na základě rozpisu služeb, který musí navrhnout manažerka pro svoje oddělení každý měsíc. Tento program by měl manažerce usnadnit a hlavně urychlit práci, kterou doposud vykonávala ručně.
|
|
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.
|
| |
|
Turingovy stroje bez návratu na pásce
Surovič, Marek ; Vrábel, Lukáš (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce zavádí omezenou variantu Turingových strojů, které se nemohou pohybovat doleva, tedy se vracet na pásce. Ostatní vlastnosti Turingových strojů (například potenciálně nekonečná páska a schopnost přepisovat symboly na pásce) jsou zachovány. Zavedením tohoto omezení limitujeme vyjadřovací sílu Turingových strojů do té míry, ľe Turingovy stroje bez návratu na pásce jsou ekvivalentní s konečnými automaty a lze je na konečný automat transformovat. Dále je představen a detailně popsán algoritmus, který realizuje tuto transformaci.
|
| |
| |
|
Výpočetní historie Turingových strojů a jejich generování gramatikami s rozptýleným kontextem
Kajan, Dušan ; Soukup, Ondřej (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této diplomové práce je navrhnout metodu , která by na vstupu očekávala Turingův stroj a na výstupu by byla propagujucí gramatika s roptýleným kontextem . Jazyk výstupní gramatiky by byl tvořený množinou řetězců reprezentující všechny validní výpočetní historie stroje na vstupu . Následně se tato práce zabývá otázkami , které z existence takového algoritmu vystávají , zejména ve vztahu k předpokladům , které dosud o výpočetní síle propagujících gramatik s rozptýleným kontextem existují . Názorné ukázky práce s těmito gramatikami a implementace představeného algoritmu v jazyce Haskell jsou také součástí této diplomové práce .
|