• SAT s diferenciálními rovnicemi 

      Autor: Kolárik Tomáš; Vedoucí práce: Ratschan Stefan; Oponent práce: Surynek Pavel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-08)
      Na mnoho dnešnich systémů, např. vestavných, jsou kladeny vysoké nároky na splněni specifikaci, které často závisi na jevech z fyzikálniho okoli. Pro rozsáhlé systémy se osvědčuje použiti formálni verifikace jako nástroje ...
    • Simulace procesorů v jazyce SystemVerilog 

      Autor: Vojtěch Jílek; Vedoucí práce: Kohlík Martin; Oponent práce: Kašpar Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-02)
      Tato práce se zabývá návrhem simulačních prostředí pro simulaci procesorů v jazyce SystemVerilog. K simulaci procesorů je využita knihovna UVM, její registrový model a vývojové prostředí QuestaSim. V této práci je navrženo ...
    • Sledování stavu vozidla prostřednictvím mobilní aplikace 

      Autor: Zimmerhakl Tomáš; Vedoucí práce: Štěpánek Filip; Oponent práce: Novotný Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-08)
      Tato diplomová práce se zabývá vytvořením mobilní aplikace, která je schopná komunikovat s osobním automobilem přes port OBD-II. Na základě analýzy výhod a nevýhod již existujících aplikací je vypracován návrh vlastní ...
    • Spolupráce průmyslového kooperativního robota s pracovníkem s holografickými brýlemi 

      Autor: Adam Podroužek; Vedoucí práce: Skrbek Miroslav; Oponent práce: Kohlík Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-07)
      Tato diplomová práce má za cíl seznámit čtenáře s problematikou vývoje řídícího softwaru pro kooperativního robota, který ke spolupráci s člověkem využívá rozhraní holografických brýlí. Rešeršní část práce se zabývá analýzou ...
    • Určování míry podobnosti logických obvodů založené na grafových algoritmech 

      Autor: Janusz Piotr Wijas; Vedoucí práce: Fišer Petr; Oponent práce: Bělohoubek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-01-29)
      Tato práce se věnuje výpočtu podobností logických obvodů a zkoumáním závislosti \uv{common-mode} poruch na těchto podobnostech. Nejprve je provedena analýza existujících řešení se zaměřením na grafové algoritmy a návrh ...
    • Určování míry podobnosti logických obvodů založené na grafových algoritmech 

      Autor: Janusz Piotr Wijas; Vedoucí práce: Fišer Petr; Oponent práce: Bělohoubek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-26)
      Tato diplomová práce se zabývá problémem porovnávání logických obvodů pomocí grafových algoritmů.
    • USB záznamník teploty 

      Autor: Škorpil Robert; Vedoucí práce: Zahradnický Tomáš; Oponent práce: Skrbek Miroslav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)
    • Vliv nastavení syntézních parametrů na odolnost proti útokům postranními kanály 

      Autor: Tomáš Balihar; Vedoucí práce: Novotný Martin; Oponent práce: Miškovský Vojtěch
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-26)
      Aby byl návrh kryptografického obvodu použitelný, musí být hlavně bezpečný. Útoky postranními kanály jsou čím dál jednodušeji proveditelné a návrháři obvodů musí věnovat velkou část svého času implementaci obran proti těmto ...
    • Výběr bitů pro SRAM PUF levného mikrokontroléru 

      Autor: Gabriela Hánová; Vedoucí práce: Lórencz Róbert; Oponent práce: Kodýtek Filip
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-26)
      Tato práce se věnuje fyzicky neklonovatelným funkcím (Physical Unclonable Function - PUF) a metodám výběru bitů pro PUF na nízkonákladovém mikrokontroléru. Nejprve je provedena rešerše týkající se problematiky PUF se ...
    • Výpočty nehomogenních spolehlivostních modelů 

      Autor: Jan Řezníček; Vedoucí práce: Kohlík Martin; Oponent práce: Daňhel Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-07)
      V této diplomové práci je popsána metoda výpočtu spolehlivosti a distribuční funkce (selhání) Markovských řetězců s nehomogenními parametry (intenzitami poruch proměnnými v čase) a její implementace v programu Wolfram ...
    • Zařízení pro sledovaní domácnosti pomocí vestavěných systémů využívající GSM síť k přenosu dat 

      Autor: Vojtěch Procházka; Vedoucí práce: Kubalík Pavel; Oponent práce: Miškovský Vojtěch
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-12)
      Diplomová práce se zabývá navržením a realizací sledovacího zařízení pro internet věcí (IoT), které pomocí vestavěných systémů využívá GSM sítě. Vytvořené sledovací zařízení odesílá pořízené fotografie na vzdálený server ...