|
|
Vliv ESP/ESC na chování vozidla
Weigel, Filip ; Mrázek, Vojtěch (oponent) ; Strnadel, Josef (vedoucí práce)
Práce se zabývá aktivním prvkem bezpečnosti vozidel - ESP. Systém ESP velmi významně pomáhá se stabilizací vozidla při zatáčení. Práce rozebírá modelování, princip fungování brzd, popis podřízených systémů - ABS a ASR, fyzikální jevy a síly, vzorový příklad, rozbor problému, návrh modelu, implementaci modelu a vyhodnocení experimentů s modelem v prostředí UPPAAL. Cílem práce je prokázat, že systém ESP pomáhá stabilizovat vozidlo při zatáčení pomocí simulačního modelu vozidla. Výsledky jsou prezentány v přehledných grafech. Z grafů lze analyzovat chování vozidla s ESP a bez ESP.
|
|
|
Akcelerované neuronové sítě na grafické kartě
Tomko, Martin ; Zachariášová, Marcela (oponent) ; Krčma, Martin (vedoucí práce)
Tato práce se věnuje implementaci aplikace pro simulaci neuronových sítí a její akceleraci za využití grafického procesoru. Aplikace se zaměřuje především na sítě typu Feedforward a jejich učení algoritmem Backpropagation, podporuje však i jiné typy sítí a umožňuje rozšíření o další učící algoritmy. Aplikace také umožňuje zavést do sítě různé poruchy struktury, což je možné využít pro testování odolnosti neuronových sítí vůči poruchám. Práce je implementována v jazyce C++ za využití OpenCL pro výpočty na GPU. Výsledky akcelerace učení algoritmem Backpropagation byly porovnány s volně dostupnou knihovnou FANN.
|
|
|
Vibrodiagnostika elektrických strojů
Boháček, Daniel ; Vítek, Ondřej (oponent) ; Janda, Marcel (vedoucí práce)
Tato samostatná práce se zabývá metodami analýz vibrací u elektrických točivých strojů. Ze začátku je nutné si vysvětlit základní pojmy a uvést do problematiky vibrací. Následně je práce zaměřena na zdroje vibrací u elektrických strojů. Jsou i popsány závady na elektrických točivých strojích způsobující vibrace. Snímání se provádí pomocí snímačů výchylky, rychlosti a zrychlení. Změřený signál je potřeba upravit a tomu se v další kapitole věnují filtry, aproximace a vzorkování. Hlavním cílem jsou metody analýz, mezi které patří nejznámější ve frekvenční oblasti frekvenční analýza (FFT) a v časové oblasti obálková metoda. Patří sem i další metody jako Kurtosis factor, Crest factor apod. Dále je v práci základní blokové schéma pro měření vibrací. Toto blokové schéma je naprogramováno a je pro něj udělané grafické uživatelské prostředí. V poslední části je vyhodnocení naměřených dat daných motorů.
|
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data. Most of these methods are based on acceleration techniques which compute transitive closures of program loops. We first present an algorithm that accelerates several classes of integer relations and show that the new method performs up to four orders of magnitude better than the previous ones. On the theoretical side, our framework provides a common solution to the acceleration problem by proving that the considered classes of relations are periodic. Subsequently, we introduce a semi-algorithmic reachability analysis technique that tracks relations between variables of integer programs and applies the proposed acceleration algorithm to compute summaries of procedures in a modular way. Next, we present an alternative approach to reachability analysis that integrates predicate abstraction with our acceleration techniques to increase the likelihood of convergence of the algorithm. We evaluate these algorithms and show that they can handle a number of complex integer programs where previous approaches failed. Finally, we study the termination problem for several classes of program loops and show that it is decidable. Moreover, for some of these classes, we design a polynomial time algorithm that computes the exact set of program configurations from which nonterminating runs exist. We further integrate this algorithm into a semi-algorithmic method that analyzes termination of integer programs, and show that the resulting technique can verify termination properties of several non-trivial integer programs.
|
|
|
Hardware acceleration of object detection in images
Musil, Petr ; Chalmers, Alan (oponent) ; Kadlec, Jiří (oponent) ; Zemčík, Pavel (vedoucí práce)
Nowadays, an increasing number of cameras and surveillance systems can be observed. The amount of information that these devices produce is enormous, and it is not in human power to process it all, therefore using computing power is needed. Modern computer vision algorithms, especially object detection, already achieve excellent results. One of the disadvantages of current vision algorithms is high computational complexity. Therefore, it is desired to implement these algorithms into a suitable device with better performance to power ratio. FPGA represents a reliable option due to its parallel and power-efficient computing. This dissertation aims to propose methods for optimising the object detector in an image running on an FPGA. These detectors use boosted soft cascades of classifiers with local image feature like weak classifiers. The proposed detectors use sequential evaluation of weak classifiers. More positions in the image are evaluated in parallel to increase the detection performance. Also, a new approach for multiscale object detection is proposed; its advantage is no need for external memory. The new detectors were experimentally verified on the tasks of detecting faces and license plates. The results outperform the current state-of-the-art, allow to create object detectors with higher detection performance, better power to resources ratio and better detection accuracy.
|
|
|
Měření jízdních manévrů vozidel hromadné přepravy osob, pro stanovení komfortní a bezpečné jízdy
Hlavová, Vendula ; Petrás, Jan (oponent) ; Tokař, Stanislav (vedoucí práce)
Komfort vnímaný cestujícími během přepravy v MHD hraje zásadní roli a její zlepšení může vést k přilákání většího množství zákazníků. Z toho důvodu je neustálá snaha zlepšovat pohodlí cestujícího. Diplomová práce se zabývá objektivním měřením jízdních manévrů MHD v Brně (tramvaj, trolejbus, autobus) přístrojem XL Meter a společně se subjektivním hodnocením stojících a sedících figurantů stanovuje mezní hodnoty podélného a příčného zrychlení pro komfortní jízdu a nebezpečnou jízdu, při jejímž překročení již může docházet k úrazům cestujících.
|
|
|
Elektronické stabilizační systémy osobních automobilů
Musil, Jan ; Ambróz, Richard (oponent) ; Zháňal, Lubor (vedoucí práce)
V této bakalářské práci jsou popsány základní elektronické systémy stabilizace. Tyto systémy slouží především k aktivní bezpečnosti v provozu, ale také k jízdnímu pohodlí posádky. Hlavní část práce je zaměřena na systémy ABS, ASR a ESP. Další části jsou zaměřené na ostatní přídavné systémy, které se stále vyvíjí. Součástí této práce je také pohled jednotlivých automobilek a možné kroky do budoucna.
|
|
|
Realizace superpočítače pomocí grafické karty
Jasovský, Filip ; Karásek, Jan (oponent) ; Mašek, Jan (vedoucí práce)
Tato diplomová práce se zabývá realizací superpočítače pomocí grafické karty s použitím technologie CUDA. Teoretická část práce popisuje funkci a možnosti grafických karet a běžných ústrojí stolních počítačů a dějů probíhajících při procesu výpočtů na nich. Praktická část se zabývá vytvořením programu pro výpočty na grafické kartě za použití algoritmu umělé inteligence a to konkrétně umělých neuronových sítí. Následně je vytvořený program použit pro klasifikaci dat z objemného vstupního datového souboru.Na závěr jsou porovnány dosažené výsledky.
|
|
|
Akcelerace neuronových sítí v FPGA
Krčma, Martin ; Vašíček, Zdeněk (oponent) ; Kaštil, Jan (vedoucí práce)
Tato práce se zabývá problematikou akcelerace výpočtu neuronových sítí skrze jejich implementaci v programovatelných hradlových polích FPGA. Práce představuje dvě různé hardwarové implementace neuronových sítí, které porovnává mezi sebou a s volně dostupnou softwarovou implementací. Dále práce představuje nástroje usnadňující VHDL implementaci neuronových sítí.
|
|
|
Akcelerace OVS s využitím akcelerační karty s FPGA
Vido, Matej ; Martínek, Tomáš (oponent) ; Kořenek, Jan (vedoucí práce)
Výkon virtuálneho prepínača Open vSwitch (OVS) je nedostatočný pre súčasné požiadavky na kapacitu liniek pre pripojenie serverov. Preto vznikajú snahy o akceleráciu OVS či už na úrovni softvéru, ale aj prenesením záťaže do sieťovej karty. V tejto práci je riešená problematika akcelerácie OVS s využitím sieťových kariet COMBO pre 100G Ethernet vyvíjaných združením CESNET. Navrhnuté riešenie využíva firmvér pre FPGA generovaný z popisu v jazyku P4 pre klasifikáciu paketov v karte a framework DPDK pre dátové prenosy a nahrávanie klasifikačných pravidiel do karty. Pri preposielaní jedného dátového toku z fyzického rozhrania na fyzické rozhranie s využitím jedného jadra CPU je pri najkratších rámcoch dosahovaná rýchlosť prenosu paketov 11,2 Mp/s (10-krát viac ako s klasickým OVS) s klasifikáciou v karte a 5,9 Mp/s bez klasifikácie v karte.
|
host ::
RSS.