|
Historie vegetace Chebské pánve ze sedimentárního záznamu lokality SOOS
Suda, Tomáš ; Kuneš, Petr (vedoucí práce) ; Bešta, Tomáš (oponent)
Historie vegetace Chebské pánve ze sedimentárního záznamu lokality SOOS Tato práce se zabývá paleoekologickou analýzou kvartérních sedimentů v národní přírodní rezervaci Soos, která patří mezi evropsky významné lokality s vysokou přírodní hodnotou. Lokalita Soos, stejně jako celá širší oblast Chebské pánve je z paleoekologického pohledu velmi málo prozkoumaným územím. V minulosti se v Sooské pánvi nacházelo velké jezero, ve kterém se ukládaly vrstvy křemeliny, a současně také v okolí docházelo k sedimentaci slatiny. Tyto dva typy sedimentu byly zkoumány metodou pylové analýzy a také radiokarbonově datovány. Výsledky přinášejí informace o vegetačním vývoji lokality a jejího okolí a také nové poznatky o vzniku a stáří jezera. Sedimentace slatiny v pánvi začala v preboreálu a bez přerušení pokračovala až do atlantika. Dále v profilu existuje hiát a interpretace vegetačního vývoje je tím ztížena či úplně nemožná. Začátek sedimentace křemeliny, korelovaný se vznikem vodní nádrže spadá podle radiokarbonového datování už do interstadiálu Bølling, tomu ale neodpovídá zjištěné pylové spektrum. Tento zdánlivý rozpor je v textu dále diskutován. Vlastní vodní nádrž byla velice mělká (max. 2 m) a díky specifickému chemickému složení vody pravděpodobně nehostila na svých březích ani v nádrži samotné početná...
|
|
Výkon agendy příspěvku na péči v ORP Dačice po sociální reformě pohledem příjemců příspěvku na péči
ČURDOVÁ, Hana
K 1.1.2007 dochází ke koncipování nové sociální dávky příspěvku na péči. Tato dávka je upravena zákonem č. 108/2006 Sb., o sociálních službách. Zákon vymezuje podmínky poskytování pomoci a podpory osobám závislým na pomoci jiné fyzické osoby, které se ocitnou v nepříznivé sociální situaci. Téma týkající se příspěvku na péči jsem volila na základě profesních zkušeností z této oblasti. Cílem práce bylo zmapovat názory příjemců příspěvku na péči (rodin s dítětem se zdravotním postižením) na práci úředníků před a po sociální reformě. Důvodem stanovení cíle je zjistit, jaký má reforma na tyto příjemce dopad. Teoretická část zahrnuje krátkou zmínku o stavu před přijetím zákona o sociálních službách, jeho vznikem. Dále je krátce uveden zákon o sociálních službách k 1.1.2007 a sociální reforma. V další části práce je blíže nastíněn příspěvek na péči po sociální reformě, tedy od 1.1.2012. Konkrétně je zde obsaženo: působnost PnP v oblasti sociálních služeb, podmínky nároku, stupně závislosti, výše příspěvku a jeho výplata, řízení o příspěvku na péči, lhůty správního orgánu, využívání PnP a povinnosti vyplývající ze zákona. Podrobněji je v práci přiblížen sociální pracovník, jeho role a kompetence. Na závěr teoretické části byl vymezen pojem zdravotní postižení. V praktické části bakalářské práce byly zjišťovány názory komunikačních partnerů na práci úředníků. Stanovena byla výzkumná otázka: Jak vnímají příjemci příspěvku na péči (rodiny s dítětem se zdravotním postižením) práci úředníků před a po sociální reformě? Na základě této výzkumné otázky jsem si stanovila 4 otázky, se kterými bylo pracováno ve výzkumu. Výzkumný soubor byl tvořen dvanácti rodinami s dítětem se zdravotním postižením, které byly vybrány na základě principu dobrovolnosti. Podstatu tvoří skutečnost, že rodiny byly příjemci příspěvku před sociální reformou i po ní. Výzkum byl realizován pomocí kvalitativního výzkumu a byla použita metoda dotazování a technika polostrukturovaného rozhovoru s rodičem dítěte se zdravotním postižením, který pobírá PnP. Na základě skutečností získaných od dotazovaných komunikačních partnerů bylo zjištěno, že tito sociální reformu vnímají spíše negativně než pozitivně. Vnímají velký rozdíl mezi prací sociálních pracovnic MěÚ Dačice a pracovnic kontaktního pracoviště Úřadu práce v Dačicích. Rozdíly spatřují v ochotě, spokojenosti, ve znalostech a zkušenostech pracovnic. Pracovnice ÚP jsou komunikačními partnery hodnoceny velmi záporně, oproti tomu pracovnice MěÚ jsou ve své práci hodnoceny zcela pozitivně. Dalším velkým problémem jsou pro komunikační partnery uváděny nefungující výplaty příspěvku na péči, který je vyplácen se zpožděním někdy až o měsíc. V závěru práce jsou uvedeny mnou navržené možnosti řešení nepříznivého stavu, který byl výzkumem zjištěn.
|
|
Taneční výchova hyperaktivních dětí předškolního věku
Lacková, Ivana ; LÖSSL, Jiří (vedoucí práce) ; FRIČOVÁ, Marie (oponent)
Tématem práce je Taneční výchova hyperaktivních dětí předškolního věku. Cílem výzkumu bylo popsat zvláštnosti výuky hyperaktivních dětí s ohledem na taneční výuku.
V první části je popsán syndrom ADHD. Jsou zde popsány zvláštní potřeby dětí s tímto syndromem s ohledem na výchovu.
Druhá část je zaměřena na praktickou taneční hodinu dětí s ADHD. Je zde popsána ukázková taneční hodina, která je založena na teoretických poznatcích a zkušenostech odborníků.
Výsledek výzkumu přinesl zjištění, že nabídka speciálních hodin je velmi omezená a je to velká škoda. V diplomové práci bylo zjištěno, že výuka se speciálním programem může pomoci dětem s ADHD a může být dobrým doplňkem ke standardní lékařské terapii.
|
|
Noise, Transport and Structural Properties of High Energy Radiation Detectors Based on CdTe
Šik, Ondřej ; Lazar, Josef (oponent) ; Navrátil, Vladislav (oponent) ; Grmela, Lubomír (vedoucí práce)
Because of demands from space research, healthcare and nuclear safety industry, gamma and X-ray imaging and detection is rapidly growing topic of research. CdTe and its alloy CdZnTe are materials that are suitable to detect high energy photons in range from 10 keV to 500 keV. Their 1.46 -1.6 eV band gap gives the possibility of high resistivity (10^10-10^11 cm) crystals production that is high enough for room temperature X-ray detection and imaging. CdTe/CdZnTe detectors under various states of their defectiveness. Investigation of detector grade crystals, crystals with lower resistivity and enhanced polarization, detectors with asymmetry of electrical characteristics and thermally degenerated crystals were subject of my work in terms of analysis of their current stability, additional noise, electric field distribution and structural properties. The results of the noise analysis showed that enhanced concentration of defects resulted into change from monotonous spectrum of 1/f noise to spectrum that showed significant effects of generation-recombination mechanisms. Next important feature of deteriorated quality of investigated samples was higher increase of the noise power spectral density than 2 with increasing applied voltage. Structural and chemical analyses showed diffusion of metal material and trace elements deeper to the crystal bulk. Part of this work is also focused on surface modification by argon ion beam and its effect on chemical and morphological properties of the surface.
|
|
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.
|
|
Packet Classification Algorithms
Puš, Viktor ; Lhotka,, Ladislav (oponent) ; Dvořák, Václav (vedoucí práce)
This thesis deals with packet classification in computer networks. Classification is the key task in many networking devices, most notably packet filters - firewalls. This thesis therefore concerns the area of computer security. The thesis is focused on high-speed networks with the bandwidth of 100 Gb/s and beyond. General-purpose processors can not be used in such cases, because their performance is not sufficient. Therefore, specialized hardware is used, mainly ASICs and FPGAs. Many packet classification algorithms designed for hardware implementation were presented, yet these approaches are not ready for very high-speed networks. This thesis addresses the design of new high-speed packet classification algorithms, targeted for the implementation in dedicated hardware. The algorithm that decomposes the problem into several easier sub-problems is proposed. The first subproblem is the longest prefix match (LPM) operation, which is used also in IP packet routing. As the LPM algorithms with sufficient speed have already been published, they can be used in out context. The following subproblem is mapping the prefixes to the rule numbers. This is where the thesis brings innovation by using a specifically constructed hash function. This hash function allows the mapping to be done in constant time and requires only one memory with narrow data bus. The algorithm throughput can be determined analytically and is independent on the number of rules or the network traffic characteristics. With the use of available parts the throughput of 266 million packets per second can be achieved. Additional three algorithms (PFCA, PCCA, MSPCCA) that follow in this thesis are designed to lower the memory requirements of the first one without compromising the speed. The second algorithm lowers the memory size by 11 % to 96 %, depending on the rule set. The disadvantage of low stability is removed by the third algorithm, which reduces the memory requirements by 31 % to 84 %, compared to the first one. The fourth algorithm combines the third one with the older approach and thanks to the use of several techniques lowers the memory requirements by 73 % to 99 %.
|
|
Acceleration of Object Detection Using Classifiers
Juránek, Roman ; Kälviäinen, Heikki (oponent) ; Sojka, Eduard (oponent) ; Zemčík, Pavel (vedoucí práce)
Detection of objects in computer vision is a complex task. One of most popular and well explored approaches is the use of statistical classifiers and scanning windows. In this approach, classifiers learned by AdaBoost algorithm (or some modification) are often used as they achieve low error rates, high detection rates and they are suitable for detection in real-time applications. Object detection run-time which uses such classifiers can be implemented by various methods and properties of underlying architecture can be used for speed-up of the detection. For the purpose of acceleration, graphics hardware, multi-core architectures, SIMD or other means can be used. The detection is often implemented on programmable hardware. The contribution of this thesis is to introduce an optimization technique which enhances object detection performance with respect to an user defined cost function. The optimization balances computations of previously learned classifiers between two or more run-time implementations in order to minimize the cost function. The optimization method is verified on a basic example -- division of a classifier to a pre-processing unit implemented in FPGA, and a post-processing unit in standard PC.
|
|
STATISTICAL LANGUAGE MODELS BASED ON NEURAL NETWORKS
Mikolov, Tomáš ; Zweig, Geoffrey (oponent) ; Hajič,, Jan (oponent) ; Černocký, Jan (vedoucí práce)
Statistical language models are crucial part of many successful applications, such as automatic speech recognition and statistical machine translation (for example well-known Google Translate). Traditional techniques for estimating these models are based on Ngram counts. Despite known weaknesses of N-grams and huge efforts of research communities across many fields (speech recognition, machine translation, neuroscience, artificial intelligence, natural language processing, data compression, psychology etc.), N-grams remained basically the state-of-the-art. The goal of this thesis is to present various architectures of language models that are based on artificial neural networks. Although these models are computationally more expensive than N-gram models, with the presented techniques it is possible to apply them to state-of-the-art systems efficiently. Achieved reductions of word error rate of speech recognition systems are up to 20%, against stateof-the-art N-gram model. The presented recurrent neural network based model achieves the best published performance on well-known Penn Treebank setup.
|
|
Obrazová analýza v tribotechnické diagnostice
Machalík, Stanislav ; Stodola,, Jiří (oponent) ; Tillová,, Eva (oponent) ; Zemčík, Pavel (vedoucí práce)
Obrazová analýza částic opotřebení je v práci využita ke klasifikaci jejich obrazů do tříd odpovídajících stanoveným typům opotřebení. Dává možnost získat informace nejen o základních parametrech otěrových částic, ale také údaje, které by při klasickém způsobu hodnocení bylo možné získat jen velmi obtížně. Na základě analýzy morfologických či obrazových charakteristik částic lze sledovat průběh opotřebení strojních součástí, a tím zabránit případné havárii motoru, případně stanovit optimální lhůty pro výměnu oleje. Cílem této práce je prozkoumat možnosti využití obrazové analýzy v kombinaci s metodou analytické ferrografie a na základě teoretických poznatků navrhnout nástroj pro automatickou klasifikaci částic. Současné metody analýzy částic opotřebení jsou založeny na vyhodnocení, které nedává přesnou představu o procesech probíhajících mezi třecími povrchy v motorové soustavě. Práce vychází z metody analytické ferrografie, která umožňuje zhodnotit stav sledovaného stroje z hlediska opotřebení. Přínosem klasifikátorů vytvořených v této práci je možnost automatického vyhodnocení výstupů analytické ferrografie; jejich použití odstraňuje zásadní nevýhodu ferrografické analýzy, kterou je její závislost na subjektivním hodnocení expertem provádějícím analýzu. Vytvořené klasifikátory jsou založeny na využití metod strojového učení. Na základě rozsáhlé databáze částic, která byla vytvořena v první fázi práce, byly klasifikátory natrénovány umožňují tak hodnotit ferrograficky separované otěrové částice, které pocházejí z olejů odebraných z mazaných soustav. Následně byly provedeny experimenty, z jejichž výsledků vyplynuly optimální nastavení klasifikátorů.
|
|
Physically-based Modeling and Simulation
Dvořák, Radim ; Racek, Stanislav (oponent) ; Šujanský,, Milan (oponent) ; Zbořil, František (vedoucí práce)
The thesis deals with the modeling of air pollution transportation and dispersion processes in the atmosphere, more precisely with the numerical approaches to solve such models. The modeling of air pollution has a great importance for prediction of the contaminations and it helps with understanding of the process and with elimination of its consequences. The models which are described by partial differential equations, namely advection-diffusion equations, and thus they can be solved by numerous analytical/numerical methods are in the scope of the thesis. In particular, well known method of lines (MoL) and several models based on it together with the possibility to accelerate the computation are studied in the first half of the work. It is shown that MoL approach is still suitable for many concrete models and it has a great potential for parallelization on graphics cards. Quite young ELLAM method and its application to solved atmospheric advection-diffusion equations is the second objective. A concrete form of ELLAM method and its proposed adaptation approaches are evaluated and it is shown that it overcomes the current state of the art methods in many cases.
|
host ::
