|
|
Univerzální diskrétní simulátor
Vytasil, Jiří ; Pergel, Martin (vedoucí práce) ; Bednárek, David (oponent)
V této práci je rozebrán návrh a implementace programu umožňujícího provádět diskrétní simulace. Dále je v programu implementována vizualizace průběhu diskrétní simulace. Důraz je kladen především na univerzalitu. Kromě programu a jeho popisu jsou zde informace o diskrétní simulaci, které umožní jednodušší pochopení činnosti programu. Pro popis diskrétní simulace používáme konečné automaty a regulární gramatiky. Zmíněné části zde více popisujeme, abychom jednodušeji pochopili popis diskrétní simulace. Systém dále umožňuje úpravu vstupních souborů pro jednodušší práci programu.
|
|
|
Formální popis deskových her
Nowak, Stanislav ; Štěpánek, Petr (vedoucí práce) ; Kunčar, Ondřej (oponent)
Cílem bakalářské práce bylo navrhnout matematický formalismus umožňující popis a zkoumání vlastností deskových her. Práce těží především z poznatků teorie automatů a logického programování. Z teorie automatů se práce zabývá konečnými automaty a jejich možnou aplikací pro potřeby deskových her. Výsledkem je rozšíření konečného automatu pokrývající specifika deskových her nazvané herní automat. Deskové hry jsou komplexní doménou a nabízí se využít k jejich popisu prostředků vyšší úrovně. Takovým prostředkem je i logické programovaní. S využitím logického programování byl navržen nástroj, který umožňuje deklarativní popis her, pojmenovaný herní systém. Tento deklarativní popis tvoří rámec pro implementaci interaktivních her. Propojení obou světů bude demonstrováno převodem herního systému na herní automat.
|
|
|
Univerzální diskrétní simulátor
Vytasil, Jiří ; Pergel, Martin (vedoucí práce) ; Jančík, Pavel (oponent)
V této práce je rozebrán návrh a implementace programu umožňujícího provádět diskrétní simulace. Dále je v programu implementována vizualizace průběhu diskrétní simulace. Důraz je kladen především na univerzalitu. Kromě programu a jeho popisu jsou zde informace o diskrétní simulaci, které umožní jednodušší pochopení činnosti programu. Pro popis diskrétní simulace používáme konečné automaty a regulární gramatiky. Zmíněné části zde více popisujeme, abychom jednodušeji pochopili popis diskrétní simulace. Systém dále umožňuje úpravu vstupních souborů pro jednodušší práci programu.
|
|
|
Paralelní hluboké zásobníkové automaty
Solár, Peter ; Křivka, Zbyněk (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce představuje paralelní hluboké zásobníkové automaty jako paralelní verzi hlubokých zásobníkových automatů. Jsou založeny na pravidlech, podle kterých může automat provést expanzi současně až n nejvýše položených neterminálních symbolů na vrcholu zásobníku pouze jednou aplikací pravidla. Podmínkou je, aby se na zásobníku vyskytoval dostatečný počet neterminálů. Hlavní výhoda použití paralelních hlubokých zásobníkových automatů spočívá v rychlejším rozhodování.
|
|
|
Modifikované hluboké zásobníkové automaty
Škvařilová, Radka ; Horáček, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce představuje dvě nové modifikace hlubokých zásobníkových automatů - bezestavové hluboké zásobníkové automaty a paralelní bezestavové hluboké zásobníkové automaty.V teoretické části jsou zavedeny formální definice a také je zde zkoumána síla těchto automatů. V pratické části je ukázána na jednoduchém příkladu implementace těchto automatů.
|
|
|
Syntaktická analýza založená na stavových gramatikách
Svatý, Lukáš ; Vrábel, Lukáš (oponent) ; Solár, Peter (vedoucí práce)
V této bakalářské práci je zaveden syntaxí řízený překlad za pomocí stavových gramatik. Teoretická část práce je zaměřená na zavedení teoretických modelů potřebných pro pochopení syntaktické analýzy za pomocí stavových gramatik. Mezi nejdůležitejší z teoretických formálních modelů v této práci patří hluboký zásobníkový převodník a překladová gramatika vytvořená ze stavové gramatiky, které lze využít k syntaktické analýze. Praktická část práce sa zaměřuje hlavně na syntaktickou analýzu zdola nahoru pomocí stavových gramatik a její implementaci.
|
|
|
Demonstrační program simulace zásobníkových automatů
Kuželová, Ludmila ; Koutný, Jiří (oponent) ; Lukáš, Roman (vedoucí práce)
Tato práce se zabývá zpracováním simulace zásobníkových a rozšířených automatů. Součástí práce je demonstrační program, který umožňuje uživateli zadat nastavení automatu a následně spustit simulaci přijetí vstupního řetězce automatem. Vybrána je vhodná metoda prohledávání stavového prostoru, z oboru umělé inteligence - prohledávání do šířky - Breadth First Search.
|
|
| |
|
| |
|
|
Spojení samoorganizace s výpočty: minimální život v moři umělých molekul
Wiedermann, Jiří
Navrhneme formální abstraktní hybridní systém, tzv. bakteroid, který ve své činnosti kombinuje výpočetní a nevýpočetní mechanismy. Ukážeme, že v prostředí umělých molekul, nadanými jistými samoorganizačními schopnostmi, některé bakteroidy vykazují znaky minimálního života: jsou autonomní, replikují se a mají schopnost darwinovské evoluce. Návrh bakteroidů je inspirován představami současné molekulární biologie o dnes již neexistujících (či prozatím neobjevených) formách protoživota.
|
host ::
RSS.