Browsing by Author "Kohlík Martin"

Now showing items 1-20 of 23

    • Analýza možností uživatelských funkcí a knihoven v Mathematice 

      Author: Řezníček Jan; 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., 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.

    • Aplikace pro podporu výuky ATPG algoritmů 

      Author: Martin Fabík; 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., 2024-06-06)
      Cílem práce je analýza a vytvoření výukové pomůcky, která studentům i vyučujícím pomůže při vizualizaci a krokování základních algoritmů pro hledání testovacích vektorů pro logické obvody. V~současné chvíli sice existují ...

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

      Author: Libor Kuchař; Supervisor: Štěpánek Filip; 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., 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 ...

    • Dálkový ovladač modelu auta 

      Author: Jiránková Zuzana; Supervisor: Borecký Jaroslav; 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-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í ...

    • Generátor elektrických obvodů pro předmět ČAO 

      Author: Branda Šimon; Supervisor: Kubalík Pavel; 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-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 ...

    • Hardwarová realizace Petriho sítí 

      Author: Soukup Petr; Supervisor: Kubátová Hana; Opponent: Kohlík Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14)

    • Implementace Petriho sítě v hradlovém poli 

      Author: Jakš Zbyněk; 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 ...

    • Inkrementální verifikace bezpečnosti na základě binárních rozhodovacích stromů 

      Author: Hovorka Vojtěch; Supervisor: Ratschan Stefan; Opponent: 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 

      Author: Červenka Ondřej; 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. ...

    • IO-Link Device pro testování IO-Link Masterů 

      Author: Volf Ondřej; 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 ...

    • Metody automatické verifikace v registrovém modelu jazyka SystemVerilog 

      Author: Timur Ganeev; Supervisor: Kohlík Martin; Opponent: 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 ...

    • Nástroj pro generování bezpečnostních kódů ve VHDL pomocí programu Wolfram Mathematica 

      Author: Timur Ganeev; Supervisor: Kubalík Pavel; 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., 2021-01-28)
      Tato bakalářská práce se zabývá návrhem a implementací nástrojů pro generování bezpečnostních kódů v prostředí Wolfram Mathematica. Na základě vstupních parametrů, jako například počet informačních bitů, názvy výstupních ...

    • Návrh systému na čipu pomocí formálního modelu 

      Author: Snopkov Oleksandr; Supervisor: Kubátová Hana; Opponent: Kohlík Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)

    • Pokročilé metody simulace v jazyce SystemVerilog 

      Author: Miroslav Kallus; Supervisor: Kohlík Martin; Opponent: 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ů, ...

    • Realizace základních matematických funkcí s pomocí hardware 

      Author: Jan Brokeš; Supervisor: Kubalík Pavel; 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-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 ...

    • Simulace procesorů v jazyce SystemVerilog 

      Author: Vojtěch Jílek; Supervisor: Kohlík Martin; Opponent: 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í telemetrických dat robotů pomocí holografických brýlí 

      Author: Pavel Chytrý; 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-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é ...

    • Spolupráce průmyslového kooperativního robota s pracovníkem s holografickými brýlemi 

      Author: Adam Podroužek; 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 ...

    • Výpočty nehomogenních spolehlivostních modelů 

      Author: Jan Řezníček; 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 ...

    • Webová aplikace pro spolehlivostní analýzu 

      Author: Daniel Vrátil; 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., 2024-06-07)
      Tato diplomová práce se zabývá návrhem a implementací webové aplikace, která umožňuje vytvářet spolehlivostní analýzy metodou stromu poruch. Hlavním cílem práce je vytvořit dostupný nástroj pro tvorbu komplexní spolehlivostní ...