National Repository of Grey Literature 122 records found  1 - 10nextend  jump to record: Search took 0.00 seconds. 
Simulation of Spread of Infectious Diseases in Human Population
Vaňo, Michal ; Peringer, Petr (referee) ; Strnadel, Josef (advisor)
Epidémie predstavujú trvalú hrozbu pre život a ekonomiku krajín. Napriek ich ničivému potenciálu, ich dopad je možné zjemniť študovaním chorôb, ktoré tieto epidémie spôsobujúu, a predpoveďou ich dosahu. Modelovanie epidémií je kľúčové pre pochopenie šírenia infekčných chorôb a hodnotenie účinnosti zdravotných zásahov. Táto bakalárska práca najprv predstavuje a porovnáva kompartmentálne a multiagentné modely, dva primárne prístupy v oblasti epidemiologického modelovania. Zvoleným prístupom pre túto prácu je multiagentné modelovanie, ktoré bolo dôkladne analyzované a následne transformované na abstraktný model šírenia chorôb. Model je navrhnutý tak, aby bol spustiteľný na akomkoľvek slovenskom meste a poskytol všestranný nástroj na pochopenie dynamiky chorôb v rôznych lokalitách. Abstraktný model bol implementovaný v Pythone. Záverečná časť práce pozostáva z vykonania experimentov na analýzu rôznych scenárov a rôznych opatrení. Tieto experimenty prispievajú k hlbšiemu pochopeniu dynamiky šírenia chorôb a môžu byť zdrojom informácií pri tvorbe politiky v oblasti verejného zdravia. Práca ponúka prehľadnú štúdiu rôznych prístupov k modelovaniu a vyvíja všestranný model založený na agentoch, ktorý je možné rozšíriť podľa dostupných údajov.
Automated Testing of Smart Card Authentication in GUI
Mach, Ondřej ; Smrčka, Aleš (referee) ; Peringer, Petr (advisor)
Cílem této práce je automatizovat testování běžných případů autentizace pomocí čipových karet v systému Red Hat Enterprise Linux (RHEL). Mezi ně patří přihlašování v GDM, použití funkce lock-on-removal v prostředí GNOME shell a odemykání systému. Protože tyto případy použití zahrnují interakci s přihlašovací obrazovkou, nelze použít běžné testovací nástroje. Výsledkem práce je modul v jazyce Python, který umožňuje snímat obrazovku a ovládat testovaný systém. Dále byla implementována sada běžných případů užití, které byly dříve testovány manuálně. Řešení bude použito ve firmě Red Hat k testování nových verzí systému RHEL.
Nástroj pro editaci a běh řídicích panelů pro IoT aplikace
Ryška, Andrej ; Peringer, Petr (referee) ; Janoušek, Vladimír (advisor)
This bachelor thesis analyses existing open source solutions for IoT devices with a focus on the presentation, processing and manipulation of data through the user interface of a web application. The goal of this thesis is to implement a custom solution based on the analysis, preferring simplicity, ease of configuration and user friendliness. The implemented application is to be compatible with Node-RED, Domoticz and Home Assistant via an MQTT broker, from which the application will draw data and manipulate the states of individual IoT devices
Program Instrumentation Enabling Coverage Measurement
Václavík, Jan ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
This thesis deals with the design and the implementation of the Ginstrum tool for compile time instrumentation of C programs. The tool is implemented as a GCC Plugin and instruments places in program that access memory, write to memory or call functions. The tool also provides compile information that can be used for the code coverage measurement during testing and dynamic analysis.
Real-Time Operating System with Fixed Task Priority for Raspberry Pi
Kolář, Josef ; Peringer, Petr (referee) ; Janoušek, Vladimír (advisor)
The main goal of this work is to create a support for an open-source real-time operating system on the computer Raspberry Pi 3B+. The project FreeRTOS is selected as a great candidate for further work. The runtime environment and support for user-space applications are presented. Two demonstration applications serve as proofs of support, the first one uses two periodic tasks and reports their state to the serial interface. The second demonstration application runds the same periodic tasks, but reporting the state is done using the CAN bus, for which is the driver realised. The result of this thesis is a working system FreeRTOS for Raspberry Pi 3B+ computer with support for time-critical usages.
Program Instrumentation Enabling Coverage Measurement in SW Testing
Kapoun, Petr ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
This work deals with the design and creation of an instrumentation tool for measuring coverage in software testing. During compilation, the tool obtains a representation of selected parts of the program in the form of a control flow graph and instruments the given parts of the program by inserting function callbacks. Using the data generated when calling the function callbacks of the instrumented program, the tool evaluates the measurement of the coverage criteria. Supported coverage criteria include line coverage and selected control flow and data flow coverage criteria. 
Educational Simulator in WebAssembly Environment
Březina, Jaromír ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This bachelor thesis focuses on the issue of simulation of timed stochastic Petri nets and continuous block diagrams for educational purposes. The resulting application consists of two sub-parts. The first is a simple graphical editor that provides tools to create the desired model in the form of a Petri net or block diagram and visualize the simulation results. The graphical user interface of the editor was created using the React library. The second part of the application consists of a simulator implemented in C++, which is used to simulate the created model and is integrated into the entire solution as a WebAssembly module. The application also includes a set of 10 examples that serve as a demonstration of simple models suitable for educational purposes.
Calendar App in WebAsssembly Environent
Konečný, Martin ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This thesis deals with the creation of a calendar application usable both as a desktop application and as a web application in the WebAssembly environment. First, the existing calendar applications and the data structures used in them are analyzed. Next, the design of the application itself is created, including the design of the graphical user interface and the library of data structures. The application is then implemented in C++ programming language using the QT creator and Emscripten tools and then properly tested.
Simulation of Infectious Disease Dynamics
Tučková, Martina ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This bachelor thesis deals with simulation of infection disease dynamics and is focused mainly on current epidemics of the novel coronavirus. The simulation illustrates the spread of a virus in different circumstances with various precautions. The program is implemented in the C++ language. Graphical user interface is created in framework Qt. The final application is suitable for educational purposes and can be used to predict epidemics.
MIFARE Classic Emulation on NFC-A Tag Peripheral
Lužný, Jakub ; Peringer, Petr (referee) ; Hujňák, Ondřej (advisor)
Cílem této práce bylo implementovat emulaci tagu MIFARE Classic na NFC-A periferii vestavěné v mikrokontroléru. K implementaci řešení byl použit mikrokontrolér nRF52832 vyráběný firmou Nordic Semiconductor. Byla implementována základní sada příkazů MIFARE Classic (autentizace, čtení, zápis). Implementace byla otestována s několika čtečkami, za pomoci různých aplikací. Výsledné řešení bylo porovnáno s existujícími, jako je Proxmark a Chameleon Mini.

National Repository of Grey Literature : 122 records found   1 - 10nextend  jump to record:
Interested in being notified about new results for this query?
Subscribe to the RSS feed.