• Datalogger pro zařízení měřící spektrum ionizujícího záření 

      Autor: Libor Kuchař; Vedoucí práce: Štěpánek Filip; 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., 2021-06-04)
      Datalogger je zařízení zachycující data v čase. V rámci textu závěrečné práce je rozebíráno, jak vhodně navrhnout a realizovat datalogger v domácích podmínkách vhodný pro měření spektra ionizujícího záření. V rámci tohoto ...
    • Implementace Petriho sítě v hradlovém poli 

      Autor: Jakš Zbyněk; Vedoucí práce: Kubátová Hana; 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., 2018-06-08)
      Tato práce se zabývá metodikou převodu popisu Petriho sítí z jazyka PNML do syntetizovatelného zápisu pro programovatelná hradlová pole v jazyce VHDL. V úvodní části představí samotný koncept Petriho sítí, varianty a ...
    • Inkrementální verifikace bezpečnosti na základě binárních rozhodovacích stromů 

      Autor: Hovorka Vojtěch; Vedoucí práce: Ratschan Stefan; Oponent práce: Kohlík Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-16)
    • Inteligentní zabezpečovací systém garáže: Nadřazený systém 

      Autor: Červenka Ondřej; Vedoucí práce: Daňhel Martin; 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., 2018-06-08)
      Tato diplomová práce se zabývá tvorbou zabezpečovacího systému pro správu garáží. Konkrétně jde o návrh a implementaci nadřazeného systému, který sbírá a zpracovává data zaslaná podřízenými systémy v jednotlivých garážích. ...
    • IO-Link Device pro testování IO-Link Masterů 

      Autor: Volf Ondřej; Vedoucí práce: Fenyk Miloš; 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., 2017-05-09)
      Během vývoje IO-Link Master produktů je třeba průběžně testovat funkčnost pomocí různých IO-Link deviců. Tato práce si klade za cíl vytvořit IO-Link test device, který by proces testování značně zjednodušil a umožnil by ...
    • Metody automatické verifikace v registrovém modelu jazyka SystemVerilog 

      Autor: Timur Ganeev; Vedoucí práce: Kohlík Martin; Oponent práce: Borecký Jaroslav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-07)
      Tato práce se zabývá metodologií pro verifikaci digitálních integrovaných obvodů (Universal Verification Methodology - UVM), zejména její registrovou vrstvou (Register Abstraction Layer - RAL). V dané práci je popsán proces ...
    • Pokročilé metody simulace v jazyce SystemVerilog 

      Autor: Miroslav Kallus; Vedoucí práce: Kohlík Martin; Oponent práce: Borecký Jaroslav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-04)
      Tato práce se zabývá prací s nástroji pro simulaci číslicových obvodů. V první části se práce zabývá seznámením se s konstrukcemi jazyka SystemVerilog a knihovny UVM. Dále práce otestuje nástroje pro vytváření testbenchů, ...
    • 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 ...
    • 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 ...
    • 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 ...