Hledat
Zobrazují se záznamy 1-10 z 16
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 ...
Analýza možností uživatelských funkcí a knihoven v Mathematice, Analysis of the possibilities of user functions and libraries in Mathematica
; 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., 2017-05-16)
Obsahem bakalárské práce je návod na tvorbu knihovny pro výpocty v programu Wolfram Mathematica a její dokumentace. Práce také obsahuje príklad použítí takto vytvorené knihovny pro výpocet Markovských modelu spolehlivosti.
Generátor elektrických obvodů pro předmět ČAO, Automatic analog circuit generator
; Vedoucí práce: Kubalík Pavel; 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-13)
Tato práce se zabývá návrhem a implementací aplikace na generování elektrických obvodů pro předmět BI-ČAO. Výsledná aplikace umožňuje náhodné vygenerování obvodu se zvoleným počtem hran a součástek, výměnu jednotlivých ...
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ů, ...
Dálkový ovladač modelu auta, Remote control of the model car
; Vedoucí práce: Borecký Jaroslav; 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-13)
Práce se zaměřuje na dokumentaci sestavení funkčního modelu auta na dálkové ovládání náklonem hřbetu ruky pomocí vývojových a rozšiřujicích desek od společnosti STMicroelectronics. Cílem praktické části je sestrojit funkční ...
Realizace základních matematických funkcí s pomocí hardware, Hardware implementation of essential mathematical functions
; Vedoucí práce: Kubalík Pavel; 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-13)
Předmětem práce je efektivní výpočet matematických funkcí (logaritmus, druhá odmocnina, goniometrické funkce) v FPGA s následným využitím ve výuce FIT ČVUT v Praze. V práci jsou vytvořeny modely algoritmů s podrobným ...
Sledování telemetrických dat robotů pomocí holografických brýlí, Projection of the robot telemetric data by Hololens
; 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-13)
Tato práce se zaměřuje na praktické využití holografických brýlí HoloLens první generace a vývoj aplikace schopné zobrazit telemetrická data (např. výstupy z čidel, PWM signály do motorů a serv, nebo i jakékoliv proměnné ...