|
E-learningová podpora celoživotního vzdělávání
Žažo, David ; Husa, Jiří (vedoucí práce) ; Marek, Marek (oponent)
Bakalářská práce se zabývá vytvořením elektronického vzdělávacího kurzu pro pracovníky obsluhující kamerový systém městské policie Chomutov. Tento kurz je tvořen na základě potřeby seznámení stávajících i nových zaměstnanců s řídícím softwarem IndigoVison Control Center, který slouží k ovládání kamerového systému. Při absolvování kurzu se účastníci seznamují s funkcemi, možnostmi a principy ovládání tohoto softwaru. V závěru kurzu jsou vědomosti, získané absolvováním kurzu ověřeny závěrečným testem. Celý kurz je následně zhodnocen na základě výsledků testů a rozhovoru s jeho účastníky. Teoretická část práce se zabývá e-learningem, zmiňuje jeho přednosti a zápory a také specifika spojená se vzděláváním dospělých. V praktické části práce je podrobně představen e-learningový kurz, který je plně realizován v prostředí MoodleCloud a který je praktickým výsledkem této práce.
|
|
Úloha autority a princíp partnerstva pri tvorbe choreografického diela
Radačovský, Mário ; KAZÁROVÁ, Helena (vedoucí práce) ; WIESNER, Daniel (oponent)
V našom tanečnom umení je veľmi dôležité ak sa môžeme stretnúť s osobnosťami, ktoré ovplyvnia náš život natoľko či už pozitívne alebo negatívne ,že si tento ich odkaz nesieme celým naším umeleckým životom.
Princíp autority ktorá nás denne formuje ,ale aj partnerstva bez ktorého by to celé zrejme nebolo ani možné .Určitá forma partnerstva je viac ako potrebná v našom veľmi náročnom povolaní. Napriek tomu byť tanečníkom nie je povolanie ale skôr o poslanie .
Cieľom mojej práce je pokúsiť sa načrtnúť určite formy autorít na základe mojich osobných skúseností ako aj ponúknuť porovnanie medzi nimi cez vykreslenie určitých modelových situácií ,ktoré som mal možnosť osobne zažiť. Ponúknuť rozličné riešenia určitých situácií .
Vždy ide o nejaký cieľ spoločného snaženia sa naplniť ho. Rozdiel je inteligencií a spôsobe ako vytúžený úspech dosiahnuť. Nakoniec výsledok nie je aj tak to najdôležitejšie ale forma a hlavne ako sme ho dosiahli. Celá moja práca bola o zamyslení a paralelách a novom vnímaní už existujúcich prežitkov.
|
| |
|
Grammars with Restricted Derivation Trees
Koutný, Jiří ; Janoušek, Jan (oponent) ; Vojnar, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies theoretical properties of grammars with restricted derivation trees. After presenting the state of the art concerning this investigation area, the research is focused on the three main kinds of the restrictions placed upon the derivation trees. First, it introduces completely new investigation area represented by cut-based restriction and examines the generative power of the grammars restricted in this way. Second, it investigates several new properties of path-based restriction placed upon the derivation trees. Specifically, it studies the impact of erasing productions on the generative power of grammars with restricted path and introduces two corresponding normal forms. Then, it describes a new relation between grammars with restricted path and some pseudoknots. Next, it presents a counterargument to the generative power of grammars with controlled path that has been considered as well-known so far. Finally, it introduces a generalization of path-based restriction to not just one but several paths. The model generalized in this way is studied, namely its pumping, closure, and parsing properties.
|
|
Navigace mobilních robotů
Rozman, Jaroslav ; Matoušek,, Václav (oponent) ; Šolc, František (oponent) ; Zbořil, František (vedoucí práce)
Mobilní robotika je v posledních letech velice diskutované a rozšířené téma. Souvisí to především se stále se zdokonalující výpočetní technikou, která tak umožňuje vyvíjet stále složitější a dokonalejší roboty. Cílem tohoto snažení je vytvořit robota, schopného se autonomně pohybovat ve zvoleném prostředí. Pro tento úkol je nutné, aby si robot vytvořil mapu, ve které bude svůj pohyb plánovat. V současné době se za standard v mapování považují pravděpodobnostní algoritmy založené na metodě SLAM. Tato disertační práce se zabývá návrhem plánovacího algoritmu právě pro metodu SLAM. Popisuje plánování pohybu pro robota vybaveného dvojicí kamer, tzv. stereokamerou, umístěnou na pohyblivé platformě. Plánování pohybu je navržené s ohledem na použití algoritmů, které budou v obraze ze stereokamery vyhledávat význačné body a z těch pak pomocí triangulace tvořit mapu, nebo také model prostředí. Přínos práce by se dal rozdělit do tří částí. V první je popsán způsob vyznačování plochy, ve které pak bude robot plánovat svůj pohyb. Druhá část se zabývá samotným plánováním pohybu robota v této mapě. Bere při tom v úvahu vlastnosti algoritmu SLAM a snaží se tedy toto plánování navrhnout tak, aby vytvořená mapa byla co nejpřesnější. Ve třetí části je pak popsán pohyb platformy, která nese kamery. V této části se využívá toho, že robot může svými kamerami sledovat i jiná místa, než jsou ta ve směru jeho pohybu. To mu umožní prozkoumat mnohem větší prostor bez přílišné ztráty informace o své přesné poloze.
|
|
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.
|
|
Generic Reverse Compilation to Recognize Specific Behavior
Ďurfina, Lukáš ; Šaloun, Petr (oponent) ; Zahradnický,, Tomáš (oponent) ; Kolář, Dušan (vedoucí práce)
Thesis is aimed on recognition of specific behavior by generic reverse compilation. The generic reverse compilation is a process that transforms executables from different architectures and object file formats to same high level language. This process is covered by a tool Lissom Decompiler. For purpose of behavior recognition the thesis introduces Language for Decompilation -- LfD. LfD represents a simple imperative language, which is suitable for a comparison. The specific behavior is given by the known executable (e.g. malware) and the recognition is performed as finding the ratio of similarity with other unknown executable. This ratio of similarity is calculated by a tool LfDComparator, which processes two sources in LfD to decide their similarity.
|
|
Security of Biometric Systems
Lodrová, Dana ; Busch, Christoph (oponent) ; Provazník, Ivo (oponent) ; Drahanský, Martin (vedoucí práce)
The main contributions of this thesis are two novel approaches for the increase of securing of biometric systems based on fingerprint recognition. The first approach is within the liveness detection and prevents the use of various fake fingers and other spoofing techniques during the capturing processes. This patented approach is based on a combination of change of papillary line color and width caused by pressing of a finger against glass plate. The resultant liveness detection unit can be integrated into an optical fingerprint sensor. The second approach is within standardization and it increases the security and interoperability of minutiae extraction and comparison process. For this purposes, I have created the methodology to determine semantic conformance rates of minutiae extractors. The minutiae extracted by the tested extractors are compared against Ground-Truth-Minutiae obtained by clustering of data provided by dactyloscopic/forensic experts. This proposed methodology is included in the ISO/IEC 29109-2 Amd. 2 WD4.
|
|
Optimalizace sledování síťových toků
Žádník, Martin ; Lhotka,, Ladislav (oponent) ; Matoušek, Radomil (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato disertační práce se zabývá optimalizací sledování síťových toků. Sledování síťových toků spočívá ve sledování jejich stavu a je klíčovou úlohou pro řadu síťových aplikací. S každým příchodem paketu je nutné aktualizovat hodnoty stavu, což zahrnuje přístupy do paměti. Vzhledem k vysoké propustnosti linek a obrovskému množství souběžných toků hraje přístup do paměti kritickou roli ve výkonnosti stavového zpracování síťového provozu. Tento problém se řeší různými technikami. Tyto techniky ale ve výsledku vždy požadují, aby nejblíže zpracování provozu byla nasazena paměť s nízkou odezvou, cache toků, schopná vyřídit všechny přístupy. Cache toků má proto omezenou kapacitu a její efektivní správa má zásadní vliv na výkonnost a výsledky zpracování síťového provozu. Vzhledem ke specifikům síťového provozu nemusí být stávající správy vhodné pro správu cache toků. Disertační práce se proto zabývá automatizovaným vývojem správy cache na základě reálného provozu dané sítě. Automatizace vývoje správy cache toků je realizována pomocí genetického algoritmu. Genetický algoritmus vyvíjí nová řešení a hodnotí je simulací nad vzorkem provozu z různých sítí. Navržený postup je ověřen na vývoji správ pro dva problémy. Prvním problémem je vývoj správy, která bude vykazovat celkově nízký počet výpadků stavů z cache toků. Druhým problémem je vývoj správy, která bude vykazovat velmi nízký počet výpadků u velkých toků. Optimalizace zakódování správy a experimenty s parametry genetického algoritmu ukázují, že je možné nalézt správy cache toků, které jsou optimalizované pro specifika daného nasazení. Nově vyvinuté správy poskytují lepší výsledky než ostatní testované správy. Z hlediska snížení celkového počtu výpadků je vyvinuta správa, která snižuje počet výpadků na konkrétní datové sadě až o deset procent vůči nejlepší porovnávané správě. Z pohledu snížení počtu výpadků u velkých toků je dosaženo vyvinutou správou až dvojnásobného snížení výpadků. Většina velkých toků (více než 90%) nezaznamenala při použití vyvinuté správy dokonce ani jeden výpadek. Rovněž během záplav nových toků, které se v síťovém provozu vyskytují v souvislosti se skenováním sítí a útoky, se ukazují velmi dobré vlastnosti vyvinuté správy. V rámci práce je rovněž navrženo rozšíření správy o využití doplňkové informace ze záhlaví příchozích paketů. Výsledky ukazují, že kombinací této informace lze počet výpadků u správ dále snižovat.
|
|
Zavedení kontaktních testů ekotoxicity pro hodnocení terrestrických ekosystémů
Modlitbová, Pavlína ; Kráčmar, Stanislav (oponent) ; Beklová, Miroslava (oponent) ; Demnerová, Kateřina (oponent) ; Vávrová, Milada (vedoucí práce)
Tématem předložené dizertační práce bylo provedení testů toxicity s využitím testovacího organismu ze zástupců suchozemských stejnonožců Porcellio scaber. Tento testovací organismus byl zvolen jako nejvhodnější pro posouzení toxicity vybraných anorganických sloučenin kontaminujících terestrický ekosystém. Jeho výběr byl proveden na základě důkladně zpracované metodiky tohoto testu, dále známých biologických a biochemických vlastností výše specifikovaného živého organismu, případně na jeho ekologické relevantnosti. Kromě klasických endpointů, jakými jsou mortalita, změna hmotnosti testovacích jedinců a také vliv přítomnosti a koncentrace kontaminantů na konzumaci stravy, byly rovněž sledovány změny v morfometrické charakteristice, a to na úrovni tkání a buněk, cytotoxicita a rovněž byla posuzována možná bioakumulace v různých částech těla tohoto organismu. Vybrané testované látky lze zařadit do oblasti nanočástic a anorganických solí. U vybraných nanočástic zlata byla provedena kompletní ekotoxikologická studie na několika úrovních organizace živé hmoty (organismus, tkáň, buňka). Pro vybrané soli byla provedena studie, která byla zaměřená především na chování organismů a klasické endpointy.
|
host ::
