|
|
Generic Flow Analysis in Computer Networks
Jančová, Markéta ; Holkovič, Martin (oponent) ; Kolář, Dušan (vedoucí práce)
This diploma thesis focuses on the automatic network traffic description using models of communication. The main aim is at industrial control system protocols, especially IEC 60870-5-104 . We propose a method of characterizing the network state using both communication content and behavior in time viewpoints. These aspects are described using finite state automata , prefix trees , and recurrence analysis. In the second part of this thesis, we focus on the implementation of a program, which is capable to use the obtained model to verify network traffic in real-time.
|
|
|
Dynamic Software Architectures for Distributed Embedded Control Systems
Richta, Tomáš ; Kavička, Antonín (oponent) ; Sawa, Zdeněk (oponent) ; Janoušek, Vladimír (vedoucí práce)
This thesis deals with dynamic reconfigurability of distributed control systems. Due to the characteristics of these systems, the Petri nets formalism is used to define their functionality. These are transformed into a interpretable form and then executed by specialized software installed on each system node. Thanks to the properties of used formalism, it is possible to replace the individual parts of the system with new variants. Similarly, it is possible to generate formal specifications for the system's parts from more abstract workflow models and descriptions in the form of domain specific languages.
|
|
| |
|
|
Obrábění na CNC stroji ze zahrnutím automatického měření
Kubín, David ; Fiala, Zdeněk (oponent) ; Kalivoda, Milan (vedoucí práce)
Tématem bakalářské práce je rozbor a začlenění měřicího cyklu do procesu obrábění na CNC stroji, což je obsaženo ze dvou částech, teoretické a praktické. V teoretické části je v krátkosti rozebrána historie NC/CNC strojů, včetně základních režimů řízení NC/CNC strojů a struktury NC programu. Dále jsou představeny řídicí systémy od nejznámějších firem na českém trhu. V teorii jsou mimo jiné uvedeny měřicí cykly v řídicích systémech a jejich příklady. Praktická část bakalářské práce je zaměřena na vytvoření vhodné ilustrativní součásti, následné sestavení provozních dat a dokumentů do technologické přípravy výroby. Na těchto datech je založena výroba součásti a následné měření. Proces výroby je zakončen zhodnocením zjištěných informací.
|
|
|
Aplikace pro statistickou analýzu ICS komunikace
Chimenti, Andrea ; Bartík, Vladimír (oponent) ; Burgetová, Ivana (vedoucí práce)
Cílem této práce je návrh a implementace aplikace, sloužící ke statistické analýze síťového provozu v ICS (Industrial Control Systems) komunikaci. Práce se nejprve věnuje představení řídících systémů průmyslové komunikace a jejich nejrozšířenějších protokolů. Podrobně rozebraný je protokol IEC 104. Následuje představení základních metod popisné statistiky, pomocí kterých lze průmyslovou komunikaci analyzovat. V práci je využito několika datových sad ve formátu CSV, které zachycují záznamy průmyslové komunikace. Na těchto datových sadách je ukázáno využití statistických metod. Dále práce obsahuje návrh a popis implementace aplikace, díky které lze datové sady analyzovat a získat textový i grafický popis dat. Hlavním cílem aplikace je usnadnit uživateli hledání stabilních charakteristik, kterých lze využít k detekci anomálií a útoků. V závěru je použití aplikace demonstrováno na datových sadách obsahujících různé typy útoků.
|
|
| |
|
|
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 (vedoucí práce) ; Beran, Zdeněk (oponent)
První část práce je věnovaná hlubší rešerši do literatury optimálního řízení, shrnutí principů a způsobů jak je aplikovat na prezentovaný problém. Následně je sestaven a popsán model použitelný pro samostatnou energetickou jednotku s použitím vodíkových článků, akumulátoru a fotovoltaických panelů, spolu s nejčastějšími používanými rovnicemi z literatury. Také je formulován problém optimálního řízení řečeného systému pro optimální cenu v provozu při nejlepších podmínkách. Dále jsou popsány algoritmy numerického řešení systému spolu s implementací konkrétního numerického algoritmu "multiple shooting" na tento problém spolu s numerickými testy a výsledky. Powered by TCPDF (www.tcpdf.org)
|
|
|
Generic Flow Analysis in Computer Networks
Jančová, Markéta ; Holkovič, Martin (oponent) ; Kolář, Dušan (vedoucí práce)
This diploma thesis focuses on the automatic network traffic description using models of communication. The main aim is at industrial control system protocols, especially IEC 60870-5-104 . We propose a method of characterizing the network state using both communication content and behavior in time viewpoints. These aspects are described using finite state automata , prefix trees , and recurrence analysis. In the second part of this thesis, we focus on the implementation of a program, which is capable to use the obtained model to verify network traffic in real-time.
|
|
|
ABB RobotStudio - vzorový řídicí program pro stacionární robot
Machala, Jan ; Lacko, Branislav (oponent) ; Lang, Stanislav (vedoucí práce)
Cílem této závěrečné práce je vytvořit vzorový řídící program na PLC vykonávající sekvenci pohybů robotu a následné nasazení na reálném robotu IRB 120. Pro komunikaci mezi robotem a PLC byl využit program vytvořený v prostředí Microsoft Visual Studio. V úvodu práce je stručně popsána historie robotiky a rozdělení robotů. V dalších kapitolách jsou popsány společnosti ABB Group a B&R Automation a jejich produkty se zaměřením na řídící systémy. Následující kapitoly popisují řešení zadané laboratorní úlohy a stručně vysvětlují nastavení jednotlivých programů. Příloha práce obsahuje video funkčního projektu na reálném robotu.
|
|
|
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 (vedoucí práce) ; Beran, Zdeněk (oponent)
První část práce je věnovaná hlubší rešerši do literatury optimálního řízení, shrnutí principů a způsobů jak je aplikovat na prezentovaný problém. Následně je sestaven a popsán model použitelný pro samostatnou energetickou jednotku s použitím vodíkových článků, akumulátoru a fotovoltaických panelů, spolu s nejčastějšími používanými rovnicemi z literatury. Také je formulován problém optimálního řízení řečeného systému pro optimální cenu v provozu při nejlepších podmínkách. Dále jsou popsány algoritmy numerického řešení systému spolu s implementací konkrétního numerického algoritmu "multiple shooting" na tento problém spolu s numerickými testy a výsledky. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.