|
|
Demonstrace využití platformy System on Chip Pynq Z2
Polášek, Patrik ; Mrázek, Vojtěch (oponent) ; Kekely, Lukáš (vedoucí práce)
Práce se zabývá vývojovou platformou Pynq Z2 s SoC obsahujicim programovatelnou logiku FPGA propojenou s procesorem ARM. Hlavním cílem je vytvoření skupiny vzorových aplikací, které využívají periferie dostupné na vývojové desce a realizují kritické výpočty na FPGA. Tyto aplikace mají podobu šablony dělící funkcionalitu na část komunikující s periferií a druhou část implementující samotný algoritmus výpočtu. Zvoleny byly konkretní algoritmy z oblasti vyhledávání v textu (Knuth-Morris-Pratt algoritmus), filtrace obrazu (změna barev obrazu a vyhlazovací konvoluční maska), filtrace zvukového signálu (dolní propust) a klasifikace internetových paketů (rozhodovací strom). Algoritmy je možné nahradit za vlastní, přičemž okolní rozhraní pro komunikaci s periferií zůstane zachováno. Kromě samotné implementace je ke každé aplikaci poskytnut interaktivní Jupyter Notebook dokument s doprovodným materiálem, který má za cíl usnadnit pochopení dané problematiky.
|
|
|
Hluboké neuronové sítě: implementace pro vestavěné systémy
Matěj, Aleš ; Šimek, Václav (oponent) ; Mrázek, Vojtěch (vedoucí práce)
Cílem této práce je první navrhnout a implementovat aplikaci pro vestavěné systémy rea-lizující konvoluční neuronovou síť jenž klasifikuje čísla MNIST, ve druhé části pak optima-lizovat paměťové a energetické nároky této sítě. Práce v teoretické části popisuje základyneuronových sítí a výpočetní platformy Cortex-M pro vestavěné systémy. Následuje popisimplementace, síť je první vytvořena a naučena pomocí knihovny Theano v Pythonu naPC a poté je převedena do C pro vývojovou desku STM32F429 Discovery, kde je následnéoptimalizována. Optimalizace je zaměřena na konvoluci, skalární součin a formát uloženívah a biasů sítě.
|
|
|
Genetický návrh klasifikátoru s využítím neuronových sítí
Tomášek, Michal ; Vašíček, Zdeněk (oponent) ; Mrázek, Vojtěch (vedoucí práce)
Cílem této práce je genetický návrh neuronových sítí, jenž budou schopné provádět klasifikaci v rámci různých klasifikačních úloh. K vytváření těchto neuronových sítí je použit algoritmus vycházející z algoritmu NeuroEvolution of Augmenting Topologies (zkráceně známého jako NEAT). Dále je představena myšlenka předzpracování, která je v implementovaném výsledku rovněž zahrnuta. Cílem předzpracování je snížení výpočetních nároků pro zpracování datové sady daného klasifikačního problému. Výsledkem této práce je množina experimentů provedených nad datovou sadou pro detekci rakovinných buněk a databází ručně psaných číslic MNIST. Klasifikátory vytvořené pro rakovinné buňky pak dosahují více jak 99% přesnosti a u experimentu MNIST dochází ke snížení výpočetních nároků o více jak 10% se zanesením zanedbatelné chyby o velikosti 0,17%.
|
|
|
Zařízení pro inteligentní měření spotřeby elektrické energie
Mrázek, Vojtěch ; Sekanina, Lukáš (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Cílem práce je návrh a realizace zařízení pro měření elektrické energie, které podporuje zaznamenávání starých hodnot a také jejich jednoduchou analýzu. Navržené zařízení umožňuje zobrazení aktuálních hodnot jako je aktivní, činný a jalový příkon a účiník. Mimo to ještě také ukládá energetický profil, který může být zpětně analyzován. Přístroj komunikuje lokálně přes USB a nebo vzdáleně přes rozhraní Ethernet.
|
|
|
Překlad XTR výstupu nástroje UPPAAL do uživatelsky přívětivé reprezentace
Mazánek, Antonín ; Mrázek, Vojtěch (oponent) ; Strnadel, Josef (vedoucí práce)
Diplomová práce seznamuje s nástrojem Uppaal. Popisuje principy a možnosti modelování a analýzy systémů pomocí tohoto nástroje. Dále se blíže zabývá formáty souborů, které nástroj Uppaal používá. Strukturou souboru XML, sloužící pro uložení vytvořených systémů, formátem XTR, který nástroj používá k ukládání simulačních běhů, a formátem IF, který je nutný k porozumění obsahu souboru ve formátu XTR. V textu je zmíněna i dostupná programová podpora pro práci s těmito formáty. Další částí, kterou se tato diplomová práce zabývá, já návrh uživatelsky přívětivé reprezentace simulačních běhů spolu s návrhem a implementací aplikace, která provádí překlad simulačních běhů nástroje Uppaal do navržené reprezentace. Na konci práce je zmíněno možné pokračování v projektu spolu s hodnocením navržené reprezentace a aplikace pro překlad.
|
|
|
Graphical Simulator of Superscalar Processors
Vávra, Jan ; Mrázek, Vojtěch (oponent) ; Jaroš, Jiří (vedoucí práce)
The focus of this thesis is implementation of the superscalar simulator. The implementation follows research of existing simulators and tries to implement missing features from them. Simulator uses RISC-V instruction set architecture, but architecture can be swapped for any RISC instruction set. Simulator implements deterministic branch prediction. Parts of the simulation can be configured. The simulator application also contains a text editor for inputting source code.
|
|
|
Analýza genetické příbuznosti aproximativních obvodů
Krejčík, Vojtěch ; Mrázek, Vojtěch (oponent) ; Sekanina, Lukáš (vedoucí práce)
Cílem práce je analýza velké knihovny aproximativních obvodů (EvoApproxLib), která byla vytvořena evolučním algoritmem a kterou v této práci chápeme jako zdroj genetických dat. Konkrétně se jedná o hledání příbuznosti v souboru obsahujícím 24912 osmibitových aproximativních násobiček, které byly evolučně vytvořeny ze šesti různých rodičovských plně funkčních implementací operace násobení. Jako ukazatele příbuznosti byly zvoleny počty hradel a existence 16 specifických podobvodů. Na základě těchto ukazatelů (příznaků) byly natrénovány různé klasifikátory pro zařazení násobičky do jedné ze šesti tříd odpovídající rodičovským implementacím. S těmito ukazateli se podařilo dosáhnout úspěšnosti klasifikace až 77%. Výsledky této práce ukazují, že kombinace specifických podobvodů jsou silným indikátorem, ze kterého rodičovského obvodu daný aproximativní obvod pochází.
|
|
|
Emulace periferií vestavěných systémů pro rychlé prototypování
Müller, Dominik ; Kekely, Lukáš (oponent) ; Mrázek, Vojtěch (vedoucí práce)
Tato práce se zabývá návrhem a konstrukcí vývojové a testovací platformy pro vývojáře vestavěných systémů určené k akceleraci počátečních fází vývoje vestavěných systémů. Vytvořená platforma umožňuje vývojáři emulovat real-time okolí vyvíjeného systému, které může pozorovat a ovlivňovat. Návrh celé platformy se soustředil na její rozsáhlou konfigurovatelnost, snadnou rozšířitelnost, znovupoužitelnost a univerzalitu. Simulace probíhá přímo vůči reálnému mikrokontroléru. Platforma tak doplňuje přístup čistě softwarové simulace o reálný základ, ale zůstává, oproti specializovaným testovacím systémům, znovupoužitelná a cenově dostupná. Výsledkem práce je fyzické zařízení ovladatelné přes počítač uživatele umožňující připojit vývojový kit a simulovat jeho okolí.
|
|
|
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.
|
|
|
Knihovna pro boolovské funkce v algebraické normální formě
Vasilišin, Maroš ; Mrázek, Vojtěch (oponent) ; Dobai, Roland (vedoucí práce)
Táto bakalárska práca sa zaoberá návrhom a implementáciou knižnice v jazyku C pre manipuláciu Boolovych funkcií v Algebraickej Normálnej Forme. Väčšina existujúcich reprezentácií Boolovych funkcií je založená na binárnych rozhodovacích diagramoch. Algebraická Normálna Forma poskytuje oproti binárnym rozhodovacím diagramom určité výhody, napríklad tú, že sa dá z nej v lineárnom čase určiť Boolova hodnota funkcie. Implementovaná knižnica za pomoci jednoduchých štruktúr poskytuje efektívnu reprezentáciu Boolovej funkcie v programe. Výskumom sme zistili, že reprezentácia pomocou Algebraickej Normálnej Formy má svoj využitie, a v určitých prípadoch dosahuje lepšie výsledky ako reprezentácia pomocou binárnych rozhodovacích diagramov.
|
host ::
RSS.