|
|
A Tool for Creating Log Message Patterns
Hanus, Igor ; Janoušek, Vladimír (oponent) ; Smrčka, Aleš (vedoucí práce)
The thesis aims to create a portable web application for processing logs using combinations of Grok patterns and regular expressions to create a pattern for individual log messages with the possibility of exporting them into YAML format that can be processed by the tool Plogchecker. The application was implemented using the React JavaScript library using the TypeScript language. Processing of individual regular expressions is achieved using the Oniguruma library, which is integrated into the application using WebAssembly. The reason for using the Oniguruma library was the incompatibility between regular expression compilers specified by the ECMAScript standard and compilers used for Grok patterns. Automated testing and user testing were conducted, and identified flaws were addressed.
|
|
|
Generování sekvenčních diagramů z modelů Petriho sítí
Bláha, Jiří ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Cílem této bakalářské práce je navrhnout a vytvořit aplikaci, která ve formě sekvenčního diagramu graficky znázorní komunikaci mezi objekty v průběhu simulace objektově orientovaných Petriho sítí (OOPN). Vstupem do aplikace, napsané v jazyce Python s využitím knihovny PyQt, je definice tříd OOPN v jazyce PNtalk. Pro simulaci modelu se využívá simulační server, vytvořený v jazyce SmallTalk. Práce popisuje způsob ovládání serveru a získávání dat z něj, jejich transformaci do podoby potřebné k tvorbě sekvenčních diagramů a jejich vykreslení. Implementované řešení umožňuje uložit výsledný sekvenční diagram ve formátech PNG, SVG a XML pro snadné šíření výsledků simulace a další zpracování. Tato aplikace zjednodušuje práci se simulačním serverem, který jinak neposkytuje člověkem čitelné výstupy a umožňuje velmi rychle a snadno zjistit posloupnost dějů v simulovaném modelu.
|
|
|
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.
|
|
| |
|
|
Grafický editor návrhových modelů
Švub, Daniel ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Cílem této práce byl návrh a vývoj uživatelsky přívětivého grafického editoru Objektově orientovaných Petriho sítí (OOPN). Pro popis tohoto formalismu je použit jazyk PNtalk, který spojuje Petriho sítě s objektově orientovaným jazykem Smalltalk. Výsledná aplikace má uživatelům umožnit modelování objektů a jejich chování za pomocí OOPN a simulování přímo v editoru.
|
|
|
Multisensor Module for Raspberry Pi Zero
Kažimír, Miroslav ; Rozman, Jaroslav (oponent) ; Janoušek, Vladimír (vedoucí práce)
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.
|
|
| |
|
|
Graphical Editor for Design Models
Hlavačka, Filip ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
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.
|
|
|
Orchestrace modulů multitenantních systémů
Jeřábek, Filip ; Janoušek, Vladimír (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem práce je navrhnout a demonstrovat řešení alternativního převodu aplikace do multitenantní podoby spolu s jejím přesunem ze zákaznického serveru a nasazením na sdílený server firmy, která tento systém vyvíjí. Součástí převodu není klasická modifikace původní aplikace a implementace multitenance přímo do jejího kódu. Pomocí systémů jako je Docker a Kubernetes budou vyčleňovány, kontejnerizovány a orchestrovány moduly původní aplikace, díky čemuž vznikne iluze multitenance. Práce necílí na předložení jednoho řešení, ale apeluje na poskytnutí potřebných znalostí, více variant návrhu a implementace univerzálního demonstračního řešení, kdy je před použitím nějakého z návrhů předpoklad jeho upravení dle specifických potřeb vlastního řešení a jeho následná implementace. Navrhovaná řešení mají za cíl zjednodušení procesu tohoto převodu, což souvisí s ušetřením prostředků, a také poskytnutí možnosti vytvoření iluze multitenance u systémů, kde je klasický postup příliš náročný nebo nemožný.
|
|
|
Aplikace posilovaného učení v řízení autonomního vozidla
Vosol, David ; Zbořil, František (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato práce se zabývá problematikou posilovaného učení aplikovaného na úlohu autonomního řízení vozidla. Nejprve je probrána nezbytná teorie posilovaného učení, která je zakončena představením nejmodernějších aktor-kritik metod. Z nich je vybrána metoda Proximal Policy Optimization , která je následně aplikována na tuto úlohu. Pro tento účel je také zvolen závodní simulátor TORCS. Naším cílem je naučit v simulovaném prostředí agenta autonomně řídit, s ohledem na jeho budoucí aplikaci v reálném prostředí v podobě zmenšeného RC modelu vozidla. Za tímto účelem jsou simulovány podmínky vzdáleného učení a ovládání vozidla v cloudu a to v podobě simulace ztráty paketů s daty od senzorů a aktuátorů nebo simulace zašuměných dat. Také jsou provedeny experimenty s cílem zjistit nejmenší počet senzorů, se kterým je agent schopen se úlohu naučit. Dále je experimentováno s využitím výstupu kamery vozidla. Jsou představeny různé návrhy architektur systému, mimo jiné i se zaměřením na co nejnižší hardwarové požadavky. Na závěr jsou prozkoumány vlastnosti naučeného agenta z pohledu generalizace v neznámém prostředí.
|
host ::
RSS.