| |
|
Schedulability Analysis of Real-Time Tasks under Uncertainty
Rosecký, Richard ; Bidlo, Michal (referee) ; Strnadel, Josef (advisor)
The goal of this thesis is to design and create a model of a real time system and several task sets for this system, to analyse and verify the created model and sets and to apprise the concept of real time systems and the schedulability of tasks in these systems. The tool UPPAAL will be used to create the model and it will include an abstraction of a task, scheduler and scheduling algorithms. It will be possible to simulate and verify sets of periodic, sporadic, and aperiodic tasks in combination with various scheduling algorithms such as FIFO, DMA, RMA, EDF or Round Robin.
|
|
Technologie výroby sýrů s mletou sýřeninou
Hrazdilová, Zlata
This thesis focuses on the production technology of cheeses with milled curd. The main goals are to describe and clarify the production technology of this sort of cheeses, briefly characterize the history of their production and illustrate the requirements for basic ingredients, i.e. milk, starter culture and annatto coloring. Moreover, the corresponding technological processes are explained and described as clearly as possible, with an emphasis on the process of cheddarization, which is both specific and unique in cheese production. In addition, the thesis discusses chemical compositions, nutrition values and assortments of cheeses with milled curd both on the Czech and the global market, especially in English-speaking countries. The practical part deals with different opinions of consumers and evaluates their interest in various types of natural matured cheeses.
|
| |