|
|
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.
|
|
| |
|
|
Systémy syntaktických analyzátorů
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ů. Práce navrhuje, jak paralelně orientované systémy využít v sekvenční syntaktické analýze. Koncept gramatických systémů dále rozšiřuje na úroveň samotných syntaktických analyzátorů, které seskupuje do větších celků a zkoumá vlastnosti těchto uskupení. Cílem práce je obohatit syntaktickou analýzu o přístupy založené na těchto systémech. Vychází z bezkontextových metod syntaktické analýzy, které propojuje a rozšiřuje. Pozornost je především věnována zvýšení generativní kapacity LL a LR syntaktické analýzy. V rámci práce se podařilo sestrojit bezkontextové struktury, které jsou schopny přijímat kontextové jazyky. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje obecný koncept syntaktické analýzy, který zvyšuje generativní kapacitu standardních metod. Využitím uvedeného přístupu je možné rozšířit řadu používaných jazyků o kontextové prvky, především o prvky popírající větu o iteraci.
|
|
|
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.
|
|
|
Sekvenční a paralelní gramatiky: vlastnosti a aplikace
Klobučníková, Dominika ; Martiško, Jakub (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto práca sa zaoberá problematikou sekvenčných a paralelných gramatík. Obe skupiny zastrešujú veľké množstvo gramatických tried, väčšina ktorých však nemá veľké uplatnenie kvôli komplikáciám spojeným s ich spracovaním. Práca skúma niektoré takéto gramatiky, ako napríklad gramatiky s rozptýleným kontextom, multigeneratívne gramatické systémy a interaktívne L-systémy s dôrazom na ich normálne formy. Práca následne predstavuje niekoľko algoritmov využívajúcich vlastnosti týchto gramatík, ako aj ich normálnych foriem. Tieto algoritmy sú založené na algoritme Cocke-Younger-Kasami pre bezkontextové gramatiky a dokážu spracovať ľubovoľnú gramatiku v príslušnej normálnej forme. Posledná časť práce predstavuje program implementujúci navrhnuté algoritmy.
|
|
|
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 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ší.
|
|
|
Grafický prohlížeč a jednoduchý editor ELF souboru
Omacht, Martin ; Martiško, Jakub (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce má za cíl vytvoření aplikace s grafickým uživatelským rozhraním, která poskytuje grafický náhled na vnitřní strukturu binárního souboru ve formátu ELF a také umožňuje jednoduchou editaci. Aplikace zvládá načítat poškozené soubory a podporuje platformy Windows, Linux i macOS. Implementována je v jazyce C++ a grafické rozhraní je vytvořeno pomocí knihovny Qt. Pro zobrazení vnitřní struktury souboru ELF byl navrhnut a implementován vlastní diagram.
|
|
| |
|
|
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.
|
host ::
RSS.