Now showing items 1-20 of 49

  • Akcelerované neuronové sítě 

    Flax, Michal
    Tato práce se zabývá simulací neuronových sítí a algoritmem Backpropagation . Simulace je akcelerována pomocí standardu OpenMP . Aplikace také umožňuje modifikovat strukturu neuronových sítí a simulovat tak nestandardní ...
  • Akcelerované neuronové sítě na grafické kartě 

    Tomko, Martin
    Tato práce se věnuje implementaci aplikace pro simulaci neuronových sítí a její akceleraci za využití grafického procesoru. Aplikace se zaměřuje především na sítě typu Feedforward a jejich učení algoritmem Backpropagation, ...
  • Alias analýza v překladači jazyka C 

    Bolvanský, Dávid
    Táto práca sa venuje problematike alias analýzy a možnostiam jej vylepšenia v LLVM frameworku. Cieľom tejto práce je zlepšiť jej presnosť, čoho bolo dosiahnuté rozšírením implementácie Andersenovho algoritmu o citlivosť ...
  • Anonymizace SPZ vozidel 

    Skřivánková, Barbora
    Při procházení online map jsou dnes dostupné i souvislé snímky prohlížených míst. Pokud jsou však snímky pořizovány ve veřejném prostoru, nacházejí se na nich také kolemjdoucí lidé a kolemjedoucí vozidla. Cílem této práce ...
  • Aplikace evolučního algoritmu při tvorbě regresních testů 

    Belešová, Michaela
    Cílem této diplomové práce je aplikace evolučního algoritmu při tvorbě a optimalizaci regresních testů. V teoretické části práce je popsána teorie spojená s funkční verifikací, verifikační metodikou, regresními testy a ...
  • Automatizace tvorby scénářů přenositelných stimulů pomocí evolučních algoritmů 

    Tichý, Andrej
    Táto práca sa zaoberá automatizáciou tvorby scenárov pre štandard Portable Stimulus.    Hlavným cieľom práce je automatické generovanie testov, ktoré sú definované formou grafu pre nástroj Questa InFact od spoločnosti ...
  • 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 ...
  • Automatizace verifikace řízené pokrytím pro procesory ASIP 

    Badáň, Filip
    Táto práca sa zaoberá návrhom a implementáciou automatizácie verifikácie riadenej pokrytím pomocou genetického algoritmu pre aplikačne špecifické procesory. Cieľom práce je prepojiť verifikačné prostredie podľa metodiky ...
  • Automatizované testování webových stránek 

    Jeniš, Vilém
    Práce se týká automatizace testů uživatelského rozhraní. Po stručném úvodu jsou popsány některé nástroje, které usnadňují tvorbu automatických testů uživatelského rozhraní webových aplikací a následně je prezentován návrh ...
  • Elektronická šachovnice na FITKitu 

    Kubín, Jakub
    Tato bakalářská práce se zabývá analýzou, návrhem a implementací hry šachy na platformě FITkit. K platformě je připojen VGA monitor, na kterém je zobrazena šachovnice s figurami. Hra je ovládána pomocí klávesnice na FITkitu. ...
  • Evoluční návrh kombinačních obvodů na počítačovém clusteru 

    Pánek, Richard
    Tato diplomová práce se zabývá evolučními algoritmy a jejich použitím při návrhu kombinačních obvodů. Pro tento typ úloh je nejvhodnější genetické programování, především pak CGP. Dále se zabývá výpočtem na počítačových ...
  • Evoluční návrh struktur využívající přepisovací systémy 

    Dobeš, Michal
    Tato práce se zabývá aplikací přepisovacích systémů pro biologií inspirovaný vývin struktur v oblasti evolučních algoritmů. V rámci práce byla vytvořena metoda pro návrh obecných struktur založená na uvedeném principu. ...
  • Evoluční návrh využívající gramatickou evoluci 

    Repík, Tomáš
    p, li { white-space: pre-wrap; } Evoluce v přírodě slouží jako zdroj inspirace pro tuto práci . Základní myšlenkou je využití generativní síly gramatik v kombinaci s evolučním přístupem . Nabyté znalosti jsou aplikovány ...
  • Evoluční optimalizace analogových obvodů 

    Mihulka, Tomáš
    Cílem práce bylo vytvořit systém pro optimalizaci vybraných analogových obvodů pomocí evoluce s různými fitness funkcemi. Taktéž na tomto systému provádět sadu experimentů a na jejich základě vyhodnotit možnosti evoluční ...
  • Evoluční optimalizace analogových zesilovačů 

    Bielik, Marek
    Táto práca demonštruje možnosti využitia evolučných algoritmov, konkrétne evolučných stratégií, v doméne dizajnu analógových zosilňovačov. Do implementácie je zahrnutý ngSPICE simulátor, ktorý je použitý na vyhodnotenie ...
  • Funkční verifikace robotického systému pomocí UVM 

    Krajčír, Stanislav
    Jedním z aktuálně nejvíce využívaných přístupů pro verifikaci hardwarových systémů je funkční verifikace. Tato diplomová práce se zabývá tvorbou verifikačního prostředí s využitím metodiky UVM (Universal Verification ...
  • Generátor změn obrazu burzy 

    Cienciala, Ondřej
    Tento dokument analyzuje zprávy zasílané burzami NYSE Arca a ISE a popisuje návrh generátoru, který generuje zprávy měnící obraz burzy. Lze ho využít pro testování programů, které pracují s informacemi zasílanými elektronickými ...
  • Generování objektových souborů pro RISC-V 

    Benna, Filip
    Tato diplomová práce se zabývá překladem zdrojových souborů programů pro procesorovou architekturu RISC-V. Smyslem rozšíření překladových nástrojů, které je v této práci popsáno, je kompatibilita vzniklých objektových ...
  • Hardwarově akcelerovaná funkční verifikace 

    Zachariášová, Marcela
    Funkční verifikace je jednou z nejrozšířenějších technik ověřování korektnosti hardwarových systémů podle jejich specifikace. S nárůstem složitosti současných systémů se zvyšují i časové požadavky kladené na funkční ...
  • Hardwarově akcelerovaná funkční verifikace procesoru 

    Funiak, Martin
    Mezi aktuálně používané verifikační přístupy patří funkční verifikace. Při funkční verifikaci se ověřuje korektnost implementace počítačového systému vzhledem k specifikaci. Slabým místem v rámci přístupu funkční verifikace ...