|
| |
|
|
Lattice constructions and Priestley duality
Hartman, Juraj ; Růžička, Pavel (advisor) ; Tůma, Jiří (referee)
In this thesis after recalling some basic definitions and theorems in category theory, lattice theory and topology we first introduce the so called Stone duality of the category of boolean lattices and the category of boolean topological spaces. Then we introduce its generalization, the so called Priestley duality of the category of bounded distributive lattices and the category of total order disconnected topological spaces. Then we introduce the M3[.] lattice construction and prove that for every bounded distributive lattice L there is an isomorphism from the lattice M3[L] to the lattice of all continuous monotone maps from the Priestley space of L to the lattice M3 with discrete topology. Finally we introduce the so called boolean power, which we generalize to the so called priestley power and we prove that for every natural number n ≥ 3 and every bounded distributive lattice L there is an isomorphism from the lattice Mn to the priestley power of the lattice Mn by the lattice L. 1
|
|
|
Draft solution of unified industrial communication system (ICS) for the foundry object
Dušek, Jakub ; Jordán, Vilém (referee) ; Sedlák, Petr (advisor)
This bachelor thesis deals with the design of a complex network infrastructure for the Brno foundry, which is supposed to replace the inadequate infrastructure within the foundry. In the second part of the thesis are explained the concepts of computer network, network topology, Ethernet, section of cabling system and basic concepts needed to understand network infrastructure design. The third part deals with the analysis of the current situation and sets out recommendations for a new network infrastructure. The last part deals with the complex design of the network infrastructure in the foundry premises.
|
|
|
Model
Hládeková, Katarína ; Mazanec, Martin (referee) ; Zahoranský, Dušan (referee) ; Fajnor, Richard (advisor)
The dissertation thesis studies the extension of the context of the term model as a means of interpretation for Czech and Slovak post-conceptual works of art. Based on result of a historical excursion into the history of painting, sculpture and architecture, the thesis offers a new typology of a model which is exemplified on particular work of art of Czech and Slovak post-conceptual era in the first two decades of the 21st century. The historical part of the thesis concludes the following: model in the art is an emancipated form originating from different academic as well as layman discourse; emancipated model has a methaphorical layer and thus it reflects wide historical, cultural and social relations. The categories proposed include: a linear model, a physical model, a cognitive model and an immersive model. The linear model encompases the sketch themes and so-called visualization metaphors (graphs, charts, schemes, etc) and originates as a reaction to information saturation and complicated networks. The physical model is a form to architecture and hobby modelling, it is characterised by a simple, „sketchy“ structure reacting to social themes and individual and collective memory. The cognitive model points to the cognitive turn of the society, it evaluates the materialisation of mental space and explains the emancipated model as an open category. Finally, the immersive model interprets the medium of exhibition as a model form which is articulated by and artisitic manifesto or an architectural interference. Another form of immersion that is being discussed in the chapter about immersive models, is a photographic or 3 D computer illusion as a reaction to society‘s virtualisation. Simultaneously to theoretical-historical research, an artistic research was taking place which became the basis for the creation of different categories and typologies of model. Each proposed category thus includes a so-called author‘s note reflecting the practical part of the dissertation thesis.
|
|
|
Company Computer Network Design
Dykast, Lukáš ; Jordán, Vilém (referee) ; Ondrák, Viktor (advisor)
Main goal of this thesis is to design functional and quality computer network of small company based on analysis of current state of object and current computer network, analysis of current state of software and hardware in company and investor’s demands considering future technology innovations and company growth. The thesis is also focused on introduction of current technical design possibilities and choosing suitable solution. The result of this thesis is full computer network design including all requisites and economic evaluation of this project.
|
|
| |
|
|
Comparison of functional and non-functional tests
Galaš, David ; Hyblbauer, Jan (advisor) ; Buchalcevová, Alena (referee)
The aim of this bachelor thesis is to compare functional and non-functional software test types in terms of their overall contribution to successful application testing. The comparison is based on performed test cases and calculated metrics, whose final values are based on values measured during the testing. The theoretical part describes individual functional and non-functional test categories and provides thorough information about each category described. The analytic part focuses on metrics selection and their respective interpretation and provides verified method for metric weight assignment including the calculation of final weights. The practical part includes selected web application testing using manually written test cases and the calculation of defined metrics for each performed test category. This part also contains the evaluation of test categories according to calculated metrics and the final comparison of functional and nonfunctional tests in terms of their overall contribution. The conclusion of the thesis summarizes the results of tests comparison, shows the way the intermediate objectives were achieved and adumbrates possible use of this thesis in the future.
|
|
|
Analysis of load referee during basketball games in different age and performance level
Peterková, Lucie ; Velenský, Michael (advisor) ; Šťastný, Petr (referee)
Title: Analysis of load referee during basketball games in different age and performance level. Objectives: Record heart rate, run the distance, match time, load zone of selected referee during basketball games. Gathered data compare between different competition levels. Methods: Analysis of outcomes gathered based on measurements of basketball referee during basketball games using sport tester RS800 and Nike iPod sensor. Measurements where gathered during season 2014/15 in the range of 48 measurements. Results: Research prove that the heart rate of basketball referee differ based on what level and competition she supervised. Expected hypothesis was proved that with growing category grow average heart rate, consequences of this fact is longer distance run during the game which means faster pace of the game and growing mental load which impact the referee. Keywords: rules, match, sport tester, heart rate, load zone, nervousness, player, coach, match time, category, competition
|
|
| |
|
|
Kant's Theory of Schematism
Bis, Ondřej ; Kouba, Pavel (advisor) ; Chotaš, Jiří (referee)
The thesis focuses on a chapter from Kant's Critique of Pure Reason, "The Schematism of the Pure Concepts of the Understanding". Kant assumes two independent sources of knowledge, understanding and intuition. These sources need to be overcome, because of their heterogeneity. Schematism is closely related to "The Deduction of the Pure Concepts of the Understanding". That is why the analysis of schemata is preceded by the analysis of this chapter. It shows a more detailed description of a role of intuition with respect to understanding. Firstly, the validity of the categories regarding whatever form of intuition is proved. Secondly, the proof of the validity of the categories regarding specific forms of time and space follows. The chapter on schematism deals with the specific methods by means of which the categories relate to intuition. Kant introduces transcendental schemata bridging the heterogeneity of understanding and intuition. The relation between category and schema is understood as one of analogy. The categories are rules of discursive type of unity of any kind of intuition, whereas schemata are determined as rules of perceptive unity of intuition. Intuition is brought under unity of apperception by means of schemata of imagination. Inseparable part of the thesis is the schematism of...
|
guest ::
