Hledat
Zobrazují se záznamy 1-9 z 9
Inkrementální verifikace bezpečnosti na základě binárních rozhodovacích stromů, Incremental Binary-Decision-Diagram-Based Safety Verification
; 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)
IO-Link Device pro testování IO-Link Masterů, IO-Link Device for testing of IO-Link Masters
; 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 ...
Výpočty nehomogenních spolehlivostních modelů, Nonhomogeneous dependability models calculations
; 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 ...
Datalogger pro zařízení měřící spektrum ionizujícího záření, Datalogger for ionizing radiation spectrum measuring equipment
; 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 ...
Pokročilé metody simulace v jazyce SystemVerilog, Advanced simulation methods in SystemVerilog
; 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ů, ...
Spolupráce průmyslového kooperativního robota s pracovníkem s holografickými brýlemi, Cooperation of an industrial cooperative robot with a worker with holographic glasses
; 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 ...
Implementace Petriho sítě v hradlovém poli, Petri Net Implementation in FPGA
; 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 ...
Inteligentní zabezpečovací systém garáže: Nadřazený systém, Intelligent security system of a garage: Superset system
; 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. ...
Simulace procesorů v jazyce SystemVerilog, CPU simulation in SystemVerilog
; 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 ...