|
|
Paralelní hluboké zásobníkové automaty
Solár, Peter ; Křivka, Zbyněk (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce představuje paralelní hluboké zásobníkové automaty jako paralelní verzi hlubokých zásobníkových automatů. Jsou založeny na pravidlech, podle kterých může automat provést expanzi současně až n nejvýše položených neterminálních symbolů na vrcholu zásobníku pouze jednou aplikací pravidla. Podmínkou je, aby se na zásobníku vyskytoval dostatečný počet neterminálů. Hlavní výhoda použití paralelních hlubokých zásobníkových automatů spočívá v rychlejším rozhodování.
|
|
| |
|
|
Automatizované metody hledání chyb v překladačích
Müller, Petr ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato práce se zabývá aplikací metody fuzz testing k testování překladačů a interpretů. V první části pojednává o překladačích, optimalizacích a chybách typických pro optimalizující překladač. Analyzuje vhodnost metod statické a dynamické analýzy pro hledání těchto chyb a jako vhodnou navrhuje dynamickou metodu fuzz testování. V rámci práce byl implementován nástroj pro testování překladačů používající tuto metodu, který byl aplikován na několik případů, přičemž se podařilo nalézt sérii chyb v rozšířených překladačích, a to včetně např. GCC.
|
|
|
Syntaktická analýza založená na stavových gramatikách
Svatý, Lukáš ; Vrábel, Lukáš (oponent) ; Solár, Peter (vedoucí práce)
V této bakalářské práci je zaveden syntaxí řízený překlad za pomocí stavových gramatik. Teoretická část práce je zaměřená na zavedení teoretických modelů potřebných pro pochopení syntaktické analýzy za pomocí stavových gramatik. Mezi nejdůležitejší z teoretických formálních modelů v této práci patří hluboký zásobníkový převodník a překladová gramatika vytvořená ze stavové gramatiky, které lze využít k syntaktické analýze. Praktická část práce sa zaměřuje hlavně na syntaktickou analýzu zdola nahoru pomocí stavových gramatik a její implementaci.
|
|
|
Konverze ASP do ASP.NET
Vilímek, Jan ; Ryšavý, Ondřej (oponent) ; Kašpárek, Tomáš (vedoucí práce)
Cílem práce je implementovat aplikaci pro konverzi ASP stránek napsaných v jazyce VBScript na ASPX stránky a jazyk C#. Aplikace je vyvíjena na platformě .NET. Konverze stránek bude probíhat automaticky, cílový kód by se měl obejít bez dalšího zásahu programátora. První část práce uvádí do problematiky, poskytuje přehled současných řešení. Další část je analýza problému a návrh řešení. Zejména se pak práce zabývá konverzí VBScript gramatiky, konkrétními problémy a jejich řešením.
|
|
|
Modelování a analýza v počítačové síti VUT
Kojecký, Vladimír ; Veselý, Vladimír (oponent) ; Grégr, Matěj (vedoucí práce)
Tato práce se zabývá návrhem a implementací nástrojů pro vytvoření simulačního modelu počítačové sítě. Analýza sítě se provádí na základě konfiguračních souborů ze zapojených síťových zařízení. Dle požadavků simulace je nutné se v konfiguračních souborech zaměřit na údaje, které se týkají sledovaných prvků či jejich vlastností nebo by je mohly nějakým způsobem ovlivnit. Výstup je pak předán simulačnímu prostředí, které na základě zjištěných dat vytvoří požadovaný model sítě, na kterém již lze provádět simulace.
|
|
|
Generování 3D stromů na základě vzorových obrázků
Kubiš, František ; Polok, Lukáš (oponent) ; Szentandrási, István (vedoucí práce)
Diplomová práce se zabývá studiem možností generování 3D stromů za použití různých metod včetně bezkontextových gramatik a L-systémů. Diplomová práce dále obsahuje kapitolu o evolučních a genetických algoritmech, kde je stručně shrnuta jejich funkce. V této práci byl navržen algoritmus, který má na vstupu 2D obrázek a od uživatele dostane přibližný obrys stromu s polohou počátku kmene. Na základě těchto informací pomocí genetického algoritmu vytvoří 3D strom jenž se vizuálně blíží předloze. Kromě způsobů generování stromů se čtenář seznámí se zpracováním vstupního obrazu a návrhem testovací aplikace.
|
|
|
Zásobníkové systémy a syntaktická analýza založená na nich
Křesťan, Zdeněk ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce je zaměřena na využití hlubokého zásobníkového automatu v syntaktické analýze, který svou sílou přesahuje sílu bezkontextových gramatik. Zavádí modifikaci algoritmu prediktivní syntaktické analýzy řízené LL tabulkou o možnost práce shlubokým zásobníkovým automatem. Jsou zde zavedeny také modifikované LL gramatikyrozšířené o hloubku, které jsou nutné pro práci s tímto automatem.
|
|
|
Kombinovaná syntaktická analýza založená na gramatických systémech
Caha, Petr ; Solár, Peter (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá kombinovanou syntaktickou analýzou založenou na gramatických systémech. Zavádí klasické modifikované metody gramatických systémů. Nejprve budou teoreticky popsané a v další části implementované v syntaktickém analyzátoru. Základem analyzátoru je CD gramatický systém. Implementace využívá rekursivní sestup a precedenční analýzu. Analyzátor je universální, použitelný pro jakékoli gramatické systémy založené na bezkontextových a některých ne bezkontextových.
|
|
| |
host ::
RSS.