Now showing items 1-20 of 47

  • 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 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 ...
  • Implementace procesoru MicroBlaze v jazyce CodAL 

    Hájek, Radek
    Diplomová práce obsahuje teoretický základ, rozdělení a funkce procesorů. Shrnuje princip zřetězeného zpracování instrukcí a druhy hazardů v mikroarchitektuře procesorů. Dále seznamuje s možnostmi návrhu procesorů pomocí ...