|
|
Object Oriented Petri Net Tool
Neužil, Antonín ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This work deals with the development and use of a graphical editor of object-oriented Petri nets implemented in the PNtalk language. First, Petri nets that expand over time are described here. They are followed by a description of the object-oriented paradigm. Next, the structure of object-oriented Petri nets in the implementation of PNtalk is described here. Further work presents a description of the application design, which shows the entire structure of the application from the perspective of views. The main motivation for creating this tool is the effort to make object-oriented Petri nets accessible to their users. The application was implemented in the JavaFX framework and the whole procedure is given in the following chapter together with testing. The result of the work is presented in the examples contained in the last chapter, which also contains detailed manuals for controlling the application. The tool in cooperation with the PNtalk server enables users to work more pleasantly with OOPN and their visual appearance.
|
|
|
Coordination of MicroPython-Based IoT by Means of Node-RED
Kolář, Josef ; Peringer, Petr (referee) ; Janoušek, Vladimír (advisor)
The target of this thesis is to create means for using the Node-RED tool to coordinate physical nodes in the form of ESP32 chips in the Internet of Things. This is fulfilled by created Node-RED extension, the proposed MQTT channel protocol and custom firmware for these nodes. All of this suport deploy of diverse applications to nodes simultaneously side by side. The designed and implemented MicroPython firmware is capable of asynchronous operation of individual applications which provides an interface to communicate with the Node-RED. The functionality of this system has been successfully validated on the basis of two practical usage scenarios that demonstrate the possibility of direct use deployment system into practice in automation - even with the included firmware installer.
|
|
|
Modular Simulator of Microcontroller
Vosyka, Pavel ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This thesis deals with design and implementation of new simulator with possibility of supporting multiple types of microcontrollers and has its own graphical user interface. The user interface was implemented using the QT graphical framework. Support for the ATmega328p microcontroller was added to the simulator using the simavr library. Three electrical circuits were modeled as microcontroller surroundings, these are switch, LED and RC circuit. The simulator was implemented in C++ and its functionality was verified. The result of this work is a functional simulator supporting simulation of microcontroller ATmega328p.
|
|
|
Game with Non-Player Characters
Tomečko, Lukáš ; Peringer, Petr (referee) ; Janoušek, Vladimír (advisor)
The goal of this project is to create a 2D action strategy videogame, featuring intelligent enemies. The architecture design is based on techniques and patterns used in game industry. Game is written in C++, SFML library is used for graphics and inputs, Box2D library takes care of physics. Enemies' artificial intelligence applies standard algorithms used in videogame industry. Human players and metrics are used for evaluation of final game and enemies' intelligence.
|
|
|
Code Generation from Object Oriented Petri Nets
Cibák, Michal ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The goal of this thesis is to analyze the current solution of a code generator from Object oriented Petri nets written in PNTalk language to Java language, propose changes and implement them. First the overall scheme was analyzed and missing parts were specified, then the source code of the compiler was analyzed and errors were found. The proposed corrections of errors in the compiler were made and some missing parts from the scheme were partially implemented within the compiler.
|
|
|
FITkit CAN Implementation
Jančo, Tomáš ; Janoušek, Vladimír (referee) ; Hanáček, Petr (advisor)
This thesis describes main principles of communication on CAN bus, design and implementation of CAN bus controller. The controller is implemented in VHDL for school development platform FITkit. This work also describes design of CAN physical layer circuits for connecting FITKit to CAN bus.
|
|
|
Smart Home Solution Based on ESP Modules and Raspberry Pi
Bartoš, Martin ; Smrčka, Aleš (referee) ; Janoušek, Vladimír (advisor)
Nowadays, the world of smart devices in households is growing significantly, where the devices communicate with each other and make people's lives easier. However, a major problem with the purchase of these devices to common households is the high price and compatibility of those products from one vendor. The goal of this bachelor thesis is to create a comprehensive low-cost smart home solution that the user will be able to manage without much effort. This solution is implemented by the latest technologies and tools.
|
|
|
OOPN Editor
Neužil, Antonín ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This bachelor thesis deals with Petri nets and their modeling. First of all, the thesis describes the formalism of the Petri network. It will also focus on object orientation of networks. In the second row, the thesis is specialized on the created application and it is a graphical editor of object-oriented Petri nets. Part of the thesis is the process of designing and implementing the already mentioned application. The application is created using programming language Java and is compatible only with operating system Windows. NetBeans IDE 8.0.2 development environment was used to create the application. The result of the whole bachelor thesis is an application for creation of models of object-oriented networks and their simulation with the attached server. Several examples of these models and their results are part of this thesis. These examples serve as an application manual.
|
|
|
Tool for Software Systems Design
Hrubý, Daniel ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The tool for software systems design is an aplication for simplification of system development. Use case diagram helps to make comunication between customer and developer better, then with the use of class diagram rewrite draft to object concept and thanks to object oriented Petri nets describe aplications behavior. First we will look on programs with similiar specialization, then describe each diagram and Object oriented Petri net. After that we will introduce application itself, testing and possible extensions.
|
|
| |
guest ::
RSS feed.