|
|
Systémy převodníků a jejich aplikace
Lupták, Filip ; Krčmář, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto práca zavádza nový formálny model „systém prevodníkov." Systém prevodníkov sa skladá z niekoľkých konečných prevodníkov, ktoré spolupracujú. Práca skúma vyjadrovaciu silu tohto formálneho modelu a ukazuje, že je silnejší ako samotný konečný prevodník. Pomocou systému prevodníkov modeluje parser aritmetických výrazov, ktorý výrazy prekladá do postfixovej notácie.
|
|
|
Nové struktury a operace v matematické informatice
Bureš, Richard ; Krčmář, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této práce je podívat se na některé známé a na některé v této práci vytvořené operace a na jejich vlastnosti nad především regulárními, ale i bezkontextovými jazyky. Dále si zde ukážeme, jak je možné takové operace provádět nad konečnými a zásobníkovými automaty a nakonec také jak je možné tyto automaty a operace nad nimi implementovat.
|
|
|
Obecné gramatiky: Normální formy a jejich aplikace
Klobučníková, Dominika ; Krčmář, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto práca sa zaoberá problematikou obecných gramatík, normálnych foriem a ich aplikácií. Zameriava sa na kontextové gramatiky ako ich špeciálne prípady. Na základe analýzy tejto množiny bol navrhnutý algoritmus využívajúci princípy Cocke-Younger-Kasami algoritmu za účelom rozhodnutia, či zadaný reťazec je vetou jazyka definovaného kontextovou gramatikou. Výsledná aplikácia implementujúca toto riešenie je navrhnutá pre prácu s kontextovými gramatikami v Penttonenovej normálnej forme.
|
|
|
Language for High-Level Description of User Interface Requirements
Rašovský, Martin ; Martiško, Jakub (oponent) ; Krčmář, Radim (vedoucí práce)
This master's thesis investigates new high-level language for description of graphical user interface. The theoretical part of this thesis studies the UI technologies and software methodologies from a side of general requirements on new language. From that, we derive general requirements specifying what it is meant to be a functional part of an UI. We also list requirements for special educational needs according to known \textit{computer therapy design principles}. According to analyzed requirements is proposed a design of new language, including an algorithm of composition of UI components for further implementation of the language. Designed language is implemented in C\# programming language and is demonstrated on a representative example. We conclude this work with outlining further extensions of the proposed language.
|
|
|
Regulované systémy automatů
Krčmář, Radim ; Kučera, Jiří (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce zavádí a studuje dva nové typy automatů, spolupracující distribuované systémy zásobníkových automatů (CDPDAS) a paralelní komunikující systémy zásobníkových automatů (PCPDAS), které jsou inspirovany spolupracujícími distribuovanými gramatickými systémy (CDGS), paralelními komunikujícími gramatickými systémy (PCGS) a jejich modifikacemi. CDGS používají bezkontextová pravidla a přesto zvyšují sílu nad úroveň bezkontextových gramatik, leč zavedení distribuované spolupráce k zásobníkovým automatům sílu nezvyšuje. Dokázána je schopnost simulovat distribuovanou spolupráci pouze za použití stavu. Práce z tohoto výsledku dále vychází a zavádí variantu CDPDAS lišící se od všech variant CDGS, která zvyšuje sílu na roveň Turingových strojů (TM). PCGS mají sílu podobnou s CDGS, ale jimi inspirované PCPDAS jsou ekvivalení s TM, což je dokázáno umožněním přístupu k druhému zásobníku pomocí neintuitivního komunikačního protokolu.
|
|
|
Překladové gramatiky: Vlastnosti a aplikace
Vít, Radek ; Krčmář, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této práce je prozkoumat překladové gramatiky a jejich použití v syntaxí řízeném překladu. Práce ukazuje využití překladových gramatik v prediktivním syntaktickém překladu a definuje formální prostředky pro přijímání jazyků a generování výstupu překladu. Zkoumá sílu překladových gramatik při jejich použití jako prostředku pro generování jazyků. Práce dále popisuje implementaci překladové knihovny používající tyto formální prostředky a popisuje implementaci jednoduchého překladače pomocí této knihovny. Tento překladač překládá nový jazyk REON navržený v této práci do Pythonu 3.
|
|
|
Plánování cest v letecké dopravě
Sychra, Marek ; Krčmář, Radim (oponent) ; Křivka, Zbyněk (vedoucí práce)
Problematika plánování cest v letecké dopravě (v hromadné dopravě obecně) je podobná hledání nejkratší cesty v grafu. Hlavními rozdíly jsou však časová závislost vstupního grafu a fakt, že cena cesty je určena více kritérii. Cílem této práce bylo vytvořit komplexní systém, který je schopen po načtení databáze elementárních letů odpovídat na uživatelské dotazy cestou spojenou z více samostatných letů. Výsledku je docíleno pomocí dvou algoritmů pro plánování cest v hromadné dopravě, CSA a RAPTOR , které byly upraveny pro specifika letecké dopravy. Experimenty, které probíhaly na reálných datech, ukázaly masivní zrychlení původních algoritmů při použití navržených optimalizací. Celý systém byl také porovnán s existujícím proprietárním řešením.
|
|
|
Plánování pohybu objektu v 3D prostoru
Krčmář, Radim ; Janoušek, Vladimír (oponent) ; Rozman, Jaroslav (vedoucí práce)
V následující práci jsou předvedeny základy plánování v prostoru se zaměřením na pravděpodobnostní plánování. Oborem úzce spjatým je detekce kolizí, s užitím lineární algebry je vytvořen systém pro kolize objektů v libovolném počtu rozměrů. Jsou popsány základní možnosti vizualizace trojrozměrných dat. Vybrané algoritmy byly implementovány v haskellu a užity k vytažení ježka z klece.
|
|
|
Nové struktury a operace v matematické informatice
Bureš, Richard ; Krčmář, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této práce je podívat se na některé známé a na některé v této práci vytvořené operace a na jejich vlastnosti nad především regulárními, ale i bezkontextovými jazyky. Dále si zde ukážeme, jak je možné takové operace provádět nad konečnými a zásobníkovými automaty a nakonec také jak je možné tyto automaty a operace nad nimi implementovat.
|
|
|
Language for High-Level Description of User Interface Requirements
Rašovský, Martin ; Martiško, Jakub (oponent) ; Krčmář, Radim (vedoucí práce)
This master's thesis investigates new high-level language for description of graphical user interface. The theoretical part of this thesis studies the UI technologies and software methodologies from a side of general requirements on new language. From that, we derive general requirements specifying what it is meant to be a functional part of an UI. We also list requirements for special educational needs according to known \textit{computer therapy design principles}. According to analyzed requirements is proposed a design of new language, including an algorithm of composition of UI components for further implementation of the language. Designed language is implemented in C\# programming language and is demonstrated on a representative example. We conclude this work with outlining further extensions of the proposed language.
|
host ::
RSS.