|
| |
|
|
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...
|
|
|
Kant and Husserl on Transcendental Character of Experience
Trnka, Jakub ; Moural, Josef (advisor) ; Karásek, Jindřich (referee) ; Novotný, Karel (referee)
The aim of the thesis is to examine both Husserl's and Kant's transcendentalism in a way that would avoid the tendency to put the main accent on Husserl, which is an approach common to almost all literature dealing with this topic so far. Since it is for the most part Husserl's own critique of Kant that inspires such ongoing underestimation of Kant in comparison to Husserl, this work focuss on the question of the legitimacy of this critique. The core of the thesis is an original interpretation of Kant's transcendental philosophy which, instead of taking for granted the phenomenological point of view, attempts to describe Kant's philosophical enterprise from its own perspective and in its own right. In its second part, the thesis provides a brief description of how Husserl, starting initially from the position of descriptive psychology, arrives at a transcendental dimension. When so put side by side, it becomes evident that the two transcendental positions are in fact very different. Husserl's critique of Kant then appears as unjustified, even though quite understandable as an attempt to draw back from certain immature motives of his own philosophy.
|
|
| |
|
|
Computer Network Design for Service Desk Office
Hriadeľ, Ondřej ; Jordán, Vilém (referee) ; Ondrák, Viktor (advisor)
This bachelor thesis puts forward a computer network for service desk offices of arising branch office of an international company. First part of this thesis analyzes current state of computer network, software and hardware demands as well as investor requirements. Second part introduces general information of computer network which are needed for designing the concept, which is elaborated in the third part. Concrete cabling solutions, device choice and economic evaluation of the whole proposed concept are included.
|
|
|
Algebraic and Kripke semantics of substructural logics
Arazim, Pavel ; Bílková, Marta (advisor) ; Běhounek, Libor (referee)
This thesis is about the distributive full Lambek calculus, i.e., intuicionistic logic without the structural rules of exchange, contraction and weakening and particularly about the two semantics of this logic, one of which is algebraic, the other one is a Kripke semantic. The two semantics are treated in separate chapters and some results about them are shown, for example the disjunction property is proven by amalgamation of Kripke models. The core of this thesis is nevertheless the relation of these two semantics, since it is interesting to study what do they have in common and how can they actually differ, both being a semantics of the same logic. We show how to translate frames to algebras and algebras to frames, and, moreover, we extend such translation to morphisms, thus constructing two functors between the two categories. Key words:distributive FL logic, distributive full Lambek calculus, structural rules, distributive residuated lattice, Kripke frames, frame morphisms, category, functor 2
|
|
|
Web Page Classification
Kolář, Roman ; Burget, Radek (referee) ; Bartík, Vladimír (advisor)
This paper presents problem of automatic webpages classification using association rules based classifier. Classification problem is presented, as a one of datamining technique, in context of mining knowledges from text data. There are many text document classification methods presented with highlighting benefits of classification methods using association rules. The main goal of work is adjusting selected classification method for relation data and design draft of webpages classifier, which classifies pages with the aid of visual properties - independent section layout on the web page, not (only) by textual data. There is also ARC-BC classification method presented as a selected method and as one of intriguing classificators, that derives accuracy and understandableness benefits of all other methods.
|
guest ::
