|
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.
|
|
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.
|
|
Optimalizace sledování síťových toků
Žádník, Martin ; Lhotka,, Ladislav (oponent) ; Matoušek, Radomil (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato disertační práce se zabývá optimalizací sledování síťových toků. Sledování síťových toků spočívá ve sledování jejich stavu a je klíčovou úlohou pro řadu síťových aplikací. S každým příchodem paketu je nutné aktualizovat hodnoty stavu, což zahrnuje přístupy do paměti. Vzhledem k vysoké propustnosti linek a obrovskému množství souběžných toků hraje přístup do paměti kritickou roli ve výkonnosti stavového zpracování síťového provozu. Tento problém se řeší různými technikami. Tyto techniky ale ve výsledku vždy požadují, aby nejblíže zpracování provozu byla nasazena paměť s nízkou odezvou, cache toků, schopná vyřídit všechny přístupy. Cache toků má proto omezenou kapacitu a její efektivní správa má zásadní vliv na výkonnost a výsledky zpracování síťového provozu. Vzhledem ke specifikům síťového provozu nemusí být stávající správy vhodné pro správu cache toků. Disertační práce se proto zabývá automatizovaným vývojem správy cache na základě reálného provozu dané sítě. Automatizace vývoje správy cache toků je realizována pomocí genetického algoritmu. Genetický algoritmus vyvíjí nová řešení a hodnotí je simulací nad vzorkem provozu z různých sítí. Navržený postup je ověřen na vývoji správ pro dva problémy. Prvním problémem je vývoj správy, která bude vykazovat celkově nízký počet výpadků stavů z cache toků. Druhým problémem je vývoj správy, která bude vykazovat velmi nízký počet výpadků u velkých toků. Optimalizace zakódování správy a experimenty s parametry genetického algoritmu ukázují, že je možné nalézt správy cache toků, které jsou optimalizované pro specifika daného nasazení. Nově vyvinuté správy poskytují lepší výsledky než ostatní testované správy. Z hlediska snížení celkového počtu výpadků je vyvinuta správa, která snižuje počet výpadků na konkrétní datové sadě až o deset procent vůči nejlepší porovnávané správě. Z pohledu snížení počtu výpadků u velkých toků je dosaženo vyvinutou správou až dvojnásobného snížení výpadků. Většina velkých toků (více než 90%) nezaznamenala při použití vyvinuté správy dokonce ani jeden výpadek. Rovněž během záplav nových toků, které se v síťovém provozu vyskytují v souvislosti se skenováním sítí a útoky, se ukazují velmi dobré vlastnosti vyvinuté správy. V rámci práce je rovněž navrženo rozšíření správy o využití doplňkové informace ze záhlaví příchozích paketů. Výsledky ukazují, že kombinací této informace lze počet výpadků u správ dále snižovat.
|
|
Výsledky účtu kultury ČR za rok 2012
Český statistický úřad
Účet kultury ČR byl poprvé zpracován v ověřovacím provedení za referenční rok 2009. V průběhu sestavování účtu i v rámci hodnocení jeho výsledků za tento rok a za léta následující se ukázalo, že některé předpoklady a záměry obsažené v původním metodickém manuálu k účtu nemohou být zcela naplněny, resp. musí být poopraveny. Srovnávání výsledků účtů kultury v časové řadě je prozatím velmi problematické.
Plný text:  PDF
|
|
Faktory ovlivňující poptávku po osobních automobilech v ČR
ČURILLOVÁ, Michaela
Bakalářská práce se věnuje hledání a analyzování faktorů ovlivňujících poptávku po osobních automobilech v České republice. Poptávka je zde reprezentována počtem registrací nových osobních automobilů na domácím trhu. Teoretická část práce se zabývá představením základních pojmů, které souvisí s poptávkou obecně. Dále charakterizuje termíny týkající se statistických metod užitých při analýze faktorů. Praktická část práce se v úvodu zaměřuje na deskripci českého automobilového průmyslu, dále zkoumá specifické faktory poptávky. Potenciální determinanty, které by na danou poptávku mohly mít významný vliv, byly zvoleny na základě literárních zdrojů a vlastních úvah autora. Byly jimi: registrace ojetých osobních automobilů, spotřebitelské ceny nových a ojetých osobních vozidel, spotřebitelské ceny pohonných hmot, průměrný příjem, počet obyvatel a zavedení ekologické daně. Ekonometrickou analýzou se podařilo zjistit, že danou poptávku nejlépe ovlivňuje souhrn všech zvolených proměnných bez poslední zmíněné proměnné, kterou je ekologická daň. Pomocí vytvořeného ekonometrického modelu je také možné předpovědět počet registrací nových osobních automobilů do budoucna, což je v praxi velmi přínosné. Tento model tedy umožňuje predikovat vývoj poptávky po osobních automobilech v České republice.
|
|
Řízení projektů ve vybraném podniku
POKORNÝ, Radek
Tato práce se zabývá projektovým řízením ve vybrané společnosti. Má dvě části. První část je teoretická, která je zaměřena na teoretické zpracování tématu. To vysvětluje, co je projekt, řízení projektů, organizace projektů, procesů projektového managementu, jaký je cíl projektu, komunikace, řízení, změny a rizika a další. V praktické části jsem se zaměřil na konkrétní společnost a jejich projektový management a následně jsem analyzoval konkrétní projekt. Název zmíněné společnosti je OHL ŽS, a.s. Je to Španělská, která působí po celém světě. V České republice má ředitelsví v Brně. Tato společnost má několik divizí a každý z nich je zaměřen na jiný typ stavebnictví. Vybral jsem si divizi pozemního stavitelství. Tato divize se zaměřuje na všechny druhy staveb. Mohla by to být výstavba nových budov nebo rekonstrukce. Při analýze vybraného projektu jsem použil různé obchodní dokumenty, smlouvy s investorem, nebo dodavateli, náklady na projekt, časový harmonogram. Také jsem využil své zkušenosti s tímto projektem, protože jsem se podílel na realizaci tohoto projektu po větší části jeho provádění. Název tohoto projektu je rekonstrukce obvodového pláště včetně výměny oken a zateplení. Při analýze projektu jsem našel pár zásadních nedostatků. Pokud by se nám podařilo vyhnout se těmto nedostatkům, mohli bychom zvýšit zisk. Tyto nedostatky jsou zejména chyby při řízení. Na začátku byli jmenováni dva dočasní stavbyvedoucí. Pracovníci na této pozici v podstatě nemají zájem na výsledku projektu, protože jejich vedoucí nemá žádné prostředky na ovlivnění výkonosti tohoto pracovníka. Chybí zde motivační systém. Nezáleží na výkonu, ale pracovník dostane vždy stejnou mzdu. Pro odstranění těchto nedostatků jsem navrhl několik návrhů na zlepšení. První návrh je modifikace a rozšíření motivačního systému. Nový motivační systém obsahuje osobní ohodnocení. Toto hodnocení je závislá na výkonu zaměstnance. Druhá část je odměna z nadzisku. Dalším návrhem je vytvoření nové pracovní pozice. Tato pozice se bude starat o kontrolu a projektové dokumentace. V průběhu stavebního projektu, a to zejména na konci je stavbyvedoucí velmi zaneprázdněn. To záleží na rozhodnutí stavbyvedoucího, jakým činnostem dá přednost. Zda se bude věnovat dokumentaci, nebo prováděným pracím a technologii. Navrhovaná pozice by se starala o faktury, skutečně provedené práce, projektovou dokumentaci a předávání skutečně odvedené práce. Třetím návrhem je nákup malého strojního zařízení, jako jsou bourací kladiva a vrtačky. V této době se pronajímají všechna zařízení. Nájemné je vyšší než kupní cena. Poslední návrh je použít leasing na obnovu vozového parku. V této době mají zastaralý vozový park, protože současný vozový park byl pořízen za hotovost. To není výhodné.
|
host ::
