
Application of Branch and Bound Approach to Parametric Interval Linear Systems
Szabó, Adam ; Horáček, Jaroslav (advisor) ; Rada, Miroslav (referee)
This work is focused on parametric interval linear systems. By using branch and bound method and various pruning conditions, we first obtained their solution and then described it more precisely with ndimensional boxes. We were acquainted with the basic concepts of intervals and linear systems. Subsequently, we processed the boxes obtained by multiple methods to opti mize their number. Part of the work is also a comparison of various pruning conditions on parametric systems with the different number of parameters. Finally, our algorithms were implemented into the Lime interval package with the possibility of simple visualization of the obtained solutions. 1


Visualisation of interval data
Mečiar, Martin ; Horáček, Jaroslav (advisor) ; Rada, Miroslav (referee)
The thesis is focused on visualisation, comparison and modification of outputs of interval solvers for solving a continuous constraint satisfaction problem. The author's designed solution for the approximation of outputs of solvers is presented in the thesis. The approximation of outputs of solvers is transformed into the problem of visual reallocation of the sets of outputs of solvers on a finer level than interval box level. Main part of the thesis is the program on added CD that allows visualisation, comparison and modification of outputs of interval solvers. The program is written in C++, but can be compiled as a MEX file for MATLAB. A user documentation and a technical documentation for the program are included in the thesis. The thesis shows several examples of program output in the devoted chapter. Powered by TCPDF (www.tcpdf.org)


Interval linear systems with linear dependencies
Král, Ondřej ; Hladík, Milan (advisor) ; Rada, Miroslav (referee)
The main problem discussed in this thesis is about finding an enclo sure of the solution set of an interval linear system with linear dependencies. We get familiar with definitions from interval arithmetic and analysis. Then we extend them to matrices and linear systems, where we introduce several modern approaches to finding an enclosure and divide them thematically. Most of them are implemented in MATLAB using INTLAB library. We compare their precision and computational time on Toeplitz, symmetric and random matrices. For depen dencies we design our memory saving representation. The results are interpreted and the final function, which can compute either fast, sharp or memory efficient, is build on individual methods. Powered by TCPDF (www.tcpdf.org)


Lying and manipulation in voting procedures
Kapusta, Matyáš ; Dlouhý, Martin (advisor) ; Rada, Miroslav (referee)
This thesis focuses on the phenomenon of strategic manipulation in collective decision making, i.e. situations where it is beneficial for certain members of the group to derive from their sincere preferences in the voting process. This manipulation complicates the process of collective decision making, leading to situations where lying becomes a successful strategy that some mambers of the group can use to gain an advantage over others. In the thesis, examples of strategic manipulation and a summary of up to date research in the field of social choice theory are included. The main objective is to create a simulation model that can be used to quantify the probability of a successful manipulation. A Monte Carlo simulation using this model is performed on ten voting procedures. Analysed procedures include the most common and intuitive ones, more sophisticated systems created by experts of social choice theory and the most modern attempts to improve democracy by Karel Janeček.


Algorithms for various geometric problems over zonotopes and their applications in optimization and data analysis
Rada, Miroslav ; Černý, Michal (advisor) ; Vlach, Milan (referee) ; Kopa, Miloš (referee)
The thesis unifies the most important author's results in the field of algorithms concerning zonotopes and their applications in optimization and statistics. The computationalgeometric results consist of a new compact outputsensitive algorithm for enumerating vertices of a zonotope, which outperforms the rival algorithm with the same complexitytheoretic properties both theoretically and empirically, and a polynomial algorithm for arbitrarily precise approximation of a zonotope with the LöwnerJohn ellipsoid. In the application area, the thesis presents a result, which connects linear regression model with interval outputs with the zonotope matters. The usage of presented geometric algorithms for solving a nonconvex optimisation problem is also discussed.


The aplication of Benford's law in accounting and auditing
Kabourková, Lucie ; Procházka, David (advisor) ; Rada, Miroslav (referee)
This bachelor thesis focuses on the Benford's law, also called the FirstDigit Law. The major objective of this study is to describe the application of the law customarily in accounting and auditing. It outlines possible complications in the practical application, but attempts to eliminate the aforementioned shortcomings. Selected financial statements served as subjects for the empirical part of the study. Financial statements are matched against the expected Benford's common distribution utilizing the Pearson's chisquared test.


Interval data and sample variance: computational aspects
Sokol, Ondřej ; Černý, Michal (advisor) ; Rada, Miroslav (referee)
This thesis deals with the calculation of the upper limit of the sample variance when the exact data are not known but intervals which certainly contain them are available. Generally, finding the upper limit of the sample variance knowing only interval data is an NPhard problem, but under certain conditions imposed on the input data an appropriate efficient algorithm can be used. In this work algorithms were modified so that, even at the cost of exponential complexity, one can always find the optimal solution. The goal of this thesis is to compare selected algorithms for calculating the upper limit of sample variance over interval data from the perspective of the average computational complexity on the generated data. Using simulations it is shown that if the data meets certain conditions, the complexity of the average case is polynomial.


Work activities as a motivation for choosing apprenticeship
RADA, Miroslav
My thesis deal with topic: "Work activities as a subject of motivation for an apprenticeship selection". The basic idea is an opportunity of cooperation between primary and secondary vocational schools in field of work activities. They do not take place in primary school facilities but in professional workshops of vocational school. I handle in detail making test tasks and didactic test, which will objectively judge (in a set group of pupils) whether doing work activities in vocational school´s workshop have some influence on choosing their next field of study.

 

Recreational mathematics problem solving as an integer programing problems
Künzelová, Barbora ; Jablonský, Josef (advisor) ; Rada, Miroslav (referee)
The bachelor thesis deals with the solution of three selected recreational mathematics problems using discrete optimization. These problems are called Gridspeed Puzzle, Shifty Witnesses and Alien Tiles. The reader first learns the rules of these games of which are then formulated mathematical models that are integer in all cases. The first two games have one model and are being solved one way, but in game Alien Tiles are solved several optimization problems. All models are rewritten MPL modeling language in which they are solved by solver CPLEX. For all selected problems are found optimal integer solution, which is then described and explained to the reader. The solution results of the task Alien Tiles are finally compared and we are able to tell that one form of the desired outcome of the game is more difficult to calculate.
