One of the currently most used approaches for verification of hardware systems is functional verification. This master thesis describes design and implementation of a verification environment using UVM (Universal Verification Methodology) methodology for verifying the correctness of the robot controller in order to eliminate functional errors and faults of its implementation. The theoretical part of the thesis describes the basic information about functional verification, methodologies for creating verification environments, the SystemVerilog language and fault tolerance methodologies. The next part of thesis focuses on the design of the verification environment, its implementation and the creation of tests used to verify the correctness of the robot controller. Results of verification are discussed and evaluated in the conclusion of this work.

Funkční verifikace je jednou z nejrozšířenějších technik ověřování korektnosti hardwarových systémů podle jejich specifikace. S nárůstem složitosti současných systémů se zvyšují i časové požadavky kladené na funkční verifikaci, a proto je důležité hledat nové techniky urychlení tohoto procesu. Teoretická část této práce popisuje základní principy různých verifikačních technik, jako jsou simulace a testování, funkční verifikace, jakož i formální analýzy a verifikace. Následuje popis tvorby verifikačních prostředí nad hardwarovými komponentami v jazyce SystemVerilog. Část věnující se analýze popisuje požadavky kladené na systém pro akceleraci funkční verifikace, z nichž nejdůležitější jsou možnost jednoduchého spuštění akcelerované verze verifikace a časová ekvivalence akcelerovaného a neakcelerovaného běhu verifikace. Práce dále představuje návrh verifikačního rámce používajícího pro akceleraci běhů verifikace technologii programovatelných hradlových polí se zachováním možnosti spuštění běhu verifikace v uživatelsky přívětivém ladicím prostředí simulátoru. Dle experimentů provedených na prototypové implementaci je dosažené zrychlení úměrné počtu ověřovaných transakcí a komplexnosti verifikovaného systému, přičemž nejvyšší zrychlení dosažené v sadě experimentů je více než 130násobné.

The Master's thesis is focused on the quality management in Industrial Turbomachinery, a subsidiary company of Siemens. On the basis of a demand from the management and the current state the thesis defines and solves the problem, which is an identification of possible causes of failures in the new technical solution to the locking system which is a part of the last stages of the blade lines on the steam turbine rotor. To solve the problem, the thesis firstly tries to find a suitable method, which is subsequently applied.

The topic of this diploma thesis is the safety of a gas burner control. The aim is to fully automate the system by using a gas burner safety control system (Fail-Safe PLC) so as to reduce to minimum the risks. Because great emphasis is placed on safety, so Czech standards and what is connected with safety control systems are discussed. This project is implemented in cooperation with industrial automation company ElektroMAR a. s.

