| |
|
Sport Assistant for iOS
Fišer, Jakub ; Janoušek, Vladimír (referee) ; Hrubý, Martin (advisor)
The aim of this thesis was to create a mobile phone application for iOS, that would be used for recording all sport activities of a person. The application can record activity using GPS or count the exercise manually, automatically at time intervals or by motion sensor. For recognition of moves while using motion sensor was developed a library called Motion Recognizer. The application uses HealthKit framework. The application also offers an opportunity of planning a sport activity by using Trainer objects. It uses Core Data framework while working with data and it backs up the data on iCloud.
|
|
Vector Analysis in GIS Systems
Životský, Tomáš ; Peringer, Petr (referee) ; Hrubý, Martin (advisor)
This master's thesis deals with the geographic information systems with an emphasis on so - called vector analysis . The aim of the thesis is to create a library that implements the internal representation of geographic data and performs analytical operation over them . The thesis describes the logical structure of the application and the hierarchy of abstract classes . In the form of pseudo -code is shown a set of individual computing operations . Work is strongly based on geographic system GRASS. This GIS is connectable through import and export vector data in shapefile format. Concept of storing layers is designed for ease of data manipulation and their portability . The main idea behind the application is to split the library into individual modules . These modules are independent , but also can benefit from each other's functions . In conclusion are demonstrated implemented vector analysis and representation of their calculation .
|
|
GIS Application Tool for Mobile Platforms
Plachý, Tomáš ; Kočí, Radek (referee) ; Hrubý, Martin (advisor)
The aim of the thesis is to design and implement a GIS tool for mobile devices. The beginning of the thesis informs about the theoretical background of GIS and mapping. Subsequently, the thesis deals with the concept of a mobile mapping tool. The thesis describes the architecture and processes within the tool, as well as some details regarding its implementation. A mapping of a selected geographical location and a protocol summarising the mapping are also included within the thesis.
|
|
Algorithms for Computerized Optimization of Logistic Combinatorial Problems
Bokiš, Daniel ; Peringer, Petr (referee) ; Hrubý, Martin (advisor)
This thesis deals with optimization problems with main focus on logistic Vehicle Routing Problem (VRP). In the first part term optimization is established and most important optimization problems are presented. Next section deals with methods, which are capable of solving those problems. Furthermore it is explored how to apply those methods to specific VRP, along with presenting some enhancement of those algorithms. This thesis also introduces learning method capable of using knowledge of previous solutions. At the end of the paper, experiments are performed to tune the parameters of used algorithms and to discuss benefit of suggested improvements.
|
|
A Library for Binary Decision Diagrams
Janků, Petr ; Hrubý, Martin (referee) ; Holík, Lukáš (advisor)
Efficient manipulation of Boolean functions is an important component of many computer-aided design task. As a data structure for representing and manipulating Boolean functions, Binary Decision Diagrams are commonly used. These diagrams are commonly used in many fields such as model checking, system verification, circuit design, etc. In this thesis we describe these diagrams and there are present their modifications. Furthermore, this paper present and describes techniques for effective handling and representation of binary decision diagrams. This thesis describes the design and implementation of library that will work with these diagrams. It is further discussed how the developed library can be used within the library VATA for manipulating tree automata. Finally, the library was compared with well known and heavily optimized library CUDD, which is public and with library CacBDD. The experimental results showed that the performance of the proposed library is quite close to that of CUDD a CacBDD (has comparable and mostly even slightly better performance).
|
|
Meta-Heuristic Solution in RCPSP
Šebek, Petr ; Kočí, Radek (referee) ; Hrubý, Martin (advisor)
This thesis deals with the description of the state of resource-constrained project scheduling problem. It defines the formal problem and its complexity. It also describes variants of this problem. Algorithms for solving RCPSP are presented. Heuristic genetic algorithm GARTH is analyzed in depth. The implementation of prototypes solving RCPSP using GARTH is outlined. Several improvements to the original algorithm are designed and evaluated.
|
| |
| |
| |