|
| |
|
|
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.
|
|
|
Automatické udržování letu RC modelu
Denk, Filip ; Bidlo, Michal (oponent) ; Mrázek, Vojtěch (vedoucí práce)
Práce se zabývá stabilizací letu dálkově ovládaného modelu letadla. Cílem je vytvořit systém, který se v průběhu letu sám postará o to, aby letadlo bylo schopné (bez zásahu pilota) udržovat směr letu. Systém využívá 3-osý gyroskop pro získání polohy letadla. Pro řízení byla použita jednotka Arduino Uno.
|
|
|
Knihovna pro vizualizaci logických obvodů
Scherfel, Walter ; Mrázek, Vojtěch (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Táto bakalárska práca sa zaoberá štúdiou automatického generovania schém a následne návrhom a implementáciou knižnice na automatickú vizualizáciu logických obvodov. Knižnica je implementovaná v jazyku C++ s využitím knižníc Qt (na vizualizáciu) a Boost (na prácu s XML štruktúrou a parsovanie vstupu). Výsledky tejto práce umožňujú, narozdiel od väčšiny ostatných nástrojov plniacich podobný účel, užívateľovi použiť knižnicu, implementovanú v tejto práci, vrámci svojho projektu a prípadne ju doplniť vlastnou implementáciou.
|
|
|
Miniaturní výpočetní cluster složený z mikrokontrolerů
Šídlo, Boleslav ; Mrázek, Vojtěch (oponent) ; Bidlo, Michal (vedoucí práce)
Cílem této práce je prozkoumat možnosti využití miniaturního výpočetního clusteru, složeného z jednoduchých mikrokontrolérů, pro paralelní výpočty. Práce zkoumá chování tohoto výpočetního clusteru při řešení různých typů úloh, popisuje jeho možnosti a omezení. Pokusy byly prováděny na výpočetním clusteru tvořeném čtyřmi vývojovými deskami, které byly osazeny 8-bitovými čipy a komunikovaly přes I2C rozhraní. Výsledkem pokusných měření je srovnání rychlosti výpočtu při použití jednoho mikrokontroléru a při použití clusteru. Experimentálně bylo zjištěno, že v případě aplikací, které nevyžadující velký objem přenášených dat, lze dosáhnout výrazného urychlení. Dále se potvrdil předpoklad, že takto jednoduché mikrokontroléry nejsou vhodné pro výpočty s desetinnými čísly, které vyžadují velkou přesnost.
|
|
|
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.
|
|
|
Akcelerace evolučního návrhu obvodů na úrovni tranzistorů na platformě Zynq
Mrázek, Vojtěch ; Sekanina, Lukáš (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Cílem této práce je návrh a realizace hardwarové jednotky umožňující automatickou syntézu integrovaných obvodů na úrovni tranzistorů. Práce je rozdělena na dvě části. První, teoretická část, se věnuje metodám návrhu obvodů s MOSFET tranzistory a problematice evolučních algoritmů. Dále rozebírá aktuální výsledky výzkumu v této oblasti a navazuje popisem nového přístupu evolučního návrhu a optimalizace číslicových obvodů na úrovni tranzistorů. Následující část se zabývá popisem hardwarové jednotky, která tuto novou metodu akceleruje na obvodu Zynq integrující procesor ARM a programovatelnou logiku. Funkčnost metody je prezentována na optimalizaci vícevstupých obvodů. Hardwarová jednotka byla využita v evolučním návrhu dvou a třívstupých hradel.
|
|
|
Bezdrátová komunikace v oblasti požárního sportu
Pelka, Tomáš ; Mrázek, Vojtěch (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Tato práce se zabývá návrhem bezdrátové časomíry pro disciplíny požárního sportu. Cílem je nahradit dlouhé kabelové rozvody bezdrátovými spoji při zachování srovnatelné, nebo lepší spolehlivosti. S tím souvisí potřeba synchronizovat hodiny mezi jednotlivými bezdrátovými moduly. Důležitou částí práce je proto návrh a implementace vhodného synchronizačního algoritmu a komunikačního protokolu. Navržený systém byl realizován formou prototypu na vývojové platformě Texas Instruments LaunchPad EXP430FR4133 s využitím bezdrátových modulů s čipem Texas Instruments CC1101. Parametry navrženého systému časomíry (zejména přesnost synchronizace a měření) byly ověřeny v laboratorních podmínkách.
|
|
|
Generátor aritmetických obvodů
Bolješik, Michal ; Mrázek, Vojtěch (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Cílem této práce je návrh a implementace nástroje, který umožňuje generovat popis různých variant aritmetických obvodů (jako jsou sčítačky a násobičky), které tvoří součást složitějších systémů (filtrů, transformací apod.). První část práce se věnuje rozboru různých variant sčítaček a násobiček jak z pohledu teoretického, tak praktického. V druhé části lze nalézt popis návrhu a implementaci parametrizovatelného nástroje vytvořeného v jazyce Python, který dovoluje generovat hierarchický i tzv. flattened popis různých obvodů ve formátech určených pro vizualizaci, simulaci i ověření korektní funkce. V závěru je nástroj využit k porovnání různých implementací sčítaček a násobiček.
|
host ::
RSS.