|
Political and social aspects of local government - public participation in the municipality affairs
Kučerová, Zuzana ; Kopřiva, Radek (advisor) ; Lenka, Lenka (referee)
The thesis deals with contemporary theories of the citizens involvement in municipal life and civic society. It works with Nekol s concept which is a typology of forms of participation. The aim of the thesis is to test the usefulness of this concept on two selected municipalities in the Czech Republic Týnec nad Labem and Krakovany.
The thesis focuses mainly of the description of participation forms and it examines the factors which influence the differences in people s participation. It shows that Nekol s concept is a useful tool in the effort to understand these differences in the two selected municipalities. The decisive distinguishing aspect is the stability of political environment. In Krakovany, the political environment is settled and is connected with the mayor, who is an important initiator of development in the town.
|
|
Political aspects of local goverment. Elections and electoral behavior of citizens in the town of Nový Bydžov
Bieliková, Eva ; Kopřiva, Radek (advisor) ; Lenka, Lenka (referee)
The thesis addresses the issue of elections and electoral behavior of citizens in the town of Nový Bydžov. It is focused on assessment of factors that influence voting behavior of citizens in the town of Nový Bydžov. It describes the evolution of electoral behavior from 1994 to 2014 and verification of the applicability of the theory of electoral behavior for explanation of the electoral decision-making of the electorate in Nový Bydžov. The theoretical part addresses (describes) theoretical definition of areas that relate to the topic of the thesis. The practical part is a case study of Nový Bydžov. Subject of study is the town of Nový Bydžov, objects of study are the voters participating in the elections to the council of this city. To achieve the set goals (objectives) is recovered content of documents study (written records), a questionnaire survey, comparative methods and synthesis.
|
|
Design of Experiment for Non-Stationary Processes of Production
Jadrná, Monika ; Macák, Tomáš (advisor)
The doctoral thesis is concerned with the services sector and the area of mass production. Particularly, the optimization of the product portfolio of the travel agency and the optimization of production rounds of ammunition.
The theoretical part deals with the current overview of discussed topic. Further, the terminology and methods of the decision-making process are defined to support decision making. The theoretical basis of research focused on the choice of appropriate input variables in the area of services, and on the choice of a particular material option in the production area and appropriate equipment for the production. The theoretical part forms the basis for the practical part of the thesis.
For the doctoral thesis was chosen an enterprise operating in the defined sector. Product portfolio for the services sector is optimised using Fuzzy logic and Fuzzy sets so that the enterprise can maintain its competitiveness in todays highly ambitious market. Product portfolio for manufacture is optimised for achieving desired properties of the product.
The main aim of the thesis is to propose a new methodological approach for the management of selected business processes in their nonstationary time course. The aim of the practical implementation is to verify the functionality of the proposed methodological approach, both in the area of services and in the field of mass production.
|
|
The Wine Market in the Czech Republic and the Politics of Wine
Vlašicová, Eliška ; Tomšík, Karel (advisor) ; Malý, Michal (referee)
The dissertation thesis is focusing on the wine market in the Czech Republic. The aim is to identify weaknesses in the wine sector in order to formulate recommendations for improving a current situation in the sector. The Common Agricultural Policy of the European Union and the Common Market Organisation for Wine was presented in the theoretical part of the thesis, where also theoretical aspects of a market including supply and demand were described, as well as an agri-food market and its specifics, wine commodity chain, determinants of demand, supply and prices of wine. In the following chapters an analysis of the wine market, especially with emphasis on the production potential of vineyards in the Czech Republic was created, and demand, supply and price of wine including a price transmission in the commodity chain of wine were modelled based on a regression analysis. The significant influence on demand of wine have had previous values of wine consumption and wine prices, substitutes consumptions (prices of substitutes were not a significant factors), household income and salary, a quality of the wine and awards in international competitions. Significant factors of the side of supply including the price of wine grapes, the price of wine, vineyard area, production of wine grapes, some aspects of weather and certain subsidies. A climate change, which is in progress, may result to the expansion of viticulture and winemaking in the Czech Republic and also to a change of varieties in vineyards. Demand has in the commodity chain of wine greater impact than the supply. It can have a negative effect on growers or winemakers. Planting of vines is not sufficient to maintain current levels of a production potential of vineyards in the Czech Republic. The ideal amount of annual planting vines should be about 655 ha. A related issue is financing a vineyards renewal, which is costly. Based on a financial analysis of small and medium-sized wine companies, it was found that these businesses cannot afford the renewal of vineyards from its own resources and will require grant assistance of the state, eventually EU.
|
|
Influence of meadow management on the migration behavior of selected species of butterflies
Bubová, Terezie ; Langrová, Iva (advisor) ; Farkač, Jan (referee)
Migrations are the key process and one of the basic biological features, which allow survival of endangered species in fragmented landscape. In the last decades, agriculture intensification, industry and urbanization caused that number of natural butterfly habitats has significantly decreased. The localities originally suitable for butterflies are currnetly converted to farmland or building plots. This PhD thesis aimed to find a compromise solution of meadow management, which should allow a commercial use and concurrently do not jeopardize the continued existence of endangered or threatened species. The main idea of this study was in the intentional emigration causing in the middle of flight period, which should lead into resettlement of the population to another (potentially more suitable) locality. Possibility of aimed manipulation with butterfly emigrations would be considered as a major breakthrough in their protection.
The investigated species Phengaris nausithous (Bergsträsser, 1779) and Phengaris teleius (Bergsträsser, 1779) are both considered to be flagship species for protection of European butterflies at open meadows. This study is based on research, which was carried out in 2013-2015 at 17 patch in localities Dolní Labe, Czech Republic. In above mentioned years, one selected meadow was mowed in the middle of flight season and the emigrations were then monitored using mark-release-recapture method. Results of population and migration characteristics were calculated in MARK 8.1 software. Subsequently, the effect of mowing on emigration (comparison of emigrations from the meadow before and after mowing) was evaluated using Statistica 13.
The hypotheses of this study were based on the assumption, that the loss of resources after well-timed mowing should increase the activity of adult butterflies. During the monitoring, number of emigrations was increased only in flight season 2015. Unfortunately, the statistical evaluation did not show significant effect of mowing on migrations. On the other hand, the hypothesis dealing with colonization of nearest meadows was confirmed.
Effect of intentional emigration caused by management interventions was unfortunately not proved. However, we found out, that even though the population at one mowed meadow decreased clearly, the metapopulation size at the locality remained more or less stable.
At investigated (mowed) meadow, there was observed a sharp decline of P. nausithous abundance. On the other hand, P. teleius population was only slightly reduced. It is therefore conceivable, that P. teleius are not as susceptible to innapropriate term of mowing. The results obtained in our research conclusively displayed no possible positive effect of mowing in the middle of flight season and a necessity of suitable management maintenance at localities inhabited by Phengaris butterflies.
|
|
Cooperation of high schools with external contractors in preparing school educational programs
Tulach, David ; Lačev, Alek (advisor) ; Hochel, Matej (referee)
This thesis, Cooperation of high schools with external contractors in preparing school educational programs, deals with the question whether it would be possible and beneficial for high schools to cooperate with companies on the preparation or modification of their educational programs, with the goal of improving the quality of education. After initial contributions from experts who provided negative replies to this question, the view was focused on the root of the issue - what are the historical pillars of public schools and pedagogy, what does science say about learning and teaching, how pedagogy reacts to the crisis of science. After comparing literal sources and results from interview with the experts, in combination with a trace and activity analysis, a theory was established that public education is reaching a point of crisis, has not changed in its essence since its beginning and that the best solution might be the establishment of alternative educational institutions.
|
|
The collection of published articles
DVOŘÁK, Petr
The aim of the collection of published articles is to define the requisite social skills of the English language teacher as a part of his/her professional competence, in the context of communicative language teaching in classroom interactions between English teachers and adolescent pupils. The theoretical preliminaries of the research whose findings are presented in the articles are the functional communicative approach to language and communicative language teaching. The attention is paid to the processes of interaction, communication and classroom discourse at school with an emphasis on foreign language teaching. We try to specify social skills of the English teacher and define social-skill aspects of foreign language educational interactions. The findings of the research presented in the articles concern mainly the educational style of English teachers and English teacher's behaviour in particular classroom interactions. The research is also focused on selected social-skill aspects of classroom discourse within communicative language teaching, specifically, pupils' and teachers' initiations of communication, questions, and the distribution of communication opportunities.
|
|
Adaptation of the EBIQ neuropsychological questionnaire for the diagnostic of the emotional and psychosocial problems after brain injury.
Wolfová, Beata ; Kulišťák, Petr (advisor) ; Stehlík, Luděk (referee)
Neurorehabilitation for people suffering from brain injury has traditionally focused on rehabilitation of the somatic and cognitive functions. Research into the emotional aspects of brain injury has, however, been limited. The theoretical part of this thesis was therefore to map diagnostic tools suitable for the investigation of emotional problems of patients after brain injury and to classify these tools for the needs of neuropsychological practice. In the empirical part the author focused on the adaptation and pilot verification of the EBIQ (European Brain Injury Questionnaire) neuropsychological questionnaire, for a sample of patients having experienced brain injury and their immediate family and friends. The practical outcome of work in addition to the psychometric characteristics is a Czech working version EBIQ-P (version for patients) and EBIQ-R (version for family members), including well-prepared instructions for evaluating the results and examples for use in clinical practice. EBIQ provides an alternative to the previously used questionnaires SCL-90 and MMPI-100, since these, according to our findings and the findings from other studies on the group of patients after brain injury provide invalid results.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (referee) ; Steininger, Andreas (referee) ; Kotásek, Zdeněk (advisor)
Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních procesů, které se provádějí v raných fázích návrhu. V této dizertační práci se pozornost věnuje verifikačnímu přístupu s názvem funkční verifikace. Je identifikováno několik výzev a problému týkajících se efektivity a rychlosti funkční verifikace a ty jsou následně řešeny v cílech dizertační práce. První cíl se zaměřuje na redukci simulačního času v průběhu verifikace komplexních systémů. Důvodem je, že simulace inherentně paralelního hardwarového systému trvá velmi dlouho v porovnání s během v skutečném hardware. Je proto navrhnuta optimalizační technika, která umisťuje verifikovaný systém do FPGA akcelerátoru, zatím co část verifikačního prostředí stále běží v simulaci. Tímto přemístěním je možné výrazně zredukovat simulační režii. Druhý cíl se zabývá ručně připravovanými verifikačními prostředími, která představují výrazné omezení ve verifikační produktivitě. Tato režie však není nutná, protože většina verifikačních prostředí má velice podobnou strukturu, jelikož využívají komponenty standardních verifikačních metodik. Tyto komponenty se jen upravují s ohledem na verifikovaný systém. Proto druhá optimalizační technika analyzuje popis systému na vyšší úrovni abstrakce a automatizuje tvorbu verifikačních prostředí tím, že je automaticky generuje z tohoto vysoko-úrovňového popisu. Třetí cíl zkoumá, jak je možné docílit úplnost verifikace pomocí inteligentní automatizace. Úplnost verifikace se typicky měří pomocí různých metrik pokrytí a verifikace je ukončena, když je dosažena právě vysoká úroveň pokrytí. Proto je navržena třetí optimalizační technika, která řídí generování vstupů pro verifikovaný systém tak, aby tyto vstupy aktivovali současně co nejvíc bodů pokrytí a aby byla rychlost konvergence k maximálnímu pokrytí co nejvyšší. Jako hlavní optimalizační prostředek se používá genetický algoritmus, který je přizpůsoben pro funkční verifikaci a jeho parametry jsou vyladěny pro tuto doménu. Běží na pozadí verifikačního procesu, analyzuje dosažené pokrytí a na základě toho dynamicky upravuje omezující podmínky pro generátor vstupů. Tyto podmínky jsou reprezentovány pravděpodobnostmi, které určují výběr vhodných hodnot ze vstupní domény. Čtvrtý cíl diskutuje, zda je možné znovu použít vstupy z funkční verifikace pro účely regresního testování a optimalizovat je tak, aby byla rychlost testování co nejvyšší. Ve funkční verifikaci je totiž běžné, že vstupy jsou značně redundantní, jelikož jsou produkovány generátorem. Pro regresní testy ale tato redundance není potřebná a proto může být eliminována. Zároveň je ale nutné dbát na to, aby úroveň pokrytí dosáhnutá optimalizovanou sadou byla stejná, jako u té původní. Čtvrtá optimalizační technika toto reflektuje a opět používá genetický algoritmus jako optimalizační prostředek. Tentokrát ale není integrován do procesu verifikace, ale je použit až po její ukončení. Velmi rychle odstraňuje redundanci z původní sady vstupů a výsledná doba simulace je tak značně optimalizována.
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (referee) ; Křetínský, Mojmír (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá verifikací nekonečně stavových systémů, konkrétně, verifikací programů využívajích složité dynamicky propojované datové struktury. V minulosti se k řešení tohoto problému objevilo mnoho různých přístupů, avšak žádný z nich doposud nebyl natolik robustní, aby fungoval ve všech případech, se kterými se lze v praxi setkat. Ve snaze poskytnout vyšší úroveň automatizace a současně umožnit verifikaci programů se složitějšími datovými strukturami v této práci navrhujeme nový přístup, který je založen zejména na použití stromových automatů, ale je také částečně inspirován některými myšlenkami, které jsou převzaty z metod založených na separační logice. Mimo to také představujeme několik vylepšení v oblasti implementace operací nad stromovými automaty, které jsou klíčové pro praktickou využitelnost navrhované verifikační metody. Konkrétně uvádíme optimalizovaný algoritmus pro výpočet simulací pro přechodový systém s návěštími, pomocí kterého lze efektivněji počítat simulace pro stromové automaty. Dále uvádíme nový algoritmus pro testování inkluze stromových automatů společně s experimenty, které ukazují, že tento algoritmus překonává jiné existující přístupy.
|
guest ::
