|
|
Generic Flow Analysis in Computer Networks
Jančová, Markéta ; Holkovič, Martin (referee) ; Kolář, Dušan (advisor)
Tato práce se zabývá problematikou popisu síťového provozu pomocí automaticky vytvořeného modelu komunikace. Hlavním zaměřením jsou komunikace v řídicích systémech , které využívají speciální protokoly, jako je například IEC 60870-5-104 . V této práci představujeme metodu charakteristiky síťového provozu z pohledu obsahu komunikace i chování v čase. Tato metoda k popisu využívá deterministické konečné automaty , prefixové stromy a analýzu opakovatelnosti. Ve druhé části této diplomové práce se zaměřujeme na implementaci programu, který je schopný na základě takového modelu komunikace verifikovat síťový provoz v reálném čase.
|
|
|
Dynamic Software Architectures for Distributed Embedded Control Systems
Richta, Tomáš ; Kavička, Antonín (referee) ; Sawa, Zdeněk (referee) ; Janoušek, Vladimír (advisor)
Tato prace se zabyva dynamickou rekonfigurovatelnosti distribuovanych ridicich systemu. Vzhledem k charakteristice techto systemu je pro definici jejich behu pouzit formalismus Petriho siti. Tyto jsou transformovany do proveditelne podoby a nasledne pak interpretovany specializovanym software nainstalovanym na jednotlivych uzlech systemu. Diky vlastnostem pouziteho formalismu je mozne jednotlive casti systemu nahrazovat novymi variantami. Stejne tak je mozne generovat formalni specifikace dilcich casti systemu z abstraktnejsich workflow modelu a popisu ve forme domenove specifickych jazyku.
|
|
|
Simulation-Based Development of Heating Control System
Tomeček, Jan ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
This thesis is about optimalization of boiler heating from external sources. I have created a simulation model of Heating Control System. Subsequently, using a simulation model, I proposed possible optimizations for water heating control. The used optimization method was deep Q-learning. The result of this work shows the use of simulation for the development and optimalization of control systems.
|
|
|
Machining on a CNC machine including automatic measurement
Kubín, David ; Fiala, Zdeněk (referee) ; Kalivoda, Milan (advisor)
The topic of the bachelor thesis is the analysis and integration of the measuring cycle into the machining process on a CNC machine. The topic is dealt with in two parts, theoretical and practical. The theoretical part briefly discusses the history of NC/CNC machines, including the basic control modes of NC/CNC machines and the structure of the NC programme. Furthermore, the control systems produced by renowned companies available on the Czech market are presented. Besides other facts, measuring cycles in control systems and their examples are also mentioned in this part. The practical part of the bachelor’s thesis is focused on the creation of a suitable illustrative component, the subsequent compilation of operational data and documents into the technological preparation of the production. The production of the component and its subsequent measurements are based on these data. The production process ends with the evalution of the information obtained.
|
|
|
Application for Statistical Analysis of ICS Communication
Chimenti, Andrea ; Bartík, Vladimír (referee) ; Burgetová, Ivana (advisor)
This work aims to present the design and implementation of an application for statistical analysis of network traffic in ICS (Industrial Control Systems) communication. In the first place, the work presents Industrial Control Systems and some of their most common protocols. The protocol IEC 104 is described in more detail. This is followed by an introduction to the basic methods of descriptive statistics, that can be used to analyze industrial communication. For this purpose, several CSV datasets, that capture fragments of industrial communication, have been used. These datasets are used to show how some of the previously described statistical methods can be used. The work then describes the implementation of an application, which allows to analyze the datasets and obtain various statistics and a visual representation of the data. The main objective of the application is to make it easier for the user to find stable characteristics that can be used for anomaly and attack detection. Finally, the benefits that the application brings are demonstrated on a set of datasets containing different types of attacks.
|
|
|
Simulation-Based Development of Heating Control System
Tomeček, Jan ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
This thesis is about optimalization of boiler heating from external sources. I have created a simulation model of Heating Control System. Subsequently, using a simulation model, I proposed possible optimizations for water heating control. The used optimization method was deep Q-learning. The result of this work shows the use of simulation for the development and optimalization of control systems.
|
|
|
Optimization of operation of renewable electric energy sources based on fuel cells, accumulators and FV panels for small powers.
Holeček, Martin ; Maršík, František (advisor) ; Beran, Zdeněk (referee)
The first part of the research is motivated to provide citations deeper to the literature of optimal control principles that could be linked to the system optimization problem, discuss these principles and various ways to apply them. Then we describe one fuel cell, accumulator and photovoltaic standalone system along with the most used equations from the literature. Next, we formulate the problem of optimal control for this system to optimize the system financial cost in the best case and we process to describe and discuss the numerical optimal control algorithm - multiple shooting - that will be used to solve the problem, that was not used in literature so far in conjunction with the problem. The codes and numerical simulations are also provided. Powered by TCPDF (www.tcpdf.org)
|
|
|
Generic Flow Analysis in Computer Networks
Jančová, Markéta ; Holkovič, Martin (referee) ; Kolář, Dušan (advisor)
Tato práce se zabývá problematikou popisu síťového provozu pomocí automaticky vytvořeného modelu komunikace. Hlavním zaměřením jsou komunikace v řídicích systémech , které využívají speciální protokoly, jako je například IEC 60870-5-104 . V této práci představujeme metodu charakteristiky síťového provozu z pohledu obsahu komunikace i chování v čase. Tato metoda k popisu využívá deterministické konečné automaty , prefixové stromy a analýzu opakovatelnosti. Ve druhé části této diplomové práce se zaměřujeme na implementaci programu, který je schopný na základě takového modelu komunikace verifikovat síťový provoz v reálném čase.
|
|
|
ABB RobotStudio - sample control program for stationary robot
Machala, Jan ; Lacko, Branislav (referee) ; Lang, Stanislav (advisor)
The goal of this bachelor thesis is to create sample control program executing sequence of robot movements and then its implementation on real robot IRB 120. For communication between robot and PLC was used program created in integrated development environment Microsoft Visual Studio. In the introduction are briefly described history of robotics and categories of robots. In the following chapters are described company ABB Group, its products and company B&R Automation and its products focused on control systems. Next chapters describe the solution of the given laboratory task and briefly explain settings of the individual programs. The thesis attachment contains video of the working project tested on real robot.
|
|
|
Optimization of operation of renewable electric energy sources based on fuel cells, accumulators and FV panels for small powers.
Holeček, Martin ; Maršík, František (advisor) ; Beran, Zdeněk (referee)
The first part of the research is motivated to provide citations deeper to the literature of optimal control principles that could be linked to the system optimization problem, discuss these principles and various ways to apply them. Then we describe one fuel cell, accumulator and photovoltaic standalone system along with the most used equations from the literature. Next, we formulate the problem of optimal control for this system to optimize the system financial cost in the best case and we process to describe and discuss the numerical optimal control algorithm - multiple shooting - that will be used to solve the problem, that was not used in literature so far in conjunction with the problem. The codes and numerical simulations are also provided. Powered by TCPDF (www.tcpdf.org)
|
guest ::
