|
Podpora kultury v městských částech v Praze
Mokrá, Jolana ; KAŠPAR, David (vedoucí práce) ; PROKOP, Petr (oponent)
Diplomová práce „Podpora kultury v městských částech v Praze” zkoumá současný stav strategického řízení a podpory kultury ve všech pražských městských částech. Úvod práce ukazuje význam jednotlivých úrovní samospráv při správě a podpoře kultury, a to formou představení kulturních politik i zákonem definovaných povinností. První část výzkumu podává zprávu o tom, jak je téma kultury vnímáno na úrovni městských částí a jak se s ním pracuje v rámci strategických dokumentů. Druhá se pak věnuje městským částem, které ke kultuře přistupují koncepčním způsobem a považují ji za důležitou pro rozvoj lokality. Zkoumá nástroje, které tyto MČ používají k realizaci svých strategických cílů. V závěru práce dokazuje, proč může role MČ při správě, tvorbě, podpoře a realizaci kultury být zásadní.
|
|
Interpretační princípy vo Verdiho operách
Beneš, Andrej ; HAJÓSSYOVÁ, Magdaléna (vedoucí práce) ; VOTAVOVÁ, Yvona (oponent)
Diplomová práca spracovává tématiku opernej tvorby Giuseppe Verdiho zo zamera- nímním na jeho poslednú operu Falstaf a pojednáva o významných interpretáciách tejto opery. Práca ma priniesť kompexný obraz Verdiho opernej tvorby zo zameraním na niektoré detaily, ktoré nie su bežne známe z verejného ani odborného hudobného života. V texte sa objavuje Verdiho korešponndencia, čo považujem za autentický zdroj pre pochopenie Verdiho tvorivých umeleckých intencií. Snažím sa ďalej bližšie priblížiť a poskytnúť návod ako vnímať operu Falstaff, nie však z’'čisto z mojho po- hľadu, ale vodítkom my boli odborné texty prevažne z prostredia talianskej kritiky a muzikológie.
|
|
Vliv sněhové pokrývky na odtok během dešťových srážek.
Juras, Roman ; Máca, Petr (vedoucí práce) ; Ladislav , Ladislav (oponent)
V zimním období, kdy leží na povodí sněhová pokrývka, stále přibývá výskytu dešťových srážek. Déšť dopadající na sníh (ROS) má často za následek vznik povodní a mokrých lavin. Predikce vlivu ROS záleží především na lepším pochopení mechanismů vzniku a složení odtoku ze sněhové pokrývky. Spojení simulace deště na sněhovou pokrývku a využití stopovačů bylo testováno jako vhodný nástroj pro tento účel. Celkem bylo provedeno 18 experimentů na sněhovou pokrývku s různými počátečními vlastnostmi v horských podmínkách střední a západní Evropy.
Pro určení charakteru proudění bylo použito barvivo brilliant blue (FCF), pomocí kterého je možné vizualizovat preferenční cesty, ale i určit rozhraní dvou vrstev o různých hydraulických vlastnostech. Zastoupení jednotlivých složek odtékající vody na výtoku bylo stanoveno pomocí metody separace hydrogramu, která poskytuje dobré výsledky s přijatelnou nejistotou. Z technických důvodů nebylo možné obě metody použít současně během jednoho experimentu, i když by to ještě více rozšířilo znalosti o dynamice proudění dešťové vody ve sněhové pokrývce. Množství tavné vody bylo vypočteno pomocí rovnice energetické bilance. Použití této rovnice je poměrně přesné, ale zároveň náročné na vstupy. Z toho důvodu bylo tání vypočteno pouze u jednoho experimentu.
Rychlost vzniku odtoku roste v první řadě intenzitou srážky. Počáteční vlastnosti sněhové pokrývky, jako hustota a vlhkost, ovlivňují rychlost vzniku odtoku až druhotně. Na druhou stranu při stejné intenzitě srážky vykazovala nevyzrálá sněhová pokrývka s malou hustotou rychlejší hydrologickou odpověď, než vyzrálá pokrývka s větší hustotou. Velikost odtoku je závislá, především na počátečním nasycení. Vyzrálá sněhová pokrývka s vyšším počátečním nasycení generovala vyšší celkový odtok, kde dešťová voda přispívala maximálně z 50ti %. Proti tomu protekla dešťová voda nevyzrálou sněhovou pokrývkou poměrně rychle a do odtoku se propagovala přibližně z 80ti %.
Pro predikci odtoku během ROS byla použita Richardsova rovnice v rámci modelu SNOWPACK. Tento model byl upraven tak, že byla sněhová matrice rozdělena pro lepší simulaci preferenčního proudění. Tento přístup přinesl zlepšení výsledků oproti klasickému přístupu, kdy se uvažuje pouze matricové proudění.
|
|
Celoživotní vzdělávání jako součást vzdělávacího systému společnosti
Neckařová, Jana ; Šrédl, Karel (vedoucí práce) ; Hana, Hana (oponent)
Diplomová práce pojednává o vzdělávání dospělé populace, přičemž poukazuje
na důležitost vzdělávání v každém věku. V práci je objasněn význam vzdělávání dospělé populace, jsou zde uvedeny formy i možné metody, které jsou při tomto druhu vzdělávání nejčastěji využívány. Kromě teoretických východisek je zde zahrnuto i praktické hledisko vzdělávání dospělých osob, a to prostřednictvím dotazníkového šetření. Uvedené šetření v podobě výzkumu bylo orientováno přímo na zaměstnance, kteří si své vzdělání doplnili,
a současné také na zaměstnavatele, jejichž zaměstnanci se uvedeného vzdělávání zúčastnili. Souhrnně lze říci, že obě strany považují vzdělávání nabyté v dospělosti jako velký přínos, který je ku prospěchu jak vzdělávajícímu se zaměstnanci, tak samozřejmě
i zaměstnavateli. V každém případě však mají osoby s dosaženým vyšším stupněm vzdělání mnohem větší šance získat možné zaměstnání než osoby bez vzdělání nebo s nízkým stupněm vzdělání.
|
|
Vliv lučního managementu na migrační chování vybraných druhů motýlů
Bubová, Terezie ; Langrová, Iva (vedoucí práce) ; Farkač, Jan (oponent)
Migrace jsou klíčovým procesem a jednou ze základních biologických vlastností, které umožňují ohroženým druhům motýlů přežít ve fragmentovaných krajinách. V posledních desetiletích ubývají přirozená stanoviště pro motýly vlivem intenzivního zemědělství, průmyslu či urbanizace. Vhodné lokality jsou přeměněny na zemědělské plochy či zastavěny. Cílem disertační práce bylo vytvoření kompromisního řešení obhospodařování luk, tak aby byla možnost jejich komerčního využití a přesto bylo umožněno přežití vzácných lučních organismů. Hlavní myšlenka spočívala v cíleném působení na emigrační chování motýlů s cílem přesídlení populace v době letu imag na potencionálně vhodné stanoviště. Možnost cíleně manipulovat s emigracemi motýlů by znamenalo zásadní průlom v jejich ochraně.
Studovanými druhy byli ohrožení modrásci Phengaris nausithous (Bergsträsser, 1779) a Phengaris teleius (Bergsträsser, 1779), kteří jsou stěžejními druhy pro ochranu Evropských motýlů na otevřených loukách. Výzkum probíhal na lokalitě Dolní Labe v České republice v letových sezónách 2013 až 2015. Na lokalitě bylo sledováno 17 ploch. V těchto letech byla uprostřed letové sezóny záměrně pokosena zvolená plocha. Před a po pokosení plochy byly podrobně monitorovány emigrace metodou mark-release-recapture. Výsledky populačních a migračních charakteristik byly vypočteny pomocí programu MARK 8.1. Vliv kosení na vyvolání emigrace byl zpracován v programu Statistica 13, prostřednictvím porovnání výsledků emigrací před a po pokosení plochy.
Zvolené hypotézy vycházely z předpokladu, že ztráta zdrojů po pokosení louky zvýší emigrační aktivitu imag, čehož lze dosáhnout vhodným načasováním seče. Ve třech sledovaných letových sezónách došlo k navýšení emigrací po aplikování managementového zákroku pouze v letové sezóně 2015 u obou druhů. Statistické zpracování však ukázalo, že tento nárůst nemá průkazný vliv na efekt nárůstu emigrací po pokosení. Potvrzená byla hypotéza předpokládající kolonizaci nejblíže dostupných ploch po pokosení.
Vliv cíleného ovlivnění emigrací prostřednictvím managementových zákroků nebyl prokázán. Důležité zjištění však vyplynulo při současném sledování velikosti populace na kosené ploše. Kosení uprostřed letové sezóny působí na larvální mortalitu a ztrátu zdrojů. I přesto tyto známe argumenty, jsme z důvodu dlouhodobé znalosti lokality, aplikovali kosení na jedné z ploch. V průběhu tří letových sezón došlo na této ploše ke snížení skutečné velikosti populace. Snížení se neprojevilo na velikosti celkové populace. Razantní pokles byl zaznamenán u P. nausithous. U druhu P. teleius bylo snížení skutečné velikosti populace velmi nízké, tudíž se s podmínkami seče uprostřed letové sezóny dokázal vyrovnat lépe. V případě našeho výzkumu vyplývá jasný závěr o potřebě nastolení vhodných managementových zákroků pro ohrožené druhy motýlů. Ty se týkají hlavně nutnosti snížení kosení luk uprostřed letu imag a upravení režimů dle potřeb motýlů pro jejich ochranu.
|
|
Feasibility Study of an Interactive Medical Diagnostic Wikipedia
Grim, Jiří
Considering different application possibilities of product distribution mixtures we have proposed three formal tools in the last years, which can be used to accumulate decision-making know-how from particular diagnostic cases. First, we have developed a structural mixture model to estimate multidimensional probability distributions from incomplete and possibly weighted data vectors. Second, we have shown that the estimated product mixture can be used as a knowledge base for the Probabilistic Expert System (PES) to infer conclusions from definite or even uncertain input information. Finally we have shown that, by using product mixtures, we can exactly optimize sequential decision-making by means of the Shannon formula of conditional informativity. We combine the above statistical tools in the framework of an interactive open-access medical diagnostic system with automatic accumulation of decision-making knowledge.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (oponent) ; Veith, Helmut (oponent) ; Esparza, Javier (oponent) ; Vojnar, Tomáš (vedoucí práce)
The work presented in this thesis focuses on finite state automata over finite words and finite trees, and the use of such automata in formal verification of infinite-state systems. First, we focus on extensions of a previously introduced framework for verifi cation of heap-manipulating programs-in particular programs with complex dynamic data structures-based on tree automata. We propose several extensions to the framework, such as making it fully automated or extending it to consider ordering over data values. Further, we also propose novel decision procedures for two logics that are often used in formal verification: separation logic and weak monadic second order logic of one successor. These decision procedures are based on a translation of the problem into the domain of automata and subsequent manipulation in the target domain. Finally, we have also developed new approaches for efficient manipulation with tree automata, mainly for testing language inclusion and for handling automata with large alphabets, and implemented them in a library for general use. The developed algorithms are used as the key technology to make the above mentioned techniques feasible in practice.
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data. Most of these methods are based on acceleration techniques which compute transitive closures of program loops. We first present an algorithm that accelerates several classes of integer relations and show that the new method performs up to four orders of magnitude better than the previous ones. On the theoretical side, our framework provides a common solution to the acceleration problem by proving that the considered classes of relations are periodic. Subsequently, we introduce a semi-algorithmic reachability analysis technique that tracks relations between variables of integer programs and applies the proposed acceleration algorithm to compute summaries of procedures in a modular way. Next, we present an alternative approach to reachability analysis that integrates predicate abstraction with our acceleration techniques to increase the likelihood of convergence of the algorithm. We evaluate these algorithms and show that they can handle a number of complex integer programs where previous approaches failed. Finally, we study the termination problem for several classes of program loops and show that it is decidable. Moreover, for some of these classes, we design a polynomial time algorithm that computes the exact set of program configurations from which nonterminating runs exist. We further integrate this algorithm into a semi-algorithmic method that analyzes termination of integer programs, and show that the resulting technique can verify termination properties of several non-trivial integer programs.
|
|
Hodnocení podnikatelských účtů
ŠUSTROVÁ, Lucie
Diplomová práce je zaměřena na využití metod více kritérií rozhodování, v tomto případě na podnikatelské účty. V teoretické části je popsán v bankovní systém České republiky, poté metody vícekriteriálního rozhodování. Základním cílem této práce bylo zhodnotit pořadí podnikatelských účtů z hlediska výhodnosti, které jsou nabízeny bankovními institucemi na bankovním trhu v České republice. Dílčím cílem této práce seznámit se s problematikou optimálního výběru podnikatelských účtů pro určitou skupinu spotřebitelů, což v tomto případě jsou drobní podnikatelé (živnostníci). Před výběrem nového podnikatelského účtu je třeba vždy pečlivě prozkoumat bankovní trh a jeho nabídky firemních účtů. Důležitou součástí této práce je, že klient musí zvážit své preference před použitím kvantitativních metod. V diplomové práci je také proveden průzkum zaměřený právě na hodnocení podnikatelských účtů. Následně jsou porovnávány výsledky za použití kvantitativních metod dotazníkového šetření a výsledků pro modelového klienta. V závěru obecně výsledky popisují a zdůvodňují jednotlivá pořadí bankovních produktů od nejlepšího k nejhoršímu.
|
|
Zkušenosti zdravotnických pracovníků s akupresurou
ROUBÍČKOVÁ, Radka
Diplomová práce je zaměřena na akupresuru a její ovlivnění bolesti zad u zdravotnických pracovníků. Téma akupresury jsme si vybrali, protože jde o neinvazivní léčebnou metodu, kterou může praktikovat každý člověk i v pohodlí domova a nepotřebuje k tomu žádné pomůcky, pouze základní znalosti a školení, jak akupresuru provádět. Akupresura není fyzicky ani časově náročná, a právě proto ji považujeme za vhodný prostředek jako doplňkovou léčbu bolestí a jiných obtíží ve zdravotnictví. Může posloužit ke zkvalitnění ošetřovatelské péče. Teoretická část se věnuje bolestem celkově a také bolestem u zdravotníků, kteří jsou nejrizikovější skupinou ohroženou bolestí zad nejčastěji v bederní oblasti. U zdravotnických pracovníků bývá bolest zad častou příčinou pracovní neschopnosti. Dále se v teoretické části zabýváme akupresurou, jednou z metod alternativní medicíny. Pro zpracování teoretického základu k dané problematice jsme použili dostupné zahraniční i české literární zdroje. Empirická část diplomové práce je zpracována kvantitativním metodou. Výsledky získané výzkumem byly rozpracovány do přehledných tabulek a kazuistik. Pro diplomovou práci jsme si stanovili dva výzkumné cíle. Prvním cílem bylo zjistit zkušenosti zdravotnických pracovníků s akupresurou. Druhým cílem bylo ověřit vliv technik akupresury na bolesti zad zdravotnických pracovníků. Na základě stanovených cílů práce jsme vytvořili dvě hypotézy. První hypotéza předpokládala, že aplikace akupresurních technik zmírní bolesti zad respondentů. Druhá hypotéza předpokládala, že bude rozdíl v přístupu sester a lékařů k vykonávání akupresury.
|
host ::
