|
|
Editor kaligrafie s rozpoznáváním japonských znaků
Horáček, Petr ; Žák, Pavel (oponent) ; Švub, Miroslav (vedoucí práce)
Práce řeší problematiku vytvoření aplikace pro podporu výuky japonských znaků. Její součástí je i stručný přehled vývoje a podob japonského písma. Diskutuje některá existující řešení a na základě jejich studia stanovuje požadavky na aplikaci. Rozebírá problémy, které je třeba v souvislosti s nimi řešit, a snaží se navrhnout možné postupy. Důležitou částí je rozpoznávání znaků. Následně práce popisuje zvolená řešení a jejich implementaci. Na závěr shrnuje a demonstruje dosažené výsledky a diskutuje možnosti dalšího vývoje systému.
|
|
|
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.
|
|
|
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.
|
|
|
Modifikované hluboké zásobníkové automaty
Škvařilová, Radka ; Horáček, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce představuje dvě nové modifikace hlubokých zásobníkových automatů - bezestavové hluboké zásobníkové automaty a paralelní bezestavové hluboké zásobníkové automaty.V teoretické části jsou zavedeny formální definice a také je zde zkoumána síla těchto automatů. V pratické části je ukázána na jednoduchém příkladu implementace těchto automatů.
|
|
|
Aplikace pro zobrazení struktury konečného automatu
Polcer, Ondřej ; Horáček, Petr (oponent) ; Zámečníková, Eva (vedoucí práce)
Cílem práce je aplikace, která převádí textovou podobu konečného automatu na tzv. "stavový diagram", který je obecně pro vyjádření vzájemných vazeb názornější, než textová forma. Nejprve se strojová podoba konečného automatu určité syntaxe převede do objektové podoby a doplní se o další udaje. Následuje algoritmizace hledání vhodných umístění pro jednotlivé stavy, aby struktura jejich přechodu byla přehledná a srozumitelná s ohledem na komplexnost zadaného konečného automatu. Aplikace vytvoří sadu ekvivalentních zobrazení v různé formě a dodá vhodné informace pro snadnou interpretaci výsledku.
|
|
|
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.
|
|
|
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.
|
|
| |
|
|
Raná buddhistická kosmologie pálijského kánonu
Horáček, Petr ; Holba, Jiří (vedoucí práce) ; Melnikova, Nora (oponent)
Tato práce pojednává o raně buddhistické kosmologii. Krátce představuje obecné pojetí kosmologie v buddhismu a v pálijském kánonu, aby lépe vynikly charakteristické rysy primárního textu, o který se práce opírá, totiž Agaňňasutty pálijského kánonu. Autor přihlíží i k dalším suttám pálijského kánonu a k sekundární literatuře. Agaňňasutta představuje jeden z prvních kosmologických textů buddhismu a lze ji proto považovat za velmi cenný zdroj informací ohledně raných kosmologických představ a kontextu, ve kterém byly tyto představy vytvářeny. Zabývá se zánikem světa, jeho opětovným projevením, vznikem bytostí, lidí a sociálních vrstev, volbou prvního krále a založením asketických skupin. Pro snadnější orientaci v pramenném materiálu lze děj rozčlenit na dobu do vývoje lidských bytostí, vzniku sociálních institucí s volbou krále a zavedení alternativních sociálních institucí v čele s buddhistickým mnichem. Hlavním cílem práce je ukázat, že Agaňňasutta obsahuje strukturu založenou na nutnosti vzniku lidských bytostí v jejich materiální formě a s jejich morálními chybami, společnosti, která tyto chyby reguluje, a následně transcendence této společnosti buddhistickými mnichy k dosažení nibbány. Při tom autor vychází z dalších interpretací Agaňňasutty v sekundární literatuře badatelů Stanleyho Tambiaha,...
|
|
|
Dovolání v civilním soudním řízení
Horáček, Petr ; Winterová, Alena (vedoucí práce) ; Sedláček, Miroslav (oponent)
a klíčová slova v českém jazyce Název rigorózní: Dovolání v civilním soudním řízení. Abstrakt: Tématem Rigorózní práce je mimořádný opravný prostředek upravený zák. č. 99/1963 Sb., občanský soudní řád, ve znění pozdějších předpisů, a to "dovolání". Mimořádnost tohoto opravného prostředku spočívá v tom, že jím lze napadnout soudní rozhodnutí pravomocné a vykonatelné. Práce je strukturována do sedmi kapitol. První dvě kapitoly jsou zaměřeny na obecné základy civilního procesu, opravné systémy, opravné prostředky a vývoj institutu dovolání. Součástí druhé kapitoly je pasáž věnovaná připravované rekodifikaci civilního soudního řízení vycházející z věcného záměru civilního soudního řádu, který byl připraven v roce 2017. Třetí kapitola je jádrem této práce a obsahuje především podmínky přípustnosti dovolání a náležitosti dovolání. V této kapitole je popsáno, kdo a kde může podat dovolání a jaká je lhůta pro jeho podání. Jádrem dovolání a řízení o něm jsou dvě svébytné náležitosti, a to (a) vymezení podmínek přípustnosti dovolání a (b) popis důvodů dovolání. Přípustnost dovolání je dána zájmem na sjednocení judikatury nebo na vyřešení otázky, která doposud judikována nebyla a důvodem dovolání je nesprávné právní posouzení věci, kdy se může jednat o posouzení otázky hmotného práva nebo procesního práva. V...
|
host ::
RSS.