Search
Now showing items 1-6 of 6
Inkrementální verifikace bezpečnosti na základě binárních rozhodovacích stromů, Incremental Binary-Decision-Diagram-Based Safety Verification
; Supervisor: Ratschan Stefan; Opponent: 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
; Supervisor: Fenyk Miloš; Opponent: 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 ...
Implementace Petriho sítě v hradlovém poli, Petri Net Implementation in FPGA
; Supervisor: Kubátová Hana; Opponent: 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
; Supervisor: Daňhel Martin; Opponent: 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. ...
Výpočty nehomogenních spolehlivostních modelů, Nonhomogeneous dependability models calculations
; Supervisor: Kohlík Martin; Opponent: 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 ...
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
; Supervisor: Skrbek Miroslav; Opponent: 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 ...