|
|
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.
|
|
|
Multiagent Support for Strategic Games
Válek, Lukáš ; Kočí, Radek (referee) ; Zbořil, František (advisor)
This thesis is focused on design of framework for creation an articial opponents in strategy games. We will analyze different types of strategy games and artificial intelligence systems used in these types of games. Next we will describe problems, which can occur in these systems and why agent-based systems makes better artificial opponents. Next we will use knowledge from this research to design and implement framework, which will act as support for creating an artificial intelligence in strategy games.
|
|
|
Software Versions Management in Containers Deployment
Růžička, Adam ; Kočí, Radek (referee) ; Smrčka, Aleš (advisor)
Cílem této práce je analyzovat požadavky a navrhnout řešení pro využití projektu s otevřeným zdrojovým kódem Katello pro správu softwaru nainstalovaného na obrazech aplikace Docker. Nejprve je diskutováno srovnání virtualizačních technik a následně také různých implementací kontejnerové virtualizace na rozdílných platformách. Následně jsou popsány možnosti využití projektu Katello pro správu verzí softwarových balíků RPM a návrh a implementace samotného systému pro správu obrazů aplikace Docker. Funkcionalita aplikace byla experimentálně testována a ověřena a byly navrženy možnosti pro další rozšíření.
|
guest ::
