|
|
The Change Management in an Environment of Selected Sports Organizations
Kubková, Alexandra ; Kopáčková, Eva (referee) ; Blahutková, Marie (advisor)
Bachelor thesis deals with the application of change management - management changes for selected sports organizations hockey club Zvolen. The theoretical part of the thesis focuses on the general theory of change management, different procedures and evaluation of the administrative process of change management in the organization. Part of this work is the analysis of the current state of HKM Zvolen, description of the organization as a whole and in the light of theoretical knowledge proposal innovation and change appropriate for the organization.
|
|
|
Visualization and verification of plans
Glinský, Radoslav ; Barták, Roman (advisor) ; Dvořák, Filip (referee)
Title: Visualization and Verification of Plans Author: Radoslav Glinský Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor of the bachelor thesis: Doc. RNDr. Roman Barták, Ph.D. Abstract: Plan analysis is an important part of complete planning systems. In order to make even larger plans transparent and human readable, we have developed a program which helps users with the analysis and visualization of plans. This program is called VisPlan - Interactive Visualization and Verification of Plans. VisPlan is an inevitable part of this thesis as it practically implements its plan verification and visualization solutions. VisPlan finds and displays causal relations between actions, it identifies possible flaws in plans (and thus verifies plans' correctness), it highlights the flaws found in the plan and finally, it allows users to interactively modify the plan and hence manually repair the flaws or just fine-tune the plan. Keywords: Planning, Artificial Intelligence, PDDL, Verification
|
|
|
Optimization of Run Configurations of k-Wave Jobs
Sasák, Tomáš ; Jaroš, Marta (referee) ; Jaroš, Jiří (advisor)
This thesis focuses on scheduling, i.e. correct approximation of configurations used to run k-Wave simulations on supercomputers from the IT4Innovations infrastructure. Especially, for clusters Salomon and Anselm. A single work is composed of a set which contains many simulations. Every simulation is executed by some code from the k-Wave toolbox. To calculate the simulation, it is necesarry to select a suitable configuration, which means the amount of supercomputer resources (number of nodes, i.e. cores), and the duration of the rental. Creation of an ideal configuration is complicated and is even harder for an inexperienced user. The approximation is made based on the empiric data, obtained from multiple executions of different sets of simulations on given clusters. This data is stored and used by a set of approximators, which performs the actual approximation by methods of interpolation and regression. The text describes the implementation of the final scheduler. By experimenting, the most efficient methods for this problem has found out to be Akima spline, PCHIP interpolation and cubic spline. The main contribution of this work is creation of a tool which can find suitable configuration for k-Wave simulation without knowing the code or having lots of experience with its usage.
|
|
|
Project Scheduling with Dynamic Reconfigurations and Maintenance
Halčin, Marián ; Kočí, Radek (referee) ; Hrubý, Martin (advisor)
Thesis deals with the topic of computational scheduling of production with dynamic reconfigurations and maintenance. The problem is formally defined by a mathematical model named Resource Constrained Project Scheduling Problem which was extended by dynamic reconfiguration and maintenance. Number of different schedule generation algorithms were proposed based on this model. Also methods of solution optimization based on genetic algorithms were described. The typology of production orders of which different task types are created was described in the experimental part. The result of the experiments is clear recommendation of scheduling algorithm for given task type. For the conclusion, thesis deals with the case study of choice of suitable solution for specific production companies.
|
|
|
Project management
Kollmann, Ladislav ; Prostredník, Daniel (referee) ; Fiala, Alois (advisor)
The master thesis is focused on the topic Project Management. In the theoretical part the literary research is elaborated. The practical part of the thesis provides an analysis of the current state of the project company ZETOR TRACTORS a.s.. On the basis of knowledge of the system, the arrangements are proposed to improve it.
|
|
|
Planning systems in game level design and agent control
Tóth, Csaba ; Kadlec, Rudolf (advisor) ; Barták, Roman (referee)
Planners are well developed tools in computer science, but their role is rather limited in games. We decided to test the possibilities of writing such a game around them. Proving that freely available, general purpose planning systems are worthy alternatives to custom made solutions could open a new path to small developers and popularize a new kind of gameplay powered by these tools. We attempted to exploit planners in two roles, in the development, to partially automate the level design process; and in the gameplay as a decision making tool for the acting agents. Our program is a puzzle game, more precisely an anticipation game, where the player has to foresee the future actions of the acting agents, then discover the pitfalls where they are heading. Using this knowledge he can modify their environment and force them to a desired outcome. A part of our program is a generator of such game challenges. We came to a conclusion that within some limitations planners are capable of creating believable agent behavior and while not all decisions can be handed over to the planning systems, they can lighten the task of the level designer.
|
|
|
Visualization and verification of plans
Glinský, Radoslav ; Barták, Roman (advisor) ; Dvořák, Filip (referee)
Title: Visualization and Verification of Plans Author: Radoslav Glinský Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor of the bachelor thesis: Doc. RNDr. Roman Barták, Ph.D. Abstract: Plan analysis is an important part of complete planning systems. In order to make even larger plans transparent and human readable, we have developed a program which helps users with the analysis and visualization of plans. This program is called VisPlan - Interactive Visualization and Verification of Plans. VisPlan is an inevitable part of this thesis as it practically implements its plan verification and visualization solutions. VisPlan finds and displays causal relations between actions, it identifies possible flaws in plans (and thus verifies plans' correctness), it highlights the flaws found in the plan and finally, it allows users to interactively modify the plan and hence manually repair the flaws or just fine-tune the plan. Keywords: Planning, Artificial Intelligence, PDDL, Verification
|
|
| |
|
|
Analysis of Manufacturing Processes within The Company for the Purpose of their Optimization
Šilon, Dávid ; Stromko, Pavel (referee) ; Klčová, Hana (advisor)
This bachelor thesis deals with optimization of production processes in the company, its information and also material flows conducted in planned production. The first part focuses on the theoretical description and background of the issue. In the second, practical part, this work will discuss and then analyze the production process of selected company. According drafted analyzes and theoretical basis, this thesis determine the problems and shortcomings of the process. In the last phase it provides suggestions to improve founded shortcomings and their implementation into production.
|
|
| |
guest ::
