| |
|
Demonstrační program konstrukce LL tabulky
Choleva, Ondřej ; Křivka, Zbyněk (oponent) ; Zámečníková, Eva (vedoucí práce)
Tato práce se zabývá návrhem a následnou implementací výukové aplikace pro konstrukci LL tabulky na bázi zadané gramatiky. Tato tabulka je využívaná prediktivním syntaktickým analyzátorem. Součástí této aplikace je i ukázka syntaktické analýzy s využitím zkonstruované tabulky. Aplikace umožňuje krokování všech dílčích algoritmů a jejich zobrazení v grafickém uživatelském rozhraní. Při vývoji byl zohledněn požadavek na přenositelnost výběrem vhodné multiplatformní knihovny.
|
|
Demonstrace vlastností stromových gramatik
Kunštátský, Martin ; Čermák, Martin (oponent) ; Koutný, Jiří (vedoucí práce)
Stromové gramatiky jsou gramatiky řízené prostřednictvím omezení kladených na jejich derivační stromy. Jedná se o jednoduché a přirozené rozšíření bezkontextových gramatik. Existuje několik typů kontroly derivačního stromu, v této práci jsou zmíněny dva principy: horizontální a vertikální kontrola. Součástí této práce je také aplikace pro demonstraci vlastností stromových gramatik, implementovaná v jazyce Python.
|
|
Strukturální metody identifikace objektů pro řízení průmyslového robotu
Minařík, Martin ; Šlapal, Josef (oponent) ; Konečný, Vladimír (oponent) ; Šťastný, Jiří (vedoucí práce)
Tato dizertační práce se zabývá využitím strukturálních metod identifikace objektů pro řízení průmyslového robotu. Nejprve je popsán současný stav znalostí v dané oblasti, tedy celý proces rozpoznávání objektů pomocí metod klasické syntaktické analýzy. Největší nevýhodou je nemožnost rozpoznávat objekty, jejichž digitalizovaný obraz je nějakým způsobem porušen či zkreslen (díky nadměrnému šumu nebo poruchám obrazu), tedy deformován. Pro rozpoznávání deformovaných objektů jsou dále popsány metody využívající strukturálního popisu pro jejich rozpoznávání – metody pro stanovení vzdáleností mezi atributovými popisy obrazů. Vlastní jádro celé práce spočívá až v kapitole 5, kde jsou popsány deformační gramatiky, jež jsou schopny popsat všechny možné deformace objektu. Komplikací při jejich analýze je nejednoznačnost deformační gramatiky, která snižuje efektivitu analýzy. Dále je věnován prostor výběru a modifikaci vhodného parseru schopného efektivně analyzovat deformační gramatiku. Popsány jsou tři typy parseru: modifikovaný Earlyho parser, modifikovaný Tomita parser a modifikovaný hybridní LRE(k) parser. Pro Earlyho parser je popsán efektivní způsob jeho implementace. Nezbytnou součástí rozpoznávání objektů je zajištění invariancí, čímž se tato práce též detailně zabývá. Závěrem jsou uvedeny výsledky popsaných algoritmů (úspěšnost a rychlost rozpoznávání deformovaných objektů) a je popsáno navržené testovací prostředí a algoritmy v něm implementované. V závěru jsou shrnuty zjištěné možnosti deformačních gramatik a jejich výsledky.
|
|
Script pro zpracování obrazu
Zuzaňák, Jiří ; Herout, Adam (oponent) ; Zemčík, Pavel (vedoucí práce)
Tato práce pojednává o návrhu skriptovacího jazyka, určeného pro efektivní zpracování obrazu. Úvod této práce se zabývá studiem a osvojením si metod návrhu překladačů a interpretů, včetně jejich následné aplikace při návrhu skriptovacího jazyka a jeho interpretu. Práce dále popisuje metody návrhu a implementace interpretu, včetně automatizovaných metod využitých při návrhu implementovaného programu. Další část práce se zabývá popisem struktury a implementace navrženého programu, určeného pro generování překladače libovolného jazyka, popsaného jako vstup tohoto programu. Konec práce podrobněji popisuje navržený skriptovací jazyk, jehož implementace je založena na výše popsaných metodách.
|
| |
| |
|
Skákající jazykové modely
Ošmera, Lubomír ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této diplomové práce je návrh a výzkum nových verzí skákajících automatů a gramatik. Nové verze jsou zaměřeny primárně na aplikace v bioinformatice - DNA computingu. Práce zkoumá jejich vyjadřovací sílu a další vlastnosti navržených modelů a porovnává je s již existujícími modely teoretické informatiky. Následně demonstruje praktické aplikace, konkrétně aplikace pro detekci aminokyselin a proteinů uvnitř DNA sekvence a provádí porovnání s již existujícími nástroji v DNA computingu, jako jsou například Markovy pravděpodobnostní modely.
|
| |
| |