Now showing items 1-20 of 50

  • 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ů ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 systému VERICUT do technologického procesu výroby 

    Gerbel, Jakub
    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í ...
  • 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 ...
  • January Effect at Czech Capital Market 

    Luhan, Jan; Novotná, Veronika; Štěpánková, Vladěna (Mykolas Romeris university, 2011-12-01)
    In the course of the investment process it is necessary to examine a large number of stocks (stock groups) within wide categories of financial assets. The main objective is to find stocks that are not rated correctly at ...
  • Jednoduchý textově nezávislý hlasový zámek - Softwarový systém pro verifikaci mluvčích 

    Kotulek, Milan
    V této diplomové práci jsou představeny různé formy biometriky a následně řešena problematika verifikace osob prostřednictvím hlasu. Nejprve je provedena analýza nahrávek řeči, vyhledání samohláskových úseků, ze kterých ...
  • Kauzální analýza chyb řídících programů 

    Čapková, Hana
    Bakalářská práce se zabývá problematikou odhalování chyb v softwarových programech. Práce obsahuje hierarchicky organizovanou typologii softwarových chyb, získanou rešeršemi z dostupné literatury, analýzu vlivů na vznik ...
  • Kodér a dekodér samoopravného kódu pro programovatelné paměti typu ROM 

    Bareš, Jan
    Práce se zabývá teorií kódování, analyzuje současné skupiny samoopravných kódů a popisuje vlastnosti a parametry vybraných zástupců těchto skupin. Na základě daných kritérií vybírá porovnáním těchto parametrů a vlastností ...
  • Matematický model vytápění užitím tepelného čerpadla 

    Dobeš, Radim
    V této bakalářské práci se zabýváme návrhem matematického modelu vytápění s využitím tepelného čerpadla a vypočtením základních provozních výstupů. Dále programujeme vhodné uživatelské prostředí a vyhodnocujeme již vytvořený ...
  • Metoda pro simulaci energetické náročnosti výrobních strojů v etapě vývoje 

    Tůma, Jiří
    Disertační práce je zaměřena na návrh metody pro simulaci energetické náročnosti obráběcího stroje v provozu ve fázi jeho vývoje. Pro návrh metody jsou východiskem poznatky získané z rešeršní práce z oblastí vědy a průmyslu. ...
  • Model stárnutí unipolárního tranzistoru 

    Novosád, Jiří
    Práce se zabývá problematikou stárnutí unipolárního tranzistoru. V teoretické části jsou popsány mechanismy, způsobující stárnutí unipolárního tranzistoru a způsoby omezení vlivu změny parametrů v čase Na základě teoretických ...