Title: The exercise diagnostics of women ice-hockey players - Wingate test Objectives: The study is focused on anthropometric characteristics and anaerobic efficiency comparing with using 30s Wingate test parameters. For the test groups of women ice-hockey players and boys ice-hockey players ages 15, 16 and 17 have been selected. The purpose of the work is forming a picture about efficiency level of women players from the national team and comparing with the results of these three selected groups of boys. The study includes a data evaluation of questionnaire about hockey experiences of women players. The exercise anaerobic 30s Wingate test has been implemented on selected group of women ice-hockey players from 14 to 26 years (x = 17.8 ± 3.7). The results of this group have been compared with results of three groups of hockey players ages 15, 16 and 17 (x = 14.98 ± 0.81; x = 16.03 ± 0.41; x = 17 ± 0.35). Working hypothesis supposed no differences between anaerobic training facility indices of women and boys ages 15, 16 and 17. Methods : Basic statistical items (x-arithmetic mean, SD-standard deviation) for all 4 groups (women, boys age 15, 16 and 17) have been evaluated. The statistical significance of differences between average values of file parameters has been tested by T-test (also known as...

Title: Occurrence of the risk factors of civilization diseases in clients of the physical aktivity program with components of functional training. Objectives: The aim of the thesis is to evaluate the occurrence of risk factors of civilization diseases in a selected group of clients who have been involved in the physical aktivity program with components of functional training (Fitness Svět pod Palmovkou). Methods: The research was attended by 35 probands (women) attending group lessons with components of functional training at Fitness svět pod Palmovkou in Prague. To all probands were measured the basic anthropometric parameters (body height, body weight, BMI, WHR index). Parameters of body composition were determined by BIA (Bodystat QuadScan 4000). For the analysis of selected risk factors was used the blood pressure monitor (Tensoval duo control) and a capillary blood sample was collected invasively (BeneCheck PLUS analyzer) for cholesterol determination. To determine the occurrence of selected diseases in blood relatives, was used the questionnaire - Family anamnesis. We correlated the relationship with the Pearson correlation coefficient. Results: For the whole observed group (n = 35), there was discovered a significant relationship between family anamnesis of obesity and body weight (r =...

Title: Common characteristics of calisthenics as a relatively new sport and gymnastics Purposes: Based on literary research and own experiences profile the penetration between gymnastics and calisthenics as a relatively new sport. Find out the views of trainers and racers in calisthenics on the use of gymnastics training for this new sport through the questionnaire survey and design a structured movement program for beginners using selected blocks of gymnastic motor-functional training. Methods: This diploma thesis is of non-experimental character. To obtain the necessary data were used methods of literature research, observation method and especially questionnaire method, which was applied to a group of 55 respondents. Data were processed in Excel into graphs. Results: The conclusions of the questionnaire survey were presented in the form of well-arranged graphs and testify about the interest of calisthenics trainers and competitors in gymnastic training. The proposed structured motion program is based on the conclusions of the literary research and own experience. It draws mainly on selected blocks from gymnastic motor- functional training and in each of the selected blocks are presented demonstration exercises with description and photo documentation. Key words: Calisthenics, gymnastics,...

Aim: The current study investigated a pattern of associations between executive functions and everyday functioning in a sample of schizophrenia patients with the aim to specify the ecological validity. The ecological validity as a specific form of external validity refers to the extent of the relation of the test outcome measures and patients' behaviour in everyday situations. Sample and methods: A sample of 77 patients (22 women and 55 men) with the diagnosis of schizophrenia or schizoaffective disorder, who met study inclusion criteria, was assessed with several executive function tests: Wisconsin Card Sorting Test (WCST), Trail Making Test B (TMT B), Phonemic Verbal Fluency Test and Semantic Verbal Fluency Test (VF), Similarities from Wechsler Adult Inteligence Scale (WAIS III), Rey-Osterrieth Complex Figure Test in Boston Qualitative Scoring System (BQSS), and with rating scales for patients' behavior in everyday situations - Personal and Social Performance Scale (PSPs), newly developed clinical scale (CliSca), Interview for Assessment of Insight (SAI) and patients' self rating in Social Functioning Scale (SFS). Relationships between demografic measures and test outcomes were examined. Results: Verbal fluency tests did correlate significantly with the newly developed clinical scale that seems...

The main goal of this thesis was to implement a functional programming (FP) library named Funk that extends C# with support for concepts present in functional programming languages, such as F# and Scala. Funk utilizes many functional programming concepts, including immutability, pattern matching, and various types of monads, together with stronger typing. Introduction of these concepts into C# helps in avoiding many runtime errors and boilerplate code, and it also lets developers write C# code in a declarative rather than in an imperative way, making the day-to-day software development easier and less error-prone. Additionally, the thesis analyzes and compares Funk with existing functional programming libraries such as Language-ext and FuncSharp. Finally, it analyzes the new features of C# 8, which include nullable reference types and pattern matching and compares them with the functionalities of the Funk library.

The theoretical part of the diploma thesis describes the role of abdominal muscles in intra-abdominal pressure and the effect on postural stabilization. The issue of postural stabilization was analyzed in a physiological situation and frequent pathologies related with inadequate postural stabilization have been described. The current possibilities of evaluating the activity of abdominal muscles and intra-abdominal pressure were presented. Methodology: 25 healthy probands (mean age 22.4 years, SD ± 1.76) were evaluated in five posturally different situations - breathing stereotype test, intra-abdominal pressure regulation test, diaphragm test, hip flexion test and arm elevation test. Testing was performed with a prototype of the DNS Brace digital pressure sensor. The resulting pressure values of the abdominal wall expansion were correlated with the corresponding postural tests according to the DNS concept, which were performed by two DNS instructors with more than five years of experience. Results: A statistically significant correlation (p = 0.001 to 0.24) between abdominal wall pressure values and palpation-evaluated postural tests was demonstrated in four of the five tested positions. Correlation was strong in diaphragm test (r = 0.75 and 0.661) and mean in other tests (r = 0.567 to 0.415). Only...