|
Automata Applied in Visual Arts
Albrecht, Kryštof ; Havel, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis introduces a new programming language for composition of 2D visual effects. The language is based on a modified version of cellular automata designed for composition. The primary target platform is the Godot game engine, where the visual effects run using fragment shaders, although the compiler is platform-agnostic.
|
|
Efektivnost datových strukur v implementaci automatů
Koval, Milan ; Smrčka, Aleš (oponent) ; Holík, Lukáš (vedoucí práce)
This Thesis focuses on optimazing the library Mata, that is curently the leader in performance it the fieal operations on automatas. Sygnificant performance increase is achived with the use of a modified linear allocator, using the append-only represetattion of an automata allows for blazing fast construction and blazing fast memery acces owning to resulting spatial locality. The findings of this thesis is not only faster already fastest library Mata but also the viability of linear allocaotors as a more common practice in append only structures, espessialy in performance critical uses.
|
|
Kongruence pro stromové automaty
Žufan, Petr ; Janků, Petr (oponent) ; Holík, Lukáš (vedoucí práce)
Tento článek pojednává o testování ekvivalence stromových automatů (TA). Přináší nový algoritmus vycházející z algoritmu Bonchiho a Pouse pro slovní automaty. Tento nový algoritmus spojuje bisimulaci s determinizací za běhu. Pomocí optimalizace založené na kongruenčním uzávěru se snaží vyhýbat extrémnímu zvětšování stavového prostoru. Z tohoto hlediska je lepší než jiné metody pro tento problém.
|
|
A Combination of Automata and Grammars
Kučera, Jiří ; Horáček, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
In this work, a new systems of formal models, called state-synchronized automata systems of degree n , were introduced and studied. The computation in presented automata systems is controlled by words from finite control language, where every word from control language is a sequence of states. Furthermore were studied the computational power of these systems. The practical use of introduced systems was demonstrated on example of natural language translation and on example of parallel compiling.
|
|
Mechatronický návrh stroje pro výrobu nábytkových spojovacích kolíků
Šubrt, Kamil ; Andrš, Ondřej (oponent) ; Houška, Pavel (vedoucí práce)
Tato práce se zabývá návrhem samostatně pracujícího stroje na výrobu nábytkových kolíků z válcových polotovarů. V práci je provedena analýza možností automatizace výroby nábytkářských kolíků, která vychází z dlouhodobých zkušeností s jejich výrobou. Následně je proveden návrh stroje s využitím metodiky V-cyklu. V rámci návrhu je postupně vyvíjena konstrukce stroje a řízení. Konstrukce stroje prezentovaná 3D CAD modelem je připojena do vývojového prostředí NI LabVIEW a prostřednictvím kosimulace bylo navrženo a ověřeno řízení stroje. Postupnými vývojovými iteracemi bylo dosaženo návrhu stroje, který splňuje stanovené požadavky. V závěru práce je provedena analýza volby vhodného řídícího systému pro reálný stroj.
|
|
Nové verze skákajících automatů
Ošmera, Lubomír ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této bakalářské práce je návrh a výzkum nových verzí skákajících automatů, konkrétně se jedná o verze obecných skákajících automatů s jasně specifikovanými kritérii směru a velikosti skoku. Práce zkoumá jejich sílu v porovnání s ostatními typy automatů a odhaluje ekvivalentní modely gramatik. Důvodem vypracování této práce je výzkum a snaha o vylepšení některých vlastností obecného skákajícího automatu. Následně je v práci zváženo využití tohoto formálního prostředku za účelem zpracování určitého typu jazyků a využití v průběhu syntaktické analýzy.
|
|
Ovládací software manipulátoru Mini-Swing
Pražák, Ondřej ; Hejč, Tomáš (oponent) ; Houška, Pavel (vedoucí práce)
Bakalářská práce se zabývá řízením robotického manipulátoru Mini-swing se třemi řízenými osami. Pro řízení byla navržena a realizována řídicí aplikace pro řízení pohybu celého manipulátoru s možností zadávání pracovních bodů. Dále byla navržena a realizována real-time řídicí aplikace pro řízení pohybu samostatných motorů. Obě aplikace jsou realizovány v prostředí NI LabVIEW. Aplikace mezi sebou navzájem komunikují pomocí sdílených síťových proměnných.
|
|
Částečně paralelní hluboké zásobníkové automaty
Ševčík, Miroslav ; Zámečníková, Eva (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce zavádí částečně paralelní hluboké zásobníkové automaty jako rozšíření sekvenčních hlubokých zásobníkových automatů. Toto rozšíření spočívá v tom, že oproti sekvenční verzi je automat schopen provést expanzi n nejvýše položených nonterminálních symbolů na zásobníků současně. Tyto automaty jsou schopné rozpoznat třídu jazyků generovanou n-omezenými stavovými gramatikami stejně jako sekvenční hluboké zásobníkové automaty. Výhoda částečně paralelních hlubokých zásobníkových automatů je ale ve vyšší rychlosti. Dále je v této práci popsána implementace aplikace, která simuluje činnost těchto automatů.
|
|
Regulovaný syntaxí řízený překlad
Dvořák, Tomáš ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá formálním pohledem na regulovaný syntaxí řízený překlad. První část obsahuje formální základy teorie jazyků, jejich klasifikaci a analýzu. Jsou uvedeny příklady gramatik generující jazyky, které nejsou bezkontextové, především maticové gramatiky, gramatiky s nahodilým kontextem a programované gramatika. Jsou uvedeny konečné, zásobníkové, hluboké a regulované automaty. Formálně vymezuje převodníky a jejich roli v rámci formálního a syntaxí řízeného překladu. Zavádí regulované převodníky založené na regulovaných automatech. Jádrem práce je návrh algoritmů regulované syntaktické analýzy jako rozšíření tradičních algoritmů prediktivní syntaktické analýzy. Tyto algoritmy jsou navrženy pro všechny uvedené speciální typy gramatik. Závěr práce je věnován návrhu jazyka jako prostředku pro popis těchto gramatik a překladače těchto gramatik na kód syntaktického analyzátoru a jejich grafického analyzátoru.
|
|
Řídicí systém tvářecího stroje
Vaško, Jiří ; Fojtík, Pavel (oponent) ; Kučera, Pavel (vedoucí práce)
Tato diplomová práce se zabývá realizací řídícího systému pro tvarovací stroj na výrobu cukrářských forem. Úvodní část představuje výrobní stroj a popisuje jeho důležité prvky z hlediska řízení. Druhá část se zabývá návrhem hardware řídícího automatu, popisem funkčních celků řídící desky a ostatních desek. Následující pasáže představují komunikační protokol mezi automatem a PC, a poté firmware CPU řídící desky. V závěrečné části je provedena charakteristika obslužné PC aplikace pro spojení s automatem.
|