|
|
Simulátor 3D tiskárny
Čillo, Vladimír ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Tato bakalářská práce se zabýva návrhem a implementací simulátoru 3D tiskárny v jazyce C++ s využitím knihovny Qt. Simulátor předpokládá tiskárnu založenou na nejrozšířenější metodě 3D tisku - Fused Deposition Modeling. Vstupem simulátoru je 3D model ve formátu STL. Pro daný 3D model simulátor poskytuje odhad celkové doby tisku. Součástí simulace je také vizualizace procesu 3D tisku. Výsledkem práce je přenositelný program testovaný pod operačními systémy Linux a Windows. Funkčnost simulátoru byla experimentálně ověřena na příkladech.
|
|
|
Simulation of Spread of Infectious Diseases in Human Population
Vaňo, Michal ; Peringer, Petr (oponent) ; Strnadel, Josef (vedoucí práce)
Epidemics present an everpresent threat to human life and economy. Despite their destructive potential, their harm can be mitigated by careful studies and predictions. Modeling epidemics is crucial for understanding the spread of infectious diseases and evaluating the effectiveness of health interventions. This bachelor thesis first introduces and compares compartmental and agent-based models, two primary approaches in the field of epidemiological modeling. The chosen approach for this work is agent-based modeling, which has been thoroughly analyzed and subsequently transformed into an abstract model of disease spread. The model is designed to be adaptable to any given Slovak city, providing a versatile tool for understanding disease dynamics in various locations. The model is implemented in Python. The final part of the thesis consists of conducting experiments to analyze different scenarios and health interventions. These experiments contribute to a deeper understanding of disease spread dynamics and can inform policy-making in public health. The thesis offers a comprehensive study of different modeling approaches and develops a versatile agent-based model which can be expanded according to the available data.
|
|
|
Automated Testing of Smart Card Authentication in GUI
Mach, Ondřej ; Smrčka, Aleš (oponent) ; Peringer, Petr (vedoucí práce)
The aim of this thesis is to automate testing of the most common use cases of smart card authentication in Red Hat Enterprise Linux (RHEL). These include logging in with GDM, using lock-on-removal feature in GNOME shell and unlocking the system. Because these use cases include interaction with the desktop manager, conventional testing tools cannot be used. A new module was added to an existing Python library to capture the screen and control the system under test. The implementation does not depend on a specific display server. A set of common test cases, which had been previously tested manually, was implemented. The solution will be used in Red Hat to test new releases of RHEL.
|
|
|
Nástroj pro editaci a běh řídicích panelů pro IoT aplikace
Ryška, Andrej ; Peringer, Petr (oponent) ; Janoušek, Vladimír (vedoucí práce)
Táto bakalárska práca sa zaoberá rozborom stávajúcich otvorených (open source) riešení systémov pre IoT zariadenia so zameraním na prezentáciu, spracovanie a manipuláciu s dátami cez užívateľské rozhranie webovej aplikácie. Cieľom tejto práce je na základe analýzy vytvoriť vlastné riešenie chytrej domácnosti, preferujúce jednoduchosť konfigurácie a užívateľskú prívetivosť. Vytvorená aplikácia bude prepojiteľná so systémami Node-RED, Domoticz a Home Assistant na základe spoločného MQTT brokera, z ktorého bude aplikácia čerpať dáta a manipulovať so stavmi jednotlivých IoT zariadení.
|
|
|
Instrumentace programů pro měření pokrytí
Václavík, Jan ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá návrhem a implementací nástroje Ginstrum sloužící pro instrumentaci programů napsaných v jazyce C během překladu. Nástroj je implementován formou zásuvného modulu pro překladač GCC a instrumentuje místa programu, která přistupují do paměti, zapisují do paměti nebo volají funkce. Vzhledem k plánovanému použití nástroje pro testování a dynamickou analýzu umožňuje nástroj také vytvořit data z překladu, která slouží pro následnou analýzu pokrytí překládaného kódu testy.
|
|
|
Operační systém reálného času s fixní prioritou úloh pro Raspberry Pi
Kolář, Josef ; Peringer, Petr (oponent) ; Janoušek, Vladimír (vedoucí práce)
Cílem této práce je realizace podpory volně dostupného operačního systému reálného času s fixní prioritou úloh na mikropočítači Raspberry Pi 3B+. Jako vhodný systém je vybrán projekt FreeRTOS, pro který je v práci zrealizováno běhové prostředí a představena podpora pro tvorbu uživatelských aplikací s preemptivními úlohami. To je prezentováno pomocí dvou demonstračních aplikací, z nichž první využívá dvou periodických úloh a monitorování sériovou linkou, a v rámci druhé je vytvořena podpora pro sběrnici CAN, pomocí které je stav úloh s čítači reportován. Výsledkem práce je tedy funkční úprava systému FreeRTOS určená pro běh na mikropočítači Raspberry Pi 3B+ vhodná pro časově kritické aplikace.
|
|
|
Instrumentace programů pro měření pokrytí při testování SW
Kapoun, Petr ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá návrhem a tvorbou instrumentačního nástroje pro měření pokrytí při softwarovém testování. Nástroj při překladu získá reprezentaci vybraných částí programu v podobě grafu toku řízení a instrumentuje dané části programu vložením zpětných volání funkcí. Pomocí dat generovaných při volání vložených funkcí instrumentovaného programu nástroj vyhodnotí měření kritérií pokrytí. Mezi podporovaná kritéria pokrytí patří pokrytí řádků kódu a vybraná kritéria pokrytí toku řízení a toku dat.
|
|
|
Výukový simulátor v prostředí WebAssembly
Březina, Jaromír ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Tato bakalářská práce se zaměřuje na problematiku simulace časovaných stochastických Petriho sítí a spojitých blokových schémat pro výukové účely. Výsledná aplikace je tvořena ze dvou dílčích částí. První z nich je jednoduchý grafický editor, jenž poskytuje nástroje pro vytvoření požadovaného modelu ve formě Petriho sítě nebo blokového schématu a vizualizaci výsledků simulace. Grafické uživatelské rozhraní editoru bylo vytvořeno pomocí knihovny React. Druhou část aplikace tvoří simulátor implementovaný v jazyce C++, jenž slouží pro simulaci vytvořeného modelu a je integrován do celého řešení jako WebAssembly modul. Součástí aplikace je i sada 10 příkladů, které slouží jako ukázka jednoduchých modelů vhodných pro výukové účely.
|
|
|
Kalendářní aplikace v prostředí WebAssembly
Konečný, Martin ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Tato práce se zabývá tvorbou kalendářní aplikace, použitelné jako desktopová aplikace i jako webová aplikace v prostředí WebAssembly. Nejprve je provedena analýza již existujících kalendářních aplikací a datových struktur v nich použitých. Dále je vytvořen návrh vlastní aplikace, který obsahuje návrh grafického rozhraní a návrh knihovny datových struktur. Aplikace je následně implementována v jazyce C++ pomocí nástrojů QT creator a Emscripten a je provedeno její testování.
|
|
|
Simulace šíření infekčních nemocí
Tučková, Martina ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Tato bakalářská práce se zabývá simulací šíření infekčních chorob a je zaměřena zejména na probíhající epidemii nového koronaviru. Ukazuje, jak se virus šíří při použití různých ochranných opatření, a ty lze libovolně parametrizovat. Program je implementován v jazyce C++. Grafické uživatelské rozhraní je vytvořeno pomocí frameworku Qt. Program je spustitelný ve webovém standardu WebAssembly. Výsledná aplikace je vhodná pro studijní účely a predikci vývoje epidemií.
|
host ::
RSS.