|
Developing Communicative Skills through Drama Techniques
ŽIŽKOVÁ, Barbora
My Diploma Thesis deals with developing communicative skills through drama techniques. In the theoretical part I concern myself with the use of drama techniques at school in general and also in English lessons. I am trying to demonstrate the greatest advantages and disadvantages of using the drama techniques. I also deal with role play as a basic drama method and with correcting mistakes during drama techniques in the class. This is followed by the definition of the term communicative skill and explanation of how communicative skills are defined in the Framework Educational Program and in the Common European Framework of Reference for Languages. The practical part deals with the characteristics of the school and the class in which I did my research. This is followed by the description of four activities that are based on the drama techniques and are also suitable for developing communicative skills. I was trying to fit these activities into the English syllabus of the particular class. The aim of the Diploma Thesis is to show the theoretical basis and practical use of the drama techniques and to decide whether the drama techniques are really suitable for developing communicative skills of the students.
|
|
Výběr a implementace open source nástroje pro řízení portfolia projektů
Marek, Jan ; Chlapek, Dušan (advisor) ; Kučera, Jan (referee)
Methods and ways of implementation of changes and innovations in companies through project management are in today's society very well established. There exists methodologies, techniques and tools for the management of individual projects. However in a role of project manager, I very often faced the fact that companies are performing the project portfolio management in very intuitive way. This in itself leads to failed and prematurely terminated projects, initiation of the wrong projects or realisation of correct projects, but at the wrong time. Very often I have also recognized, that there is lack of awareness of fact, that there are also Open Source applications that can help with the organization's portfolio. This thesis deals with the definition of requirements, search and selection of proper OSS application and subsequent implementation. In the first part of this thesis I prepare a theoretical framework about PPM, and on that basis then identify and verify a set of requirements for selection of right OSS PPM application. The next section of thesis describes searching for suitable applications from a variety of sources, assessment against the requirements and the final selection. In the last part the implementation project is drafted, which aims to serve other colleagues in project management as one of the possible implementation paths. The outputs are then continuously confronted with experts in matter of projects and project management in the field of IT in order to maximize symbiosis between theory and real life experiences. Virtually every project management methodology defines the collection of already-proven techniques, best practices or lessons learned from the previous similar implementations. The main contribution of this thesis I see in fact that it contains not only the design of the project implementation, but also describes a logical path, what leads to the result. Therefore this thesis could be used as a base or discussed best practice, when a project of implementation of PPM application in place.
|
| |
|
Freezing technology of bull sperm in relation to its survivability and fertilization ability
Doležalová, Martina ; Stádník, Luděk (advisor) ; Jiří, Jiří (referee)
The aim of optimalization the insemination doses production is to provide the highest fertilization ability of spermatozoa during the demanding proces of processing fresh semen and its subsequent cryopreservation. Temperature changes causes spermatozoa damage during the cooling and freezing. Spermatozoa is exposed to cold shock and many others limiting factors, which leads to cell death and therefore to decline of fertilization ability of thawed insemination doses. For increasing spermatozoa resistance, exactly the plasma membrane resistance against cold shock was fraction of egg yolk LDL cholesterol (low density lipoprotein) at various concentrations into the comercially produced diluents added. It is believed that LDL acts possitively to plasma membrane and helps to maintain the fertilization ability of spermatozoa after thawing. Following step in the proces of insemination doses production is slow cooling of diluted semen and equilibration, when the straws are store at cooling box for 30 minutes to 240 hours. This period is necessary to penetrate of certain diluent components into the spermatazoa also maintain the balance between their intracellular and extracellular concentration. Also important is subsequent freezing temperature gradient of insemination doses. The most suitable freezing method is based on computer controlled temperature decline in freezing chamber which allows the precise control of ice crystals formation that could tear and kill the cell.
During 2012 to 2016 was repeatedly collected semen from the group of breeding bulls (n = 27, Holstein and Czech Fleckvieh breed) at AI centre. Semen which fulfill the standard entrance conditions in first step was evenly into several parts divided. For dilution the three types of comercially diluents AndroMed, Bioxcell and Triladyl with and without LDL addition were used. Into the diluents AndroMed and Bioxcell the concentration of LDL 4 %, 6 % and 8% into the dilent Triladyl 6 %, 8 % and 10 % was added. Diluted semen was filled into the glass capillares with volume 0,1 ml and temperature +4 °C. Subsequently the sample was placed to cold bath (0°C) for 10 minutes. Then the volume of capillare with physiological solution (37 °C) was mixed and for next 120 minutes was incubate. The effect of cold shock to proportion of live spermatozoa was evaluated by using Eosin and Nigrosine staining technique during heat test of spermatozoa survivability after spermatozoa heating and after 120 minutes of incubation.
The more suitable semen diluents which provide the higher spermatozoa resistance against cold shock were AndroMed and Bioxcell. Together the possitive effect of LDL addition into the diluents to lower decrease of proportion of live spermatozoa during heat test was found (P<0.05). The most suitable LDL concentration which had a favorable influence at spermatozoa resistance against cold shock was 6 % in diluent Bioxcell. Values of the proportion of live sperm were higher at the beginning of the heat test (+1.31% to + 3.2%) and after 120 minute incubation (+5.82% to +8.41%) compared to other diluents with and without addition of LDL.
In the next step the process of equilibration was optimized, is an important part of insemination doses production. The effect of the length of equilibration for subsequent fertilization ability of spermatozoa was evaluated using spermatozoa motility based of CASA and proportion of live spermatozoa after thawing and during heat survival test lasting 120 minutes (37 ° C). Suitable semen was diluted by comercially used diluent AndroMed based on soya lecithin, filled into the straws (0.25 ml), cooled and equilibrated in cooling box for 30, 120 and 240 minutes and freezed in programmable freezing box applying four types of freezing curves differing in temperature rate decline. There was used standard and by producer recommended 3. phase freezing curve, then 2. phase freezing curve, and 3. phase freezing curve with slower as well as rapid decline of temperature rate in freezing chamber, compared with standard freezing curve. The highest spermatozoa motility was found using 240 minutes of equilibration by +2.72% and +4.58% compared to other lengths of equilibration (P <0.05 to 0.01). The highest proportion of live spermatozoa was found using 120 minutes of equilibration (+6.87 % and +8.68 %). The highest average spermatozoa motility during heat test after thawing was achieved by using 2. phase freezing curve (from +2.97% to +10.37%, P <0.05), also in the proportion of live spermatozoa (from + 4.37% to +8.82%, P <0.01). When evaluating interaction between the length of equilibration and freezing curve (standard 3. phase and 2 . phase freezing curve), the highest average spermatozoa motility and proportion of live spermatozoa using 240 minutes of equilibration by both freezing curves was reached, there was no statistically significant differences. As well as, in all evaluated parts of this study the individual differences between ejaculate of bulls and within semen from one bull (P <0.05) as secondary effect were found.
To maintain good fertilization ability of semen during cryopreservation is necessary to increase the spermatozoa resistance against cold shock using addition of correct concentration of LDL into the commercially used diluents AndroMed and Bioxcell. Subsequently the fertilization ability of insemination dose is influenced by cooling, the length of equilibration and freezing. The length of equilibration 120 minutes and more as well as gentle way of freezing according to freezing curve, which ensures a gradual decrease of temperature in freezing chamber provided the higher average spermatozoa motility and proportion of live spermatozoa.
|
|
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.
|
|
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.
|
|
Acceleration of Object Detection Using Classifiers
Juránek, Roman ; Kälviäinen, Heikki (referee) ; Sojka, Eduard (referee) ; Zemčík, Pavel (advisor)
Detekce objektů v počítačovém vidění je složítá úloha. Velmi populární a rozšířená metoda pro detekci je využití statistických klasifikátorů a skenovacích oken. Pro učení kalsifikátorů se často používá algoritmus AdaBoost (nebo jeho modifikace), protože dosahuje vysoké úspěšnosti detekce, nízkého počtu chybných detekcí a je vhodný pro detekci v reálném čase. Implementaci detekce objektů je možné provést různými způsoby a lze využít vlastnosti konkrétní architektury, pro urychlení detekce. Pro akceleraci je možné využít grafické procesory, vícejádrové architektury, SIMD instrukce, nebo programovatelný hardware. Tato práce představuje metodu optimalizace, která vylepšuje výkon detekce objektů s ohledem na cenovou funkci zadanou uživatelem. Metoda rozděluje předem natrénovaný klasifikátor do několika různých implementací, tak aby celková cena klasifikace byla minimalizována. Metoda je verifikována na základním experimentu, kdy je klasifikátor rozdělen do předzpracovací jednotku v FPGA a do jednotky ve standardním PC.
|
|
Optimization of Gaussian Mixture Subspace Models and Related Scoring Algorithms in Speaker Verification
Glembek, Ondřej ; Brummer, Niko (referee) ; Campbell,, William (referee) ; Burget, Lukáš (advisor)
Tato práce pojednává o modelování v podprostoru parametrů směsí gaussovských rozložení pro rozpoznávání mluvčího. Práce se skládá ze tří částí. První část je věnována skórovacím metodám při použití sdružené faktorové analýzy k modelování mluvčího. Studované metody se liší převážně v tom, jak se vypořádávají s variabilitou kanálu testovacích nahrávek. Metody jsou prezentovány v souvislosti s obecnou formou funkce pravděpodobnosti pro sdruženou faktorovou analýzu a porovnány jak z hlediska přesnosti, tak i z hlediska rychlosti. Je zde prokázáno, že použití lineární aproximace pravděpodobnostní funkce dává výsledky srovnatelné se standardním vyhodnocením pravděpodobnosti při dramatickém zjednodušení matematického zápisu a tím i zvýšení rychlosti vyhodnocování. Druhá část pojednává o extrakci tzv. i-vektorů, tedy nízkodimenzionálních reprezentací nahrávek. Práce prezentuje dva přístupy ke zjednodušení extrakce. Motivací pro tuto část bylo jednak urychlení extrakce i-vektorů, jednak nasazení této úspěšné techniky na jednoduchá zařízení typu mobilní telefon, a také matematické zjednodušení umožněňující využití numerických optimalizačních metod pro diskriminativní trénování. Výsledky ukazují, že na dlouhých nahrávkách je zrychlení vykoupeno poklesem úspěšnosti rozpoznávání, avšak na krátkých nahrávkách, kde je úspěšnost rozpoznávání nízká, se rozdíly úspěšnosti stírají. Třetí část se zabývá diskriminativním trénováním v oblasti rozpoznávání mluvčího. Jsou zde shrnuty poznatky z předchozích prací zabývajících se touto problematikou. Kapitola navazuje na poznatky z předchozích dvou částí a pojednává o diskriminativním trénování parametrů extraktoru i-vektorů. Výsledky ukazují, že při klasickém trénování extraktoru a následném diskriminatviním přetrénování tyto metody zvyšují úspěšnost.
|
|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (referee) ; Sekanina, Lukáš (referee) ; Vojnar, Tomáš (advisor)
V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pro jejich dynamickou detekci. Následně jsou navrženy nové metriky pro měření synchronizace a souběžného chování programů společně s metodologií jejich odvozování. Tyto techniky se zejména uplatní v testování využívajícím techniky prohledávání prostoru a v saturačním testování. Práce dále představuje novou heuristiku vkládání šumu, jejímž cílem je maximalizace proložení instrukcí pozorovaných během testování. Tato heuristika je porovnána s již existujícími heuristikami na několika testech. Výsledky ukazují, že nová heuristika překonává ty existující v určitých případech. Nakonec práce představuje inovativní aplikaci stochastických optimalizačních algoritmů v procesu testování vícevláknových aplikací. Principem metody je hledání vhodných kombinací parametrů testů a metod vkládání šumu. Tato metoda byla prototypově implementována a otestována na množině testovacích příkladů. Výsledky ukazují, že metoda má potenciál vyznamně vylepšit testování vícevláknových programů.
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představuje semi-algoritmus pro analýzu dosažitelnosti celočíselných programů, který sleduje relace mezi proměnnými programu a~aplikuje akcelerační techniky za účelem modulárního výpočtu souhrnů procedur. Dále je v práci navržen alternativní algoritmus pro analýzu dosažitelnosti, který integruje predikátovou abstrakci s accelerací s cílem zvýšit pravděpodobnost konvergence výpočtu. Provedené experimenty ukazují, že oba algoritmy lze úspěšně aplikovat k verifikaci programů, na kterých předchozí metody selhávaly. Práce se rovněž zabývá problémem konečnosti běhu programů a~dokazuje, že tento problém je rozhodnutelný pro několik tříd celočíselných relací. Pro některé z těchto tříd relací je v práci navržen algoritmus, který v polynomiálním čase vypočítá množinu všech konfigurací programu, z nichž existuje nekonečný běh. Tento algoritmus je integrován do metody, která analyzuje konečnost běhů celočíselných programů. Efektivnost této metody je demonstrována na několika netriviálních celočíselných programech.
|