|
|
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.
|
|
|
Modely a simulace pochodů bezemisního kolového nakladače s elektrickým pohonem
Cieslar, Filip ; Nevrlý, Josef (oponent) ; Němec, Zdeněk (vedoucí práce)
Tato diplomová práce se zabývá tvorbou modelů simulující pochody bezemisního kolového nakladače, který vznikl přestavbou původní verze se spalovacím motorem. Součástí práce je metodická tvorba modelů od základních částí stroje po zjednodušený model celkového stroje, jeho funkčního ověření a kalibrace na základě dostupných informací a měření. V průběhu práce jsou vybrané parametry celkového modelu stroje verifikovány na základě provedených měření, dále je ověřena vhodnost zvolených komponent a taky je provedena optimalizace a úpravy modelu na základě verifikace. Cílem práce je představení simulačního a verifikačního postupu a jeho praktického využití ve vývoji bezemisního kolového nakladače na elektricky pohon.
|
|
|
Automatic Testing of Software
Mrázik, Matej ; Tisovčík, Peter (oponent) ; Korček, Pavol (vedoucí práce)
The main goal of the bachelor thesis is to automate the testing of IQRF Gateway Daemon software. The practical output is a tool capable of testing the IQRF Gateway Daemon through an emulated virtual network of intelligent devices. In the theoretical part, the work outlines the issues of software testing to the reader. These principles are then applied in testing the IQRF GW Daemon. The reader will get acquainted with the resulting tool and its functionality, which will be able to further expand if necessary.
|
|
|
Hydraulická analýza přiváděcího řadu do vodojemu Kravsko ve Znojmě
Jaroš, Zdeněk ; Lušovský, Michal (oponent) ; Ručka, Jan (vedoucí práce)
Tato bakalářská práce se zabývá hydraulickou analýzou stávajícího vodovodního přiváděcího řadu z vodojemu Kasárna u Znojma do vodojemu Kravsko. Struktura práce je rozdělena do dvou částí – teoretické a praktické. V teoretické části jsou nastíněny používané postupy, principy a dostupné softwarové programy. Důraz je kladen především na software EPANET 2.0, který byl použit pro hydraulickou analýzu. V praktické části se práce zabývá popisem zájmové lokality, terénním průzkumem a následně průběhem měrné kampaně a sestavením hydraulického modelu v programu EPANET 2.0. Poslední část popisuje vyhodnocení provedené hydraulické analýzy a návrh renovace přiváděcího řadu.
|
|
|
AUTOMATED TESTING OF 10GbE DEVICES
Avramović, Nikola ; Dvořák, Vojtěch (oponent) ; Fujcik, Lukáš (vedoucí práce)
This thesis deals with the designs of the functional verification model and the synthesizable tester of the 10Gb Ethernet devices that use XGMII interface. VHDL programming language is used to describe the model. This thesis consists of the creation of the bus functional model and the design of the tester that is implemented as a generic self-test module. The resulting design allows for verification and testing of the PHY and MAC layers. DE5-Net development board was used in the implementation of the tester. The board was fitted with FPGA Stratix V circuit, by Altera.
|
|
|
Identifikace osob pomocí oční duhovky
Horníček, Vladimír ; Maršálek, Roman (oponent) ; Frýza, Tomáš (vedoucí práce)
Bakalářská práce se zabývá identifikací osob pomocí oční duhovky. Hlavní výhodou identifikace osob pomocí oční duhovky je jedinečnost a přesnost lidské oční duhovky. V první části jsou uvedeny a popsány hlavní pojmy z biometrie. Druhá část se zabývá teoretickým základem funkce a činnosti identifikačního systému. Na základě získaných teoretických informací je v simulačním programu Matlab navrhnut a vytvořen program pro porovnávání osob pomocí znaků oční duhovky. Náplň poslední části práce tvoří konečné zhodnocení výsledků.
|
|
|
Snímač otisku prstu
Kovář, Martin ; Sekora, Jiří (oponent) ; Mézl, Martin (vedoucí práce)
Diplomová práce se zabývá problematikou snímání otisku lidského prstu, která je v současnosti velmi aktuální a představuje nejrozšířenější biometrickou technologii. Teoretická část práce seznamuje čtenáře se základy daktyloskopie a biometrie a pojednává o technologiích využívaných ke snímání otisků, o metodách předzpracování pořízených obrazů a o komerčně dostupných bezkontaktních optických snímačích. Praktickou částí práce je realizace bezkontaktního optického snímače založeného na minipočítači Raspberry Pi, implementace algoritmů pro zpracování snímků v jazyce Python a testování zařízení z hlediska kvality získaných otisků.
|
|
|
Tools for analyzing security protocols
Duchovič, Adam ; Burda, Karel (oponent) ; Pelka, Tomáš (vedoucí práce)
This thesis is focused on tools which are used to analyzed security protocols. In the beginning of the thesis key goals of security protocols are mentioned and also basic attacks on them are illustrated. Subsequently basic verification techniques, specification languages and verification tools are described. Next part of thesis contains description of protocols in common syntax. Then the main standards used for evaluation of information security products are mentioned. In the end of thesis two well-known verification tools – AVISPA and Scyther - are described and compared to designed methodology of comparing verification tools and their outputs.
|
host ::
RSS.