|
|
Monotone functions avoiding majorities
Petr, Jan ; Barto, Libor (advisor) ; Mottet, Antoine (referee)
In the past five years, the Promise Constraint Satisfaction Problem (PCSP) has been a popular topic in computational complexity, covering a wide range of computational problems. In this work, we begin by introducing the PCSP and then turn our atten- tion to the still open problem of the PCSP over 'monotone folded Boolean structures'. Brakensiek and Guruswami showed in 2016 that the PCSP is in P if all odd majorities are polymorphisms between structures under consideration. We focus on the situation in which some of the odd majorities are not among the polymorphisms. We present a technique for proving NP-completeness of PCSPs that uses the notion of heavy sets. Our approach succeeds in proving that the absence of the 3-majority makes the PCSP NP-complete. We then give a few partial results for the case of the absence of the 5-majority. We finish by determining the size of the smallest heavy set for a particular family of functions. 1
|
|
|
Geochemická charakteristika půdního prostředí se zaměřením na kontaminaci lesních půd podél vybraných silničních komunikací
Petr, Jan
There was investigation of elemental composition through XRF analysis. Seventeen samples were collected from around Vír and Brno dam. Samples were taken from sites with emphasis on the difference in traffic density. After analyzing the samples three of the eleven risk elements were found, including arsenic (As), lead (Pb) and zinc (Zn). Contamination level was compared with limits given by Czech Ministry of the Environment. Two samples showed increased limits in contamination, arsenic (As) and zinc (Zn). However, after statistical investigation there was not discovered a link between traffic volume and increased concentration of risk elements in the soil.
|
|
|
Storage of natural gas in hydrates
Petr, Jan ; Brázdil, Marian (referee) ; Pospíšil, Jiří (advisor)
This thesis deals with storage of natural gas in hydrates, forming of hydrate, its transportation and storage. Within the calculation part, three hydrate forming reactors are compared. According to the paramters used in the calculations, a reactor is designed. Basic drawing documentation is also available. The final calculations focus on the nominal evaporation of the storage tank.
|
|
|
Application of advanced models of electromigration by means of computer software
Malý, Michal ; Dubský, Pavel (advisor) ; Petr, Jan (referee) ; Thormann, Wolfgang (referee)
Motion of ions under the influence of electric field has been a subject of scientific interest for many decades. Capillary electrophoresis in particular benefited greatly from this research and mathematical models of electromigration applicable to capillary electrophoresis have been developed. As the sophistication of the models grew, so did the computational demands to evaluate them. In order to fully exploit the possibilities of advanced mathematical models a computer implementation capable of solving non-trivial problems at sufficient speed is necessary. This dissertation thesis explores applications of computer implementations of mathematical models re- lated to electromigration in two different areas. The main focus of this thesis is on the topic of linear theory of electromigration. We discuss the extension of the linear theory of electromigration beyond of just acid-base equilibria and computer implementation of this extented theory which is specialized to include complex-forming equilibria in order to be able to deal with affinity capillary electrophoresis prob- lems. Some technical aspects of the computer implementation are also discussed. This is followed upon by investigating certain selected affinity capillary electrophoresis systems. The purpose of this investi- gation is to re-derive...
|
|
|
Creation of ATO with flight training on BUT
Petr, Jan ; Šplíchal, Miroslav (referee) ; Hammer, Jaromír (advisor)
The subject of this thesis is a study of requirements related to the creation of an approved organization for flight training (ATO), including the design of organizational structure and staffing in the conditions of the Brno University of Technology. The first part of the thesis maps relevant legislative sources and all possible types of training organizations. The next part of the thesis is focused on the selection of the appropriate type of training organization, organizational and personal integration into the structure of BUT, description of the aircraft fleet, selecting the appropriate airport and calculating the expected price of the flight hour Cessna C172S license plate OK-VUT. The conclusion of the thesis deals with the competitiveness of the created training organization and possible possibilities of expanding the provided training.
|
|
| |
|
|
Optimation and Innovation of Heating by Thermal Pumps
Petr, Jan ; Kudela, Libor (referee) ; Lisý, Martin (advisor)
The Bachelor’s Thesis adresses heat pumps, its description, comparison and assessment of heating of the model house. In the first part the research is done. The research describes on what principles the heat pump works and how they differ. In the second part, the model house is described. Heat losses are calculated. For two types of heat pumps are calculated returns on investments.
|
|
|
Drug Offences - Comparison of the Czech and Spanish Legislation Abstract
Petr, Jan ; Bohuslav, Lukáš (advisor) ; Vokoun, Rudolf (referee)
58 Drug Offences - Comparison of the Czech and Spanish Legislation Abstract This diploma thesis deals with the comparison of the current substantive law regulation of so-called drug offences in the criminal law environment of the Czech Republic and the Kingdom of Spain. Its key task is to provide its readers with a comprehensive picture of the current legal regulation in both countries by comparing their legal provisions, their case-law and opinions of the criminal law science. The thesis consists of four parts systematically divided into fifteen chapters. In the introductory part, it deals with international and European regulation. In its respective chapters, it briefly presents three fundamental international conventions of the United Nations and the current EU legislation in the framework of the primary and secondary law, forming a common basis for both national legislations. In the second part of the thesis, it presents a national Czech regulation of so-called drug offences, where the individual chapters successively analyse the drug offences term as such in the sense of criminal law science, the form and motives of the current legal definition of prohibited narcotic substances and their individual bodies of the crime according to their order in the Criminal Code of the Czech Republic. Analogically,...
|
|
|
Living Things in the Science Education
PETR, Jan
Current state-of-the-art in the use of living things in primary science education has not been studied in detail in the Czech Republic. This thesis presents the paper published a short time ago and accompanied by the brief commentary. The aim is to evaluate data gained by the video-research of thirty (integrated) science classes and to give an analysis of the use of living things in selected science units. The paper has a character of case study containing not very large amount of lessons but it enables to describe the use of living things in the framework of selected thematic units in which the use of living things is possible or expectable.
|
|
|
Influence of the interacting constituent of the background electrolyte on electrophoretic separation
Müllerová, Ludmila ; Dubský, Pavel (advisor) ; Kašička, Václav (referee) ; Petr, Jan (referee)
Capillary electrophoresis is a widely used separation method of analytical chemistry. Addition of a selector into the background electrolyte extends its applicability to separation of enantiomers or of compounds of similar physicochemical properties. In analytical practice, mixtures of selectors are also commonly used - either prepared intentionally to achieve better separation or because commercially available selectors may be mixtures of compounds differing in the degree of substitution and substituent positions. Mathematical description of these systems, which are highly relevant in analytical practice, can simplify search for optimal separation conditions. Also, it provides a useful insight into the separation mechanism. In this work, a model of electromigration of an analyte interacting with a mixture of two selectors is proposed and experimentally verified. This model results from a more general description of systems with an arbitrary number of selectors. The model shows that a selector mixture can be treated as a single selector if the ratio of the respective selector concentrations is kept constant. When the mixture is prepared intentionally, this description predicts, how separation potential of the mixture changes with its composition. Thus it allows the optimal composition and total...
|
guest ::
RSS feed.