ČVUT DSpace
  • Search DSpace
  • Čeština
  • Login
  • Čeština
  • Čeština
Untitled 
  •   ČVUT DSpace
  • Czech Technical University in Prague
  • Faculty of Information Technology
  • Department of Digital Design
  • Master Theses - 18103
  • Untitled
  • Czech Technical University in Prague
  • Faculty of Information Technology
  • Department of Digital Design
  • Master Theses - 18103
  • Untitled
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-10 of 10

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Author Asc
  • Authort Desc
  • Advisor Asc
  • Advisor Desc
  • Oponnet Asc
  • Opponet Desc
  • Issue Date Asc
  • Issue Date Desc
  • Accepted Date Asc
  • Accepted Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100

Inkrementální verifikace bezpečnosti na základě binárních rozhodovacích stromů, Incremental Binary-Decision-Diagram-Based Safety Verification 

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)

IO-Link Device pro testování IO-Link Masterů, IO-Link Device for testing of IO-Link Masters 

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 ...

Výpočty nehomogenních spolehlivostních modelů, Nonhomogeneous dependability models calculations 

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 ...

Datalogger pro zařízení měřící spektrum ionizujícího záření, Datalogger for ionizing radiation spectrum measuring equipment 

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 ...

Pokročilé metody simulace v jazyce SystemVerilog, Advanced simulation methods in SystemVerilog 

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ů, ...

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 

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 ...

Implementace Petriho sítě v hradlovém poli, Petri Net Implementation in FPGA 

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 ...

Inteligentní zabezpečovací systém garáže: Nadřazený systém, Intelligent security system of a garage: Superset system 

Č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. ...

Simulace procesorů v jazyce SystemVerilog, CPU simulation in SystemVerilog 

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 ...

Metody automatické verifikace v registrovém modelu jazyka SystemVerilog, Automatic verification methods in the SystemVerilog register access layer 

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 ...

České vysoké učení technické v Praze copyright © 2016 

DSpace software copyright © 2002-2016  Duraspace

Contact Us | Send Feedback
Theme by 
@mire NV
 

 

Useful links

CTU in PragueCentral library of CTUAbout CTU Digital LibraryResourcesStudy and library skillsResearch support

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

Discover

Author
Kohlík Martin (10)
Borecký Jaroslav (2)Daňhel Martin (2)Adam Podroužek (1)Fenyk Miloš (1)Hovorka Vojtěch (1)Jakš Zbyněk (1)Jan Řezníček (1)Kašpar Jiří (1)Kubátová Hana (1)... View MoreSubjectSystemVerilog (3)simulace (2)simulation (2)Algorithm (1)Algoritmus (1)bezpečnost,webová aplikace,HTTPS,Raspberry Pi,Python,Flask (1)Built-in sequences (1)cooperative robot (1)Coverage (1)Coverage collection (1)... View More

České vysoké učení technické v Praze copyright © 2016 

DSpace software copyright © 2002-2016  Duraspace

Contact Us | Send Feedback
Theme by 
@mire NV