|
|
Džátaky - Legendární životopisy Gautamy Buddhy ve sbírce Džátakatthavannana
Horáček, Petr ; Holba, Jiří (vedoucí práce) ; Ondračka, Lubomír (oponent)
Tato práce seznamuje čtenáře s možnými interpretacemi žánru buddhistických posvátných biografií, džátak. Autor se zaměřuje na sbírku Džátakatthavannana, součást pálijského kánonu, jenž je důležitým textem pro raný a théravádový buddhismus. Charakteristickým rysem džátak je, že Siddhártha Gautama z rodu Šákjů, známější pod svým titulem Buddha, v nich vypráví o svých minulých zrozeních, ve kterých je nazýván Bódhisattvou. V souladu s buddhistickou kosmologií na sebe Bódhisattva bere různé podoby: lidskou, zvířecí či mytických bytostí. V džátakách lze vypozorovat symbolické odkazy na psychologické, sociální, etické, politické, náboženské a filozofické náměty kultur, v nichž byly tradovány. V raných džátakách se objevují také motivy známé z bajek či z mytologií kultur jiných. Jejich význam však bývá jinak odstíněný, případně zcela jiný. Sémantická hodnota témat je totiž z velké části dána zařazením do konfigurace vztahů mezi symboly, která je v různých kulturách odlišná, což autor na konkrétním případě ukazuje. Z toho vyplývají pro práci dvě východiska. Zaprvé, autor nehledá původní formy džátak a nezabývá se jejich vývojem z lingvistického hlediska. Zadruhé, autor porovnává motivy objevující se napříč jednotlivými džátakami. V práci jsou hodnoceny různé teoretické přístupy k džátakám. Nejpřínosnějším...
|
|
| |
|
|
Jedle bělokorá (Abies alba Mill.) – vlastnosti dřeva a použití v lesnictví a dřevařství
Horáček, Petr
Jedle je vedle smrku považována za jednu z nejdůležitějších jehličnatých dřevin pro\nprůmyslové zpracování. Její hospodářský význam je nezpochybnitelný. Vlastnosti dřeva\nodpovídají dřevu smrkovému a i použití je podobné. Z lesnického hlediska kromě funkce\nprodukční plní jedle i funkci meliorační a zpevňující dřeviny. Příspěvek se zabývá popisem\nstavby a vlastností dřeva, jeho využitím v dřevařství a navazujících průmyslových odvětvích.\nDále se zabývá hodnocením zpevnění porostu běžnými melioračními a zpevňujícími\ndřevinami včetně jedle. Východiskem jsou mechanické vlastnosti dřeva v čerstvém stavu a\nmateriálové indexy.
|
|
|
Synchronous Formal Systems Based on Grammars and Transducers
Horáček, Petr ; Janoušek, Jan (oponent) ; Yamamura,, Akihito (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies synchronous formal systems based on grammars and transducers, investigating both theoretical properties and practical application perspectives. It introduces new concepts and definitions building upon the well-known principles of regulated rewriting and synchronization. An alternate approach to synchronization of context-free grammars is proposed, based on linked rules. This principle is extended to regulated grammars such as scattered context grammars and matrix grammars. Moreover, based on a similar principle, a new type of transducer called the rule-restricted transducer is introduced as a system consisting of a finite automaton and context-free grammar. New theoretical results regarding the generative and accepting power are presented. The last part of the thesis studies linguistically-oriented application perspectives, focusing on natural language translation. The main advantages of the new models are discussed and compared, using select case studies from Czech, English, and Japanese to illustrate.
|
|
|
Systémy paralelních gramatik
Skácel, Jiří ; Horáček, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce definuje kooperující distribuované gramatické systémy založené na E0L systémech namísto bezkontextových gramatik. Zkoumá jejich generativní sílu především vzhledem k ET0L systémům. Připomíná hlavní závěry o CD GS, následně definuje upravené systémy a poskytuje důkazy o síle jednotlivých jejich derivačních módů. Většina módů se silou rovná ET0L systémům, s výjimkou ukončovacího módu, pro který je poskytnut důkaz o větší síle. Prezentováno je několik vysvětlených příkladů nových systémů.
|
|
|
Logická hra Futoshiki
Benedikti, Tomáš ; Horáček, Petr (oponent) ; Zámečníková, Eva (vedoucí práce)
Tato práce se zaobírá problematikou logických her a hlavolamů. Hlavním zaměřením je hra Futoshiki, její historie a pravidla. Detailně se popisují algoritmy použité ve vytvořené aplikaci, od jejich návrhu po implementaci. Poslední částí je tvorba uživatelského rozhraní a testovaní úspěšnosti aplikace.
|
|
|
Popis japonských znaků
Holáň, Jakub ; Zámečníková, Eva (oponent) ; Horáček, Petr (vedoucí práce)
Japonský jazyk má z historických důvodů velmi komplikovanou ortografickou stránku skládající se z více různě propojených abeced, kde jednotlivé znaky mohou být jak logogramy (znaky reprezentující celá slova) tak fonogramy (znaky reprezentující jednotlivé zvuky či slabiky jazyka). Při vyhledávání nebo například sepisování slovníku japonštiny se musí použít různé netriviální metody řazení těchto znaků do skupin, například podle počtu tahů štětcem nebo řazení podle radikálů (základních stavebních kamenů znaku). Cílem této práce je najít ideální strukturu databáze popisující japonské znaky a vztahy mezi nimi. Zároveň byla vyvinuta ukázková výuková a pomocná aplikace pro studenty japonštiny. Aplikace je vyvinuta pro internetové použití a je postavena na nejmodernějších webových technologiích, jako jsou Google Web Toolkit a Java servlety.
|
|
|
Generování kódu optimalizovaných matematických operací
Beneš, Vojtěch ; Horáček, Petr (oponent) ; Čermák, Martin (vedoucí práce)
Bakalářská práce se zabývá vytvořením jednoduchého programovacího jazyka pro práci s matematickými operacemi. Hlavním cílem práce je vytvořit kompilátor tohoto jazyka, který pro generování instrukcí cílového kódu využívá instrukční sadu technologie MMX. Generování optimalizovaného kódu probíhá na základě upraveného algoritmu kontextového generování.
|
|
|
Syntaktická analýza založená na maticových gramatikách
Brindza, Dominik ; Horáček, Petr (oponent) ; Zámečníková, Eva (vedoucí práce)
Tato bakalářská práce se zabývá syntaktickou analýzou založenou na maticových gramatikách. V teoretické části nejdříve přináší několik různých pohledů na tento typ řízených gramatik a zkoumá podobnosti s klasickými bezkontextovými gramatikami. Z těchto podobností se poté v praktické části snaží vycházet při návrhu modelu prediktivní syntaktické analýzy pro některé kontextové jazyky, ke kterým můžeme sestrojit odpovídající maticové gramatiky, které je generují. V práci jsou rovněž prezentovány některé experimentální algoritmy a návrh řešení, které by se daly spíše využít při dalším vývoji projektu.
|
|
|
Síťová hra typu dáma
Semerád, Lukáš ; Horáček, Petr (oponent) ; Čermák, Martin (vedoucí práce)
Tato bakalářská práce se zabývá deskovou hrou dáma. Shrnuje její historii a hry, ze kterých se vyvinula do podoby, jakou známe dnes. Práce probírá jednotlivé verze pravidel, které se po světě hrají. Dále se zabývá rozborem algoritmů pro hru s počítačem. Výstupem bakalářské práce je program, který umožňuje hru dvou hráčů, síťovou hru a hru proti počítači při různém nastavení výchozích pravidel.
|
host ::
RSS.