|
| |
|
|
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.
|
|
|
Systémy syntaxí řízených překladačů a jejich využití
Svoboda, Sebastián ; Havel, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce představuje nový, syntakticky i sémanticky jedinečný imperativní programovací jazyk Flowlang a jeho překladač. Jedinečná je sada operátorů, které pomáhají řešit specifickou sadu problémů, kde je potřeba transformovat a filtrovat data v pevné sekvenci kroků. Jazyk se překládá do WebAssembly. Také k němu byl vytvořen interpret a sada pomocných nástrojů.
|
|
|
Rodinný dům v Červeném Kostelci
Havel, Martin ; Struhala, Karel (oponent) ; Kolář, Radim (vedoucí práce)
Cílem bakalářské práce je návrh rodinného domu s téměř nulovou spotřebou energie, který svojí dispozicí pomáhá udržovat zdravý cirkadiánní rytmus svých obyvatel. Objekt se nachází v Červeném Kostelci. Na pozemku je dům orientován s myšlenkou velkých solárních zisků, tedy s velkými okny směřujícími na jih. Půdorys je ve tvaru písmene T. Rodinný dům má dvě podlaží a není podsklepen. Nosné stěny jsou z pórobetonu. Stropní konstrukci tvoří systémový strop Ytong Klasik. Nosnou konstrukcí sedlové střechy jsou příhradové dřevěné nosníky. V prvním nadzemním podlaží se nachází hlavní vchod, velká technická místnost, samostatné WC a komora. Dále je zde vstup do obývacího pokoje, který je přímo propojen s kuchyní. Dětské pokoje a ložnice mají okna orientovaná na východ. Dešťová voda ze střechy je svedena do akumulační nádrže a přebytečná voda je vsáknuta do země přes vsakovací systém. Objekt je napojen na veřejnou kanalizaci, vedení NN a veřejný vodovod. Dům je vytápěn a chlazen stropními rohožemi. Voda je ohřívána tepelným čerpadlem vzduch-voda. Jako bivalentní zdroj energie je navržena krbová vložka s teplovodním výměníkem. Fotovoltaické panely na střeše jsou napojeny na baterii umístěnou v technické místnosti. V objektu je navrženo mechanické větrání. Celková výměna vzduchu je 350 metrů krychlových za hodinu.
|
|
|
Syntaktická analýza založená na několika gramatikách
Koumar, Ondřej ; Havel, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá výzkumem CD gramatických systémů a jejich využití v syntaktické analýze. Cílem je navrhnout syntaktický analyzátor kombinující techniku shora dolů i zdola nahoru pro CD gramatický systém popisující jazyk generovaný LL gramatikou za použití deterministického zásobníkového automatu. Cílů je dosaženo zavedením pozměněné LL tabulky s uspořádanými dvojicemi, které odkazují na pravidla v jednotlivých komponentách. Tento koncept je demonstrován na novém programovacím jazyce Koubp, pro který je implementován syntaktický analyzátor v jazyce C++.
|
|
|
High-Level Programming Language Transpilers
Mokriš, Andrej ; Havel, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
A rapid development of programming languages has caused practical problems, such as not granting backward compatibility. Transpilers offer a potential solution to some of these problems. This thesis presents concepts of formal languages, compilers, and more detailed description of parsing methods. The goal of this thesis is to design and implement a transpiler that converts a subset of PHP to JavaScript.
|
|
|
Syntaktická analýza založená na spolupracujících gramatikách
Nehéz, Patrik ; Havel, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis deals with the issue of grammatical systems and syntax analysis. Thesis presents cooperatively distributed and parallel communicating grammatical systems. Thesis describes my design of grammar system and which works on the basics of CD grammar systems and than it shows my implementation. The result of this thesis is application that uses bigger number of components that works together and it combines both methods of syntax analysis.
|
|
|
Alternativní transformace jazykových modelů
Havel, Martin ; Beníčková, Zuzana (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce poskytuje ucelený přehled poznatků z oblasti regulárních výrazů, konečných automatů a transformací z regulárního výrazu na konečný automat. Práce navrhuje nové transformace se zaměřením na minimalizaci počtu stavů a počtu pravidel konečných automatů. Koncept alternativních transformací je zpracován do algoritmů a prokázán matematickým důkazy. Cílem práce je obohatit transformace o nové alternativy na poli regulárních výrazů a konečných automatů. Pozornost je především věnována ekonomické stránce finálního konečného automatu. V rámci práce se podařilo sestrojit algoritmy, které jsou schopny transformovat regulární výrazy na konečné automaty. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje obecný koncept transformací, který umožňuje tvořit méně rozsáhlé konečné automaty. Využitím uvedeného přístupu je možné rozšířit řadu transformací o alternativní verze.
|
|
|
Alternativní transformace jazykových modelů
Havel, Martin ; Beníčková, Zuzana (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce poskytuje ucelený přehled poznatků z oblasti regulárních výrazů, konečných automatů a transformací z regulárního výrazu na konečný automat. Práce navrhuje nové transformace se zaměřením na minimalizaci počtu stavů a počtu pravidel konečných automatů. Koncept alternativních transformací je zpracován do algoritmů a prokázán matematickým důkazy. Cílem práce je obohatit transformace o nové alternativy na poli regulárních výrazů a konečných automatů. Pozornost je především věnována ekonomické stránce finálního konečného automatu. V rámci práce se podařilo sestrojit algoritmy, které jsou schopny transformovat regulární výrazy na konečné automaty. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje obecný koncept transformací, který umožňuje tvořit méně rozsáhlé konečné automaty. Využitím uvedeného přístupu je možné rozšířit řadu transformací o alternativní verze.
|
|
|
Alternative Transformations of Grammars
Havel, Martin ; Křivka, Zbyněk (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis provides an alternative algorithm for the removal of erasing rules from E0S grammars. As opposed to the standard way of eliminating erasing rules in most E0S-like grammars, such as context-free grammars, this method does not require predetermination of symbols that derive the empty string. The proposed algorithm is formally verified. In the application chapter of the thesis, the proposed algorithm is implemented, and the applicability of the algorithm to E0S grammars that work in a semi-parallel way is demonstrated. In the conclusion of the thesis, the algorithm is evaluated and two open problems are formulated.
|
host ::
RSS.