|
|
Překlad do různých asemblerů
Hranáč, Jan ; Goldefus, Filip (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem tohoto projektu je vytvořit překladač schopný přeložit vstupní jazyk do více různých asemblerů, dle volby uživatele. Toho bude dosaženo rozšiřitelností o moduly implementujících výstavbu zdrojových souborů konkrétních typů asemblerů. Překladač bude sloužit jako generátor částí asemblerovských zdrojových souborů pro usnadnění práce programátora v asembleru. Vstupní jazyk je odvozen od Pascalu. Má ale blíže k asembleru, než běžný Pascal.
|
|
|
Navigace v grafu
Žák, Vojtěch ; Goldefus, Filip (oponent) ; Čermák, Martin (vedoucí práce)
Reprezentace problémů nebo systémů je důležitá. Čím unifikovanější reprezentaci získáme, tím snáz poté nalezené řešení či operace zaznamenáme a předáme. Jednou z nejpoužívanějších reprezentací systémů je graf. Pro graf jsou definovány jasné pravidla a pro graf jsou také definovány některé algoritmy. Tato práce se bude zabývat právě skupinou takovýchto algoritmů. Konkrétně algoritmy pro prohledávání stavových prostorů. Pomocí poznatků z těchto algoritmů se sestaví nový algoritmus nad grafem, reprezentujícím areál fakulty, pro vyhledávání nejkratších cest. Tento algoritmus poté uplatní ve výsledné aplikaci.
|
|
|
Barvení grafů
Procházka, Lukáš ; Goldefus, Filip (oponent) ; Masopust, Tomáš (vedoucí práce)
Tato práce se zabývá barvením grafů, což je přiřazování barev jednotlivým vrcholům grafu tak, aby žádné dva vrcholy spojené hranou neměly stejnou barvu. Tento problém je velmi výpočetně náročný, protože je NP-úplný. Zároveň je velmi důležitý, protože má řadu praktických aplikací. Zde jsou popsány některé heuristické algoritmy, které se tento problém snaží řešit pomocí postupného zlepšování počátečního řešení při zadaném počtu barev. Tři algoritmy byly implementovány a poté otestovány na různých grafech a porovnány vzhledem k různým kritériím.
|
|
|
Převody mezi CF gramatikami a zásobníkovými automaty
Makovský, Benjamin ; Goldefus, Filip (oponent) ; Masopust, Tomáš (vedoucí práce)
Tato práce navrhuje a řeší implementaci transformací bezkontextových gramatik a převody mezi bezkontextovými gramatikami a zásobníkovými automaty. Obsahuje seznámení s modely, které se používají v moderní teorii formálních jazyků. V práci jsou uvedeny všechny potřebné algoritmy pro transformace a vzájemné převody mezi bezkontextovými gramatikami a zásobníkovými automaty. Je představen objektový návrh reprezentující gramatiku a automat v programu. Je popsáno řešení zadávání definice gramatiky a automatu, řešení vykreslování automatu na obrazovku a vytvoření grafického uživatelského rozhraní aplikace. Výsledný program je zpracován jako Java applet, který je umístěn na veřejných internetových stránkách www.convertcfg.php5.cz.
|
|
|
Grafická reprezentace grafů
Matula, Radek ; Goldefus, Filip (oponent) ; Masopust, Tomáš (vedoucí práce)
Tato diplomová práce se zabývá zobrazovacími algoritmy grafů známých z matematické teorie. Tyto algoritmy řeší problematiku vhodného rozmístění uzlů grafu tak, aby byl výsledný graf co nejvíce přehledný a čitelný člověkem. Hlavním cílem práce bylo také implementovat vlastní zobrazovací algoritmus v aplikaci, která by umožňovala graf editovat. Práce se také zabývá problematikou reprezentace grafů v počítačích.
|
|
|
Syntaktická analýza založená na řadě metod
Dolíhal, Luděk ; Goldefus, Filip (oponent) ; Meduna, Alexandr (vedoucí práce)
p, li { white-space: pre-wrap; } Hlavním cílem této práce je analýza tvorby komponentního překladače. Komponentním překladačem se zde myslí systém, který je složen z~několika vzájemně spolupracujících částí. Můj překladač je zvláštní v tom, že jeho syntaktická část sestává ze svou vzájemně spolupracujících částí. V~práci bych se chtěl zaměřit především na konstrukci jednotlivých částí překladače, dále na jejich vzájemnou komunikaci a spolupráci. Bude také nastíněno teoretické pozadí takovéhoto řešení a to pomocí gramatických systémů. Taktéž se pokusím obhájit, zda je vůbec potřebné a vhodné takový typ parseru vytvářet. V~neposlední řadě pak bude analyzován jazyk, jehož syntaktický analyzátor bude implementován zvolenou metodou.
|
|
|
L systémy a jejich aplikace
Koutný, Jiří ; Goldefus, Filip (oponent) ; Meduna, Alexandr (vedoucí práce)
Diplomová práce se zabývá deterministickými bezkontextovými L-systémy, zasazuje je do oblasti procedurálního modelování a staví je do souvislosti s fraktální geometrií. Zabývá se technikou přepisování a jejím využitím pro modelování rostlinám podobných struktur. Dále popisuje složitější typy L-systémů, zejména jejich kontextové a parametrické varianty. Ukazuje oblasti využití L-systémů zejména v oblasti počítačové grafiky a zaměřuje se na jejich využití pro procedurální modelování architektury. V závěru nastiňuje další možnosti využití procedurálního modelování pomocí L-systémů a představuje některá další rozšíření přepisovacích pravidel, která budou předmětem dalšího vývoje práce.
|
|
|
Lexikální analyzátor pro víceprocesorové počítače
Otáhal, Jiří ; Goldefus, Filip (oponent) ; Čermák, Martin (vedoucí práce)
Cílem práce je vymyslet metodu, která urychlí analýzu zdrojových textů na víceprocesorových počítačích. Pro tento účel aplikace využívá spuštění více procesů pod systémem UNIX. Každý takto vytvořený proces analyzuje předem určený blok ve zdrojovém souboru a poté se ukončí. Výstupem těchto procesů jsou vnitřní struktury, které reprezentují právě daný blok. Ze struktur je již sekvenčně vytvořen mezikód, který se následně interpretuje. Takto provedená paralelní analýza vedla ke zrychlení oproti klasické sekvenční.
|
|
|
E-learningový kurs pro výuku jazyka SQL
Jašek, Petr ; Goldefus, Filip (oponent) ; Květoňová, Šárka (vedoucí práce)
Práce se zabývá tvorbou e-learningových systémů, konkrétní realizací je systém pro výuku jazyka SQL, který je určen zejména zahraničním studentům. Nejprve je stručně popsána problematika online vzdělávání, dále je provedena analýza požadovaného systému, jeho návrh a vlastní implementace. Systém je realizován jako webová aplikace.
|
|
|
Grafická simulace činnosti konečných automatů
Šrajer, Roman ; Goldefus, Filip (oponent) ; Čermák, Martin (vedoucí práce)
Tato bakalářská práce se zabývá teorií převodu regulárního výrazu na konečný automat a zpět. Cílem praktické části je vytvořit webovou aplikaci, která tyto převody zajistí a odsimuluje automat pro vstupní řetězec. Pro převod konečného automatu na regulární výraz je použita algebraická metoda, která spočívá ve vytvoření soustavy rovnic a jejím následném vyřešení. Pro implementaci jsem zvolil jazyk Java a technologie Java Applet a Java Web Start, které umožňují přístup k aplikaci přes webové stránky. Nezbytnou součástí aplikace je možnost pracovat se třemi způsoby reprezentace konečného automatu, možnost ukládát automaty do XML a možnost zcela intuitivně vytvářet vlastní automaty.
|
host ::
RSS.