|
|
Schedulability Analysis of Real-Time Tasks under Uncertainty
Čus, Samuel ; Šimek, Václav (referee) ; Strnadel, Josef (advisor)
The goal of this bachelor’s thesis is to familiarize with real-time systems, uncertainties and scheduling mechanisms related to these systems, statistical model checking, as well as the design and implementation of an approach to schedulability analysis under uncertainties, creating suitable sets of real-time tasks, and verifying their schedulability using the approach. I have mainly incorporated uncertainties caused by system interruptions and undeterministic task parameters. To address the given problem, I created a set of tasks, incorporated uncertainties into the system, and analyzed the schedulability of the tasks. The system modeling and analysis were conducted using the UPPAAL SMC tool, and, for comparison, also using the Cheddar tool with selected sets of tasks.
|
|
|
Connecting RTOS with GPOS in industrial use
Thér, Tomáš ; Dobrovský, Ladislav (referee) ; Lang, Stanislav (advisor)
This thesis explores the integration of real-time operating systems (RTOS) and general-purpose operating systems (GPOS) in industrial automation. RTOS are crucial for deterministic control of critical processes, while GPOS offer a wide range of tools. The thesis focuses on the exOS product from B&R, detailing its features, installation, and development tools. Finally a model application is created, implementing a database for a plasma cutter in a real industrial project.
|
|
|
Universal Framework for Experiments with 3D Displaying Devices
Hlávka, Marek ; Milet, Tomáš (referee) ; Chlubna, Tomáš (advisor)
Devices displaying three-dimensional images are becoming more and more common in everyday life, and therefore it is necessary to ensure the best quality of the displayed space. This thesis deals with comparing the effectiveness of various methods of virtual reality display today, such as stereoscopic or holographic displays. It also deals with design, implementation, and publication of a framework that allows for the comparison and testing of such devices. The framework is created in the Unity game engine, mostly using scripts in the C# language. Thanks to the framework, it is easier and more efficient to compare different types or specific variations of devices for displaying the three-dimensional images. The published framework is available as open-source.
|
|
|
Aplikace Galileo High Accuray Service
Kazmierski, Kamil ; Hadas, Tomasz ; Kudłacik, Iwona ; Marut, Grzegorz ; Madraszek, Szymon
Since January 2023 the Galileo High Accuracy Service (HAS) is available to registered users. Within the HAS users can retrieve clock and orbit corrections, as well as code biases for Galileo and GPS constellations. Galileo HAS covers almost the entire globe and is the next system, after the Japanese CLAS (Japanese Centimeter Level Augmentation Service) and the Chinese PPP-B2b, that provides corrections via a satellite signal. These Galileo corrections are transmitted in the Galileo E6 signal but also via the Internet stream. The official HAS Service Definition Document indicates that the positioning accuracy is better than 25 cm and better than 30 cm for horizontal and vertical components, respectively. HAS corrections can be used in difference real-time applications without Internet connection. The presented work shows the use of Galileo HAS corrections in various geoscience applications such as positioning, timing, troposphere monitoring or coseismic vibrations detection. Additionally, the quality of the transmitted HAS correction is also verified using the SISRE parameter. The computations are carried out in the in-house developed GNSS-WARP software with the Internet HAS corrections saved in the ASCII files by the BKG Ntrip Client software. The Galileo HAS corrections quality using SISRE parameter equal to 8.6 cm and 13.0 cm for GPS and Galileo respectively. The experiment with Precise Point Positioning reveal sub-decimeter and centimeters accuracy in kinematic and static approach, respectively. In terms of timing precision Galileo HAS ensure precision of single nanosecond. Zenith Tropospheric Delay estimation with the use of evaluated corrections meet the requirement of troposphere monitoring and coseismic vibrations detection was also possible.
|
|
|
Real-time propojení senzorů pro navigaci
Kaczmarek, Adrian ; Rohm, Witold ; Klingbeil, Lasse ; Tchórzewski, Janusz
The development of satellite techniques in the field of precise positioning and the availability of mobile devices with a built-in multi-GNSS (Global Navigation Satellite System) receiver allow us to determine positions with better accuracy than a dozen or so years ago. At the same time, there is a growing demand from users for more and more accurate positioning while reducing the costs of the final device (e.g., a navigation system for autonomous lawn mowers). This work presents the concept of a solution that integrates different positioning techniques: gyroscopes, odometers, and GNSS using a loosely coupled Kalman filter. The sensor integration model was developed for horizontal components (2D) with simultaneous determination of azimuth and precise position. Additionally, the integration filter uses a dynamic weight matrix, the values of which are selected depending on the type of GNSS solution (FIX, FLOAT, etc.). Tests of the measurement platform were carried out under ideal conditions and in places where the horizon is obscured (passes along a high wall, under openwork steel trusses, etc.). The accuracies obtained during tests using EKF and the dynamic weight matrix are RMS 0.019 m for the North and East components. However, the accuracy of the azimuth determination was 0.59°. In addition, the presentation will present a platform concept that integrates low-cost sensors in real time.
This work was supported by Wroclaw University of Environmental and Life Sciences (Poland) under the project “POMOST” (grant no. N110/0002/22).
|
|
|
Presentations Making Blender add-on
Telmanik, Ronald ; Milet, Tomáš (referee) ; Chlubna, Tomáš (advisor)
Cieľom tejto práce je vytvoriť nástroj, ktorý umožní používateľom programu Blender vytvoriť prezentáciu vo forme snímkov. Tento proces je zvyčajne časovo náročný spôsobené najme komplexnosťou program Blender. Preto na uľahčenie tohto problém je vytvorené rozšírenie pre program Blender. Toto rozšírenie implementuje sadu nástrojov, ktoré uľahčia tvorbu a neskôr aj samotnú prezentáciu v reálnom čase. Finálny zdrojový kód rozšírenia je voľne dostupný na platforme GitHub.
|
|
|
MATLAB/Simulink, Real-Time simulation and control
Malík, Dalibor ; Chomát, Luděk (referee) ; Dvořáček, Martin (advisor)
This bachelor thesis provides information about a possibility of implementing the real-time, a serial line RS-232 and communication with a programmable controller (PLC) by Bernecker &Rainer (B & R) in MATLAB / Simulink evironment. Further, it provides information about options of creating a block in MATLAB / Simulink, modes of operation of the simulink and implementation of blocks to the blockset. In the proper communication with PLC the principle of PVI is described, the terminology connected with PVI is explained and setting and maintaining the communication between a source station and PLC is specified.
|
|
|
Tone and Chord Recognition as an Android Application
Kucharovič, Oliver ; Černocký, Jan (referee) ; Szőke, Igor (advisor)
The aim of this work is to recognize tones and chords on any musical instrument using the microphone on Android mobile devices. The app scans or records the sounds which are analyzed. It writes to a visual representation which is similar to the musical notation. The work describes the problems of recognition and the solution of the problem using fast Fourier transformation and analysis of the spectrum of volumes. Work describes the theory of music and the training of individual tones. The application was subjected to user tests and recognition accuracy tests. The conclusion includes tests results and statistics from the Google Play publication.
|
|
|
Real Time Suppression of Atmospheric Turbulence
Macků, Jiří ; Orság, Filip (referee) ; Marvan, Aleš (advisor)
This paper deals with removing undesirable image deformations caused by turbulences of Earth's atmosphere. The goal is to design and implement algorithm for suppression of atmosphere turbulence in video sequences to use in long-distance camera monitoring system. This paper also focuses on optimization of existing algorithms for running in real-time. Algorithm will be implemented in C++ programming language with use of library for computer vision OpenCV.
|
|
|
Depth-Based Determination of a 3D Hand Position
Ondris, Ladislav ; Tinka, Jan (referee) ; Drahanský, Martin (advisor)
Cílem této práce je určení kostry ruky z hloubkového obrazu a jeho následné využití k rozpoznání statického gesta. Na vstupu je hloubkový obrázek, ve kterém je nejprve detekována ruka pomocí neuronové sítě Tiny YOLOv3. Následně je obrázek zbaven pozadí a z takto předzpracovaného obrázku je určena kostra ruky v podobě 21 klíčových bodů neuronovou sítí JGR-P2O. K rozpoznání gesta z klíčových bodů ruky byla navržena technika, která porovná kostru na vstupu s uživatelem definovanými gesty. Funkcionalita systému byla otestována na vytvořeném datasetu s více než čtyřmi tisíci obrázky.
|
guest ::
