|
Politické a sociální aspekty územní samosprávy - participace obyvatel na veřejném životě obcí
Kučerová, Zuzana ; Kopřiva, Radek (vedoucí práce) ; Lenka, Lenka (oponent)
Východiskem práce je dosavadní teorie zapojení občanů do života municipalit a občanská společnost. Práce se soustředí na ověření uplatnitelnosti Nekolova konceptu, který je typologií forem účasti, na dvou vybraných obcích v České republice, a to Týnce nad Labem a Krakovan.
Práce se soustředí zejména na popis participačních forem a klade si otázku, jaké faktory stojí v pozadí rozdílů v účasti lidí. Ukazuje se, že Nekolův koncept je ve snaze porozumět důvodům účasti dobrým nástrojem. Zároveň práce přináší poznatek o rozdílech v účasti ve sledovaných obcích. Rozhodujícím rozdílovým činitelem je stabilita politického prostředí. V obci Krakovany je politické prostředí dlouhodobě etablované a je spojené s postavou starosty, který je důležitým iniciátorem rozvoje obce.
|
|
Politické aspekty územní samosprávy. Volby a volební chování obyvatel města Nový Bydžov
Bieliková, Eva ; Kopřiva, Radek (vedoucí práce) ; Lenka, Lenka (oponent)
Diplomová práce je věnována problematice voleb a volebního chování obyvatel města Nový Bydžov. Je zaměřena na posouzení faktorů, které ovlivňují volební chování obyvatel města ve volbách do zastupitelstva města Nový Bydžov, deskripci vývoje volebního chování v časové dimenzi od roku 1994 do roku 2014 a ověření uplatnitelnosti teorie volebního chování k vysvětlení volebního rozhodování elektorátu Nového Bydžova. Teoretická část je věnována teoretickému vymezení oblastí vztahujících se k tématu diplomové práce. Praktická část práce je případovou studií města Nový Bydžov. Subjektem studia je město Nový Bydžov, objekty studia jsou voliči účastnící se voleb do zastupitelstva tohoto města. Pro dosažení stanovených cílů je využito obsahového studia dokumentů (psaných záznamů), dotazníkového šetření, komparativní metody a syntézy.
|
|
Navrhování experimentů pro nestacionární produkční procesy
Jadrná, Monika ; Macák, Tomáš (vedoucí práce)
Disertační práce se zaměřuje na oblast služeb a oblast hromadné výroby. Konkrétně se jedná o optimalizaci produktového portfolia cestovní kanceláře a optimalizaci výroby nábojů.
V literárních východiscích je vysvětlena terminologie z oblasti rozhodování a popsány metody, které jsou používány pro podporu rozhodování. Jedná se o aktuální přehled řešené problematiky a definování základních pojmů. Teoretická východiska výzkumu jsou v oblasti služeb zaměřena na volbu vhodných vstupních proměnných. V oblasti výroby pak na volbu konkrétního materiálu a vhodného vybavení pro danou výrobu. Literární východiska a teoretická východiska výzkumu současně tvoří základ pro praktickou část práce.
V praktické části disertační práce je zvolen konkrétní podnik působící v daném odvětví. V oblasti služeb je optimalizováno produktové portfolio pomocí Fuzzy logiky a Fuzzy množin, tak aby firma působící v dané oblasti byla schopna se uplatnit a fungovat na současném vysoce konkurenčním trhu. V oblasti výroby je nastaveno optimální složení produktu tak, aby bylo dosahováno jeho požadovaných vlastností.
Hlavním cílem disertační práce je návrh metodického přístupu pro řízení vybraných podnikových procesů při jejich nestacionárním časovém průběhu. V praktické realizaci je cílem verifikovat funkčnost navrženého metodického přístupu, jak v oblasti služeb, tak v oblasti hromadné výroby.
|
|
Trh s vínem v České republice a politika vinohradnictví a vinařství
Vlašicová, Eliška ; Tomšík, Karel (vedoucí práce) ; Malý, Michal (oponent)
Disertační práce je zaměřena na trh s vínem v České republice. Cílem je identifikovat nedostatky v odvětví vína za účelem zformování návrhů doporučení pro zlepšení stávající situace v odvětví. V teoretických východiscích práce byla ve zkratce představena Společná zemědělská politika Evropské unie a podrobněji byl popsán vznik a vývoj Společné organizace trhu s vínem. Dále byly popsány teoretické aspekty trhu, včetně nabídky a poptávky a byl charakterizován zemědělsko-potravinářský trh, jeho specifika, komoditní vertikála vína, determinanty poptávky, nabídky a ceny vína a byly vytvořeny obecné ekonometrické modely a jejich předpoklady, které posloužily k odhadům poptávky, nabídky a ceny vína. V dalších kapitolách práce byly vytvořeny analýzy trhu s vínem, zejména se zaměření na produkční potenciál vinic v ČR a na základě regresní analýzy byly modelovány poptávka, nabídka a cena vína včetně cenové transmise ve vertikále vína. Zásadní vliv na poptávku po vínu mají minulá spotřeba vína a cena vína, spotřeba substitutů piva a lihovin, (cena substitutů není významným faktorem), důchod domácností a hrubá mzda, na základě kterých bylo možné víno označit za normální statek, a konečně kvalita vína měřená cukernatostí a oceněním na mezinárodních soutěžích. Na nabídku vína významně působí cena moštových hroznů, cena vína, plocha vinic a produkce moštových hroznů. Mezi další významné faktory lze navíc zařadit některé aspekty počasí a určité dotace. Klimatická změna může vyústit k rozšíření vinohradnictví a vinařství v ČR a k obměně odrůdové skladby vinic. Poptávka má ve vertikále vína věší vliv než nabídka, což může mít negativní dopad na vinohradníky, popřípadě na vinaře. Výsadba vinic není dostačující pro zachování současné výše produkčního potenciálu vinic v ČR. Ideální rozsah roční výsadby révy vinné by měl být okolo 655 ha. S tím souvisí otázka financování obnovy vinic, která je nákladná (finančně náročná). Na základě finanční analýzy malých a středních vinařských podniků bylo zjištěno, že podniky si obnovu vinic nemohou dovolit z vlastních zdrojů a bude zapotřebí dotační výpomoci státu, popř. EU.
|
|
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.
|
|
Spolupráce středních škol s externími firmami v přípravě školních vzdělávacích programů
Tulach, David ; Lačev, Alek (vedoucí práce) ; Hochel, Matej (oponent)
Tato práce, Spolupráce středních škol s externími firmami v přípravě školních vzdělávacích programů, se zabývá otázkou, zdali je možné a přínosné, aby střední školy spolupracovaly s firmami na přípravě či úpravě svých vzdělávacích programů za cílem zlepšení kvality vzdělávání. Po prvotních příspěvcích ze strany odborníků, které na tuto otázku odpovídaly negativně, byl pohled zaměřen na kořen věci - na čem stojí historické pilíře školství a pedagogiky, co o učení se a výuce říká věda, jak pedagogika reaguje na krizi věd. Při porovnání literárních zdrojů a závěrů z rozhovorů s odborníky v kombinaci s analýzou stop a výsledků činnosti odborníků dalších byla stanovena teorie, že veřejné školství dospívá do bodu krize, ve své podstatě se od svého vzniku nezměnilo a nejlepším řešením může být vytvoření alternativních vzdělávacích institucí.
|
|
Soubor publikovaných článků
DVOŘÁK, Petr
Cílem předkládaného souboru publikovaných článků je charakterizovat sociální dovednosti učitele jako součást jeho profesní kompetence a vymezit jejich význam ve výuce angličtiny komunikační metodou v edukačních interakcích ve školní třídě. Teoretickými východisky výzkumů jejichž výsledky jednotlivé články předkládají jsou funkčně komunikační přístupu k jazyku a z něj vycházející komunikační metoda. Pozornost je věnována procesům interakce, komunikace a cizojazyčnému diskurzu ve školním prostředí s akcentem na cizojazyčnou výuku dospívajících. Na základě specifik cizojazyčné edukační interakce konkretizujeme sociální dovednosti učitele a vymezujeme sociálně-dovednostní aspekty cizojazyčné edukační interakce. Zjištění výzkumů prezentovaných v předkládaných článcích se týkají zejména žákovské reflexe edukačního stylu učitelů angličtiny a edukačního působení učitele v konkrétní třídní interakci. Výzkum je rovněž zacílen na analýzu vybraných sociálně-dovednostních aspektů edukační interakce a diskurzu ve výuce angličtiny komunikační metodou. Konkrétně se jedná o žákovské a učitelské iniciace komunikace, otázky a distribuci komunikačních příležitostí.
|
|
Adaptace neuropsychologického dotazníku EBIQ pro účely diagnostiky emočních a psychosociálních problémů po poranění mozku.
Wolfová, Beata ; Kulišťák, Petr (vedoucí práce) ; Stehlík, Luděk (oponent)
Neurorehabilitace u osob po poranění mozku se tradičně soustředí na nápravu somatických a kognitivních funkcí, přičemž problematika emočních aspektů poranění mozku je dosud málo prozkoumaná. Cílem teoretické části diplomové práce bylo proto zmapování diagnostických nástrojů vhodných pro vyšetřování emočních problémů pacientů po poranění mozku a jejich utřídění pro potřeby neuropsychologické praxe. V empirické části práce se autorka zaměřila na adaptaci a pilotní ověření neuropsychologického dotazníku European Brain Injury Questionnaire na vzorku pacientů po poranění mozku a jejich blízkých osob. Praktickým výstupem práce je kromě psychometrických charakteristik česká pracovní verze EBIQ-P (verze pro pacienty) a EBIQ-R (verze pro rodinné příslušníky) včetně přehledně zpracovaných instrukcí k vyhodnocování výsledků a příkladů pro použití v klinické praxi. EBIQ představuje alternativu k doposud používaným dotazníkům SCL-90 a MMPI, jelikož tyto podle našich zjištění i poznatků z jiných studií poskytují u skupiny pacientů po poranění mozku nevalidní výsledky.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (oponent) ; Steininger, Andreas (oponent) ; Kotásek, Zdeněk (vedoucí práce)
In the development of current hardware systems, e.g. embedded systems or computer hardware, new ways how to increase their reliability are highly investigated. One way how to tackle the issue of reliability is to increase the efficiency and the speed of verification processes that are performed in the early phases of the design cycle. In this Ph.D. thesis, the attention is focused on the verification approach called functional verification. Several challenges and problems connected with the efficiency and the speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal focuses on the reduction of the simulation runtime when verifying complex hardware systems. The reason is that the simulation of inherently parallel hardware systems is very slow in comparison to the speed of real hardware. The optimization technique is proposed that moves the verified system into the FPGA acceleration board while the rest of the verification environment runs in simulation. By this single move, the simulation overhead can be significantly reduced. The second goal deals with manually written verification environments which represent a huge bottleneck in the verification productivity. However, it is not reasonable, because almost all verification environments have the same structure as they utilize libraries of basic components from the standard verification methodologies. They are only adjusted to the system that is verified. Therefore, the second optimization technique takes the high-level specification of the system and then automatically generates a comprehensive verification environment for this system. The third goal elaborates how the completeness of the verification process can be achieved using the intelligent automation. The completeness is measured by different coverage metrics and the verification is usually ended when a satisfying level of coverage is achieved. Therefore, the third optimization technique drives generation of input stimuli in order to activate multiple coverage points in the veri\-fied system and to enhance the overall coverage rate. As the main optimization tool the genetic algorithm is used, which is adopted for the functional verification purposes and its parameters are well-tuned for this domain. It is running in the background of the verification process, it analyses the coverage and it dynamically changes constraints of the stimuli generator. Constraints are represented by the probabilities using which particular values from the input domain are selected. The fourth goal discusses the re-usability of verification stimuli for regression testing and how these stimuli can be further optimized in order to speed-up the testing. It is quite common in verification that until a satisfying level of coverage is achieved, many redundant stimuli are evaluated as they are produced by pseudo-random generators. However, when creating optimal regression suites, redundancy is not needed anymore and can be removed. At the same time, it is important to retain the same level of coverage in order to check all the key properties of the system. The fourth optimization technique is also based on the genetic algorithm, but it is not integrated into the verification process but works offline after the verification is ended. It removes the redundancy from the original suite of stimuli very fast and effectively so the resulting verification runtime of the regression suite is significantly improved.
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (oponent) ; Křetínský, Mojmír (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work addresses verification of infinite-state systems, more specifically, verification of programs manipulating complex dynamic linked data structures. Many different approaches emerged to date, but none of them provides a~sufficiently robust solution which would succeed in all possible scenarios appearing in practice. Therefore, in this work, we propose a new approach which aims at improving the current state of the art in several dimensions. Our approach is based on using tree automata, but it is also partially inspired by some ideas taken from the methods based on separation logic. Apart from that, we also present multiple advancements within the implementation of various tree automata operations, crucial for our verification method to succeed in practice. Namely, we provide an optimised algorithm for computing simulations over labelled transition systems which then translates into more efficient computation of simulations over tree automata. We also give a new algorithm for checking inclusion over tree automata, and we provide experimental evaluation demonstrating
|
host ::
