|
|
Search of Control Strategies Using UPPAAL STRATEGO
Hruška, Filip ; Hrubý, Martin (referee) ; Strnadel, Josef (advisor)
This thesis deals with finding control strategies for pre-selected problems from various areas using tool Uppaal Stratego. Four areas were selected, namely chess, a sliding puzzle, the tower of Hanoi, and a kinematic problem involving a package, a car, and an airplane. For the selected areas and problems, a set of models was designed and implemented. For the tower of Hanoi and the sliding field, it was possible to successfully evaluate relevant strategies, raising the probabilities of success to more than 90 %. For other models, a problem was found in the size of the state space and the strategies could not be evaluated because the maximum memory capacity that the tool uses was not sufficient. For the kinematic problem, after limiting and simplifying the model, the strategies were successfully evaluated, but for chess, this was not possible even after significant simplification.
|
|
|
Framework for Data Synchronization in the Context of Apple User Applications
Klembara, Filip ; Smrčka, Aleš (referee) ; Hrubý, Martin (advisor)
The goal of this thesis is to design and implement a library for data synchronization between multiple client's devices in the context of the ecosystem of a single application targeting the iOS, iPadOS or MacOS operating system. The work focuses on the simple integration of the library into existing applications using the Realm database system and on the simple way to connect the user interface with the synchronization process. I solved the chosen problem by designing a synchronization protocol primarily based on log synchronization to distribute changes between the client and the server, implementing a library to monitor changes in the client's database and distribute them to the server, and implementing a server library to integrate received changes and distribute them with help of notifications. The solution provides an easy way to implement data synchronization between multiple devices using custom database server and with the ability to define how to handle new changes of objects presented in the user interface during the synchronization. Created library can be quickly and easily integrated and thus effectively speed up the application development process.
|
|
|
Implementation of the WPS Service
Maďarka, Dušan ; Peringer, Petr (referee) ; Hrubý, Martin (advisor)
The aim of this diploma thesis was to design and implement web mapping service Web Processing Service. The purpose of this service is to provide geospatial oriented calculations on the internet. Introduction part is dedicated to analysis of existing mapping services implementations and defined standards. Thereafter conclusion was drawn and the service was implemented, with respect to computing system efficiency, pluggable design and simplicity of integration in client applications. The interface for work with geographic information system GRASS GIS is also part of the implemented service and it brings the possibility to use the tool from service. The last chapter describes the testing of implemented service in term of functional and performance tests.
|
|
| |
|
|
Processing of Texy Language
Bodeček, Miroslav ; Hrubý, Martin (referee) ; Kočí, Radek (advisor)
One of the problems encountered by today's publishing systems for the web is making it easy for authors to enter content. This problem has been solved in the past by a PHP library called Texy. The goal of this work is to create a new implementation of the Texy language, which will be based on the Java platform. This document describes implementation details of the compiler, the model of the language and the formal grammar used. It also explores potential further development of the library, namely generating output formats other than HTML.
|
|
|
Case Study of Available Tools for Database Synchronization Among iOS Facilities
Matěj, Kryštof ; Smrčka, Aleš (referee) ; Hrubý, Martin (advisor)
The goal of this work is to verify the functionality of the synchronization object databases via CoreData and Datastore. Verification of functionality synchronization object database I made using two experimental devices and the server. In the present bachelor thesis I created the library DB2iCloud, which provides an abstract interface for CoreData Datastore. Be- nefits of this work is to create a library DB2iCloud in the demo application and verification of CoreData and Datastore.
|
|
|
Distribution of Location-Based Information in Mobile Applications
Bátrla, Tomáš ; Hrubý, Martin (referee) ; Hanáček, Petr (advisor)
Master thesis is focused on retrieval of multimedia information based on location of mobile device. Paper describes mobile platforms technology and technology behind location sensing and two-dimensional barcode recognition. There is also included design of client-server architecture for information retrieval of location based multimedia data. Master thesis includes report of system testing and some ideas about new features for implemented location based information distribution system.
|
|
|
GIS Application Tool for Mobile Platforms
Kalčík, Vojtěch ; Smrčka, Aleš (referee) ; Hrubý, Martin (advisor)
This master's thesis with draft of GIS tool for mobile platforms. The resulting program will be adapted for collection of geographic data in the field. The program will work with standard file formats for GIS. High emphasis is put on the control, which is particular for mobile devices with capacitive display. The program will be designed for both smartphone and tablet. Explanation of the mapping principle and description of geographic information systems are also parts of the thesis.
|
|
|
Navigation in GIS Surveys
Pop, Pavel ; Kočí, Radek (referee) ; Hrubý, Martin (advisor)
The project aims to design and implementation of navigation in GIS surweys. The system must be able to operate globally and deal with several types of navigation tasks in relation to the means of transport by which the navigation is carried out. One of the tasks is also to improve the course of navigation errors resulting from the removal of inaccuracies in the focus position and technical limitations of GPS, such as low frequency of the input data for guidance. Problems of low frequency of the input data is dealt with through the prediction of movement, which enabled the smooth display output users. Because it is not possible to completely test the system in operation, it created a simulation tool that lets you track the behavior of navigation in all situations. The document contains an analysis of the problem in terms of geography, the definition of the problems of orientation in space and their mathematical solution and an outline of implementation.
|
|
|
Methods and Tools for Modelling of Multi-Comodity Markets
Janeček, Vítězslav ; Janoušek, Vladimír (referee) ; Hrubý, Martin (advisor)
This study investigates Game theory including economic theories related to agricultural production. Model creation simulating economical system is built upon theoretic starting points. Commodity production is simulated using game theory with searching for Nash equilibria. Commodity demand function is grounded on concept of Cournot game. System includes land trading based on sealed-bid auctions with second-price. This model is using external Gambit software which is freeware library for game theory computations. Model evaluation is located in Experiments section where model structure and truthfulness is tested.
|
guest ::
RSS feed.