|
|
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.
|
|
|
Evoluční návrh kvantového operátoru
Kraus, Pavel ; Mrázek, Vojtěch (oponent) ; Bidlo, Michal (vedoucí práce)
Cílem této práce bylo využít pro návrh kvantových operátorů v podobě unitárních matic v přímé reprezentaci různé evoluční algoritmy. Byly zvoleny algoritmy evoluční strategie, diferenciální evoluce, optimalizace hejnem částic a optimalizace umělým včelstvem. Třetí a čtvrtý zmíněný algoritmus byl pro návrh kvantových operátorů použit v této práci poprvé. Na experimentech bylo ukázáno, že použití přímé reprezentace dosahuje výsledků přijatelné kvality.
|
|
|
Monitorování teploty menších objektů
Handzuš, Jakub ; Wiglasz, Michal (oponent) ; Mrázek, Vojtěch (vedoucí práce)
Cieľom tejto práce je navrhnúť a implementovať IoT systém pre sledovanie teploty ovzdušia menších objektov, napr. domácností. Nakoľko má byť daný systém finančne dostupný širšej verejnosti, je nutné, aby bol schopný plnej funkcionality aj pri nízkych obstarávacích a prevádzkových nákladoch - na základe tejto požiadavky je nutné vykonať analýzu dostupných alternatív pre prevádzku systémov. Pri výbere vhodnej technológie pre ukladanie získaných dát je potrebné brať ohľad na operácie, ktoré budú nad dátami najčastejšie vykonávané - z tohto dôvodu je vykonaná sada experimentov nad niekoľkými druhmi databázových systémov. Na základe poznatkov zozbieraných počas analýzy a experimentovania sa ako optimálne riešenie javí kombinácia generickej databázy so službami webových hostiteľských serverov. Vo výslednom systéme teda senzor odosiela získané dáta na serverovú časť s databázou, pričom spracované dáta sú následne interpretované za pomoci vizualizácií na klientskej strane.
|
|
|
Využití strojového učení pro zvýšení robustnosti určení pozice v bezdrátovém pozičním systému
Matuš, Adam ; Mrázek, Vojtěch (oponent) ; Šimek, Václav (vedoucí práce)
Tato diplomová práce se zabývá seznámením se s poziční platformou Sewio a technikami širokopásmové komunikace UWB, které platforma využívá pro určování pozic objektů. Stávající technologie je založena na měření časových intervalů příchodu signálů a multilateraci pomocí časových rozdílů. Platforma generuje a ukládá historická data z proběhlé lokalizace objektů. Datovou sadu tvoří sekvence pozičních dat, které kromě relativních souřadnic obsahují i relevantní signálové parametry bezdrátové komunikace. Po analýze pozičních dat z reálných instalací byl navržen a implementován systém strojového učení založený na technikách klasifikace Gaussovským rozložením a predikce lineární regresí. Systém funguje jako komponenta, jejiž vstupem jsou poziční data existujícího RTLS systému a výstupem je robustnější odhad pozic. Evaluační výsledky ukazují zlepšení stability pozic a odstranění konfliktních a odskočených souřadnic.
|
|
|
Kompaktní systém pro autonomní odečet měřidel
Podeszwa, David ; Mrázek, Vojtěch (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Tato práce řeší problém s nedostatečným dosahem měřidel WMBUS, díky čemuž je jejich odečet stále složitý. Vytvořená realizace tento problém řeší použitím baterií napájeného zařízení, jenž tento dosah rozšíří použitím sítě LoRaWAN, kdy jsou touto sítí přijatá data z měřidel odesílána dále ke zpracování. Vytvořené zařízení je schopné příjmu WMBUS rámců a jejich následným odesíláním po minimální dobu 9 let. Hlavním z přínosů je implementace takovéhoto zařízení na nové platformě STM32WL, jenž je díky integraci mikroprocesoru a Sub-GHz přijímače v jednom čipu unikátní.
|
host ::
RSS.