Now showing items 1-6 of 6

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