|
|
Simulátor městské dopravy
Hos, Adam ; Janoušek, Vladimír (oponent) ; Rozman, Jaroslav (vedoucí práce)
Simulace dopravy je jedním z mnoha způsobů, jak získat nové informace nebo podložit již existující tvrzení, týkající se dopravní infrastruktury. Tato práce se zabývá popisem zmíněné problematiky s podrobným zaměřením na mikrosimulaci městského provozu. Je rozebráno získávání popisu dopravní sítě z formátu elektronických map, tvoření simulační reality z těchto informací a různé modely pro řízení akcí agentů, reprezentující řidiče ve vozidlech. Jelikož existuje velké množství metod a ověřených postupů, jak tohoto cíle dosáhnout, jsou zde vzájemně srovnávány a ty nejvhodnější, pro kontext této práce, pak implementovány. Na základě nasbíraných znalostí byl vytvořen simulátor s grafickým rozhraním. Ten je dále popsán v implementační části.
|
|
|
Path Planning for Autonomous Agricultural Machines
Kuchta, Lukáš ; Janoušek, Vladimír (oponent) ; Rozman, Jaroslav (vedoucí práce)
With the ever-growing human population on Earth, it is necessary to ensure that the agricultural sector also grows in order to ensure enough food for all people. One way to ensure this is to increase automation in this area. Since fewer and fewer people are engaged in agriculture, more or less autonomous devices are being used more often. This work deals with a summary of algorithms that are used for route planning (not only) in the field of agriculture, which is one of the key components of autonomous vehicles. First, the history in this area is summarized, followed by the current state of autonomous vehicles in agriculture. Next, point-to-point algorithms are summarized, followed by coverage routing algorithms. The next part deals with the use of these algorithms in practice. The next part describes the design of the application, which is implemented in the next part of this work. A program is created that creates a coverage map for the specified field and machine. Finally, the results of the work are summarized.
|
|
|
Product Data Visualization in PNC Build System
Korytár, Patrik ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
The thesis aims to enhance the visualization of Product-related data of the PNC build system on the system's new web user interface. Main visualization elements include tables, charts, network graphs and dashboards. The work analyses PNC user inputs to consider the actual needs of the users. Based on the analysis, completely new UI components were designed and some of the original ones were redesigned. To illustrate the new design, wireframes were created. New REST API endpoints were designed for data needed by the new components. The new features were then implemented. The implementation language is TypeScript. The main libraries include React, Chart.js, Sigma.js and Graphology. As a result, the new PNC system user interface now has new features that help with using the Product-related pages. The implementation is also easily expandable for more visualization of this kind.
|
|
|
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.
|
|
| |
host ::
RSS.