|
|
Memory Subsystem Simulator
Holášek, Petr ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This theses describes aspects of memory traces processing, its applications in simulation and development of modular memory subsystem simulator based on memory traces. The simulator also supports use for educational purposes thanks to built-in visualization which can be used to track address accesses in memory subsystem hierarchy.
|
|
|
System Log Analysis
Ščotka, Jan ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
The goal of this master thesis is to make possible to perform system log analysis in more general way than well-known host-based instrusion detection systems (HIDS). The way how to achieve this goal is via proposed user-friendly regular expressions. This thesis deals with making regular expressions possible to use in the field of log analysis, and mainly by users unfamiliar with formal aspects of computer science.
|
|
|
A Tool for Post-Mortem Debugging
Kapičák, Peter ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
The goal of this work is checking specific properties in trace which program should meet or which it shouldn't meet. Properties and their description are basis of this tool for post-mortem debbuging. Properties are transformed to deterministic finite automaton for checking in trace and their description is important for searching events in trace. Events are pass to automaton as input. Output of a tool is report if properties are meet or not. Solution provides check of properties regardless of log format and shows events that preceded violation of the properties.
|
|
|
Simulation of Physical Phenomena Using Cellular Automata
Martinek, Dominik ; Smrčka, Aleš (referee) ; Peringer, Petr (advisor)
This master's thesis deals with modelling and simulation of physical phenomena by cellular automata. The basic methods which model physical phenomena is enumerated and descibed in this thesis. One of the important part of this thesis is a set of demonstration models. Each model is focused on one selected area of physical phenomena. All models are described by transtition rules and the procedure of derivation of these rules is also presented here. There rules were used in implemented models. Another part of this thesis contains of a simulation application for these models. The real application had been implemented in accord with this design and it has been used to perform the simulation experiments with exemplary models. Results of the simulation experiments are discussed in conclusion of this thesis. One exemplary model had also been adapted for parallel processing. The performances on a computer with different count of working processors were measured and are also discussed in the conclusion of this thesis
|
|
|
Implemenation of a Game Theory Library
Židek, Stanislav ; Peringer, Petr (referee) ; Hrubý, Martin (advisor)
Game theory has become very powerful tool for modelling decision-making situations of rational players. However, practical applications are strongly limited by the size of particular game, which is connected to the computational power of computers nowadays. Aim of this master's thesis is to design and implement a library, which would be able to find correlated equilibria in as complex non-cooperative games as possible.
|
|
|
System for Loging Changes in Operating System
Pečeňa, Jan ; Smrčka, Aleš (referee) ; Peringer, Petr (advisor)
Bachelor's thesis describes the design and implementation of applications for the detection of changes in the operating system. Window´s registry, registry key, subkey and value are explained in introductory part. Hash function needed to identify the changed files is explained too. The created application is fully functional and works with 32 and 64 bit versions of Windows. Actual state is saved in the first run. Changes in operating system are detected in the second run. Operating system is installed in a VMWare virtual machine.
|
|
|
Simple Window Manager for X Window System
Zajdák, Jiří ; Smrčka, Aleš (referee) ; Peringer, Petr (advisor)
Goal of the project is the creation of the simple window manager for X Window System. At first there are explained the principles of work of the graphic applications then the design of window manager and its implementation in the text. The window manager decorates the top-level windows of applications frames which contain functional buttons. For an easily operating are supported virtual screens and hot keys. The panel intended for graphic of plugins, which are implemented as shared libraries, is set in the bottom part of the screen The application place emphasis on minimal memory requirement.
|
|
|
Tool for Test Run of Robotic Testing System
Slávka, Samuel ; Smrčka, Aleš (referee) ; Peringer, Petr (advisor)
Táto práca sa zaoberá problémom vytvárania testov v testovacom systéme Robotic Quality Assurance. Cieľom je vytvoriť nástroj pre testový beh testov v systéme RQA pre spoločnosť Y Soft. Hlavným zameraním práce je umožnenie pokračovania testu po zistení chyby a vyhýbanie sa komunikácii s testovanými zariadeniami. Po výskyte chýbajucého prvku sa prvok vygeneruje, jeho výskyt sa zapíše a test pokračuje ďalej. Vytvorenie simulovanej prístupovej vrstvy sa používa na zabránenie komunikácie s hardvérom. Výsledný nástroj umžňuje spúšťať testy bez zariadenia a šetrí čas strávený opakovaným testovaním.
|
|
|
Coordination of MicroPython-Based IoT by Means of Node-RED
Kolář, Josef ; Peringer, Petr (referee) ; Janoušek, Vladimír (advisor)
The target of this thesis is to create means for using the Node-RED tool to coordinate physical nodes in the form of ESP32 chips in the Internet of Things. This is fulfilled by created Node-RED extension, the proposed MQTT channel protocol and custom firmware for these nodes. All of this suport deploy of diverse applications to nodes simultaneously side by side. The designed and implemented MicroPython firmware is capable of asynchronous operation of individual applications which provides an interface to communicate with the Node-RED. The functionality of this system has been successfully validated on the basis of two practical usage scenarios that demonstrate the possibility of direct use deployment system into practice in automation - even with the included firmware installer.
|
|
|
Modelling of Transport Systems
Šmíd, Jiří ; Martinek, David (referee) ; Peringer, Petr (advisor)
The presented work describes both transportation and traffic flow simulation. For that purpose two different libraries were made. The first one is based on an existing library, Simlib/C++. For the traffic flow simulation a brand new library was created, using cellular automaton rules. Above all, it is designed to facilitate analysis of fundamental attributes of traffic network. Vehicles varying in size are able to find their own route plans from point where they were generated. Both libraries offer users a large amount of flexibility in specifying transport and traffic network.
|
guest ::
