Now showing items 1-20 of 68

  • Agreements and Disagreements between Automatic and Human Speaker Recognition 

    Valenta, Jakub
    Tato práce se zabývá problémem rozpoznáváním mluvčího. Uvedený pojem je definován a doplněn o jednotlivé metody, které s ním souvisí. Cílem práce je poukázat na shody a rozdíly mezi lidským a automatickým procesem rozpoznávání ...
  • Analýza a testování vícevláknových programů 

    Letko, Zdeněk
    V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pro jejich dynamickou detekci. Následně jsou navrženy nové metriky pro měření synchronizace a souběžného chování programů ...
  • Analýza procesu testování bezpečnostních prvků s airbagy v automobilech 

    Uher, Daniel
    Práce se zabývá analýzou a návrhem metodiky procesu testování bezpečnostních prvků v automobilech.
  • Aplikace pro generování a ověřování konfigurací síťových zařízení 

    Korček, Juraj
    Cieľom tejto diplomovej práce je návrh a následná implementácia programu na nájdenie bezpečnostných a prevádzkových nedostatkov v sieťových zariadeniach, ako aj ich náprava pomocou generovania opravnej konfigurácie. Z ...
  • Automatická formální verifikace korektnosti programů v nástrojích SDV, Copper a podobných 

    Kovalič, Peter
    Tato práce se věnuje verifikaci ovládačů. Používají se při tom model checkery, hlavní z nich je Static Driver Verifier. Pomocí něj se kontroluje zvolený ovládač Ext2Fsd. Patří do skupiny ovládačů souborových systémů. ...
  • Automatická kontrola nastavení DNSSEC na DNS serverech 

    Lat, Radek
    Tato práce se zabývá návrhem a implementací nástroje pro kontrolu nastavení bezpečnostního rozšíření DNSSEC na DNS serverech. Cílem je provádět automatickou kontrolu podpisů, sledování používaných šifrovacích algoritmů a ...
  • Automatické testování software 

    Mrázik, Matej
    Hlavnym cieľom bakalárskej práce je automatizácia testovania softvéru IQRF Gateway Daemon. Praktickym vystupom je nástroj schopny testovať IQRF Gateway Daemon prostredníctvom emulovanej virtuálnej siete inteligentnych ...
  • Automatický hydroponický systém 

    Borsuk, Adam
    Cieľom bakalárskej práce je preštudovať problematiku návrhu a tvorby automatického hydroponického systému pre pestovanie rastlín a riešiť tvorbu súčastí systému podľa základných podmienok pre rast rastlín a následne ich ...
  • Automatizace verifikace pomocí neuronových sítí 

    Fajčík, Martin
    Úlohou tejto práce je analýza a riešenie optimalizačných problémov vychádzajúcich z automatizácie funkčnej verifikácie hardvéru pomocou umelých neurónových sietí. Verifikácia ľubovoľného integrovaného obvodu (Design Under ...
  • Biometrie s využitím videosekvencí sítnice 

    Oweis, Kamil
    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 ...
  • Bounded model checking v nástroji Java PathFinder 

    Dudka, Vendula
    Diplomová práce je věnovaná aplikaci formální metody bounded model checking pro automatickou opravu chyb. Oprava se specializuje na chyby spojené se souběžností. Práce je zaměřena na programy napsané v jazyce Java, a proto ...
  • Energy-Pile Model Verification 

    Šikula, Ondřej; Slávik, Richard; Eliáš, Jan; Oravec, Jakub; Kašpar, Antonín (KGH, 2020-12-31)
    Equipping the foundation piles with a liquid circuit pipeline makes it possible to use the advantageous thermal capacity of the soil for heating and cooling buildings at low cost. The energy performance of the energy-pile ...
  • Hodnocení kontrolních procesů systému řízení automobilů 

    Uher, Daniel
    Práce se bude zabývat návrhem metodiky kvantifikace kontrolních systémů pro hodnocené charakteristiky jakosti systémů řízení automobilů. . Navržená metodika je primárně určena pro firmu TRW Dačice, ale její základní prvky ...
  • Hydraulická analýza přiváděcího řadu do vodojemu Kravsko ve Znojmě 

    Jaroš, Zdeněk
    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é ...
  • Hydraulická analýza vodovodní sítě obce Ostopovice 

    Jaroš, Zdeněk
    Práce je zaměřena na hydraulickou analýzu vodovodní sítě obce Ostopovice, okres Brno-venkov. V rámci práce byl proveden terénní průzkum spotřebiště a následně vytvořen podrobný kvazidynamický hydraulický simulační model ...
  • Hydraulické posouzení stokové sítě obce Lipůvka 

    Balas, Jan
    Diplomová práce se zabývá hydraulickým posouzení stokové sítě v obci Lipůvka pomocí simulačního modelu. Obsažena je zde kapitola věnovaná matematickému modelování proudění vody ve stokových sítích spolu s výčtem některých ...
  • Identifikace osob pomocí oční duhovky 

    Horníček, Vladimír
    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 ...
  • Identifikace osob pomocí otisku hlasu 

    Mekyska, Jiří
    Tato práce se zabývá textově závislým rozpoznáváním řečníků v systémech, kde existuje pouze omezené množství trénovacích vzorků. Pro účel rozpoznávání je navržen otisk hlasu založený na různých příznacích (např. MFCC, PLP, ...
  • Implementace přijímače a vysílače protokolu RMAP do FPGA 

    Walletzký, Ondřej
    Práce se zabývá návrhem a implementací řadičů protokolu RMAP používaného pro přístup do paměti mezi koncovými uzly sítě SpaceWire. V teoretické části seznamuje se sítí SpaceWire, poté podrobně popisuje protokol RMAP a ...
  • Implementace výpočtu FFT v obvodech FPGA a ASIC 

    Dvořák, Vojtěch
    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 ...