|
|
Implementace výpočtu FFT v obvodech FPGA a ASIC
Dvořák, Vojtěch ; Bohrn, Marek (oponent) ; Fujcik, Lukáš (vedoucí práce)
Cílem diplomové práce je navrhnout implementaci algoritmu rychlé Fourierovi transformace, kterou lze použít v obvodech FPGA nebo ASIC. Implementace bude modelována v prostředí Matlab a následně bude použit tento návrh jako referenční model pro popis implementace algoritmu rychlé Fourierovy transformace v jazyce VHDL. Pro ověření správnosti návrhu bude vytvořeno verifikační prostředí a provedena verifikace. V poslední části práce bude navržen program, který bude generovat zdrojové kódy pro různé parametry modulu provádějícího rychlou Fourierovu transformaci.
|
|
|
Rozšíření plánovače testů pro distribuované systémy
Mészáros, Filip ; Ráb, Jaroslav (oponent) ; Ščuglík, František (vedoucí práce)
Tato bakalářská práce se zabývá automatickým testováním softwaru s použitím plánovače testů. Popisuje tvorbu rozšíření existujícího plánovače testů tak, aby bylo možné efektivně rozdělit skupinu testů na části, které se budou vykonávat nezávisle na sobě. Jednotlivé testy jsou rozdělovány na základě společných vlastností prostředí, které je pro tyto testy nutno připravit, a na základě závislostí mezi testy. Práce dále popisuje, jaké optimalizace jsou použity pro rozdělování testů do podmnožin. Každá podmnožina testů je spouštěná na samostatném testovacím systému a tím je snížen čas potřebný pro otestování testovaného softvéru danou sadou testů. Vytvořený nástroj se úspěšně používá při každodenním testování několika produktů ve firmě Acision, pro kterou byl tento nástroj vytvářen.
|
|
|
Prostředí pro funkční verifikaci multi-sběrnic podle UVM standardu
Beneš, Tomáš ; Šišmiš, Lukáš (oponent) ; Kekely, Lukáš (vedoucí práce)
Práce se zabývá návrhem a následnou implementací prostředí pro verifikace multi-sběrnic s využitím principů univerzální verifikační metodologie (UVM). Dále se zabývá implementací verifikací tří FPGA konkrétních komponent využívající multi-sběrnice jako vstupní a výstupní rozhraní. Implementace prostředí i všech verifikací je napsaná v jazyce SystemVerilog s využitím knihovny implementující základní konstrukce pro UVM. Dosažené výsledky práce jsou funkční a jednoduše znovupoužitelné při tvorbě dalších verifikací využívající multi-sběrnic. Navržené prostředí se dají využít jako struktura pro tvorbu dalších verifikačních prostředí pro jiné sběrnice.
|
|
|
Statistická přejímka
Vyškovský, Jaroslav ; Fiala, Alois (oponent) ; Pernikář, Jiří (vedoucí práce)
Tato práce řeší statistickou přejímkou kontrolu velkých objemů produktů dovážených do České republiky. Práce jako taková je konstruována tak, aby bylo možno danou metodiku užít i u jiných aplikací a produktů než na jaké bylo navrženo konkrétní řešení. Vypracování této práce bylo provedeno ve spolupráci s firmou, zabývající se segmentem spojovacích prvků pro dřevozpracující průmysl. Využity byly dostupné standardy, jak pro určení potřebných charakteristik jakosti produktů, tak pro tvorbu samotné metodiky. Závěrem této práce je technické a ekonomické zhodnocení navržené metodiky, provedené na modelovém zastupujícím produktu.
|
|
|
Biometrie s využitím videosekvencí sítnice
Oweis, Kamil ; Odstrčilík, Jan (oponent) ; Kolář, Radim (vedoucí práce)
Biometrické metody jsou nejmodernější způsob pro rozpoznání a ověření totožnosti osob. Jsou poměrně rychlé, bezpečné a použitelné v různých situacích. V této práci je použita sada snímků oční sítnice získaných použitím video oftalmoskopu. Snímky jsou dále upraveny pro další zpracování, nejprve převedením na černobílý binární obraz, v některých případech pak byla použita binární matice pro popis daného snímku. Poté byla navržena metoda srovnání snímků databáze s referenčním snímkem oční sítnice nazvaná metoda překrytí a posunu. Byla testována sada černobílých a poté i šedých snímků. Všechny výpočty metody byly realizovány v programu Matlab, jehož výsledkem bylo určení nejvíce shodného snímku se snímkem referenčním a vyhodnocení celkové přesnosti programu.
|
|
|
Verifikace rukopisu a podpisu
Beránek, Jan ; Řezníček, Ivo (oponent) ; Španěl, Michal (vedoucí práce)
Tato práce se zabývá metodami verifikace ručně psaného podpisu a rukopisu. Shrnuje a popisuje některé užívané techniky a odkazuje na příslušnou literaturu. Dalším tématem práce je návrh a implementace jednoduché aplikace pro verifikaci rukopisu. Aplikace je založena na hranové detekci a porovnání vybraných strukturálních a statistických příznaků. Jako podpůrný nástroj pro rozhodování je použit SVM klasifikátor z balíku LIBSVM. Aplikace je napsána v jazyce C a využívá grafickou knihovnu OpenCV. Testovací i trénovací sada byla vytvořena ze vzorků rukopisu z internetové databáze IAM Handwriting Database. Aplikace je vytvořena a testována v prostředí operačního systému Windows XP.
|
|
|
Koncept rychlonabíjecí stanice pro elektromobily s akumulací
Miškovský, Ján ; Morávek, Jan (oponent) ; Mastný, Petr (vedoucí práce)
Predmetom tejto práce je vytvorenie konceptu rýchlonabíjacej stanice s akumuláciou a využitím obnoviteľných zdrojov. V úvodnej časti diplomovej práce je popísaná normou stanovená špecifikácia nabíjania elektromobilu za použitia technológie striedavého alebo jednosmerného prúdu a vytvorený prehľad možností použitia nabíjacích konektorov. Prvá časť taktiež obsahuje prehľad technológie obnoviteľných zdrojov energie s využitím akumulácie pre nabíjaciu stanicu. V druhej časti práce na základe teoretických podkladov je vytvorený matematický model nabíjacej stanice v prostredí Matlab/Simulink. Funkčnosť modelu stanice je verifikovaná s fyzikálnym laboratórnym modelom. Pre overenie možnosti pripojenia stanice k distribučnej sieti je vytvorená simulácia úbytkov napätí v prostredí Matlab/Simulink. Následne v práci sú nasimulované štyri 24 hodinové scenáre. Podľa predpokladov simulácie je navrhnutá technológia stanice a prepojenie jednotlivých komponentov. Následne je vypracovaná energetická a finančná analýza projektu nabíjacej stanice do roku 2030.
|
|
|
Zpracujte revizi zadaného elektrického zařízení
Lanc, Rudolf ; Mach, Martin (oponent) ; Veselka, František (vedoucí práce)
Revize elektrického zařízení je ověření stavu zařízení z hlediska bezpečnosti. Cílem bakalářské práce je revize vybraného elektrického zařízení. Na vybraném zařízení bude provedena prohlídka, měření, kontroly a zkoušky, které předepisují normy. Na základě zjištěných skutečností bude vystavena revizní zpráva, ve které budou případné nedostatky popsány. Dále budou vysvětlena případná rizika a navržen způsob jejich eliminace.
|
|
|
Vizualizace datových struktur pro verifikační nástroje
Holubec, Michael ; Lengál, Ondřej (oponent) ; Peringer, Petr (vedoucí práce)
Cílem práce je objektově orientovaný návrh a implementace knihovny, která poskytne verifikačnímu nástroji Predator a dalším nástrojům jednotné rozhraní pro vizualizaci interních datových struktur především pro účely jejich ladění. Práce analyzuje některé vlastnosti verifikačních nástrojů Predator, Forester a CPAchecker. Knihovna poskytuje nejen grafický, ale také textový výstup ve formátu jazyka DOT. Výsledek byl otestován připojením knihovny k verifikačnímu nástroji Predator.
|
|
|
Test Driven Development for FPGA Designs
Halász, Dávid ; Strnadel, Josef (oponent) ; Šimek, Václav (vedoucí práce)
This bachelor's thesis describes, how test-driven development can be used in hardware, especially for FPGA development. The essential theory for understanding the context is described. Some available tools for assertion-based hardware verification and unit-testing are presented and demonstrated on a reference design. One of the introduced tools was selected and with that a test-driven developed SPI interface was created and successfully verified.
|
host ::
RSS.