|
|
Application of Evolutionary Algorithm in Creation of Regression Tests
Belešová, Michaela ; Kajan, Michal (referee) ; Zachariášová, Marcela (advisor)
This master thesis deals with application of an evolutionary algorithm in the creation of regression tests. In the first section, description of functional verification, verification methodology, regression tests and evolutionary algorithms is provided. In the following section, the evolutionary algorithm, the purpose of which is to achieve reduction of the number of test vectors obtained in the process of functional verification, is proposed. Afterwards, the proposed algorithm is implemented and a set of experiments is evaluated. The results are discussed.
|
|
|
Autonomous Locomotive Robot Path Planning on the Basis of Machine Learning
Krček, Petr ; Bělohoubek, Pavel (referee) ; Štefek, Alexandr (referee) ; Žalud, Luděk (referee) ; Dvořák, Jiří (advisor)
As already clear from the title, this dissertation deals with autonomous locomotive robot path planning, based on machine learning. Robot path planning task is to find a path from initial to target position without collision with obstacles so that the cost of the path is minimized. Autonomous robot is such a machine which is able to perform tasks completely independently even in environments with dynamic changes. Path planning in dynamic partially known environment is a difficult problem. Autonomous robot ability to adapt its behavior to changes in the environment can be ensured by using machine learning methods. In the field of path planning the mostly used methods of machine learning are case based reasoning, neural networks, reinforcement learning, swarm intelligence and genetic algorithms. The first part of this thesis introduces the current state of research in the field of path planning. Overview of methods is focused on basic omnidirectional robots and robots with differential constraints. In the thesis, several methods of path planning for omnidirectional robot and robot with differential constraints are proposed. These methods are mainly based on case-based reasoning and genetic algorithms. All proposed methods were implemented in simulation applications. Results of experiments carried out in these applications are part of this work. For each experiment, the results are analyzed. The experiments show that the proposed methods are able to compete with commonly used methods, because they perform better in most cases.
|
|
|
Production planning under uncertainty
Grulich, Martin ; Popela, Pavel (referee) ; Dvořák, Jiří (advisor)
This diploma work deals with a dynamic multi-level multi-item lot sizing problem in a general production-assembly structure represented by a directed acyclic network, where each node may have several predecessors and successors. We assume stochastic demand, finite planning horizon consisting of discrete time periods, dynamic lot sizes, multiple constrained resources and time-varying cost parameters. The objective is to minimize the total costs over the planning horizon. This thesis includes overview of models with stochastic demand and also general description of genetic algorithm. Using different modifications of genetic algorithm I have proposed and implemented methods for solving a chosen model. Then I have made an experimental comparison of these method on selected problems.
|
|
| |
|
|
QRS detection using zero crossing counting
Hylmar, Petr ; Janoušek, Oto (referee) ; Vítek, Martin (advisor)
This master's thesis describes basics principles of QRS complex detection. It is focused on QRS detection using zero crossing counts method. There are described princips and program realization of this method. The other part is focused on genetic optimalization algorithm. There are presented obtained optimalization results on standard CSE and MIT-BIH database. The quality of the detector is compared with other authors. The optimalized QRS detector achieves comparable results with other authors. The part of the thesis is graphical user interface which supply view on modified ECG signal and detection results.
|
guest ::
