|
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This thesis is focused on techniques for finite automata and their use in practice, with the main emphasis on nondeterministic tree automata. This concerns namely techniques for size reduction and language inclusion testing, which are two problems that are crucial for many applications of tree automata. For size reduction of tree automata, we adapt the simulation quotient technique that is well established for finite word automata. We give efficient algorithms for computing tree automata simulations and we also introduce a new type of relation that arises from a combination of tree automata downward and upward simulation and that is very well suited for quotienting. The combination principle is relevant also for word automata. We then generalise the so called antichain universality and language inclusion checking technique developed originally for finite word automata for tree automata. Subsequently, we improve the antichain technique for both word and tree automata by combining it with the simulation-based inclusion checking techniques, significantly improving efficiency of the antichain method. We then show how the developed reduction and inclusion checking methods improve the method of abstract regular tree model checking, the method that was the original motivation for starting the work on tree automata. Both the reduction and the language inclusion methods are based on relatively simple and general principles that can be further extended for other types of automata and related formalisms. An example is our adaptation of the reduction methods for alternating Büchi automata, which results in an efficient alternating automata size reduction technique.
|
|
|
Realizace webového modulárního systému
Suchý, Petr ; Koutný, Martin (oponent) ; Pelka, Tomáš (vedoucí práce)
Diplomová práce Realizace webového modulárního systému pojednává o webových modulárních systémech. Webové modulární systémy mají za cíl umožnit vytvářet univerzální webové prezentace bez nutnosti vytváření nových systémů. Diplomová práce je rozčleněna do několika částí. V úvodu práce jsou vyzdviženy výhody modulárního řešení webových systémů a posléze je analyzován současný stav dané problematiky. V další části je navržen vlastní webový modulární systém, především jeho jádro, moduly a datový model. V závěrečné části je popsána realizace vlastního navrženého systému. Největší důraz je kladen na modularitu a na bezpečnost systému. V závěru je zhodnoceno především vlastní řešení a jeho největší výhody.
|
|
|
LABORARTORY BRNO
Truhlářová, Jana ; Todorov, Petr (oponent) ; Rusín, Tomáš (vedoucí práce)
Řešená lokalita se nachází v centru Brna, poblíž historického jádra. Základní idea návrhu vychází ze spojení galerie architektury, designu a moderního umění a univerzálního městského domu, který doplňuje blokovou zástavbu. A právě místo, kde se stavba má nacházet, je tím výraznějším podnětem pro celý koncept. Proto návrh vychází z jednoduchosti tvarů, funkčnosti a především univerzálnosti objektu.
|
|
|
Rozvoj tradiční sportovní nestátní neziskové organizace: TJ Sokol Písek a její stakeholdeři
Thýnová, Klára ; Pospíšilová, Tereza (vedoucí práce) ; Navrátil, Jiří (oponent)
Sokol, jako jedna z tradičních masových zájmových organizací v České republice, navazuje na tradici z doby svého založení v roce 1862. Navzdory tomu, že dokázala překonat několik zákazů své činnosti a vždy se znovu "zvednout ode dna", moderní doba a způsob jejího životního stylu by pro ni mohly být osudovými. Zvláště skutečně tradiční sokolský program - všestrannost, se ve srovnání s tzv. specializovanými sporty netěší příliš velké oblibě mezi veřejností, ani mezi sponzory. Práce proto popisuje postoj vybraných skupin stakeholderů vybrané sokolské jednoty a jejich názory právě na program sokolské všestrannosti a jeho vztah s komunitou, intenzitu komunikace s nimi, reálný a potenciální přínos Sokola pro komunitu, apod. Výstupem diplomové práce je navržení strategie pro práci s jednotlivými členy komunity.
|
|
|
Quantum turbulence in superfluid helium studied by particle tracking velocimetry visualization technique
Duda, Daniel ; Skrbek, Ladislav (vedoucí práce) ; Chára, Zdeněk (oponent) ; Skyba, Peter (oponent)
◆á③❡✈ ♣rá❝❡✿ ❑✈❛♥t♦✈á t✉r❜✉❧❡♥❝❡ ✈ s✉♣r❛t❡❦✉té♠ ❤é❧✐✉ st✉❞♦✈❛♥á ✈✐③✉❛❧✐③❛✲ ↔♥í♠✐ ♠❡t♦❞❛♠✐ ❆✉t♦r✿ ❘◆❉r✳ ❉❛♥✐❡❧ ❉✉❞❛ ❑❛t❡❞r❛✿ ❑❛t❡❞r❛ ❢②③✐❦② ♥í③❦ý❝❤ t❡♣❧♦t ❱❡❞♦✉❝í✿ ♣r♦❢✳ ❘◆❉r✳ ▲❛❞✐s❧❛✈ ❙❦r❜❡❦✱ ❉r❙❝✳ ❆❜str❛❦t✿ ❖s❝✐❧❛↔♥í ♣r♦✉❞➙♥í ✈ s✉♣r❛t❡❦✉té♠ ❛ ♥♦r♠á❧♥í♠ ❤é❧✐✉ ❜②❧❛ ③❦♦✉♠á♥❛ ✈✐③✉❛❧✐③❛↔♥í ♠❡t♦❞♦✉ s❧❡❞♦✈á♥í tr❛s♦✈❛❝í❝❤ ↔ást✐❝ ♣❡✈♥é❤♦ ❞❡✉t❡r✐❛ ♦ ♠✐❦r♦♠❡✲ tr♦✈é ✈❡❧✐❦♦st✐ s❡ ③❛♠➙➦❡♥í♠ ♥❛ ♠ír✉ ♣♦❞♦❜♥♦st✐ ↔✐ r♦③❞í❧♥♦st✐ ♠❡③✐ ❍❡ ■✱ ❦t❡ré ❥❡ ❦❧❛s✐❝❦♦✉ ✈✐s❦ó③♥í ❦❛♣❛❧✐♥♦✉✱ ❛ ❍❡ ■■✱ ❥❡➸ ❥❡ s✉♣r❛t❡❦✉té ❛ ❥❡❤♦➸ ❝✐r❦✉❧❛❝❡ ❥❡ ❦✈❛♥t♦✈❛♥á✳ ❱ ♣rá❝✐ ❥s♦✉ ♣♦♣sá♥② ✈ýs❧❡❞❦② tr♦❥✐❝❡ ❡①♣❡r✐♠❡♥t➲✿ ú♣❧❛✈ ③❛ r❡❧❛✲ t✐✈♥➙ ♣♦♠❛❧✉ ❦♠✐t❛❥í❝í ♣➦❡❦á➸❦♦✉ s r❡❧❛t✐✈♥➙ ✈❡❧❦ý♠ r♦③❦♠✐t❡♠ ✭sr♦✈♥❛t❡❧♥ý♠ s ✈❡❧✐❦♦stí ♣➦❡❦á➸❦②✮✱ st❛❝✐♦♥ár♥í ♣r♦✉❞➙♥í ✭❛♥❣❧✳✿ ✒str❡❛♠✐♥❣✏ ✮ ✈ ♦❦♦❧í r②❝❤❧❡ ❦♠✐t❛❥í❝í ❦➦❡♠❡♥♥é ❧❛❞✐↔❦② s ♥í③❦♦✉ ❛♠♣❧✐t✉❞♦✉ ✭✈③❤❧❡❞❡♠ ❦ ❥❡❥í ✈❡❧✐❦♦st✐✮ ❛ ❦❛✈✐t❛❝❡ ✈ ♦❦♦❧í ❥✐♥é r②❝❤❧❡ ❦♠✐t❛❥í❝í ❦➦❡♠❡♥♥é ❧❛❞✐↔❦②✳ ❍❧❛✈♥í♠ ✈ýs❧❡❞❦❡♠ ❥❡ ♣♦③♦r♦✈á♥í✱ ➸❡ ♦❞♣♦✈í❞❛❥í❝í ♣r♦✉❞➙♥í ✈ ❍❡ ■ ❛ ■■ s✐ ❥s♦✉ ♥❛ ✈❡❧❦ý❝❤ ♠➙➦ít❦á❝❤ ✈③á✲ ❥❡♠♥➙ ♣♦❞♦❜♥á✱ ③❛tí♠❝♦ ♥❛ ♠❛❧ý❝❤ ✈②❦❛③✉❥í ♥❛♣r♦st♦ r♦③❞í❧♥é st❛t✐st✐❝❦é ✈❧❛st✲ ♥♦st✐✳ ◆❛✈í❝ ✈ ♣➦í♣❛❞➙ ❍❡ ■■ ❥s♦✉ t②t♦ st❛t✐st✐❝❦é ✈❧❛st♥♦st✐ ✉♥✐✈❡r③á❧♥í ✈❡ s♠②s❧✉ ♥❡③á✈✐s❧♦st✐ ♥❛ ❞r✉❤✉ ③❦♦✉♠❛♥é❤♦ ♣r♦✉❞➙♥í ❛ ❥s♦✉ st❡❥♥é ❥❛❦♦ ✈ ♣➦í♣❛❞➙ t❡♣❡❧♥é❤♦ ♣r♦t✐♣r♦✉❞✉ s✉♣r❛t❡❦✉té ❛ ♥♦r♠á❧♥í s❧♦➸❦② ❍❡ ■■✱ ❝♦➸ ❥❡ ❦✈❛♥t♦✈ý ❞r✉❤ t❡♣❡❧♥é ❦♦♥✈❡❦❝❡...
|
|
|
Human Rights: Universality vs. Regionalism
Naji, Jalal Naji Thib ; Scheu, Harald Christian (vedoucí práce) ; Geistlinger, Michael (oponent) ; Balaš, Vladimír (oponent)
Lidská práva: Univerzalita vs. Regionalismus Jalal Naji Abstrakt Základní představa o existenci určitých práv, na která mají lidé nárok, byla v té či oné formě přítomna v dějinách lidstva, a to dlouho před jejich všeobecným uznáním a kodifikací v roce 1948. Převratná práce Spojených národů, která vyústila do přijímání Všeobecné deklarace lidských práv (UDHR) v roce 1948, představuje vrchol a završení všech dřívějších pokusů lidstva o zajištění lidskosti. Samozřejmě neexistovala současná podoba, struktura a kontext mezinárodních soudobých lidských práv v mezinárodní sféře před rokem 1948, protože všechny dřívější snahy o identifikaci lidských práv lze charakterizovat jako sporadické, lokální, chybné, nesrozumitelné a dokonce diskriminační, neboť se jednalo o uznání pouze určitých práv pro jednotlivé kategorie lidí, jako je například zajištění práv pouze občanům, věřícím určitého náboženství nebo pouze měšťanům či šlechticům. Naopak lidskoprávní standardy podle UDHR jsou každému určovány na rovném základě a bez diskriminace. Základ mezinárodních lidských práv je založen na koncepci univerzality, která naznačuje, že všechny lidské bytosti jsou si rovny a že lidská práva jsou všeobecně zaručována celému lidstvu bez diskriminace. Tento majestátní koncept univerzality však čelí mnoha výzvám, které jsou většinou...
|
|
|
Universal Turing machine
Bahýľ, Viktor ; Krajíček, Jan (vedoucí práce) ; Holub, Štěpán (oponent)
Název práce: Univerzální Turingův stroj Autor: Viktor Bahýľ Katedra: Katedra Algebry Vedoucí bakalářské práce: prof. RNDr. Jan Krajíček, DrSc., Katedra algebry Abstrakt: Práce se zaměřuje na problematiku výpočetních úloh a jejich řešení. Na jejich řešení lze využít model Turingova stroje, který je plnou náplní této práce. Pro samotné řešení problémů je důležitá obecnost daného mechanismu, která je v teorií Turingova strojů zastoupena v podobě jejich univerzálnosti, která spojuje pojmy simulace a reprezentace. Hlavním výsledkem a úkolem práce je formulovat univerzální Turingův stroj a následně o něm tuto univerzálnost dokázat. V úvodních částech práce se nacházejí teoretické definice potřebné pro práci s těmito metodami řešení výpočetních úloh. Jako klíčové se ukáží již zmíněné pojmy simulace Turingových strojů a jejich reprezentace. Na oba pojmy je kladen samostatný důraz a snaha o co nejlepší vysvětlení těchto pojmů. V práci se pracuje s vlastní formou reprezentace, která je podrobně popsána a s nadefinovaným Turingovým strojem, jehož definice je také podrobně popsána, spolu s kompletním důkazem o univerzálnosti tohoto stroje. Klíčová slova: Turing, stroj, univerzálnost, reprezentace
|
|
|
Quantum turbulence in superfluid helium studied by particle tracking velocimetry visualization technique
Duda, Daniel ; Skrbek, Ladislav (vedoucí práce) ; Chára, Zdeněk (oponent) ; Skyba, Peter (oponent)
◆á③❡✈ ♣rá❝❡✿ ❑✈❛♥t♦✈á t✉r❜✉❧❡♥❝❡ ✈ s✉♣r❛t❡❦✉té♠ ❤é❧✐✉ st✉❞♦✈❛♥á ✈✐③✉❛❧✐③❛✲ ↔♥í♠✐ ♠❡t♦❞❛♠✐ ❆✉t♦r✿ ❘◆❉r✳ ❉❛♥✐❡❧ ❉✉❞❛ ❑❛t❡❞r❛✿ ❑❛t❡❞r❛ ❢②③✐❦② ♥í③❦ý❝❤ t❡♣❧♦t ❱❡❞♦✉❝í✿ ♣r♦❢✳ ❘◆❉r✳ ▲❛❞✐s❧❛✈ ❙❦r❜❡❦✱ ❉r❙❝✳ ❆❜str❛❦t✿ ❖s❝✐❧❛↔♥í ♣r♦✉❞➙♥í ✈ s✉♣r❛t❡❦✉té♠ ❛ ♥♦r♠á❧♥í♠ ❤é❧✐✉ ❜②❧❛ ③❦♦✉♠á♥❛ ✈✐③✉❛❧✐③❛↔♥í ♠❡t♦❞♦✉ s❧❡❞♦✈á♥í tr❛s♦✈❛❝í❝❤ ↔ást✐❝ ♣❡✈♥é❤♦ ❞❡✉t❡r✐❛ ♦ ♠✐❦r♦♠❡✲ tr♦✈é ✈❡❧✐❦♦st✐ s❡ ③❛♠➙➦❡♥í♠ ♥❛ ♠ír✉ ♣♦❞♦❜♥♦st✐ ↔✐ r♦③❞í❧♥♦st✐ ♠❡③✐ ❍❡ ■✱ ❦t❡ré ❥❡ ❦❧❛s✐❝❦♦✉ ✈✐s❦ó③♥í ❦❛♣❛❧✐♥♦✉✱ ❛ ❍❡ ■■✱ ❥❡➸ ❥❡ s✉♣r❛t❡❦✉té ❛ ❥❡❤♦➸ ❝✐r❦✉❧❛❝❡ ❥❡ ❦✈❛♥t♦✈❛♥á✳ ❱ ♣rá❝✐ ❥s♦✉ ♣♦♣sá♥② ✈ýs❧❡❞❦② tr♦❥✐❝❡ ❡①♣❡r✐♠❡♥t➲✿ ú♣❧❛✈ ③❛ r❡❧❛✲ t✐✈♥➙ ♣♦♠❛❧✉ ❦♠✐t❛❥í❝í ♣➦❡❦á➸❦♦✉ s r❡❧❛t✐✈♥➙ ✈❡❧❦ý♠ r♦③❦♠✐t❡♠ ✭sr♦✈♥❛t❡❧♥ý♠ s ✈❡❧✐❦♦stí ♣➦❡❦á➸❦②✮✱ st❛❝✐♦♥ár♥í ♣r♦✉❞➙♥í ✭❛♥❣❧✳✿ ✒str❡❛♠✐♥❣✏ ✮ ✈ ♦❦♦❧í r②❝❤❧❡ ❦♠✐t❛❥í❝í ❦➦❡♠❡♥♥é ❧❛❞✐↔❦② s ♥í③❦♦✉ ❛♠♣❧✐t✉❞♦✉ ✭✈③❤❧❡❞❡♠ ❦ ❥❡❥í ✈❡❧✐❦♦st✐✮ ❛ ❦❛✈✐t❛❝❡ ✈ ♦❦♦❧í ❥✐♥é r②❝❤❧❡ ❦♠✐t❛❥í❝í ❦➦❡♠❡♥♥é ❧❛❞✐↔❦②✳ ❍❧❛✈♥í♠ ✈ýs❧❡❞❦❡♠ ❥❡ ♣♦③♦r♦✈á♥í✱ ➸❡ ♦❞♣♦✈í❞❛❥í❝í ♣r♦✉❞➙♥í ✈ ❍❡ ■ ❛ ■■ s✐ ❥s♦✉ ♥❛ ✈❡❧❦ý❝❤ ♠➙➦ít❦á❝❤ ✈③á✲ ❥❡♠♥➙ ♣♦❞♦❜♥á✱ ③❛tí♠❝♦ ♥❛ ♠❛❧ý❝❤ ✈②❦❛③✉❥í ♥❛♣r♦st♦ r♦③❞í❧♥é st❛t✐st✐❝❦é ✈❧❛st✲ ♥♦st✐✳ ◆❛✈í❝ ✈ ♣➦í♣❛❞➙ ❍❡ ■■ ❥s♦✉ t②t♦ st❛t✐st✐❝❦é ✈❧❛st♥♦st✐ ✉♥✐✈❡r③á❧♥í ✈❡ s♠②s❧✉ ♥❡③á✈✐s❧♦st✐ ♥❛ ❞r✉❤✉ ③❦♦✉♠❛♥é❤♦ ♣r♦✉❞➙♥í ❛ ❥s♦✉ st❡❥♥é ❥❛❦♦ ✈ ♣➦í♣❛❞➙ t❡♣❡❧♥é❤♦ ♣r♦t✐♣r♦✉❞✉ s✉♣r❛t❡❦✉té ❛ ♥♦r♠á❧♥í s❧♦➸❦② ❍❡ ■■✱ ❝♦➸ ❥❡ ❦✈❛♥t♦✈ý ❞r✉❤ t❡♣❡❧♥é ❦♦♥✈❡❦❝❡...
|
|
|
Sociokulturní podmíněnost emocí
Ševčíková, Marcela ; Gillernová, Ilona (vedoucí práce) ; Boukalová, Hedvika (oponent)
Cieľom bakalárskej práce je objasniť problematiku emócií so zreteľom na ich sociokultúrnu podmienenosť. Práca je rozdelená na dve základné časti. V teoretickej časti sú priblížené významné koncepcie vysvetľujúce emócie z neurofyziologického, kognitívneho a evolucionistického hľadiska. Zvláštna pozornosť je venovaná procesu regulácie emócií, zdoraznená je pritom úloha kultúry v tomto zložitom procese. Samostatná kapitola je venovaná emočnej expresii (vyjadrovaniu), a to neverbálnou i verbálnou formou. Empirická časť predstavuje návrh výskumného projektu, cieľom ktorého je možnosť overiť niektoré poznatky uvedené v teoretickej časti práce. Výskum sa zameriava na pantomimický výraz emócií a jeho sociokultúrnu podmienenosť. Realizácia výskumu je ponechaná budúcnosti.
|
|
|
Dětská skupinová psychoterapie pohledem rodičů
Mýtina, Ondřej ; Pavlas Martanová, Veronika (vedoucí práce) ; Veselá, Ivana (oponent)
NÁZEV: Dětská skupinová psychoterapie pohledem rodičů AUTOR: Ondřej Mýtina KATEDRA: Katedra psychologie ŠKOLITEL: PhDr. Mgr. Veronika Pavlas Martanová, Ph.D. Tato bakalářská práce se zabývá rodičovským pohledem na paralelní rodičovskou podpůrnou a dětskou psychoterapeutickou skupinu. V teoretické části práce je věnována pozornost psychoterapii, skupinové psychoterapii, specifikům dětské psychoterapie. Zvláštní pozornost je věnována faktoru universality ve skupinové psychoterapii. Teoretická část se dále věnuje poradenství, zejména skupinovému. Podstatná část se zabývá specifiky participace rodiče v terapii dítěte a paralelními intervencemi u dítěte a rodiče. V části empirické je představen vlastní výzkum. Ten spočívá v analýze pěti rozhovorů s rodiči, kteří po dobu jednoho roku docházeli na rodičovskou podpůrnou skupinu, zatímco s touto skupinou paralelně probíhala dětská psychoterapeutická skupina. Rozhovory jsou analyzovány dle principů zakotvené teorie. Výsledky ukazují, že rodiče zažívali na skupině fenomén universality a mohli sdílet různá témata související s problematickou výchovou jejich dětí. Diskuse výsledků s teorií ukázala, že naše výsledky souhlasí s dostupnou teorií. Především potvrzují přítomnost terapeutického faktoru v podpůrné skupině. KLÍČOVÁ SLOVA: podpůrné skupiny pro rodiče,...
|
host ::
RSS.