|
|
Product Data Visualization in PNC Build System
Korytár, Patrik ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
Cieľom tejto bakalárskej práce je zlepšiť vizualizáciu dát súvisiacich s produktami build systému PNC na jeho novom webovom používateľskom rozhraní. Hlavné vizualizačné prvky zahŕňajú tabuľky, grafy, sieťové grafy a palubné panely. Táto práca analyzuje vstupy od používateľov build systému PNC, aby sa zohľadnili skutočné potreby používateľov. Na základe analýzy bol vytvorený dizajn pre úplne nové komponenty používateľského rozhrania a niektoré z už existujúcich boli prepracované. Na ilustráciu nového dizajnu sa vytvorili nákresy. Navrhnuté boli nové koncové body REST API pre dáta vyžadované novými komponentami. Nové funkcie boli následne implementované. Implementačný jazyk je TypeScript. Hlavné knižnice zahŕňajú React, Chart.js, Sigma.js a Graphology. Ako výsledok má teraz nové používateľské rozhranie systému PNC nové funkcie, ktoré pomáhajú s používaním stránok súvisiacich s produktami. Implementácia je tiež ľahko rozšíriteľná pre viac vizualizácií tohto druhu.
|
|
|
Family Tree Drawing in Web Pages
Zedník, Matěj ; Kočí, Radek (referee) ; Rozman, Jaroslav (advisor)
This thesis deals with displaying interactive family trees in a browser using a suitable library of choice. A library programmed in Javascript was used for the solution, which was modified and improved. To obtain the necessary family tree data, a Gedcom-type file is used, which after analysis is converted to a JSON-type structure. This structure is then passed to the modified library to display the family tree. It is therefore possible to display any family's family tree including all its ancestors or a member and descendants.
|
|
|
Educational Tool for Coloured Petri Nets
Navrátil, Ondřej ; Kočí, Radek (referee) ; Rogalewicz, Adam (advisor)
Coloured Petri nets (CPN) are an extension of a standard place-transition Petri nets (P/T PN). Every token and place have its type (and eventually a value) and various inscriptions can be inserted into the net. CPN excel with great readibility and expresivity. At the same time, they carry a well-defined formal basis, which eases its computer simulation and allows limited verification of certain attributes to be performed. Motivation for doing this project is the simple fact that currently only one public software tool is available for CPN creation and simulation - CPNTools developed on the Aarhus university. The program, however, is quite complicated and hard to handle for an unexperienced user. The goal is to research capabilities and properties of both CPNs and CPNTools and on this basis design and implement a didactic application with swift and intuitive interface that helps users without deeper theoretical insight to get a grasp of the problematics.
|
|
|
IoT Application Deployment Platform
Hrvol, Marek ; Smrčka, Aleš (referee) ; Kočí, Radek (advisor)
The aim of this work is simplifying deployment of Internet of Things in households or smaller companies and also reducing the need of maintenance of created network. Main goal of this web application is creating platform capable of deploying applications across ARM single-board computers. Moreover, application provides intuitive preview of all registered devices including its state, shows all the necessary data and informs user about failures on devices.
|
|
|
Java EE Organizer
Černý, Petr ; Martinek, David (referee) ; Kočí, Radek (advisor)
This thesis deals with applications for organization of time and contacts. It includes analysis of existing solutions, used architectures and brief characteristics of existing applications. Thesis also deals with developing a client application for Java EE applications, and discusses the basic technologies that are used in this eld (Swing, Java EE platform and its technologies). The practical part includes design and implementation of modules for managing contacts and tasks, which are incorporated into the demo application Java EE Organizer.
|
|
|
Strategic Game Based on Multiagent Systems
Knapek, Petr ; Kočí, Radek (referee) ; Zbořil, František (advisor)
This thesis is focused on designing and implementing system, that adds learning and planning capabilities to agents designed for playing real-time strategy games like StarCraft. It will explain problems of controlling game entities and bots by computer and introduce some often used solutions. Based on analysis, a new system has been designed and implemented. It uses multi-agent systems to control the game, utilizes machine learning methods and is capable of overcoming oponents and adapting to new challenges.
|
|
|
Tool for Software Systems Design
Hala, Karel ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The Tool for software systems design is an application for visualization of application development. It's main goal is to achieve connection between developer and customer. It should be used to understand customer's needs, prepare work ow of project and behaviour of each class and method using objected oriented Petri nets. In this work we will look on other programs, that focus on similiar topic, we then pick some diagrams and describe how they were implemented. At the end we will disguss possible extension for this tool.
|
|
| |
|
|
Graphical Editor for Design Models
Hlavačka, Filip ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The thesis is aimed at the solution of graphical editing for design models, especially Object-oriented Petri nets. There are many tools for editing Object-oriented Petri nets, but none of these support complete cooperation with simulation classes. This thesis offers created tool, which is implemented in the Pharo environment and uses the Morphic library. The created tool enables users to create or modify Object-oriented Petri net. Users can export created net to SVG or PNG format. The tool also enables the saving and loading of Object-oriented Petri net. The tool provides syntax check to the user.
|
|
|
Model Based Design of the Conference System
Caha, Matěj ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the topic of model-based design and application of simulation in system design. In the introduction, the thesis discusses the history of software development process and outlines the current status. The aim is to demonstrate a model-driven design on a case study of conference system. There will be presented formalisms of DEVS and OOPN together with experimental tools PNtalk and SmallDEVS that allow to work with these formalisms. The resulting model of conference system will be deployed as part of a web application using a framework Seaside in the Squeak environment.
|
guest ::
