|
|
Paralelní verze obecné syntaktické analýzy
Mikita, Tibor ; Kučera, Jiří (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato bakalářská práce se zabývá obecními metodami syntaktické analýzy. Autor studuje Cocke-Younger-Kasami algoritmus a přichází s návrhem paralelní verze. Motivací autora je zrychlení syntaktické analýzy založené na tomto algoritmu. Výsledkem práce je konzolová aplikace, která dokáže zjistit, zda vstupní řetězec patří do jazyka generovaného vstupní gramatikou, nebo nepatří, na základě navrženého paralelního algoritmu. Jako programovací jazyk byl zvolen jazyk C++. Pro dosažení paralelismu byla práce algoritmu rozdělena mezi několik vláken.
|
|
|
Detekce podobnosti zdrojových souborů v jazyce C
Rek, Petr ; Kučera, Jiří (oponent) ; Matula, Peter (vedoucí práce)
Tato práce se zabývá návrhem, implementací a testováním nástroje csim, sloužícího pro porovnávání podobnosti dvou souborů v jazyce C. Primárním účelem vzniku tohoto nástroje je testování zpětného překladače vyvíjeného společností AVG Technologies s.r.o. Testování je prováděno na základě podobnosti abstraktního syntaktického stromu původního a dekompilovaného souboru. Čtenář je tedy seznámen se základy problematiky zpětného inženýrství, zejména zpětným překladem binárního kódu do vyšší úrovně reprezentace. Dále je popsán koloběh, kterým kód prochází od jeho vytvoření až po zpětný překlad, a jeho vliv na tento proces. Čtenáři je také poskytnut přehled o projektu LLVM a překladači Clang, který je základním stavebním kamenem nástroje csim.
|
|
|
A Combination of Automata and Grammars
Kučera, Jiří ; Horáček, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
In this work, a new systems of formal models, called state-synchronized automata systems of degree n , were introduced and studied. The computation in presented automata systems is controlled by words from finite control language, where every word from control language is a sequence of states. Furthermore were studied the computational power of these systems. The practical use of introduced systems was demonstrated on example of natural language translation and on example of parallel compiling.
|
|
|
New Parallel and Regulated Automata and Grammars
Kučera, Jiří ; Průša, Daniel (oponent) ; Sawa, Zdeněk (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis introduces and studies four new language models with focus on regulation and parallelism in automata and grammars. First, state-synchronized automata systems , present systems consisting of a finite number of pushdown automata controlled by words of a control language over a set of states. Second, unlimited deep pushdown automata , are a modification of deep pushdown automata with no restrictions imposed on the depth of expansion on the pushdown. Third, jumping pure grammars , introduces jumping grammars with no nonterminal symbols. The last one, k#$-rewriting systems , extends #-rewriting systems with additional pushdown memory. The contents of this thesis are divided into three parts. The first part outlines the motivation for introduction of the studied language models and puts them into the context of related formal language theory areas. Furthermore, it gives an overview of the structure of the thesis, reviews fundamental notions of formal language theory and gives a survey of current knowledge related to the subject of research. The second part presents the core of this thesis. Here, formal definitions of all newly introduced language models are given and their expressive power is studied. Finally, this thesis is concluded with a summary of achieved theoretical results as well as related open problem areas, and an outline of the possibilities for further research along with a sketch of possible applications.
|
|
|
Hodnocení finanční situace podniku a návrhy na její zlepšení
Provázek, Tomáš ; Kučera, Jiří (oponent) ; Luňáček, Jiří (vedoucí práce)
Tato diplomová práce se zabývá finanční analýzou firmy. Jejím cílem je předložení doporučení, která povedou ke změně hospodaření analyzované firmy. V teoretické části diplomové práce jsou popsány některé metody finanční analýzy, především elementární metody. V praktické části využívám daných metod pro zpracování finanční analýzy firmy Rodinný pivovar Bernard a zhodnocení stavu hospodaření firmy. Závěrečná část se zabývá řešeními, vedoucími ke zlepšení hospodaření firmy.
|
|
|
Nové přístupy v úloze kolportéra novin
Kučera, Jiří ; Popela, Pavel (oponent) ; Hrabec, Dušan (vedoucí práce)
Tato bakalářská práce se věnuje úloze kolportéra novin s marketingem. V úvodu práce je uveden základní model úlohy kolportéra novin a jsou diskutovány různé modifikace základní úlohy. V další části je základní model rozšířen přidáním marketingu. V úloze s marketingem je ukázáno nalezení optimálního řešení pro aditivní a multiplikativní podobu poptávky a jsou ukázány výsledky pro jeden vybraný modelový příklad. Reálné aplikace modelu s marketingem jsou poté popsány v závěrečné části celé práce, kde jsou pro některé z aplikací také graficky ukázány efekty marketingu na reálných trzích.
|
|
| |
|
| |
|
|
Syntaktická analýza založená na regulovaných gramatikách
Vaníček, Luboš ; Kučera, Jiří (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá regulovanými gramatikami. Popisuje vlastnosti různých druhů regulovaných gramatik a srovnává je. Ke srovnání využívá příklady postavené na kontextových jazycích. Práce se nejvíce zaměřuje na programované gramatiky. Modifikuje metody syntaktické analýzy a využívá je pro programované gramatiky. Práce aplikuje navrženou metodu syntaktické analýzy na kontextové jazyky a zkoumá jejich sílu.
|
|
|
Dvoudimensionální konečné automaty a jejich aplikace
Hladík, Zdeněk ; Kučera, Jiří (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce představuje teorii dvoudimensionálních jazyků a automatů v porovnání s klasickými jazyky a automaty. Této teorie je využito k vytvoření speciálního automatu, který umožňuje analýzu tabulek obsahujících pravidla. Tyto tabulky jsou spojeny s pravidly registračních značek vybraných evropských států. Automat a tabulky jsou používány vyvinutou aplikací, která umožňuje identifikaci státní příslušnosti vozidel.
|
host ::
RSS.