|
|
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.
|
|
|
Návrh a realizace aplikace LLC měniče pro ověřování konceptů návrhů integrovaných LLC kontrolérů pomocí emulace
Pokorný, Ondřej ; Levek, Vladimír (oponent) ; Prokop, Roman (vedoucí práce)
Tato bakalářská práce se zabývá návrhem LLC měniče, který bude sloužit pro ověřování prototypů integrovaných obvodů, respektive jejich aplikace. V práci je rozebráno a vysvětleno, proč byl vybrán právě měnič typu LLC. Práce pokračuje rozborem tohoto měniče a popisem jeho činnosti. Stěžejním bodem této práce je numerický návrh se zadanými parametry, který je zakončen simulací, jenž ověřuje vypočtené hodnoty. Finálním výsledkem práce je návrh celého zapojení LLC měniče a testovací desky (modulu) a jejich realizace na DPS. Práce je zakončená ověřením celé konstrukce pomocí navržené testovací desky při praktickém měření. V práci je mimo jiné proveden návrh vlastní konstrukce transformátoru a je rozebrána problematika magnetických obvodů pro LLC měniče.
|
|
|
Penetrační testy systému pro verifikaci řečníka
Nguyen, QuangTrang ; Rohdin, Johan Andréas (oponent) ; Plchot, Oldřich (vedoucí práce)
Cílem bakalářské práce je návrhnout sadu penetračních testů pro verifikaci řečníka s použítím syntézy řeči a dostupných nahrávek cílových mluvčí. Práce zahrnuje studium problematiky pro syntézu řeči, verifikace řečníka a metod pro spoofing se kterými můžeme setkat. Před samotným návrhem testovací sady je popsán systém a jeho komponenty, který byl použít v této práci. V posledních kapitolách práce je uveden popis návrhu testovacích sad a způsob realizace testů. Na závěru jsou vyhodnoceny výsledky a je odpovězeno na otázku, zda je možné prolomit systém pro verfikaci řečníka s využitím metody pro syntézu řeči.
|
|
|
Implementace systému VERICUT do technologického procesu výroby
Gerbel, Jakub ; Fiala, Zdeněk (oponent) ; Slaný, Martin (vedoucí práce)
Tématem této bakalářské práce je implementace verifikačního systému VERICUT do procesu výroby ve spolupráci se společností JHV Engineering. Na základě teoretického rozboru je provedena praktická část. Proběhlo vymodelování 3D modelu obráběcího CNC centra v systému Creo Parametric a sestavení jeho kinematiky v prostředí systému vericut. Byla provedena simulace a následná výroba fyzické součásti. Po vyhodnocení výsledků se ukázalo, že mezi simulací a reálným procesem dochází k určitým odchylkám. Při vytvoření takovéto přesné virtuální kopie stroje, nebo-li digitálního dvojčete, lze eliminovat kolizní stavy a efektivněji plánovat výrobu.
|
host ::
RSS.