|
Information systems of secondary education
Charvátová, Jindřiška ; Vaněk, Jiří (advisor) ; Věra, Věra (referee)
This dissertation Information system of secondary education deals with a practical application of the information system used at the Secondary Vocational school of Gastronomy and Business in Prague, which mainly aims at the presentation of an overview, exploitation and assessment of information systems for secondary schools and based on a questionnaire survey suggests a solution to the given situation.
The theoretical part of the thesis shows a summary and application of the information systems for secondary schools based on secondary research of literature and available sources. The practical part is primarily targeted at research concerning practical application of the information system. The other part refers to a needs analysis of the pedagogical staff referring to the application of the school IS in the form of a questionnaire survey. Subsequent improvement proposals are made based on the outcome evaluation.
|
|
Arctic tundra dendrochronology
Lehejček, Jiří ; Svoboda, Miroslav (advisor) ; Monika, Monika (referee)
Historically unprecedented environmental change in the Arctic ecosystems is often given into the context of its past and possible future development. In the region where instrumental meteorological observations are scarce archives need to be investigated in order to address this issues. The comprehensive synthesis one of the archives: long-live circumpolar evergreen Juniperus communis L. shrub is presented here. 20 individuals from southwest Greenland were investigated at the cell anatomy level to understand the ecology of the species and unhide its potential for environmental and climate reconstructions. The findings are as follows:
i) Stop of exponential cross-sectional conduit-lumen widening with increasing age is in contrast with conduit-lumen nature of trees. This indicates that shrubs do not need to saturate their water and nutrient demands via traits of classical hydraulic conductivity law but rather developed different mechanisms. Extreme weather conditions result in prostrate growth form. However, different weather factors probably influence shrub growth differently: While snow and wind act mechanically (a), temperature influences the form of growth physiologically (b). a) So long as the young shrub stem has high resilience to bend back to an upright position after snow melt and so long as it can withstand the wind during the vegetation season it most likely grows upright and the conduit-lumens widen. b) Temperature, resp. freeze-thaw events are responsible for the shrubs preference of safety (finite size of conduit-lumens) over hydraulic efficiency, thus not allowing for more primary growth. All of these (and other) factors are apparently working together and the transition of vertical to more horizontal growth is gradual. As a consequence, the conduit-lumen sizes may not have to be further increased (due to ecophysiological restrictions possibly also must not) because water is no longer transported against gravity.
ii) Observed age/growth trend has to be taken into consideration for further employment of the wood anatomical parameter in paleoenvironmental studies. That is, shrub cell parameters can only be used for this purposes if correctly detrended. This allows for more accurate as well as longer reconstructions because youth trend was often neglected in reconstructions based on shrub annual-rings.
iii) The south-western Greenland Ice-Sheet (GrIS) melt rates reconstruction is presented for the whole 20th century. This part of GrIS is considered as the most active. According to the presented reconstruction current GrIS melt rates are not uncommon for the last century being comparable to first decades of 20th century. This finding is particularly important contribution to the debate on Atlantic meridional overturning circulation (AMOC). Too high fresh water inputs into the Northern Atlantic from GrIS melting may slow down or even stop the AMOC which would result in more continental climate in Europe. Presented results indicate that this threshold lies higher than observed current melt rates of GrIS.
Fascinating Juniperus comunnis species has shown to be able to address many ecological as well as environmental open questions and due to its longevity and abundant distribution has a great potential to become an important player in the Arctic research.
|
|
Individual human odor as a forensic trail in criminal proceeding made by contact or contactless transmission and its resistance to physical agents
Santariová, Milena ; Bartoš, Luděk (advisor) ; Chmelíková, Eva (referee)
The dissertation thesis consists of four papers that have been published in scientific journals.
Study n. 1
The need to recover evidence from water is quite common in criminal investigation. The article deals with the possibility to collect human scent from such objects and with the ability of specially trained dogs to match such scent samples with scent samples collected from detained suspects. During an experiment, designed as a blind one, it has been proved, that human scent can survive on submerged objects and can be later used for scent identification.
Study n. 2
To collect odors the Czech Republic Police use special fabric sorbents manufactured under the registered mark ARATEX. Before use the fabric sorbent is treated by water vapor sterilization. After the scent identification the sorbent is destroyed. The goal of the study was to verify if the vapor sterilization is effective enough to remove human scent that has already penetrated into the sorbent structure or in other words if the sorbent can be exposed to vapor sterilization and then used again. Specially trained dogs were used to match starting odors with target odors in the line-ups. The results showed that dogs are able to correctly match human odors even after they have being exposed to vapor sterilization.
Study n. 3
The purpose of the study was to determine the temperature at which the human scent is degraded so that a dog would not be able to identify it. In contrast to expectations, eight dogs used in the experiment almost flawlessly identified human scents from five scent donors exposed to temperatures of 100°C, 200°C, 300°C, 400°C, 500°C, 600°C, 700°C, and 800°C. Only two of the dogs were able to identify 5 of 15 scent samples exposed to 900°C. No dog identified a scent exposed to 1000°C. Our study verified heat survivability of human scent far beyond existing expectations.
Study n. 4
We tested the hypothesis that if odor fallout (the release of a human odor onto an untouched object) in human subjects exists, then holding a hand above an absorbent will produce a detectable scent which will be subsequently matched in a detection test by trained dogs. Scents were collected from seven males to sterile cotton absorbent squares. The left hand was used to get the control scent and the right hand served as the target scent. Each experimental subject was sitting and his left hand was laid down on a cotton square for 3 min. The right hand was held 5 cm above another cotton square for 3 min. The scent identification was done by two specially trained police German shepherds. Both dogs performed 14 line-ups and correctly matched the collected scents of all test subjects. The results suggest the existence of human odor fallout, whereby a human scent trace is left by humans even if they do not touch an object.
|
|
E-learning support for lifelong training
Žažo, David ; Husa, Jiří (advisor) ; Marek, Marek (referee)
The bachelor thesis deals with the process of creating an e-learning course for the personnel operating with the camera system of the municipal police in Chomutov. This course is created on the base of need to introduce the controlling software IndigoVison Control Center to the current employees and also to the new employees. During the course, the participants get familiar with the features, options, and operating principles of the software. At the end of the course, the knowledge gained by completing the course is validated by the final test. The entire course is evaluated, based on test results and interviews with the participants. The theoretical part deals with e-learning, it mentions the advantages and disadvantages as well as the specifics associated with adult education. The practical part is a detailed presentation of the course, which is fully implemented in an environment of MoodleCloud and it is practical result of the thesis.
|
|
Design and implementation of e-learning in the area of interest
Marešová, Nikola ; Husa, Jiří (advisor) ; Marek, Marek (referee)
The bachelor's thesis entitled "Design and implementation of e-learning in the area of interest" deals with buying used cars. The essential part of this work is a creation of e-learning course for buyers and other people interested in this area which aims to improve their knowledge. The participants will get an overview of the most common situations and problems they can meet when buying a used car. The theoretical part presents an overview of the topics of the issue of purchase of used cars. It may serve as a theoretical guidance to the e-course, it brings its content. The topics are based on the analysis of information from printed and electronic sources, supplemented by experiences of the author and experts in the field. The practical part deals with the creation of an e-learning course. It contains an analysis of the needs of buyers, the reasons for the creation of the course and the requirements of it, its objectives, a description of the used authoring tool eXe and graphic creation process from the creation of the course after its publication in steps. All this is complemented by the feedback from six volunteers who have expressed an interest in testing the course and then doing a review. Before the creation of the course it was necessary to analyze the situation and find out why such a course is needed. The acquired knowledge was then processed in the course by the synthesis method. For the evaluation method it was used a short personal interview where the author examined satisfaction with the course, its possible shortcomings and suggestions for improvements or enhancements.
|
|
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 Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (referee) ; Zelinka,, Ivan (referee) ; Sekanina, Lukáš (advisor)
Ačkoliv můžeme v literatuře nalézt řadu příkladů prezentujících evoluční návrh jakožto zajímavou a slibnou alternativu k tradičním návrhovým technikám používaným v oblasti číslicových obvodů, praktické nasazení je často problematické zejména v důsledku tzv. problému škálovatelnosti, který se projevuje např. tak, že evoluční algoritmus je schopen poskytovat uspokojivé výsledky pouze pro malé instance řešeného problému. Vážný problém představuje tzv. problém škálovatelnosti evaluace fitness funkce, který je markantní zejména v oblasti syntézy kombinačních obvodů, kde doba potřebná pro ohodnocení kandidátního řešení typicky roste exponenciálně se zvyšujícím se počtem primárních vstupů. Tato disertační práce se zabývá návrhem několika metod umožňujících redukovat problem škálovatelnosti evaluace v oblasti evolučního návrhu a optimalizace číslicových systémů. Cílem je pomocí několika případových studií ukázat, že s využitím vhodných akceleračních technik jsou evoluční techniky schopny automaticky navrhovat inovativní/kompetitivní řešení praktických problémů. Aby bylo možné redukovat problém škálovatelnosti v oblasti evolučního návrhu číslicových filtrů, byl navržen doménově specifický akcelerátor na bázi FPGA. Tato problematika reprezentuje případ, kdy je nutné ohodnotit velké množství trénovacích dat a současně provést mnoho generací. Pomocí navrženého akcelerátoru se podařilo objevit efektivní implementace různých nelineárních obrazových filtrů. S využitím evolučně navržených filtrů byl vytvořen robustní nelineární filtr implusního šumu, který je chráněn užitným vzorem. Navržený filtr vykazuje v porovnání s konvenčními řešeními vysokou kvalitu filtrace a nízkou implementační cenu. Spojením evolučního návrhu a technik známých z oblasti formální verifikace se podařilo vytvořit systém umožňující výrazně redukovat problém škálovatelnosti evoluční syntézy kombinačních obvodů na úrovni hradel. Navržená metoda dovoluje produkovat komplexní a přesto kvalitní řešení, která jsou schopna konkurovat komerčním nástrojům pro logickou syntézu. Navržený algoritmus byl experimentálně ověřen na sadě několika benchmarkových obvodů včetně tzv. obtížně syntetizovatelných obvodů, kde dosahoval v průměru o 25% lepších výsledků než dostupné akademické i komerční nástroje. Poslední doménou, kterou se práce zabývá, je akcelerace evolučního návrhu lineárních systémů. Na příkladu evolučního návrhu násobiček s vícenásobnými konstantními koeficienty bylo ukázáno, že čas potřebný k evaluaci kandidátního řešení lze výrazně redukovat (defacto na ohodocení jediného testovacího vektoru), je-li brán v potaz charakter řešeného problému (v tomto případě linearita).
|
|
One-Sided Random Context Grammars
Zemek, Petr ; Černá, Ivana (referee) ; Doc. In.g Petr Sosík, Dr. (referee) ; Meduna, Alexandr (advisor)
Tato disertační práce zavádí jednostranné gramatiky s nahodilým kontextem jako řízené gramatiky založené na bezkontextových gramatikách. V těchto gramatikách je ke každému pravidlu přiřazena množina povolujících symbolů a množina zakazujících symbolů a množina pravidel je rozdělena na množinu levých pravidel s nahodilým kontextem a množinu pravých pravidel s nahodilým kontextem . Levým pravidlem s nahodilým kontextem lze přepsat neterminál pokud se všechny povolující symboly vyskytují vlevo od přepisovaného neterminálu a žádný zakazující symbol tam přítomen není. Pravé pravidlo s nahodilým kontextem lze aplikovat analogicky, ale ona kontrola na přítomnost a nepřítomnost symbolů je provedena doprava od přepisovaného neterminálu. Práce je rozdělena na tři části. První část uvádí motivaci za zavedením jednostranných gramatik s nahodilým kontextem a umisťuje materiál pokrytý v této práci do vědeckého kontextu. Poté dává přehled základů teorie formálních jazyků a některých méně známých oblastí, jejichž znalost je nutná pro pochopení studovaného tématu. Druhá část tvoří jádro práce. Formálně definuje jednostranné gramatiky s nahodilým kontextem a studuje je z mnoha pohledů. Mezi studovaná témata patří generativní síla, vztah k jiným typům gramatik, redukce, normální formy, nejlevější derivace, zobecněné a LL verze těchto gramatiky. Třetí část této práce zakončuje diskusi několika poznámkami. Mezi ně patří poznámky týkající se aplikovatelnosti zavedených gramatik v praxi, bibliografie a otevřených problémů.
|
|
The Pump with a Diffuser with Stochastic Blades (Runner and Diffuser)
Dobšáková, Lenka ; Melichar, Jan (referee) ; Veselý, Jindřich (referee) ; Haluza, Miloslav (advisor)
This doctoral thesis studies the non-uniform blade cascade for centrifugal pumps. Influence of non-uniform blade cascade is investigated on the impeller and diffuser. A non-uniform blading impeller of pumps in this doctoral thesis was examined in terms of influence on efficiency characteristic. The idea of using non-uniform blading is to obtain a flat efficiency characteristic. Then the centrifugal pump could be used on larger scale of power with achieving a sufficiently high efficiency. The work is based on experimental measurements and numerical simulations of non-uniform hydraulic pump components. Non-uniform impeller and the diffuser were newly designed for this research. A new measuring track of small submersible pumps was needed to design and build for measurements. Different pump combinations with conventional hydraulics on one working point and hydraulics with non-uniform were measured. All measurements were evaluated and characteristics of efficiency, head and power were obtained for each measured combination. Some of pump combinations (which were measured in experiment) were numerically simulated by program Ansys Fluent. Data needed to evaluate the characteristic of efficiency and specific energy were collected from each numerical simulation. A theoretical consideration concerns the influence of non-uniform blade cascade applied on diffuser. The suggestion how to decrease hydraulic losses in canals was done. The theoretical consideration how to make a flat efficiency characteristic was made.
|
|
Measuring phonological awareness – blend phoneme test in the beginning of schooling: an comparison of classical test theory and item response theory
Gorčíková, M. ; Šafr, Jiří
The main purpose of this paper is to show dis/advantages of two approaches classical test theory (CTT) and item response theory (IRT) to assess the level of diagnostic tools for evaluating phonemic awareness among first-grade students using longitudinal survey of children during the first grade of primary school (25 schools in Prague and Central Bohemia, 439 pupils). Phonemic awareness (FA) was measured by the task blend phonemes into syllables and words. The advantage of IRT compared to CTT is primarily a concept of independence of the test items. The probability of a response is dependent on the level of latent ability and characteristics of items. So if we know the characteristic of items parameter (difficulty) it could be estimated from the pupil´s responses the level of language skill for diagnostics. The results showed the need for blend phoneme test modifications (in particular for the end of the first grade) so as to adequately measure the high growth of FA ability levels during the first grade.
|
guest ::
