|
Evaluation of the effectiveness of teaching vocational subjects depending on physical activity before schooling.
Janošíková, Martina ; Hanušová, Marie (advisor)
The period of transition to secondary school brings substantial changes in the requirements for study obligations, autonomy, communication, expression, or separated from their families in the form of staying at the dormitory. Students enrolled in sport centers, in addition to these changes, still struggling with the responsibilities associated with sport. Because they are students first through fourth grades of secondary schools and secondary vocational schools, an age when image self-I am, what I believe in, arises in interactions with the outside world and their own experience, plays a very important role to influence the environment, educators, teachers and trainers, with which students spend most of their time in practice. This study looks at students comprehensively in terms of personal development as a multifactorial biopsychosocial unit, in terms of cognitive and motivational processes, states and properties from the perspective of social psychology dealing with the interactions, relationships and communication, psychology of individuals within the social group and its importance for the development of the individual . It monitors conditions and educational outcomes in terms of educational psychology, dealing with forming properties, opinions, attitudes and value orientation from the perspective of educational psychology.
|
| |
|
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.
|
|
Draft business strategy at the selected organization
Suska, Karel ; Regnerová, Olga (advisor) ; Zdeněk, Zdeněk (referee)
This diploma thesis deals with business strategy of company Autocentrum Elán, Ltd. which should strengthen its competitiveness and provide direction and possibilities for the following period. This work is based on theoretical knowledge and describes analyses of company environment and mainly internal sources and company capabilities. The analytical part deals with the preparation of a company business strategy draft based mainly on analysis of current situation and its evaluation. The greatest emphasis is on development of operating leases when selling the new Škoda cars on which other stages and points of proposed strategy are based on.
|
|
Non-invasive methods for sex and steroid homones determination in gibbons of the genus Nomascus
Bolechová, Petra ; Bartoš, Luděk (advisor) ; Pavel, Pavel (referee)
The gibbon primates of the family Nomascus are classified as critically endangered species, and, to date, basic understanding and information about their biology is missing. With regard to the status of these animals in the wild and captive populations in zoos, being familiar with their reproduction, may improve captive breeding programs. Data collection in this study was to be carried out by the practical use of non-invasive methods (polymerase chain reaction for DNA extraction and enzyme immunoassays), using faecal samples for analysis. The first method, polymerase chain reaction, was used for sex determination in juveniles, because of their coat colour and visual similarity of secondary sex characteristic in both sexes; it is not possible to determinate sex without handling the animal. Another main purpose of this study is to try and answer the hypothesis regarding the ovarian cycle of females, factors influencing their hormone concentration and also the onset of sexual maturity in females and the timing of their fur colour change. Hypotheses were checked by monitoring the concentration of progesterone and oestrogen faecal metabolites and by evaluation of the composition of breeding groups of gibbons with the ZOO influence. During a four year period (from 2010 till 2014), there were a total of 51 animals analysed from 16 different zoos with a faecal sample count totalling 1618 samples. The results confirmed the use of noninvasive methods for sex determination, and thus ensuring the maximum welfare standards. Endocrinological analysis confirmed the hypothesis of the influence of the environment (ZOO) to the hormone concentrations and female´s pregnancy effect in conjunction with her age on the final results of the male - father hormone concentrations. The initial information in this study is the confirmation of the onset of ovarian cycle in young females without connection to their fur colour change and a significant factor of a mother´s impact and her territoriality. This study is the first to present a long term monitoring of ovarian cycles in females and hormone concentrations of other individuals, both male and female, and from various age groups. The results allow us to understand the possible impact of zoo environments on the reproductive status of these gibbons and contribute to the general improvement of breeding management.
|
|
Proceedings of multidisciplinary conference LASER56
Růžička, Bohdan
Conference LASER56 is a multidisciplinary and intersectoral event where different kind of specialist can meet each other. They come from various environments (private company, university, public research organization etc.). Their common denominators are laser, optics and its applications.\n\n
|
|
Provision of alternative refuse collection for a real estate surrounded by foreign property
Kvapil, Radek ; Štindl, Michal (referee) ; Klika, Pavel (advisor)
The thesis deals with possible ways of drainage and wastewater disposal. The issue of wastewater discharge to the environment has been closely monitored in recent years, and there is an apparent effort to improve the current situation.The dissertation discusses and compares three selected options – access to improved sanitation, building reservoirs and domestic wastewater treatment plant.The final section is dedicated to a comparison of acquisition and operating costs over time and to subsequent evaluation of the most suitable option. For the sake of clarity and assessment of potential solutions, the locality in the administrative area Vysoké Mýto - Domoradice has been selected as a model. The local authorities have been designing a public storm sewer, and given that it is surrounded by land, this issue will need to be addressed.
|
|
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.
|
|
Network-wide Security Analysis
de Silva, Hidda Marakkala Gayan Ruchika ; Šafařík,, Jiří (referee) ; Šlapal, Josef (referee) ; Švéda, Miroslav (advisor)
Práce představuje model a metody analýzy vlasností komunikace v počítačových sítích. Model dosažitelnosti koncových prvků v IP sítích je vytvořen na základě konfigurace a síťové topologie a umožňuje ukázat, že vabraný koncový uzel je dosažitelný v dané síťové konfiguraci a stavu. Prezentovaná práce se skládá ze dvou částí. První část se věnuje modelování sítí, chování směrovaích protokolů a síťové konfiguraci. V rámci modelu sítě byla vytvořena modifikovaná topologická tabulka (MTT), která slouží pro agregaci síťových stavů určených pro následnou analýzu. Pro analýzu byl použit přístup založený na logickém programování, kdy model sítě je převeden do Datalog popisu a vlastnosti jsou ověřovány kladením dotazů nad logickou databází. Přínosy práce spočívají v definici grafu síťových filtrů, modifikované topologické tabulce, redukce stavového prostoru agrgací síťových stavů, modelů aktivního síťového prvku jako filter-transformace komponenty a metoda pro analýzu dosažitelnosti založena na logickém programování a databázích.
|
|
Navigation of mobile robots
Rozman, Jaroslav ; Matoušek,, Václav (referee) ; Šolc, František (referee) ; Zbořil, František (advisor)
Mobile robotics has been very discussed and wide spread topic recently. This due to the development in the computer technology that allows us to create better and more sophisticated robots. The goal of this effort is to create robots that will be able to autonomously move in the chosen environment. To achieve this goal, it is necessary for the robot to create the map of its environment, where the motion planning will occur. Nowadays, the probabilistic algorithms based on the SLAM algorithm are considered standard in the mapping in these times. This Phd. thesis deals with the proposal of the motion planning of the robot with stereocamera placed on the pan-and-tilt unit. The motion planning is designed with regard to the use of algorithms, which will look for the significant features in the pair of the images. With the use of the triangulation the map, or a model will be created. The benefits of this work can be divided into three parts. In the first one the way of marking the free area, where the robot will plan its motion, is described. The second part describes the motion planning of the robot in this free area. It takes into account the properties of the SLAM algorithm and it tries to plan the exploration in order to create the most precise map. The motion of the pan-and-tilt unit is described in the third part. It takes advantage of the fact that the robot can observe places that are in the different directions than the robot moves. This allows us to observe much bigger space without losing the information about the precision of the movements.
|