|
|
Residual current device behavior under switching of non-sinusoidal residual currents
Horký, Jakub ; Dostál, Lukáš (referee) ; Valenta, Jiří (advisor)
This bachelor deals with behaviour of a residual-current device during disconnection non-sinusoidal residual current. In the first, theoretical part, basic characteristics and properties of electrical devices are described. Attention is devoted to residual-current device, its structural part, parameters and types. Afterwards, there are described normative requirements of the residual-current device type A in the course of tests. The second part is a practical part. The residual-current device is subjected to residual currents with direct current components (according to the standard), thereby it is checked if it works correctly, it means, if the device is capable of being cut off, At the end of the bachelor, where is a sample laboratory task that demonstrates a check the behavior of the residual-current device at switching off the non-sinusoidal current.
|
|
|
Remanent magnetism of electromagnets of DC contactors
Horký, Jakub ; Píška, Jakub (referee) ; Šimek, David (advisor)
The master thesis is focused on a remanent magnetism of electromagnets of DC contactors. In the first part of the thesis deals with the formation of a magnetic field in different kinds of materials, description of their magnetization and sorting. The next part is focused on the principle and history of an electromagnet. Negative effects and remanent induction of the contactor are described in the end of the theoretical part. The second part is a practical part. First, the reaction times were measured on a pair of DC contactors. Using the obtained data, an electronic circuit was designed to minimize the difference in switching times of the given DC contactors.
|
|
|
Graphical Simulator of Superscalar Processors
Horký, Jakub ; Šimek, Václav (referee) ; Jaroš, Jiří (advisor)
In this thesis, I firstly focus on functional units inside processors and how they are interconnecetd in scalar and superscalar processor. Then, I describe the memory hieararchy with focus on caches. Next, I describe how compilers do translation from higher level language into assembly. Then, I have a look at available processor simulators and cache simulators and more closely describe the simulator that this thesis is based on. Thanks to the information from the analysis, I propose possible extensions to the simulator by adding memory subsystem, compiler and gathering more statistics. In the end, I have a look at my implementation and investigate possible benefits to the "Computation Systems Architectures" lectures
|
|
|
Enriching the Process of Verification of RISC-V Processor with Formal Techniques
Horký, Jakub ; Šnobl, Pavel (referee) ; Hruška, Tomáš (advisor)
This thesis provides a brief overview of the RISC-V architecture, design of processors, and how easily a bug can arise during the development. Then this thesis describes the way functional verification tries to discover those bugs and what are its pros and cons. More specifically, the thesis focuses on what the verification environment in UVM look like. Then the thesis describes, how formal verification fits in to the functional verification and shows the tools that are available for formal verification. The final part of this thesis, describes the process of how I wrote the assertions (written in SVA) for a RISC-V processor, using a property checking tool. Using these assertions for verifying a processor in the late stage of development, when functional verification already had the possibility to discover most of the bugs, I still was able to discover few of those bugs.
|
|
|
Speciation mechanisms and the role of reinforcement in mammals
Horký, Jakub ; Hulva, Pavel (advisor) ; Reifová, Radka (referee)
Speciation, the process of the formation of new species, comprises a diverse range of microevolutionary mechanisms acting in unison, which lead to the gradual formation of reproductive barriers between populations. The study of speciation has significantly progressed since its origins around the midpoint of the nineteenth century, owing to progressively improving analytical methods and the data said methods obtained, allowing us to observe previously invisible patterns and form new hypotheses on their basis. From traditional to modern research, this review's goal is to describe the contemporary understanding of speciation's concepts and mechanisms, focusing on those which are most relevant to mammals. Modern understanding of spatial contexts, prezygotic and postzygotic isolating mechanisms, and character displacement, including a type of reproductive character displacement dubbed reinforcement, are discussed. Significant emphasis is placed on the topics of maladaptive and adaptive hybridization, which, together with reinforcement and development of new genomic methods, has this review identified as the current frontier of speciation research. Keywords: reproductive isolating mechanisms, microevolution, character displacement, hybridization, reinforcement, speciation
|
|
|
Remanent magnetism of electromagnets of DC contactors
Horký, Jakub ; Píška, Jakub (referee) ; Šimek, David (advisor)
The master thesis is focused on a remanent magnetism of electromagnets of DC contactors. In the first part of the thesis deals with the formation of a magnetic field in different kinds of materials, description of their magnetization and sorting. The next part is focused on the principle and history of an electromagnet. Negative effects and remanent induction of the contactor are described in the end of the theoretical part. The second part is a practical part. First, the reaction times were measured on a pair of DC contactors. Using the obtained data, an electronic circuit was designed to minimize the difference in switching times of the given DC contactors.
|
|
|
Residual current device behavior under switching of non-sinusoidal residual currents
Horký, Jakub ; Dostál, Lukáš (referee) ; Valenta, Jiří (advisor)
This bachelor deals with behaviour of a residual-current device during disconnection non-sinusoidal residual current. In the first, theoretical part, basic characteristics and properties of electrical devices are described. Attention is devoted to residual-current device, its structural part, parameters and types. Afterwards, there are described normative requirements of the residual-current device type A in the course of tests. The second part is a practical part. The residual-current device is subjected to residual currents with direct current components (according to the standard), thereby it is checked if it works correctly, it means, if the device is capable of being cut off, At the end of the bachelor, where is a sample laboratory task that demonstrates a check the behavior of the residual-current device at switching off the non-sinusoidal current.
|
|
|
Usucaption in the Context of the Civil Law Recodification
Horký, Jakub ; Salač, Josef (advisor) ; Frinta, Ondřej (referee)
Usucaption in the Context of the Civil Law Recodification This master thesis analyzes the concept of usucaption in the context of the recodification of civil law. Its aim is to describe this institute both in its historical context and in the current legislation. It also aims to compare these codifications with each other and try to resolve some of unclear points of interpretation. Usucaption is a legal concept pursuing harmonization of possession as a de facto state with ownership as a legal status, after a specified period of time expires. It is a traditional civil law concept, however it is still relevant today. The master thesis analyzes significant changes in relation to the concept of usucaption, which were introduced by the Czech Civil Code No. 89/2012 Coll. The thesis begins with an introduction, then it proceeds with four main chapters, which are further subdivided into subchapters, and it ends with a conclusion. In the first chapter, I lay out general definitions which are fundamental to the following analysis, namely, I provide a definition of possession, detention and usucaption itself. The second chapter introduces the historical background, starting with a brief description of the concept of usucaption in Roman law, continuing with the codification of usucaption provided by ABGB and...
|
|
|
Real estate tax comparison in the Czech republic and Slovakia
Horký, Jakub ; Láchová, Lenka (advisor) ; Kouba, Tomáš (referee)
Bachelor thesis compares the real estate tax in the Czech Republic and Slovakia. It is described the legislation of both countries, focusing on the competence of municipalities. Another part of thesis compered the importance of real estate tax, especially in municipal budgets. Selected towns for this thesis are Pilsen and Kosice. The last part of thesis is focused on complex sample for figuring out the tax burden to the taxpayer taking into account the average annual wage for the region of towns.
|
guest ::
RSS feed.