National Repository of Grey Literature 64 records found  previous11 - 20nextend  jump to record: Search took 0.00 seconds. 
Proving by finite automata
Fišer, Jan ; Holub, Štěpán (advisor) ; Chvalovský, Karel (referee)
In 2016, Hamoon Mousavi published Walnut which is a program that implements automated theorem proving of propositions about automatic sequences. The main purpose of this thesis was to show the theoretical functi- onality of Walnut on the basis of the relation between automatic sequences and Presburger (resp. B¨uchi) arithmetic that is a decidable theory. Another goal was to describe adequately how the decision procedure of Walnut really works, and finally, to show the practical use of Walnut on several particular problems. One of these particular problems that are solved in the thesis is computation of the critical exponent of the Rudin-Shapiro sequence - this exercise was presented as an open problem in a book of 2003 (however, this exercise does not belong among open problems any more since Shallit proved in 2011 that the critical exponent is computable for all automatic sequences.) The last chapter itself can be also used as a brief manual for newcomers to Walnut that want to use this program for their own applications. 1
Stony routes in the Broumov walls and their importance for identity formation of landscape and region
Fišer, Jan ; Kučera, Zdeněk (advisor) ; Tůmová, Martina (referee)
The thesis deals with the analysis of current condition and heritage of old stony routes in the Broumov walls. These routes were built from variously sized sandstone blocks of local origin. The routes are specific for the area of interest and they have their long history. The aim of the thesis is, with the example of the Broumov walls, to discuss the importance of the old routes as specific historical landscape structures and local heritage for shaping of the identity of the region and its specific character. Regional identity, heritage and historical landscape structures belong to key concepts introduced in the theoretical part. Significance of the routes as a specific kind of the heritage and an integral part of local cultural landscape is discussed. In the empirical part of the thesis, results of a partial inventory of stony routes in the Broumov walls, which have been done during research, are introduced. The result is shown in attached maps. The inventory was focused on classification of the routes by degree of conservation of the original character and by ways of use today. The thesis also deals with the research on perception of route heritage and contemporary ways of its use by local authorities. Possibilities for protection and future reconstruction of the stony routes are searched. The...
Ways to influence amateur's athletes postural stability
Fišer, Jan ; Zahálka, František (advisor) ; Nováková, Tereza (referee)
Title Ways to influence amateur s athletes postural stability Objectives The aim of this study is to describe the selected parameters of body composition and postural stability of the amateur s athletes (floorball players) group and to assess the efficiency of short-term intervention exercise based on senzomotor stimulation, acral coactivation therapy and plyometrics. Methods This work is a descriptive work, one part of it is the intervention. Two groups of amateur s athletes (floorball players) were examined during the study - intervention group(n = 16, average height = 178,23 cm (std 7,18), average weight = 80,04 (std 11,53), average age = 25,15 years (std3,31 )) and control group(n = 8, ave- rage height = 181,48 cm (std 5,59), average weight = 82,29 kg (std 11,20), average age = 27,07 let (2,68)). Each participant underwent the entrance measurement both on Footscan to evaluate the level of postural stability by selected parameters and on InBody 3.0 a Tanita to evaluate the level of body composition by selected parame- ters. Then the intervention group took part in the intervention exercise. After the six week intervention period underwent both groups the second measurement. The results of both measurements were evaluated, compared and statistically analyzed. Results The results showed great...
Continued fractions in coding theory
Fišer, Jan ; Šťovíček, Jan (advisor) ; Holub, Štěpán (referee)
The first part of the thesis acquaints us with the Reed-Solomon codes, methods of their construction and encoding. At the same time we provide the evi- dence of their most important properties including the relevant theoretical basis. In the second chapter we introduce the theory of continued fractions over a field and examine their structure. Applying the executed general ob- servations on the specific case of the formal Laurent series we get to efficient Reed-Solomon decoding algorithm. Without complete proofs we also men- tion other two decoding algorithms that are based on solving the key equation as well, namely Berlekamp-Massey and Euclidean algorithm. In the end we show the equivalence of these three algorithms.
Foundation and creation of a limited liability company
Fišer, Jan ; Patěk, Daniel (referee) ; Zahradníčková, Marie (referee)
Summary: In my thesis I focus on foundation and creation of a limited liability company under Czech law. Special attention is given to the explanation of limited liability of the partners of this type of company. The paper also focuses on distinction of the terms foundation of a company and creation of a company and the difference between them. The theoretical definition of the limited liability company is then followed by examining, explaining and analysing the foundation and subsequent creation of a limited liability company. The text also presents besides the actual law, the new law, regulating inter alia limited liability companies, that comes into effect on 1st January 2014 and its new regulations. The thesis is, apart the introduction and conclusion, composed of two chapters, each of them dealing with different aspects of foundation and creation of limited liability companies. Chapter one is introductory and defines the basic terminology and juridical institutes that are then used in other chapters of the paper. One part also describes the history of limited liability companies on the territory of the Czech Republic and its predecessor countries. Another part also introduces the new law that comes into effect on 1st January 2014. Chapter two introduces the process of foundation and creation of a...
Accumulation of energy from renewable sources
Charvátová, Marie ; Bajko, Jaroslav (referee) ; Fišer, Jan (advisor)
This bachelor’s thesis deals with the issue of accumulation of energy from renewable sources with a closer focus on electricity storage in the "small/home" scale. Delivering energy from renewable sources is highly variable and, in order to cover the time shift between production and consumption, energy must be stored. In the paper are described individual types of energy used in residential housing, sources of renewable energy are presented and various ways of energy accumulation are analyzed. The greatest attention is paid to chemical accumulators, because they are the most suitable solution for home use due to their practicality. At the end of the thesis, operational data from a small demonstration photovoltaic power plant with accumulation of electric energy in chemical accumulators are processed and evaluated.
Heating and ventilation in the „Emotivní dům“
Brázda, Jan ; Fišer, Jan (referee) ; Charvát, Pavel (advisor)
This master’s thesis deals with the design of the heating and ventilation system for the ‘Emotivní dům’ which was designed by the author of this thesis. The first part of the thesis provides an overview of the project and the architectural design of the house. In the next part, the calculation of the heat loss and the design of the heating and ventilation system is described. War-air heating/ventilation is used in in the habitable rooms of the house with the hydronic system utilized in other spaces. The floor heating is used in the bathrooms and the other non-habitable spaces, such as the garage, are heated with radiators. A natural gas boiler is used as a heat source for both space heating and domestic hot water heating. The thesis contains the floor plans of the house as well as technical drawings of the heating and ventilation system.
Drivers clothing thermal resistance database for iHVAC system
Hrubanová, Kristýna ; Pokorný, Jan (referee) ; Fišer, Jan (advisor)
This diploma thesis is focused on measurement of thermal properties of clothes by thermal manikin and on application of results for prediction of thermal comfort in system iHVAC. First part of thesis is dedicated to research with relation to this topic and to definitions of main computational equations necessary for experimental measurement. The choise of method for measurement based on available standards is an important part of this thesis. The main focus of thesis lies on measuring 5 combinations of clothes at different calibration temperatures and same temperature of manikin surface. Then data are examined and also the analysis of uncertaities and repeatability is maked. According to assupmtion , the independence of value of heat transfer coefficient to ambient temperature is comfirmed and calculated heat resistance of every single clothes is compared to existing wardrobe for system iHVAC. The outcome of this thesis is specificied and completed virtual wardrobe which serves to prediction of thermal comfort in car.
Measurement of clothing sets by means of thermal manikin
Hanzlík, Martin ; Toma, Róbert (referee) ; Fišer, Jan (advisor)
This diploma thesis is focused on the experimental determination of thermal resistance of the gloves and their combination in the layering system. The measurement was based on procedure specified in the standard ČSN EN 511 by means of thermal manikin. The thesis begins with the description of heat transfer mechanisms, description of glove materials and measurement methodology. The body of paper consists of the measured data analysis and equation design for determination of the glove layering system thermal resistance. At the end of the thesis, these equations are evaluated and it has been shown, that the thermal resistance of glove layering system cannot be precisely determined by the calculation, and it is necessary to measure the whole three-layer system.
An induction machine with solid rotor
Fišer, Jan ; Klíma, Jiří (referee) ; Mach, Martin (advisor)
This master’s thesis is focused on induction motor with solid rotor. The introduction is dedicated to the full analysis of the rotor. Then model of motor with solid rotor was designed in 2D and 3D. Simulations of these models were carried out using the finite elements method. Further in this thesis there are laboratory measurements` results due to the motor`s sample. Based on the results from simulations and measurements rotor modifications have been proposed, which led to improved machine parameters. 2D models have been developed by rotor modifications. These models went through finite elements method`s simulation. In the conclusion of the thesis there are all results from measurements and simulations compared.

National Repository of Grey Literature : 64 records found   previous11 - 20nextend  jump to record:
See also: similar author names
7 Fišer, Jakub
9 Fišer, Jiří
1 Fišer, Josef