|
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.
|
|
Measurement problem of low AC voltage
Balázs, Ladislav ; Jakubík,, Petr (referee) ; Havlíková, Marie (advisor)
The thesis deals with a problems of measuring small alternating voltage. The aim of the thesis is to explain in general problems of influences on measurement of small alternating voltage and to carry out a concrete measurement according to instructions of CMI. In the next part the thesis deals with the problems of uncertainties for measurement of small AC voltage and a concrete calculation of uncertainties has been made for measurement made in the first part of this thesis.
|
| |
|
Flow Measurement - oriffice plates
Krátká, Lucie ; Málek, Petr (referee) ; Šedivá, Soňa (advisor)
The aim of the Bachelor thesis is to approximate the fluid flow measurement using differential pressure transducers inserted into fully filled circular cross-section conduits running full in the industrial sector. The introduction of the Bachelor thesis describes and explains the principle of fluid flow measurement using differential pressure transducers and the basic types of primary flow elements. Practical part consists of the design of practical calculations of individual parameters of standardized orifice plates, the design of a program for calculation of these parameters, comparing the achieved results with the output from the program Conval, evaluating these results and analyzing the measurement uncertainties for the parameters that affect the design of the standard orifice plate.
|
|
Automation of Noise Measurements Using XL2 Sounl Level Meter
Švihálek, Filip ; Číž, Radim (referee) ; Schimmel, Jiří (advisor)
This bachelor´s thesis focuses on noise measurement, characterizes used quantities and uncertainties due to the measument of these quantities. The goal is to develop application, which will automate measurement with sound level meter XL2. Automation will use text output of the XL2 and modul for Remote Measurement. Application is developed in development environment Visual Basic for Applications.
|
| |
|
Flow Measurement - oriffice plates
Krátká, Lucie ; Málek, Petr (referee) ; Šedivá, Soňa (advisor)
The aim of the Bachelor thesis is to approximate the fluid flow measurement using differential pressure transducers inserted into fully filled circular cross-section conduits running full in the industrial sector. The introduction of the Bachelor thesis describes and explains the principle of fluid flow measurement using differential pressure transducers and the basic types of primary flow elements. Practical part consists of the design of practical calculations of individual parameters of standardized orifice plates, the design of a program for calculation of these parameters, comparing the achieved results with the output from the program Conval, evaluating these results and analyzing the measurement uncertainties for the parameters that affect the design of the standard orifice plate.
|
| |
| |
|
Automation of Noise Measurements Using XL2 Sounl Level Meter
Švihálek, Filip ; Číž, Radim (referee) ; Schimmel, Jiří (advisor)
This bachelor´s thesis focuses on noise measurement, characterizes used quantities and uncertainties due to the measument of these quantities. The goal is to develop application, which will automate measurement with sound level meter XL2. Automation will use text output of the XL2 and modul for Remote Measurement. Application is developed in development environment Visual Basic for Applications.
|