|
| |
|
|
Output breakpoints for Java
Jelínek, Jakub ; Kofroň, Jan (advisor) ; Hnětynka, Petr (referee)
The goal of this thesis was to design the support for output breakpoints in the Java language and implement the designed solution including integration into the Eclipse IDE. An output breakpoint represents a location in an output media (e.g. file, standard output or socket) where the execution of program should stop. The location in the output media is generalized as a stop condition - it can be in the form of absolute position, a particular line and a character or an occurrence of a text string. The designed solution is based on observing the classes responsible for output using entry method breakpoints that are a standard part of the Java language. This solution is dependent on a particular version and implementation of JRE because some of observed methods are not a part of public Java API.
|
|
|
Modular authoring environment for creating digital learning objects
Kasálek, Jindřich ; Štípek, Jiří (advisor) ; Jeřábek, Tomáš (referee)
This Bachelor thesis deals with the problems of using digital learning objects (DLO) and affiliated applications in context with the use in practice by the teachers themselves. The thesis focuses on creating suitable DLO, which will suit both pedagogical demands and requirements of teachers from the demands of the competence views for ICT. The first part of the thesis deals with the theoretical assumptions, which are necessary to set the right targets and procedures to reach them. The second part deals with searching for the problematic points and proposals of the countermeasures, and their realizations.
|
|
|
Presenting results of software model checker via debugging interface
Kohan, Tomáš ; Šerý, Ondřej (advisor) ; Jančík, Pavel (referee)
Title: Presenting results of software model checker via debugging interface Author: Tomáš Kohan Department: Department of Software Engineering Supervisor of the master thesis: RNDr. Ondřej Šerý, Ph.D., Department of Distributed and Dependable Systems Abstract: This thesis is devoted to design and implementation of the new debugging interface of the Java PathFinder application. As a suitable inte- face container was selected the Eclipse development environment. The created interface should visualize results of JPF and details of paused JVM state, es- pecially a list of variables and their values. Two subprojects were created, i.e. debug4jpf and JPFDeb.core. The first one is responsible for controlling and communication with the JPF instance. The latter one is an Eclipse plugin and provides user interface which is similar to the interface of standard Java debugger. These two components communicate with each other by using the ad-hoc communication protocol created for this purpose. Keywords: Java, verification, model checker, JPF, debugging interface
|
|
|
Presenting results of software model checker via debugging interface
Kohan, Tomáš ; Šerý, Ondřej (advisor) ; Jančík, Pavel (referee)
Title: Presenting results of software model checker via debugging interface Author: Tomáš Kohan Department: Department of Software Engineering Supervisor of the master thesis: RNDr. Ondřej Šerý, Ph.D., Department of Distributed and Dependable Systems Abstract: This thesis is devoted to design and implementation of the new de- bugging interface to the Java PathFinder application. As a suitable interface container was selected the Eclipse development environment. The created inter- face visualizes results of JPF and details of paused JVM state, especially a list of variables and their values. Two subprojects were created, i.e. debug4jpf and JPFDeb.core. The first one is responsible for controlling and communication with the JPF instance. The latter one is an Eclipse plugin and provides user interface which is similar to the interface of standard Java debugger. These two components communicate with each other by using the ad-hoc communication protocol created for this purpose. Keywords: Java, verification, model checker, JPF, debugging interface
|
|
|
Centralized multirobot system
Staněk, Ondřej ; Obdržálek, David (advisor) ; Mráz, František (referee)
Title: Centralized multirobot system Author: Ondřej Staněk Department: The Department of Software Engineering Supervisor: RNDr. David Obdržálek Supervisor's e-mail address: David.Obdrzalek@mff.cuni.cz This thesis focuses on design and implementation of a centralized multi-robot system. A host computer (or cellphone) controls several tiny PocketBot2 mobile robots. These robots feature various sensors. They can perform line-following and they are equipped with a system for detecting obstacles and other robots. Although the PocketBot2 robots were designed and built within the frame of this thesis, the core of the thesis itself lies in the software. For the PocketBot2 hardware, an embedded control system was designed and implemented. It interfaces robot's sensors and carries out basic movement commands. Bluetooth technology is used for wireless data transfer between robots and the host. In the host, a multi-platform control library was implemented. It provides access to sensors of individual robots and controls their movement. The library ensures convenient interface for implementing centralized multi-robot algorithms. Keywords: robot, library, PocketBot, Bluetooth, Java
|
|
|
Platform-independent Middleware for Distributed Parallel Tasks
Bořkovec, Kryštof ; Hnětynka, Petr (advisor) ; Bureš, Tomáš (referee)
The thesis presents a middleware faciliating parallel execution of tasks expressed in the Java programming language on many computers. When started at a number of machines, this software creates a so called cloud that enables splitting the task into smaller subtasks and subsequent independent execution of these subtasks at difeferent nodes. The presented software distributes subtasks throughout the cloud automatically and it performs the following collection of results. The text begins with a brief introduction to the topic of distributed computations and a discussion of possible approaches to the subject. The main part of the work describes software architecture and topology of the system, demonstrates its usage at two sample tasks and gives a brief comparison with two other projects.
|
|
|
Temple architecture as a cultural core in Southeast Asia
Steinbachová, Eva ; Soukup, Václav (advisor) ; Uherek, Zdeněk (referee) ; Soukup, Martin (referee)
Dissertation thesis "Temple architecture as a cultural core in Southeast Asia" presents the temple architecture of Thailand, Cambodia and Indonesian islands of Java and Bali as a cultural phenomenon which opens possibility to observe Hindu and Buddhists cultural continuity in Southeast Asia. The main focus of the work is in the culturological analysis of the temple architecture as a semiotic system - associated symbols and meanings in close relations, reflecting the ideological foundations of Hindu and Buddhist culture. This study follows the works of orientalists and anthropologists and it extends the Czech bibliography, which traditionally lacks of topics in church architecture of Southeast Asia. This study does not claim to cover the topic in a full universal view. It is guided by an effort to map the issues in culturological terms and help to a deeper understanding of cultural heritage of East Asian culture as part of the cultural heritage of mankind. Keywords: Architecture, Southeast Asia, Buddhism, Hinduism, Java, Bali, Thailand, Cambodia.
|
|
|
Use of Markov decision processes for modelling of collective games
Zákutný, Roman ; Antoch, Jaromír (advisor) ; Koubková, Alena (referee)
In this thesis, a model based on the continuous-time Markov process is built and implemented and later applied on an one chosen collective game. An extensive analysis of available data is carried out to build a regression model to estimate parameters of the game model. An usableness of the game model is shown by a simulation process. Pros and cons are evaluated in a comparison analysis against the application of the discrete-time Markov chains, how it was described in my bachelor thesis [Roman Zákutný (2007)]. In conclusion are discussed possible extensions for other collective games.
|
|
|
User-Defined XML-to-Relational Mapping
Kohan, Tomáš ; Mlýnková, Irena (advisor) ; Nečaský, Martin (referee)
In the present work we study opportunities of mapping the XML data into relational systems. In the first part we describe basic terminology used in this work and subsequently also basic techniques for mapping XML data into the relational database. In the next part we engaged in theoretical methods like MXM and ShreX, which were proposed on premises of a university or by a research group. In the third part we describe mapping methods, that are used in some commercial systems like Oracle, DB2 and MS SQL. In the whole second half of this work we propose a new mapping method (XRM), which bring in several new features, while the origin positive features are kept. At the end we analyze the prototype implementation of the proposed mapping method.
|
guest ::
