|
|
Database for Genealogical Models
Hoffmann, Michael ; Zbořil, František (referee) ; Kočí, Radek (advisor)
The bachelor thesis is part of the DEMoS project, aiming to create a system for managing digitized records of old registries. This thesis aims to design and develop an application with a database to allow users to manage created or generated genealogical models. At the same time, it will be possible to link people listed in the models with records in the database of digitized registries. Following technologies were used for the solution and implementation - PHP, Javascript, HTML, CSS, and Neo4j.
|
|
|
Remote API Web Reference for Java Enterprise Applications
Krpec, Ondřej ; Turoňová, Lenka (referee) ; Kočí, Radek (advisor)
Tato diplomová práce popisuje testování REST API rozhraní aplikací. Výsledkem práce je aplikace Restty, založená na použití nástroje Swagger, která umožňuje testovat jednotlivé části API aplikací, i vytvářet a spouštět komplexní testovací scénáře nad daným rozhraním. Teoretická část práce vysvětluje principy webových služeb, vzdálených rozhraní a představuje nástroj Swagger i technologie použité k implementaci. V následující kapitole jsou v práci prezentovány designové návrhy aplikace, na které plynule navazuje kapitola o implementaci a testování, pro které je zvoleno rozhraní nástroje Red Hat JBoss BPM Suite. V závěru práce jsou vyhodnoceny přínosy aplikace Restty a navrženy případné budoucí rozšíření.
|
|
|
Code Generation from Object Oriented Petri Nets
Fryč, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis describes modeling systems using Object Oriented Petri Nets (OOPN) and design of mechanism which transforms this formalism into Java programming language. The first part of the thesis describes Petri Nets formalism, its extension to object orientaton and PNtalk language, which is specific implementation of OOPN. The next part deals with the mechanism that generates equivalent models in Java from models described by PNtalk, and describes how to simulate these generated models. The generator is designed to be easily expandable and the generated models can be easily modifiable.
|
|
|
Twitter Client for Apple TV
Zvara, Marek ; Kočí, Radek (referee) ; Hrubý, Martin (advisor)
This paper describes and analyses the tvOS platform and compares its advantages and disadvantages to the iOS platform. In addition, it offers an overview of the current state of the Twitter API.Based on this knowledge, it provides a description of the design, successful implementation and testing of the application. Twitter client works with basic features such as scrolling the timeline, retweet, like / unlike tweet, or responding to a tweet discussion.
|
|
|
Automated Trading on Cryptocurrency Exchanges
Křesťan, Zdeněk ; Zbořil, František (referee) ; Kočí, Radek (advisor)
This thesis focuses on automated trading on cryptocurrency exchanges. Cryptos are now widespread. The possibility of hier automated buying and selling is an interesting topic, which is more and more mentioned. The main part of the thesis is the design of an algorithm for processing data from stock exchanges, their evaluation and subsequent execution of cryptocurrency trades. It also describes its implementation, testing and possible further extensions.
|
|
|
Interpreter of Petri Nets Formalism
Blažek, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the concept of the formalism of Petri nets, which allows to investigate the dynamic behavior of parallel and nondeterministic systems. Furthermore, this deals with its variant of Object-Oriented Petri Nets (OOPN), which aims to facilitate the process of modeling systems with an object-oriented approach. The aim of this master thesis is to design an internal representation of OOPN models, which is suitable for efficient interpretation and implement compiler from PNtalk language into the internal representation. Subsequently, design and implement an OOPN model interpreter using this internal representation of models, which in addition to Petri net objects, must also be able to work with a selected subset of objects from the Java language.
|
|
|
Demonstration of Marked Graphs Features
Horák, Michal ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
This thesis presents Petri nets as a modelling tool, defines their features and subclasses, including marked graphs. The goal of this paper is to inspect the features of Petri nets by analyzing their state space. As the output of this thesis, a tool for analyzing the features will be designed and implemented, with potential to extend the usability of Petri nets.
|
|
|
Test Result Repository with Web User Interface
Vlasák, Jaroslav ; Letko, Zdeněk (referee) ; Kočí, Radek (advisor)
This thesis deals with the development of a client-server application for Red Hat company. Client participates in testing process of JBoss platform and gets user-defined performance data which sends during testing to the server application by platform independent communication. The server application allows to analyze the received data which can be also compared by several perspectives. These services for data analysis and comparison are accessible for server users using the web client. The server application supports the import of the performance data stored in the XML file and also their export for qVue portal. The client part of the application is implemented in Java and the server application is based on Java EE platform.
|
|
|
A Comparison of CACAO Virtual Machine and HotSpot JVM
Malík, Nikolaj ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The aim of this thesis is introduction of Java platform and two chosen representants of Java Virtual Machine (JVM) implementations. At first JVM HotSpot as widespread one and on the other side JVM CACAO as an alternative option. This thesis describes implementation of chosen areas of both machines. It provides useful information for everybody who deals with runtime program optimalization. Final part presents benchmark results of the match between abovementioned machines by memory and time complexity.
|
|
|
Discrete Simulation in Java: Process Scheduling
Skočovský, Peter ; Kočí, Radek (referee) ; Martinek, David (advisor)
This thesis deals with process scheduling implementation for discrete simulation in Java. Two approaches are considered: process implementation using threads and process implementation without threads. Main problem of using threads was to ensure cooperative switching. Processes implemented without threads are divided into atomic parts and suspend can be performed only between these parts. Test results show that implementation using threads is considerably slower and consumes more memory.
|
guest ::
