|
| |
|
|
Karetní hra Taroky pro mobilní zařízení
Sykala, Vít ; Čermák, Martin (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato diplomová práce se zabývá vývojem hry Taroky pro mobilní zařízení. Hra je vyvíjena v programovacím jazyce Java - J2ME. Aplikace umožňuje hrát Taroky jednomu až čtyřem lidem. Inteligence hráčů reprezentovaných mobilním zařízením je implementovaná jako expertní systém. Pravidla expertního systému je možno změnit bez nutnosti rekompilace celé aplikace. Navržený a implementovaný expertní systém využívá jako bázi znalostí odlehčenou verzi jazyka Prolog. Pravidla tohoto systému jsou ve tvaru přesně definovaném touto prací.
|
|
|
Syntaktická analýza založená na multigenerování
Kleiner, Miloš ; Čermák, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
Multigenerativní gramatický systém je založen na kooperativní činnosti konečného počtu bezkontextových gramatik. Všechny tyto bezkontextové gramatiky paralelně a synchronně derivují jednotlivé větné formy. V průběhu generování dochází v každém přímém derivačním kroku ke kontrole správnosti jednotlivých vygenerovaných větných forem. Tyto kontroly mohou být provedeny různými způsoby. Výsledkem je potom tzv. multiřetězec (vektor řetězců), pomocí kterého je definován generovaný jazyk.
|
|
| |
|
|
Porovnání implementace GUI v různých knihovnách v OS Linux
Šelepa, Jan ; Beran, Vítězslav (oponent) ; Čermák, Martin (vedoucí práce)
Tato práce prezentuje základní vlastnosti a principy grafických uživatelských rozhraní. Dále ukazuje způsob, jakým se s gra fickým uživatelským rozhraním pracuje na operačním systému GNU/Linux a popisuje některé knihovny používané při tvorbě aplikací s grafi ckým rozhraním. V další části práce je uveden návrh uživatelského rozhraní pro aplikaci postavenou na funkčním antivirovém démonovi. Poslední část práce poukazuje na rozdíly při implementaci navržené aplikace.
|
|
|
Systémy formálních modelů a jejich aplikace
Čermák, Martin ; Lukáš, Roman (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce pojednává o automatových systémech jako o novém způsobu zpracování formálních jazyků. V textu jsou zmíněny čtyři modely. První z nich pracuje v sekvenčním módu. V jednom okamžiku počítá jediná komponenta systému. Druhý z nich pracuje v částečně paralelním módu. Zde během jednoho výpočetního kroku aktivně pracují buďto všechny, nebo pouze jediná komponenta systému. V posledních dvou modelech každý automat zpracovává svůj vlastní vstupní řetězec, přičemž jeho výpočet je řízen stavy, resp. přechody ostatních komponent. Stavy, resp. pravidla přechodů komponent mohou zapříčinit i tzv. blokaci, nebo odblokování dílčích automatů.
|
|
|
Paralelní lexikální analyzátor
Ježek, Lukáš ; Koutný, Jiří (oponent) ; Čermák, Martin (vedoucí práce)
Tato práce se zabývá generováním lexikálního analyzátoru, který analyzuje soubor paralelně, tj. několika vlákny. Analyzátor je vygenerován na základě regulárního jazyka a reprezentován konečným automatem s potřebnými funkcemi. Důraz je zde kladen právě na paralelní zpracování. Diskutuje možnost zpracování dopřednými a zpětnými vlákny. V implementaci byla zvolena metoda dopředných vláken. Rozebírá problémy, které se vyskytly při implementaci a způsobily, že výsledný program nedosáhl téměř žádného zrychlení.
|
|
|
Ř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.
|
|
|
Syntaktická analýza řízených gramatik
Šrajer, Roman ; Čermák, Martin (oponent) ; Křivka, Zbyněk (vedoucí práce)
Diplomová práce se zabývá řízenými gramatikami, jejich principem a vyjadřovacími schopnostmi vzhledem k Chomského klasi kaci jazyků. Více do detailů je probrána programovaná gramatika z hlediska různých typů nejlevějších derivací. V práci je prezentována varianta deterministické syntaktické analýzy programovaných gramatik, která pracuje podobně jako analýza LL(k) gramatik. Dále jsou představeny algoritmy pro převod maticových gramatik na programované bez změny vyjadřovací síly. Rovněž je prezentován mechanismus syntaktické analýzy regulárně řízených gramatik za pomocí programované gramatiky. Nakonec jsou prezentovány kooperující distribuované gramatiky s levě povolujícími gramatikami jako komponenty. Jejich syntaktická analýza je zajištěna buď deterministicky pomocí prediktivní tabulky nebo prohledáváním stavového prostoru.
|
|
|
Formal Systems Based on Automata and Grammars
Čermák, Martin ; Rybička, Jiří (oponent) ; Šaloun, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
The present thesis continues with study of grammar and automata systems. First of all, it deals with regularly controlled CD grammar systems with phrase-structure grammars as components. Into these systems, three new derivation restrictions are placed and their effect on the generative power of these systems are investigated. Thereafter, this thesis defines two automata counterparts of canonical multi-generative nonterminal and rule synchronized grammar systems, generating vectors of strings, and it shows that these investigated systems are equivalent. Furthermore, this thesis generalizes definitions of these systems and establishes fundamental hierarchy of n-languages (sets of n-tuples of strings). In relation with these mentioned systems, automaton-grammar translating systems based upon finite automaton and context-free grammar are introduced and investigated as a mechanism for direct translating. At the end, in this thesis introduced automata systems are used as the core of parse-method based upon n-path-restricted tree-controlled grammars.
|
host ::
RSS.