|
|
New Parallel and Regulated Automata and Grammars
Kučera, Jiří ; Průša, Daniel (oponent) ; Sawa, Zdeněk (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis introduces and studies four new language models with focus on regulation and parallelism in automata and grammars. First, state-synchronized automata systems , present systems consisting of a finite number of pushdown automata controlled by words of a control language over a set of states. Second, unlimited deep pushdown automata , are a modification of deep pushdown automata with no restrictions imposed on the depth of expansion on the pushdown. Third, jumping pure grammars , introduces jumping grammars with no nonterminal symbols. The last one, k#$-rewriting systems , extends #-rewriting systems with additional pushdown memory. The contents of this thesis are divided into three parts. The first part outlines the motivation for introduction of the studied language models and puts them into the context of related formal language theory areas. Furthermore, it gives an overview of the structure of the thesis, reviews fundamental notions of formal language theory and gives a survey of current knowledge related to the subject of research. The second part presents the core of this thesis. Here, formal definitions of all newly introduced language models are given and their expressive power is studied. Finally, this thesis is concluded with a summary of achieved theoretical results as well as related open problem areas, and an outline of the possibilities for further research along with a sketch of possible applications.
|
|
|
L-systémy a jejich aplikace v počítačové grafice
Sojma, Zdeněk ; Čermák, Martin (oponent) ; Koutný, Jiří (vedoucí práce)
Bakalářská práce popisuje deterministické bezkontextové L-systémy (D0L-systémy), jejichž funkcí je paralelní přepisování symbolů v řetězci za účelem modelování rostlinám podobných struktur, především listů rostlin. Dále se zabývá využitím těchto L-systémů v počítačové grafice a vysvětluje využití stochastických L-systémů, které ovlivňují topologii a geometrii rostliny. Ty využívají náhodnosti při přepisu symbolů v L-systému, a tím nám dovolují modelovat celou řadu navzájem rozdílných, ale přesto podobných modelů rostlin. Interpret L-systémů je implementován v prostředí .NET s využitím knihovny OpenGL.
|
|
|
L systémy a jejich aplikace
Koutný, Jiří ; Goldefus, Filip (oponent) ; Meduna, Alexandr (vedoucí práce)
Diplomová práce se zabývá deterministickými bezkontextovými L-systémy, zasazuje je do oblasti procedurálního modelování a staví je do souvislosti s fraktální geometrií. Zabývá se technikou přepisování a jejím využitím pro modelování rostlinám podobných struktur. Dále popisuje složitější typy L-systémů, zejména jejich kontextové a parametrické varianty. Ukazuje oblasti využití L-systémů zejména v oblasti počítačové grafiky a zaměřuje se na jejich využití pro procedurální modelování architektury. V závěru nastiňuje další možnosti využití procedurálního modelování pomocí L-systémů a představuje některá další rozšíření přepisovacích pravidel, která budou předmětem dalšího vývoje práce.
|
|
|
Procedurální generování vegetace
Zuzaňák, Ondřej ; Milet, Tomáš (oponent) ; Kobrtek, Jozef (vedoucí práce)
Tato bakalářská práce se zabývá procedurálním generováním vegetace za pomocí L-systémů. Představuje procedurální generování jako prostředek pro tvorbu modelů rostlin. Dále popisuje jednotlivé druhy L-systémů a jejich využití v počítačové grafice. Funkčním výstupem práce je implementace algoritmu pro generování modelů rostlin ve 3D prostoru, jehož výsledek je vizualizován pomocí grafické knihovny OpenGL.
|
|
|
New Parallel and Regulated Automata and Grammars
Kučera, Jiří ; Průša, Daniel (oponent) ; Sawa, Zdeněk (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis introduces and studies four new language models with focus on regulation and parallelism in automata and grammars. First, state-synchronized automata systems , present systems consisting of a finite number of pushdown automata controlled by words of a control language over a set of states. Second, unlimited deep pushdown automata , are a modification of deep pushdown automata with no restrictions imposed on the depth of expansion on the pushdown. Third, jumping pure grammars , introduces jumping grammars with no nonterminal symbols. The last one, k#$-rewriting systems , extends #-rewriting systems with additional pushdown memory. The contents of this thesis are divided into three parts. The first part outlines the motivation for introduction of the studied language models and puts them into the context of related formal language theory areas. Furthermore, it gives an overview of the structure of the thesis, reviews fundamental notions of formal language theory and gives a survey of current knowledge related to the subject of research. The second part presents the core of this thesis. Here, formal definitions of all newly introduced language models are given and their expressive power is studied. Finally, this thesis is concluded with a summary of achieved theoretical results as well as related open problem areas, and an outline of the possibilities for further research along with a sketch of possible applications.
|
|
|
André Lefevere a jeho manipulační škola
Šmrha, Jan ; Jettmarová, Zuzana (vedoucí práce) ; Špirk, Jaroslav (oponent)
Teoreticko-historiografická diplomová práce se zabývá teoretickým dílem translatologa André Lefevera. Základem práce je analýza Lefeverových děl v dobovém kontextu vývoje translatologie (zejména v souvislosti s rozvojem deskriptivní translatologie, se vznikem tzv. manipulační školy a s kulturním a sociologickým obratem v translatologii). Práce se zabývá Lefeverovými východisky, postupným vývojem jeho teoretického modelu a významu jeho díla pro vývoj disciplíny, zejména s ohledem na integraci sociokulturních aspektů do výzkumu překladu. Práce rovněž poskytuje přehled nejvýznamnějších kritických reakcí na Lefeverovu tvorbu a aplikací jeho modelu v praktickém výzkumu.
|
|
|
L-systémy a jejich aplikace v počítačové grafice
Sojma, Zdeněk ; Čermák, Martin (oponent) ; Koutný, Jiří (vedoucí práce)
Bakalářská práce popisuje deterministické bezkontextové L-systémy (D0L-systémy), jejichž funkcí je paralelní přepisování symbolů v řetězci za účelem modelování rostlinám podobných struktur, především listů rostlin. Dále se zabývá využitím těchto L-systémů v počítačové grafice a vysvětluje využití stochastických L-systémů, které ovlivňují topologii a geometrii rostliny. Ty využívají náhodnosti při přepisu symbolů v L-systému, a tím nám dovolují modelovat celou řadu navzájem rozdílných, ale přesto podobných modelů rostlin. Interpret L-systémů je implementován v prostředí .NET s využitím knihovny OpenGL.
|
|
|
L systémy a jejich aplikace
Koutný, Jiří ; Goldefus, Filip (oponent) ; Meduna, Alexandr (vedoucí práce)
Diplomová práce se zabývá deterministickými bezkontextovými L-systémy, zasazuje je do oblasti procedurálního modelování a staví je do souvislosti s fraktální geometrií. Zabývá se technikou přepisování a jejím využitím pro modelování rostlinám podobných struktur. Dále popisuje složitější typy L-systémů, zejména jejich kontextové a parametrické varianty. Ukazuje oblasti využití L-systémů zejména v oblasti počítačové grafiky a zaměřuje se na jejich využití pro procedurální modelování architektury. V závěru nastiňuje další možnosti využití procedurálního modelování pomocí L-systémů a představuje některá další rozšíření přepisovacích pravidel, která budou předmětem dalšího vývoje práce.
|
|
|
Procedurální generování vegetace
Zuzaňák, Ondřej ; Milet, Tomáš (oponent) ; Kobrtek, Jozef (vedoucí práce)
Tato bakalářská práce se zabývá procedurálním generováním vegetace za pomocí L-systémů. Představuje procedurální generování jako prostředek pro tvorbu modelů rostlin. Dále popisuje jednotlivé druhy L-systémů a jejich využití v počítačové grafice. Funkčním výstupem práce je implementace algoritmu pro generování modelů rostlin ve 3D prostoru, jehož výsledek je vizualizován pomocí grafické knihovny OpenGL.
|
host ::
RSS.