|
|
Konverze modelů regulárních jazyků
Navrkal, David ; Kučera, Jiří (oponent) ; Křivka, Zbyněk (vedoucí práce)
p { margin-bottom: 0.08in; direction: ltr; color: rgb(0, 0, 0); line-height: 150%; widows: 2; orphans: 2; }p.western { font-family: "Times New Roman",serif; font-size: 11pt; }p.cjk { font-family: "Times New Roman",serif; font-size: 11pt; }p.ctl { font-family: "Times New Roman",serif; font-size: 12pt; } p { margin-bottom: 0.08in; direction: ltr; color: rgb(0, 0, 0); line-height: 150%; widows: 2; orphans: 2; }p.western { font-family: "Times New Roman",serif; font-size: 11pt; }p.cjk { font-family: "Times New Roman",serif; font-size: 11pt; }p.ctl { font-family: "Times New Roman",serif; font-size: 12pt; } Moje práce se zabývá, jak didakticky prezentovat studentům modely regulárních jazyků se zaměřením na jejich vzájemné konverze. Tyto konverze jsou převod regulárního výrazu na konečný automat (KA), odstranění epsilon pravidel z KA a determinizace KA. Cílem bylo toto implementovat aplikaci. V této práci dokumentuji vývoj této aplikace. Tuto aplikaci jsem programoval v jazyku C++ za použití grafické knihovny Qt 5. Aplikaci jsem vyvíjel v operačním systému Linux a testoval v prostředí Microsoft Windows 7. Všechny tyto konverze jsou implementovány. Aplikace je uživatelsky přívětivá, intuitivní a funkční. Aplikace nebyla testována na širším vzorku studentů. Přínosem této práce je aplikace, která pomůže studentům formálních jazyků a automatů lépe pochopit a procvičit si tuto teorii na příkladech. Zdrojové kódy tohoto projektu (regularConvertor) jsou dostupné online na serveru Github. p { margin-bottom: 0.08in; direction: ltr; color: rgb(0, 0, 0); line-height: 150%; widows: 2; orphans: 2; }p.western { font-family: "Times New Roman",serif; font-size: 11pt; }p.cjk { font-family: "Times New Roman",serif; font-size: 11pt; }p.ctl { font-family: "Times New Roman",serif; font-size: 12pt; }ráce se zabývá, jak didakticky prezentovat studentům modely regulárních jazyků se zaměřením na jejich vzájemné konverze. Tyto konverze jsou převod regulárního výrazu na konečný automat (KA), odstranění epsilon pravidel z KA a determinizace KA. Cílem bylo toto implementovat aplikaci. V této práci dokumentuji vývoj této aplikace.
|
|
|
Ray-tracing s využitím SSE
Kučera, Jiří ; Herout, Adam (oponent) ; Havel, Jiří (vedoucí práce)
Tato práce se zabývá využitím SSE instrukcí k akceleraci výpočtů probíhajících při ray-tracingu. Aby bylo možné SSE instrukce co nejefektivněji použít, bylo zvoleno současné sledování čtyř paprsků uzavřených v jednom svazku. Byla provedena vektorizace algoritmů použitých v ray-tracingu a také bylo navrženo a implementováno řešení rozpadu svazku paprsků. Provedenými testy pak byla sledována doba renderování obrazu pro případ, kdy jsou všechny paprsky pohromadě, ale také pro případ, kdy se ve svazku nachází pouze jeden paprsek.
|
|
|
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.
|
|
|
Zpětný překladač bajtkódu jazyka Java
Hřibal, Jaromír ; Kučera, Jiří (oponent) ; Křivka, Zbyněk (vedoucí práce)
První část této bakalářské práce se zabývá základními principy virtuálního stroje jazyka Java a detailněji se věnuje jeho instrukční sadě a formátu . class souborů, dohromady známých jako bajtkód . Následující část prezentuje rešerši existujících nástrojů pro manipulaci s bajtkódem . Poslední část popisuje vytvoření pluginu do vývojového prostředí Eclipse , který realizuje uživatelsky přívětivé zobrazení zadaného bajtkódu spolu s původním zdrojovým kódem, ze kterého byl bajtkód generován. Nástroj předpokládá dostupnost těchto zdrojových kódů, takže neplní roli dekompilátoru.
|
|
|
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.
|
|
|
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.
|
|
|
Hluboký syntaxí řízený překlad
Senko, Jozef ; Kučera, Jiří (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce volně navazuje na moji bakalářskou práci, která byla věnována syntaktické analýze s použítím hlubokých zásobníkových. V teoretické části je této práce je definováno vše potřebné a základní pro tuto problematiku, jako například hlubokému syntaxí řízenému překladu, zásobníkovým automatům, hlubokým zásobníkovým automatům, konečným převodníkům a hlubokým zásobníkovým převodníkům. Ve druhé části se věnuji programu, který je součástí této práce, kdy se jedná o program, který je určený pro předmět IFJ. V této části je rozebrán návrh programu, struktura a jednotlivé části programu jak z teoretické, tak i z praktické stránky.
|
|
| |
|
|
Výroba krytu brzdového kotouče sdruženým nástrojem
Kučera, Jiří ; Žák, Ladislav (oponent) ; Peterková, Eva (vedoucí práce)
Projekt vypracovaný v rámci magisterského studia oboru strojírenská technologie a průmyslový management (M2I-K Strojírenství) předkládá návrh technologie výroby krytu brzdového kotouče ve sdruženém nástroji, s roční produkcí 500 000 kusů. Materiálem je hlubokotažný plech 11 305.21 o tloušťce 1 mm. Na základě literární studie problematiky tváření a výpočtů bylo navrženo několik možných variant výroby zadané součásti. Navržený nástroj je upnut do klikového lisu LDC 400 firmy Šmeral s nominální silou 4000 kN. Funkční části jsou vyrobeny z nástrojové oceli 19 573. Návrh technologie tažení byl prověřen pomocí simulačního programu AutoForm.
|
|
|
Jakost v podniku
Adler, Ondřej ; Kučera, Jiří (oponent) ; Bartes, František (vedoucí práce)
Diplomová práce se zabývá výzkumem a analýzou úrovně spokojenosti zákazníků fir-my OXOID CZ s.r.o. Teoretická část se věnuje problematice zákazníka, marketingové-ho výzkumu a dotazníku, jako nástroji pro shromažďování informací. V praktické části jsou analyzovány a zpracovány získané výsledky z dotazníkového šetření, návrhy na zvýšení úrovně spokojenosti zákazníků a zkvalitnění poskytovaných služeb.
|
host ::
RSS.