National Repository of Grey Literature 109 records found  1 - 10nextend  jump to record: Search took 0.01 seconds. 
Comparison of Freely Available Simulation Tools
Vysloužil, Robin ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This thesis compares different freely available simulation tools. The aim of the thesis is to document and compare tools implemented in Modelica, MATLAB and Python. Various simulation models are created for each language. The models were simulated and the results from simulation runs were evaluated.
Modular Simulator of Microcontroller
Vosyka, Pavel ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
In this thesis, free access existing microcontroller simulators were found. A microcontroller simulator with a graphical user interface was developed. The simulator is able to change between different microcontrollers. Surroundings of microcontroller's simulation are made of predefined electrical circuits, which can be arbitrarily connected with the microcontroller. The simulator was implemented and tested. Also, ATmega328p microcontroller was implemented in the simulator. 
Test Case Management with Support of BDD
Bložoňová, Barbora ; Janoušek, Vladimír (referee) ; Smrčka, Aleš (advisor)
This thesis focuses on test management tools and automated testing. The project covers analysis of existing open source tools and proposes its own BDD orientated test management tool in the form of a web service. The project aims to specify and design this application based on the process of Behaviour driven development. The resulting application TestBuDDy allows for test library management. Changes on the test library are projected onto a remote repository of software under test (SUT) and triggers a test run (the test library is being run against SUT by the BDD framework). TestBuDDy is able to save the test run results, parse them into a report and generate and group found issues. The application also allows requirement management and user management. The application is integrated with the CI/CD tool Gitlab CI, the BDD framework JBehave and the issue tracker JIRA. The application is designed to help testers during their work and also to be expandable within the open source community.
Music Files Metadata Management
Saloň, Marek ; Peringer, Petr (referee) ; Janoušek, Vladimír (advisor)
The main goal of this bachelor thesis is to design and implement application that is able to process metadata of local music library. For this purpose, custom methods were implemented to ease and automate working with large number of files. One of the main means of automation is the use of internet services to obtain relevant information. This work describes the music files and methods of storing metadata, the structure and use of individual services, discusses possible extensions and, last but not least, evaluates the resulting implementation.
Fluid Dynamics Simulation Using Cellular Automata
Režňák, Michal ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
The main objective of this work was to create application for fluid flow simulation using Lattice Gas Cellular Automata. Used simulation models are HPP, FHP-I, FHP-II and FHP-III. The program is implemented in a C++ language in a way that it can run in WebAssembly web standard. Part of the work is comparison between wasm, ams.js formats and native desktop (x86_64). This shows that time for application loading in web browser is much smaller for wasm format than for asm.js and application performance in wasm format is about 24% higher than asm.js but 50% smaller than a native desktop. The application is suitable for educational purpose as a presentation of cellular automata simulation and also as an introduction to the Lattice Boltzmann method for fluid flow simulation.
High-Level Petri Nets Interpreter in Python
Grigorev, Danil ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
This work is targeting a goal of implementing a high level Petri net interpret in Python. The implementation is based on SNAKES library. The final product is capable of executing and visualising Petri nets, created by user. The simulator is based on distributed systems theory and is executed in real-time. The end user is able to experience a simple and human-friendly API, made for creation and execution of High-Level Petri Nets.
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.
IoT with Reconfigurable Nodes in Python
Pitko, Erik ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
The main goal of this thesis is creation and implementation of monitoring software for reconfigurable ESP32 nodes equipped with the existing operating system MPOS. This system is then used to solve specific task. The monitoring system is capable of loading, activating and maintaining applications written in MicroPython language that is running on these nodes. Nodes can communicate with other applications using the MQTT broker.
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.
Petri Nets Virtual Machine
Lapšanský, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This bachelor thesis formally defines the Object Oriented Petri Nets. Then it designs concept of compilator and virtual machine for Object Oriented Petri Nets using PNTalk language. It uses PNTalk language. It describes implementation of virtual machine and compiler.

National Repository of Grey Literature : 109 records found   1 - 10nextend  jump to record:
See also: similar author names
1 JANOUŠEK, Viktor
2 JANOUŠEK, Vladimír
2 JANOUŠEK, Vojtěch
2 Janoušek, Vojtěch
5 Janoušek, Václav
1 Janoušek, Vít
Interested in being notified about new results for this query?
Subscribe to the RSS feed.