|
|
Demonstrace vybraných grafových algoritmů
Galanská, Katarína ; Martiško, Jakub (oponent) ; Křivka, Zbyněk (vedoucí práce)
Táto práca sa zaoberá úpravou architektúry existujúcej aplikácie pre demonštráciu a vizualizáciu vybraných grafových algoritmov. Cieľom práce je rozdeliť aplikáciu do viacerých modulov a umožniť ľahšiu rozšíriteľnosť. K modularizácií je využívaná technológia OSGi. Vysvetlené sú jej princípy, ktoré sú následne využité k návrhu a implementácií modulov. V rámci novej architektúry je implementovaná podpora viacjazyčnosti programu využitím Eclipse Plugin internacionalizácie. Pri tvorbe modulov grafových algoritmov sú využívané OSGi služby, pomocou ktorých je možné do programu dynamicky pridávať moduly a registrovať ich služby počas behu programu. Implementácia zahŕňa aj tvorbu nových modulov pre Primov, Kruskalov, Edmondsov Karpov a upravený Hierholzerov algoritmus. Beh simulácií nových algoritmov je otestovaný na sade vytvorených grafov.
|
|
|
Language for High-Level Description of User Interface Requirements
Rašovský, Martin ; Martiško, Jakub (oponent) ; Krčmář, Radim (vedoucí práce)
This master's thesis investigates new high-level language for description of graphical user interface. The theoretical part of this thesis studies the UI technologies and software methodologies from a side of general requirements on new language. From that, we derive general requirements specifying what it is meant to be a functional part of an UI. We also list requirements for special educational needs according to known \textit{computer therapy design principles}. According to analyzed requirements is proposed a design of new language, including an algorithm of composition of UI components for further implementation of the language. Designed language is implemented in C\# programming language and is demonstrated on a representative example. We conclude this work with outlining further extensions of the proposed language.
|
|
|
Gramatické systémy a syntaktická analýza na nich založená
Hrstka, Jan ; Martiško, Jakub (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce poskytuje ucelený přehled poznatků z oblasti gramatických systémů. Zaměřuje se především na systémy orientované sekvenčně. Cílem práce je obohatit syntaktickouanalýzu o přístupy na těchto systémech založené. Vychází z bezkontextových metod syntaktické analýzy, které propojuje a rozšiřuje. Poskytuje návod k zjednodušení bezkontextových gramatik dekompozicí na vzájemně komunikující komponenty. Velká pozornost je věnována zvýšení generativní kapacity LL syntaktické analýzy. V rámci práce se podařilo sestrojit bezkontextové struktury, které jsou schopny generovat kontextové jazyky. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje syntaktický analyzátor založený na LL tabulce, který dokáže zpracovat deterministické kontextové jazyky. Pomocí uvedených metod je možné rozšířit řadu používaných jazyků o kontextové prvky, především o prvkypopírající větu o iteraci.
|
|
|
Grafický prohlížeč a jednoduchý editor ELF souboru
Veškrna, Tomáš ; Martiško, Jakub (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce se zabývá tvorbou jednoduchého grafického prohlížeče a editoru ELF binárních souborů. Cílem práce je poskytnout jednodušší práci s ELF soubory, i když byly dříve poškozeny špatnou úpravou. Výsledný software musí být multiplatformní, tudíž pro zpracování grafického uživatelského rozhraní je použita knihovna Qt. Pro práci s ELF soubory je použita knihovna elf.h. Samotná aplikace je implementována pomocí jazyka C++. Výslednou aplikaci je možné spustit na operačním systému Linux, potažmo Microsoft Windows.
|
|
|
Gramatické systémy a syntaxí řízený překlad založený na nich
Handlíř, Jaroslav ; Martiško, Jakub (oponent) ; Meduna, Alexandr (vedoucí práce)
Práce zkoumá teorii formálních jazyků v oblasti bezkontextových gramatik. Zaměřuje se především na možnosti a modely spolupráce více gramatik při řešení společného problému. V těchto souvislostech představuje gramatické systémy, které byly navrženy jako formální prostředek pro popis distribuovaného a paralelního zpracování. Po uvedení do dané problematiky se práce zaměřuje na praktické uplatnění těchto mechanismů při syntaxí řízeném překladu, a proto je druhá část práce věnována implementaci dynamického syntaktického analyzátoru, který během analýzy aplikuje více gramatik. S ohledem na co největší uživatelskou přívětivost a možné didaktické použití je aplikace implementována pomocí moderních webových technologií HTML5, JavaScript, AngularJS, CSS3, LESS a další.
|
|
|
Multidimensionální jazyky a jejich automaty
Dibďák, Lukáš ; Martiško, Jakub (oponent) ; Meduna, Alexandr (vedoucí práce)
Práce seznamuje s teorií formálních jazyků a konečných automatů. Popisuje zobecnění této teorie do dvou rozměrů. Představuje základní typy dvoudimensionálních automatů, přede- vším teselační automaty. Pro teselační automaty jsou nabídnuty algoritmy k jejich determinizaci. Jeden z algoritmů je následně používán přiloženou aplikací pro determinizaci.
|
|
|
Syntaktická analýza založená na gramatikách řízených stromy
Granát, Štěpán ; Martiško, Jakub (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této práce je navrhnout a implementovat syntaktický analyzátor gramatik, jejichž derivační strom je omezen pomocí kontroly úrovní. Běžné postupy syntaktické analýzy jsou podrobně rozebrány a poté je diskutováno, jak by mohly být rozšířeny o kontrolu derivačního stromu. Nejdůležitější částí práce je návrh průběžné kontroly derivačního stromu souběžně s jeho konstrukcí, což umožňuje úzké propojení těchto dvou procesů. Uvedený přístup přináší výrazné zvýšení síly syntaktického analyzátoru.
|
|
| |
|
| |
|
|
Gramatické systémy aplikované v syntaktické analýze
Martiško, Jakub ; Kolář, Dušan (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá předevąím různými variantami gramatických systémů. Gramatické systémy kombinují relativní jednoduchost bezkontextových gramatik s generativní silou komplexnějąích gramatik. V rámci práce jsou popsány dva základní typy: PC gramatické systémy a CD gramatické systémy. Mimo to, je v rámci této práce zaveden i systém nový, který vychází z CD gramatických systémů. Na základě tohoto nového systému je také zavedena nová metoda syntaktické analýzy. Takto navrľený analyzátor pak sestává z více menąích syntaktických analyzátorů, které pracují jak metodou zdola nahoru tak i shora dolů.
|
host ::
RSS.