|
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.
|
|
STATISTICAL LANGUAGE MODELS BASED ON NEURAL NETWORKS
Mikolov, Tomáš ; Zweig, Geoffrey (referee) ; Hajič,, Jan (referee) ; Černocký, Jan (advisor)
Statistické jazykové modely jsou důležitou součástí mnoha úspěšných aplikací, mezi něž patří například automatické rozpoznávání řeči a strojový překlad (příkladem je známá aplikace Google Translate). Tradiční techniky pro odhad těchto modelů jsou založeny na tzv. N-gramech. Navzdory známým nedostatkům těchto technik a obrovskému úsilí výzkumných skupin napříč mnoha oblastmi (rozpoznávání řeči, automatický překlad, neuroscience, umělá inteligence, zpracování přirozeného jazyka, komprese dat, psychologie atd.), N-gramy v podstatě zůstaly nejúspěšnější technikou. Cílem této práce je prezentace několika architektur jazykových modelůzaložených na neuronových sítích. Ačkoliv jsou tyto modely výpočetně náročnější než N-gramové modely, s technikami vyvinutými v této práci je možné jejich efektivní použití v reálných aplikacích. Dosažené snížení počtu chyb při rozpoznávání řeči oproti nejlepším N-gramovým modelům dosahuje 20%. Model založený na rekurentní neurovové síti dosahuje nejlepších publikovaných výsledků na velmi známé datové sadě (Penn Treebank).
|
|
Point and Line Parameterizations Using Parallel Coordinates for Hough Transform
Juránková, Markéta ; Kälviäinen, Heikki (referee) ; Kittler, Josef (referee) ; Herout, Adam (advisor)
Tato dizertační práce se zaměřuje na použití paralelních souřadnic pro parametrizaci čar a bodů. Paralelní souřadný systém má souřadnicové osy vzájemně rovnoběžné. Bod ve dvourozměrném prostoru je v paralelních souřadnicích zobrazen jako přímka a přímka jako bod. Toho je možné využít pro Houghovu transformaci - metodu, při které body zájmu hlasují v prostoru parametrů pro danou hypotézu. Parametrizace pomocí paralelních souřadnic vyžaduje pouze rasterizaci úseček, a proto je velmi rychlá a přesná. V práci je tato parameterizace demonstrována na detekci maticových kódů a úběžníků.
|
|
Network Architecture and Interconnection of Embedded Systems
Trchalík, Roman ; Drábek, Vladimír (referee) ; Srovnal, Vilém (referee) ; Švéda, Miroslav (advisor)
The thesis focuses on the architecture of embedded systems. It summarizes the current state of accepted standards from IEEE 1451 family, which deals with creating an environment for the sensors and their involvement in various networks. These standards describe the open, network-independent communication architecture for a sensor-based system. One of the main outcomes of this work is the architectures presented as case studies, which can be used as design patters for embedded applications. They are demonstrated on ZigBee technology suitable mainly for small devices with very low power consumption. Based on these studies the new design of universal gateway was proposed. Its major advantage is that it allows interconnection of the endpoints based on different sensor network technologies. Additionally, the thesis deals with modifying the routing protocol of ZigBee network in order to reduce power consumption required to transmit one data packet.
|
|
Optimization of network flow monitoring
Žádník, Martin ; Lhotka,, Ladislav (referee) ; Matoušek, Radomil (referee) ; Sekanina, Lukáš (advisor)
The thesis deals with optimization of network flow monitoring. Flow-based network traffic processing, that is, processing packets based on some state information associated to the flows which the packets belong to, is a key enabler for a variety of network services and applications. The number of simultaneous flows increases with the growing number of new services and applications. It has become a challenge to keep a state per each flow in a network device processing high speed traffic. A flow table, a structure with flow states, must be stored in a memory hierarchy. The memory closest to the processing is known as a flow cache. Flow cache management plays an important role in terms of its effective utilization, which affects the performance of the whole system. This thesis focuses on an automated design of cache replacement policy optimized to a deployment on particular networks. A genetic algorithm is proposed to automate this process. The genetic algorithm generates and evaluates evolved replacement policies by a simulation on obtained traffic traces. The proposed algorithm is evaluated by designing replacement policies for two variations of the cache management problem. The first variation is an evolution of the replacement policy with an overall low number of state evictions from the flow cache. The second variation represents an evolution of the replacement policy with a low number of evictions belonging to large flows only. Optimized replacement policies for both variations are found while experimenting with various encoding of the replacement policy and genetic operators. The newly evolved replacement policies achieve better results than other tested policies. The evolved replacement policy lowers the overall amount of evictions by ten percent in comparison with the best compared policy. The evolved replacement policy focusing on large flows lowers the amount of their evictions two times. Moreover, no eviction occurs for most of the large flows (over 90%). The evolved replacement policy offers better resilience against flooding the flow cache with large amount of short flows which are typical side effects of scanning or distributed denial of service activities. An extension of the replacement policy is also proposed. The extension complements the replacement policy with an additional information extracted from packet headers. The results show further decrease in the number of evictions when the extension is used.
|
|
The Role of Religious Law in the Legal system of the State of Israel The Agunah
Sedláková, Dominika ; Sládek, Pavel (advisor) ; Boušek, Daniel (referee)
The present M.A. thesis deals with the role of Jewish religious law in the legal system of the State of Israel. The aim of this work is to describe unique nature of Israeli legal system due to the incorporation of Jewish religious law. The thesis focuses at the marital and divorce law. This legal branch was the most influenced by Jewish religious. The case of agunot, litteraly chained women, was chosen as an example of the application of Jewish religious law in the legal system of a modern country. Agunah is a woman who is not permitted to remarry because she has not been given a divorce list nor she is widowed. The problem of agunot is rather ancient and Jewish scholars have tried to find a solution for many centuries. However, nowadays when society calls for an equality between genders and for standard human rights, this issue is even more pressing than ever before. Hardly is a woman accorded right to human dignity if her husband can keep her at his own mercy. At the absence of systemic legal tool, the whole community, including the Orthodox rabbis, should be willing to exert moral pressure such as banning lenient men from synagogue offices and honors to help women to be released from their marriage. More so because the motive behind withholding a geṭ is in most cases economic or other benefit....
|
|
Faktory ovlivňující poptávku po osobních automobilech v ČR
ČURILLOVÁ, Michaela
The bachelor thesis investigates factors which influence the demand for passenger cars in the Czech Republic. The theoretical part of this work is focused on basic terms and determinants which are important for the demand. Further it describes particular statistical methods, which are used for the analysis. The practical part contains the introduction to the automotive industry and the description of specific attributes of the demand for passenger cars. This part analyses factors which may have an effect on the demand for passenger cars in the Czech Republic. The main factors and the dependence are explained by applying econometric methods. Analyzing reveals these important factors: number of registrations of passenger cars, consumer prices of new and used passenger cars, consumer prices of fuel, population and income.The conclusion contains the summary of impacts on the specific demand.
|
|
Project management in selected company
POKORNÝ, Radek
This work deals with project management in chosen company. It has two parts. The first part is theoretical, which is focused to theoretical treatment of the subject. It explains what is the project, management of projects, organizations of projects, processes of project management, what is target of project, communication, control, changes and risks and more. In the practical part I focused to concrete company and project management and than I analyzed concrete project. Name of the mentioned company is OHL ŽS, a.s. It is company from Spain, which acts all over the world. In the Czech Republic has the base in Brno. This company has several divisions and every of them is focused to different professional architecture. I have chosen division of structural engineering. This division builds all kinds of buildings. It could be construction of new buildings or reconstruction. To analysis of chosen project I used various business documents, contracts with investor or suppliers, document which include billing, timetable. I especially used my experience with projects of this company, and I was part of this project. Name of this project is Reconstruction of cladding including replacement windows and insulation. During the analysis of project I found a couple major gaps. If we could avoid these gaps, we could increase profit. These graphs is especially in management. At the beginning there were appointed two temporary construction managers. They doesn't care about result project, because they knew that they will not be to the end of the project. These gaps are because there is missing motivation system. Project manager can´t affect results of employees. It doesn´t depend on performance of employees, they always has the same wages. For elimination of these gaps I proposed several suggestions for improvement. The first suggestion is modification and extension of motivation system. New motivation system include personal evaluation. This evaluation depends on performance of employee. The second part is bonus from over profit. The next suggestion is make a new working position. This position would take care about controlling and project documentation. During the building project, especially at the end is construction manager very busy. It depend of decision of construction 63 manager what kind of activity will have prefer. Project documentation and administration or controlling of building works. If they are doing everything correct and technology are respect. Suggested position would take care about invoices, real work, which is done, project documentation, controlling of budget. The third suggestion is purchase of small machinery such as chipping hammers and drills. At this time they rent all devices. Rent is higher than purchase price. The last suggestion is use credit to restoration of fleet. At this time they have obsolete fleet, because the bought all cars by cash. It is not conveniently.
|
|
Distribution management in a large company (warehouse)
MICHALOVÁ, Jana
Distribution management in a large company. This Master´s Thesis examines the company Fruko-Schulz, s. r. o. This company has been making spirits. The goal is to map out the information and material flows toward the warehouse and from the warehouse. Subsequently, to analyze the current state of the company. Based on the information propose measures for improvement. In own work is described in detail and enterprise activities in a company. After ideas are designed to change. These proposals relate to distribution to the end customer through the gastronomical exhibitions and fairs. Other proposals are aimed at end users in the Russian market. Ideas for packaging or new products are designed, but is backed that do not make sense. Company Fruko-Schulz, s. r. o. sas a long tradition and reputation. But that's not enough, the competition is great and it isalso at a high level. The idea to focus on the Russian market is very good and there is great potential.
|
guest ::
