|
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.
|
|
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.
|
|
Multimedia Data Processing in Heterogeneous Distributed Environment
Kajan, Rudolf ; Ferko,, Andrej (referee) ; Míkovec, Zdeněk (referee) ; Herout, Adam (advisor)
Pervasive computing sa zameriava odstránenie zložitostí pri interakcii s výpočtovou technikou a zvýšenie efektivity pri jej každodennom používaní. Ale i po viac ako 15 rokoch od sformulovania hlavných cieľov Pervasive computingu existujú aspekty interakcie ktoré stále nie sú súčasťou užívateľskej skúsenosti s dnešnou technológiou. Bezproblémová integrácia s prostredím vedúca k technologickej neviditeľnosti, alebo interakcia naprieč rôznymi zariadeniami predstavujú stále veľkú výzvu. Hlavným cieľom tejto práce je prispieť k tomu, aby sa ciele Pervasive computingu priblížili k realizovaniu tým, že predstavíme spôsob intuitívneho zdieľania informácií medzi osobným a verejne umiestneným zariadením. Predstavili sme tri interakčné techniky, ktoré podporujú intuitívnu výmenu obsahu medzi osobným zariadením a zdieľaným displejom. Tieto techniky sú založené na prenose videa, rozšírenej realite a analýze pohľadových dát. Okrem interakčných techník sme tiež predstavili mechanizmus pre získavanie, prenos a rekonštrukciu aplikačného stavu na cieľovom zariadení.
|
|
Ability of specially trained dogs to detect human scent which was exposed to different weather conditions over a long period
Machová, Lucie ; Vyplelová, Petra (advisor) ; Jaroslav, Jaroslav (referee)
Survivability of human scent was observed by many scientists mainly in artificial conditions (Hudson et al., 2009; Santariová et al. 2012; Preti et al., 2006). Against this exists a few researches about survivability of human scent in nature conditions (King et al., 1964; Santariová et al., 2016).
On glass tubes were taken individual humant scent from 6 volunteers. Target scents were left outdoor during 2 different periods of year. Winter samples from 3 target people were outdoor from November to May and summer samples from other 3 people from May to December. Always after 3, 4, 5 a 6 months was taken scent from 1 glass tube of each target person. After last time period was taken scent from target people on cotton textile. Scent of other volunteer was taken at the same time for purpose scent deceptions.
Then was observed if dogs will be able to identify these samples corectly. Specially trained dogs on scent identification line-ups get sample from outdoor environment and they should choose the identical human scent from line of 6 samples (with 1 target and 5 deceptions).
The experiment showed, that dogs are able to identify winter samples in all time periods but are not able to identify summer samples in whatever time period. Time periods do not show any diference.
The biggest influence on quality change of individual human scent has intensity of sun radiation.
|
|
Security and stability networking testing in cloud computing
Efimov, Igor ; Havránek, Martin (advisor) ; Ladislav, Ladislav (referee)
The purpose of this dissertation work involves creation and automation of my own cloud security and stability testing techniques.
The basis of this project is to explore and outline the virtual environment protection level in front of different types of security and stability networking attacks.
Theoretical part of this paper consists of concepts and, together with their definitions and reference to relevant research literature, science related publications and online sources that best describes testing methodology of cloud computing, focused on security and virtualization.
The practical part of the thesis demonstrate an understanding of theories and concepts that been studied. Based on the obtained research results, have been developed various
automation tests that are going to be run on virtual environment in order to test their stability.
|
|
The use of (nano)oxides for metal and metalloid stabilization in contaminated soils
Michálková, Zuzana ; Komárek, Michael (advisor) ; Luke, Luke (referee)
The main objective of the thesis was to evaluate the potential of selected Mn and Fe (nano)oxides for the stabilization of metals and metalloids in contaminated soils. The research was focused basically on three materials - commercial nanomaghemite (Fe III), nanomagnetite (Fe II,III) and a synthetic amorphous Mn oxide (AMO). The main aim of the work was to provide a complex view on the chosen stabilizing amendments regarding not just their direct influence on contaminants mobility and stabilization mechanisms, but also their stability and alterations in soil conditions together with influence on soil microorganisms and higher plants. Firstly, adsorption properties of the tested materials towards Cd, Cu, Pb and As were investigated. In this context, the most effective material showed to be the AMO reaching one to two orders of magnitude higher adsorption capacities than Fe III and Fe II,III under given experimental conditions. Interestingly, the rate of As(V) adsorption onto AMO was increasing with increasing pH as a result of high pHzpc of the AMO (8.1) and significant dissolution of this phase at lower pH values. As a next step, the influence of (nano)oxides on metal(loid)s mobility and other physico-chemical soil characteristics after application to contaminated soil was examined. Again, the AMO proved to be the most efficient in reducing mobile pools of Cd, Cu, Pb, Zn and As. On the other hand, Fe III and Fe II,III addition had generally less significant effects on contaminants mobility. AMO application further resulted in an increase of soil pH connected with AMO dissolution and unwanted decomposition of soil organic matter. When (nano)oxides alterations in soil conditions were observed, MnCO3 coatings were identified on AMO surface while no significant changes were recorded for Fe III and Fe II,III. As the MnCO3 formation was connected with increased AMO stability, AMO particles synthetically covered with MnCO3 coating (denoted as SM AMO) were prepared. Although the SM-AMO had a lower mass loss in soil than pure AMO, the stabilizing efficiency was almost the same for both materials. The differences in surface composition of both materials were decreasing with time as MnCO3 naturally precipitated on the AMO surface in soils while the SM AMO coating was gradually dissolving. When investigating the effect on soil microbiota, AMO efficiently promoted soil microbial activity while no significant changes were observed in the case of Fe III and Fe II,III. The AMO was also able to reduce the uptake of Cd, Pb and Zn by sunflower (Helianthus annuus L.), eliminate Zn phytotoxicity symptoms and increase biomass yield. On the other hand, toxic levels of Mn released from the AMO in an acidic soil were found in sunflower tissues. AMO application is thus recommended for contaminated neutral or slightly alkaline pH with a higher cation exchange capacity in order to avoid unwanted release of Mn. Finally, various types of AMO-biochar composite sorbents were recently prepared and field experiment focused on stabilization of Cd, Pb, Zn and As using studied materials is currently under preparation. The combined results from the thesis highlight the importance of a complex experimental approach dealing with all parts of the contaminated soil environment in order to obtain complete information about the efficiency and usefulness of any newly developed stabilizing amendment.
|
|
Constitutional rights for a favorable environment and it´s enforcement in modern Czech Republic
Tauchmanová, Renata ; Kadlecová, Eva (advisor) ; Uhlík, Milan (referee)
The thesis provides the most comprehensive summary of the legal protection
of the environment in the Czech Republic from the perspective of the justice and it is application in the Czech judiciary. Especially in regards to laws on the protection
of the right to a favourable environment within the Constitution of the Czech Republic,
I have tried to concentrate on the jurisprudence of the Constitutional Court, as to the court, whose decisions are very crucial for the interpretation and further application of the law
to the favourable environment in the practice.
The goal of my thesis is to show the evolution of the legal / legislative environment
in the Czech Republic and to approach the practice of the international law, especially european law in the field of the environmental protection. The thesis outlines available trial impalements, which uses the czech judiciary in the field of the law for a favourable envi-ronment and also represents the rights and obligations of the czech citizens related to this topic.
|
|
Effect of game management pratices on the roe deer population
Heřman, Vladimír ; Ježek, Miloš (advisor) ; Benediktová, Kateřina (referee)
In selected hunting grounds MS Obratan was monitored a development of population of Roe deer (Capreolus capreolus) and the influence of the environment on this population. There are data available about the blasting and weights of the caught pieces from eleven years, from 2005 to 2015. These data are divided by gender, respectively. divided on roe deer, deer and roe. Data were analyzed with regard to the time hunting during the year, together with the weight of the piece. In 2012 there was found an obvious increase in weight of the caught pieces of Roe deer, which was more distincted in the caught deer. It was also found that the month, in which the pieces were caught, does not affect its weight.
|
|
Strategic Business Management
Qubaiová, Jana ; Štůsek, Jaromír (advisor) ; Zdeněk, Zdeněk (referee)
This thesis deals with the strategic management of a small business P, a laundry firm, which provides washing and dry cleaning services for a diverse range of customers in its surrounding area.
The aim of this study is to propose a new strategy for the company that fulfills its vision for the necessary upgrading of obsolete technologies, along with the expansion of business capacity, while maintaining respect for the environment.
This research presents the theoretical background of strategic management, describes its structure as well as the frequently used analytical methods.
The practical part presents an analysis of the chosen company using the chosen methods, while the results showcase the most suitable variant for a new strategy based on the drawn synthesis. The new proposal represents a reorganization of the firm through obtaining a large capacity washing tunnel whose technology reduces water consumption significantly, and reduces the energy consumption overall.
In response to the challenge of using modern methods, the Blue Ocean Strategy was evaluated as a possible technique.
|
|
Infringement of intellectual property in the environment of computer networks
Jeřábek, Tomáš ; Žikovská, Petra (advisor) ; Dobřichovský, Tomáš (referee)
Title: Intellectual Property Rights Infringements in Computer Networks Environment The focal point of the presented thesis is a description of relevant legislation and case law and an analysis of various kinds of liability. The legislation has been described starting on the level of international treaties, including the TRIPS Agreement and the WIPO Internet Treaties, through European directives and finally closing with the Czech national law, the Copyright Act in particular and other selected norms of both civil and criminal law. The thesis deals with foreign regulations in France and the United States known for their consistency in copyright protection. The Czech Supreme Public Prosecutor Office guidance note has been discussed shortly followed by an analysis of civil, administrative and criminal liability. Case law spans the decisions from the Czech Constitutional Court, Supreme Court and Supreme Administrative Court, then the European Court of Justice judgement in the Scarlett case and a several foreign decisions, especially Dutch judgements in matters of the professional association BREIN and the American Betamax case.
|
guest ::
