|
|
Automated File Editing Using Genetic Programming
Sedláček, Marek ; Vašíček, Zdeněk (oponent) ; Sekanina, Lukáš (vedoucí práce)
File editing is an integral part of today's work for many people, but not everyone has programming skills or deep knowledge of editing tools to make their editing efficient and quick. This is exactly what the program presented in this thesis -- Ebe -- is trying to solve. Ebe takes snippets of file edits done by the user and using genetic programming it finds the correct algorithm to transform the whole file or even multiple files into the desired output. Ebe consist of multiple parts, which had to be designed and implemented to achieve its goals. For this purpose a new programming language was designed to suite file editing and work well with genetic programming, an interpreter for this language was implemented as well as a compiler that uses genetic programming to synthesize the editing algorithm based on given examples. Ebe was then tested with other tools for file editing. These experiment focused on the overall editing speed and Ebe ended up having better editing times than Python 3 and similar editing times as the language AWK in most experiments. These experiments proved, that for many frequent editing tasks Ebe has a potential as an alternative tool for file editing.
|
|
|
JamVM: Alternativní virtuální stroj Javy
Kalman, Ondřej ; Kočí, Radek (oponent) ; Dudka, Vendula (vedoucí práce)
Cílem této práce je srovnání dvou virtuálních strojů Javy a to virtuálního stroje HotSpot a~virtuálního stroje JamVM. Úvodní část práce čtenáře seznamuje s platformou Java, jsou zde také shrnuty obecné vlastnosti a principy funkčnosti všech virtuálních strojů Javy. Na tento teoretický úvod poté navazuje kapitola, ve které jsou srovnány klíčové vlastnosti virtuálních strojů HotSpot a JamVM. Na základě těchto vlastností je poté navržena a popsána sada výkonnostních testů, které byly v rámci této práce implementovány a provedeny. Poslední kapitoly této práce jsou věnovány prezentaci výsledků provedených výkonnostních testů a jejich vyhodnocení.
|
|
|
Interaktivní interpret jazyka C
Blažek, Martin ; Peringer, Petr (oponent) ; Martinek, David (vedoucí práce)
Diplomová práce se zabývá implementací interaktivního interpretu jazyka C se syntaxí odpovídající normě ISO C99. Důraz je kladen na podporu výuky jazyka C a rychlé prototypování algoritmů. Aplikace umožňuje vytvářet programy a provádět experimenty s jazykovými konstrukcemi bez nutnosti kompilace. Uživatelské rozhraní plní funkci editoru a zároveň jednoduchého debuggeru. Pro tvorbu interpretu je použito vývojové prostředí ANTLRWorks. Je kompletně napsáno v jazyce Java využívající knihovní funkce nástroje ANTLR v3.
|
|
|
Interpret Petriho sítí
Blažek, Tomáš ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá konceptem formalismu Petriho sítí, který umožňuje zkoumat dynamické chování paralelních a nedeterministických systémů. Dále se práce zabývá jeho variantou Objektově orientovaných Petriho sítí (OOPN), jejímž cílem je usnadnit proces modelování systémů objektově orientovaným přístupem. Cílem této diplomové práce je navrhnout vnitřní reprezentaci modelů OOPN vhodnou pro efektivní interpretaci a implementovat překladač z jazyka PNtalk do vnitřní reprezentace. Následně pak navrhnout a realizovat interpret modelů OOPN, který bude umožňovat provádění simulace běhu těchto modelů s tím, že výsledný interpret musí také kromě objektů Petriho sítí umět pracovat i s vybranou podmnožinou objektů z jazyka Java.
|
|
|
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.
|
|
|
Interpretace agentního systému řízeného záměrem v jazyce PROLOG
Němec, Ladislav ; Vídeňský, František (oponent) ; Zbořil, František (vedoucí práce)
Tato páce se zabývá realizací iterpretu agentního systému řízeného záměrem implemetovaného v jazyce PROLOG. Jako vzor byl využit interpret Jason implementovaný v jazyce Java, který interpretuje jazyk AgentSpeak(L). Pro účely tohoto projektu je program v AgentSpeak(L) nejprve převeden na interní formu jazyka. Pro demonstraci byla použita jedna z úloh přiložených k programu Jason, jako příklad a to konkrétně tzv. "cleaning robors". Interpret dokáže interpretovat systím jako FRAg a dokáže reagovat naprostředí.
|
|
|
Mobilní agenti v bezdrátových senzorových sítích
Spáčil, Pavel ; Kočí, Radek (oponent) ; Zbořil, František (vedoucí práce)
Cílem této práce je popsat návrh platformy a implementaci interpretu pro mobilní agenty v bezdrátových senzorových sítích. Čtenář se seznámí jak s teoretickou, tak i praktickou stránkou věci - nabude informace o jednoduchém operačním systému TinyOS použitém pro programování senzorových uzlů, o jazyce nesC a o inteligentních agentech. Dále se seznámí s agentním jazykem ALLL. Jeho sémantika je vysvětlena na názorných příkladech. Bude popsán návrh platformy a konkrétní implementace interpretu jazyka ALLL. Na závěr nesmí chybět příklad kódů agenta s detailním popisem činnosti.
|
|
| |
|
|
Podpora vývoje a testování interpretů jednoduchých jazyků
Mazancová, Lenka ; Láznička, Stanislav (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tento práce je zaměřena na analýzu, návrh a implementaci referenčního interpretu, který má sloužit jako pomůcka při vypracovávání a opravování projektů do předmětu Formální jazyky a překladače. Řešení tohoto problému se skládá z vytvoření instrukční sady, knihovny na čtení a zápis navržené instrukční sady a interpretu navržené instrukční sady. Zvláštní pozornost je věnována samotnému interpretu, jehož důležitou vlastností se rozšiřitelnost pomocí konfiguračních XML souborů a zdrojových souborů v jazyce C# nebo Visual Basic. Na závěr je popsáno testování interpretu navržené instrukční sady včetně možností přizpůsobení na různé typy víceúrovňových jazyků.
|
|
|
Překlad mezi vyššími programovacími jazyky
Knapovský, Jan ; Kožár, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
S vývojem nových technologií, jazyků a jejich prostředků vyvstává čím dál tím urgentnější potřeba aktualizace již existujících programových základen, za účelem využití nových jazykových prostředků a technologií a zachováním udržitelnosti těchto systémů. Tato práce navrhuje tento proces automatizovat pomocí použití automatizovaného prostředku – transpilátoru.
|
host ::
RSS.