|
|
Conversion of XTR Output of UPPAAL Tool into User-Friendly Representation
Mazánek, Antonín ; Mrázek, Vojtěch (referee) ; Strnadel, Josef (advisor)
The master's thesis introduces the Uppaal tool. It describes the principles and possibilities of modeling and analysis of systems using this tool. It also discusses in more detail the file formats that Uppaal tool uses. The structure of the XML file used to store created systems, the XTR format, which Uppaal uses to store simulation traces, and the IF format, which is necessary to understand the contents of the file in XTR format. The text also mentions available software support for working with these formats. Next part of this master's thesis is about designing user-friendly representation of simulations traces, along with designing application that translates simulation traces into designed representation. At the end of this thesis, the possible continuation of the project is mentioned together with the evaluation of the designed representation and the application.
|
|
|
Graphical Simulator of Superscalar Processors
Vávra, Jan ; Mrázek, Vojtěch (referee) ; Jaroš, Jiří (advisor)
Práce se zabývá implementací simulátoru superskalárního procesoru. Implementace se odvíjí od existujících simulátorů a jejich chybějících částí. Simulátor umí vykonávat instrukční sadu RISC-V, ovšem je umožněno přidání jakékoli RISC instrukční sady. Simulátor má deterministickou predikci skoku. Části procesoru lze upravovat. Součástí je i editor kódu pro danou instrukční sadu.
|
|
|
Genetic Relatedness Analysis of Approximate Circuits
Krejčík, Vojtěch ; Mrázek, Vojtěch (referee) ; Sekanina, Lukáš (advisor)
The goal of this thesis is analyzing a large library of approximate circuits (EvoApproxLib) which was created using an evolutionary algorithm and used as a source of genetic data for the purposes of this thesis. More specifically it is a relatedness search in a file containing 24 912 8-bit approximate multipliers which were created by evolution from six different fully functioning parent implementations of multiplication. Gate counts and existence of 16 specific subcircuits were used as relatedness indicators. Various classifiers for assigning multipliers to one of six classes corresponding to parent implementations were trained based on these indicators. A classification success rate of up to 77% was achieved using said indicators. The results of this work show that combinations of specific subcircuits are a strong indicator for identifying which parent circuit the given approximate circuit comes from.
|
|
|
Embedded System Periphelars Emulation for Fast Prototyping
Müller, Dominik ; Kekely, Lukáš (referee) ; Mrázek, Vojtěch (advisor)
This thesis deals with the design and implementation of a development platfrom for embedded system developers intended to accelerate initial phases of development cycle. The proposed platform allows to emulate real-time environment of the system under development with possibility to observe and change the environment at runtime. The design of the entire platform focused on its extensive configurability, ease of extensibility, reusability and versatility. Simulation is performed directly against a real microcontroller. The platform thus complements the pure software simulation approach with a real-world basis, but remains reusable and affordable compared to dedicated test systems. The result of this work is a physical device controllable via the user's computer allowing to connect the development kit and simulate its environment.
|
|
|
ESP/ESC Impact to Behavior of Vehicle
Weigel, Filip ; Mrázek, Vojtěch (referee) ; Strnadel, Josef (advisor)
This bachelor thesis focuses on active safety - ESP. System ESP greatly improves stability of vehicle while turning. The thesis analyses modelling, brake functionality, subordinate systems of ESP - ABS and ASR, physical forces and phenomenons, model example, analysis of problem, design of model, implementation of model and experiments evaluation of implemented model in UPPAAL enviroment. The goal of the thesis is to prove that ESP system helps to stabilize vehicle while turning by simulation of vehicle model. Results are presented in well-aranged graphs side-by-side. It is possible to analyze the behaviour of vehicle while turning with ESP or without ESP.
|
|
|
Library for Boolean Functions in Algebraic Normal Form
Vasilišin, Maroš ; Mrázek, Vojtěch (referee) ; Dobai, Roland (advisor)
This bachelor thesis focuses on design and implementation of library in C language for manipulation od Boolean functions in Algebraic Normal Form. Majority of existing libraries for representation of Boolean functions is based on binary decision diagrams. Algebraic Normal Form presents several advantages over binary decision diagrams, for example Boolean value of function can be determined in linear time. Implemented library uses simple structures to effectively represent Boolean function in program. After experiments we determined that representation in Algebraic Normal Form has its applications, and in some cases it provides better results than representation in binary decision diagrams.
|
|
|
Evolutionary Design of Quantum Operator
Kraus, Pavel ; Mrázek, Vojtěch (referee) ; Bidlo, Michal (advisor)
The goal of this thesis is to utilize various evolutionary algorithms for quantum operator design in the form of unitary matrices in direct representation. Evolution strategy, differential evolution, Particle Swarm Optimization and artificial bee colony algorithms were chosen. In this thesis, the third and fourth algorithms were used for the first time in relation to quantum operator design. The experiments have shown that the utilization of direct representation gives results of acceptable quality.
|
|
|
Monitoring of Temperature for Small Buildings
Handzuš, Jakub ; Wiglasz, Michal (referee) ; Mrázek, Vojtěch (advisor)
The aim of this thesis is to design and implement an IoT system for monitoring the air temperature of smaller objects, e.g households. As the system is to be financially available to the wider public, it needs to be fully functional even at low procurement and operating costs - based on this requirement, it is necessary to analyze available alternatives for operating the systems. When selecting the appropriate technology for storing the acquired data, it is necessary to take into account the operations most frequently performed on the data - for this reason, a set of experiments is carried out on several types of database systems. Based on the findings gathered during analysis and experimentation, the optimal solution appears to be the combination of a generic database with web host services. In the resulting system, the sensor sends the acquired data to the server with a database, whilst the processed data is subsequently interpreted by the client-side visualizations.
|
|
|
Using Machine Learning for Improvement of Location Estimation in Wireless Positioning System
Matuš, Adam ; Mrázek, Vojtěch (referee) ; Šimek, Václav (advisor)
This thesis describes the Sewio platform and the communication techniques of the ultra-wideband technology standard, which the platform uses to determine the position of objects. The technology is based on measuring signal arrival time intervals and multilateration using time differences. The platform generates and stores historical data from past positioning of objects. The dataset consists of sequences of position data which, in addition to the monitored environment, contain relevant signal parameters of wireless communication. A system of machine learning techniques based on Gaussian models and linear regression was implemented to classify and predict real-time position data with the goal of improving position estimation stability and robustness. The system functions as a downstream component, which accepts RTLS position data and outputs improved position estimates. The evaluation results show that the implemented system can successfully improve position stability and robustness.
|
|
|
Compact System for Autonomous Meter Reading
Podeszwa, David ; Mrázek, Vojtěch (referee) ; Vašíček, Zdeněk (advisor)
This work solves the problem of the insufficient range of WMBUS meters, which makes their reading still difficult. The developed implementation solves this problem by using a battery-powered device that extends this range by using a LoRaWAN network, where the data received from the meters is sent over this network for further processing. The created device is capable of receiving WMBUS frames and sending them for a minimum period of 9 years. The main benefit of this work is the implementation of such a device on the new STM32WL platform, which is unique due to its integration of a microprocessor and a Sub-GHz receiver inside one chip.
|
guest ::
RSS feed.