|
|
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.
|
|
|
Sport Assistant for iOS
Fišer, Jakub ; Janoušek, Vladimír (referee) ; Hrubý, Martin (advisor)
The aim of this thesis was to create a mobile phone application for iOS, that would be used for recording all sport activities of a person. The application can record activity using GPS or count the exercise manually, automatically at time intervals or by motion sensor. For recognition of moves while using motion sensor was developed a library called Motion Recognizer. The application uses HealthKit framework. The application also offers an opportunity of planning a sport activity by using Trainer objects. It uses Core Data framework while working with data and it backs up the data on iCloud.
|
|
| |
|
|
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.
|
guest ::
RSS feed.