|
|
A Tool for Creating Log Message Patterns
Hanus, Igor ; Janoušek, Vladimír (referee) ; Smrčka, Aleš (advisor)
Cieľom práce je vyvtorenie prenositeľnej webovej aplikácie na spracovanie logov pomocou kombinácie Grok vzorova a regulárnych výrazov, za účelom vytvorenia vzoru pre jednotlivé záznamy logu s možnosťou exportovania do YAML formátu, ktorý je spracovateľný nástrojom Plogchecker. Aplikácia bola implementovaná pomocou JavaScript knižnice React použitím jazyka TypeScript. Spracovanie jednotlivých regulárnych výrazov je riešené pomocou knižnice Oniguruma, ktorá je integrovaná do aplikácie pomocou WebAssembly. Dôvodom použitia Oniguruma knižnice bola nekompatibilita medzi prekladačmi regulárnych výrazov definovanými štandardom ECMAScript a prekladačmi, ktoré sú využívané pre preklad Grok výrazov. Realizacia aplikácie bola podrobená automatizovaným testom a užívateľským testom, s opravou zistených nálezov.
|
|
|
Sequence Diagram Generation from Object-Oriented Petri Nets
Bláha, Jiří ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The goal of this bachelor's thesis is to design and create an application that graphically represents the communication between objects during a simulation of object oriented Petri nets (OOPN) as sequence diagrams. Input to the application is the definition of OOPN classes written in PNtalk. A simulation server, implemented in SmallTalk, is used for OOPN model simulation. This thesis describes server commanding and corresponding data retrieving as well as its transformation to a form suitable for sequence diagram generation and drawing. The implemented solution allows users to save the final sequence diagram as a PNG, SVG or XML file for further result sharing and processing. The application simplifies working with the simulation server, which otherwise doesn't incorporate any form of human-readable output and, therefore, it allows users to quickly and easily determine the order of events inside the simulated model.
|
|
|
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.
|
|
| |
|
|
Graphical Editor for Design Models
Švub, Daniel ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The target of this thesis was a design and a development of an user friendly graphical editor of Object oriented Petri nets (OOPN). For description of this formalism was used PNtalk language, which combines Petri nets with the object oriented language Smalltalk. The resulting application should allow users to design object and their behaviour via OOPN and simulate directly in the editor.
|
|
|
Multisensor Module for Raspberry Pi Zero
Kažimír, Miroslav ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
This work deals with the issue of distributed control systems in home automation. It focuses on open systems and the possibilities of expanding them with new devices with sufficiently universal use. The solution lies in the design of multi-sensor devices that would cover several functions required by such systems. This work includes the creation of a room monitor in the form of an add-on module for the Raspberry Pi Zero computer and a modular wall switch using the ESP32 platform. The benefits of this work are new open devices with the potential for further expansion with additional modules.
|
|
|
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.
|
|
|
Graphical Editor for Design Models
Hlavačka, Filip ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The thesis is aimed at the solution of graphical editing for design models, especially Object-oriented Petri nets. There are many tools for editing Object-oriented Petri nets, but none of these support complete cooperation with simulation classes. This thesis offers created tool, which is implemented in the Pharo environment and uses the Morphic library. The created tool enables users to create or modify Object-oriented Petri net. Users can export created net to SVG or PNG format. The tool also enables the saving and loading of Object-oriented Petri net. The tool provides syntax check to the user.
|
|
|
Module Orchestration of Multitenant Systems
Jeřábek, Filip ; Janoušek, Vladimír (referee) ; Smrčka, Aleš (advisor)
The aim of this thesis is to propose and demonstrate a solution for alternative conversion of an application into multitenant form together with its transfer from a customer server and deployment on a shared server of the company that develops this system. The conversion does not include a classical modification of the original application and implementation of multitenancy directly into its code. Using systems such as Docker and Kubernetes, modules of the original application will be extracted, containerized and orchestrated, creating the illusion of multitenancy. This thesis does not aim at presenting a single solution, but appeals to provide the necessary knowledge, multiple design variants and the implementation of a universal demonstration solution, where before using any of the designs, it is expected to modify it according to the specific needs of the actual solution and its subsequent implementation. The proposed solutions aim to simplify the process of this conversion, which is related to saving resources, and also to provide the possibility of creating the illusion of multitenancy for systems where the classical approach is too difficult or impossible.
|
|
|
Application of Reinforcement Learning in Autonomous Driving
Vosol, David ; Zbořil, František (referee) ; Janoušek, Vladimír (advisor)
This thesis is focused on the topic of reinforcement learning applied to a task of autonomous vehicle driving. First, the necessary fundamental theory is presented, including the state-of-the-art actor-critic methods. From them the Proximal policy optimization algorithm is chosen for the application to the mentioned task. For the same purpose, the racing simulator TORCS is used. Our goal is to learn a reinforcement learning agent in a simulated environment with the focus on a future real-world application to an RC scaled model car. To achieve this, we simulate the conditions of remote learning and control in the cloud. For that, simulation of network packet loss, noisy sensory and actuator data is done. We also experiment with the least number of vehicle's sensors required for the agent to successfully learn the task. Experiments regarding the vehicle's camera output are also carried out. Different system architectures are proposed, among others also with the aim to minimize hardware requirements. Finally, we explore the generalization properties of a learned agent in an unknown environment.
|
guest ::
