|
|
Simulátor paměťového podsystému
Holášek, Petr ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Tato práce popisuje problematiku zpracování paměťových stop, jejich využití v simulaci a vývoj modulárního simulátoru paměťového podsystému založeného na paměťových stopách. Simulátor podporuje také využití pro výukové účely díky vestavěné vizualizaci, pomocí které lze sledovat přístupy na adresy v paměťové hierarchii.
|
|
|
Analýza systémových záznamů
Ščotka, Jan ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Práce zkoumá IDS systémy. Pokousí se nalézt jejich omezení a možnosti rozšíření. Zabývá se obecnější analýzou záznamových souborů než jen v zaměření na IDS systémy. Zkoumá možnost zápisu regulárních výrazů jednoduchým způsobem, tak aby i uživatel bez znalosti formálních jazyků, byl schopen pracovat v takovém systému.
|
|
|
Nástroj pro ladění post-mortem
Kapičák, Peter ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Cieľom tejto práce je kontrolovať užívateľom špecifikované vlastnosti nad stopou programu alebo nad log súborom, ktoré by mal program spĺňať alebo naopak, ktoré by nemal spĺňať. Vlastnosti a ich opis sú základom nástroja pre ladenie post-mortem. Sú transformované na deterministický konečný automat aby sa dali overovať v stopách programov a ich opis je dôležitý pre vyhľadávanie konkrétnych udalostí v stopách programov, ktoré sú automatu posielané na vstup. Výstupom nástroja je výsledná správa o tom či boli vlastnosti splnené alebo porušené. Vytvorené riešenie poskytuje overovanie vlastností stôp programov, log súborov bez ohľadu na ich formát a aké udalosti predchádzali porušeniu vlastnosti.
|
|
|
Simulace fyzikálních jevů s využitím celulárních automatů
Martinek, Dominik ; Smrčka, Aleš (oponent) ; Peringer, Petr (vedoucí práce)
Tato diplomová práce se zabývá modelováním a simulací fyzikálních jevů, u nichž se využívají celulární automaty. Jsou zde vyjmenovány a popsány základní metody, které se k modelování fyzikálních jevů využívají. U každého modelu jsou uvedena přechodová pravidla zároveň s jejich odvozením. Tato pravidla se pak používají v implementovaných modelech. V práci je pak uveden návrh aplikace, která slouží k simulaci jednotlivých modelů. Podle tohoto návrhu byla vytvořena aplikace, s jejíž pomocí byla provedena simulace ukázkových příkladů. Každý příklad se zabývá jednou oblastí fyzikálních jevů. V práci jsou pak zaznamenány výstupy jednotlivých modelů včetně zhodnocení jednotlivých závěrů. Jeden vybraný příklad byl rovněž zparalelizován a byly změřeny časy výpočtu s využitím různého počtu procesorů.
|
|
|
Implementace algoritmů Teorie her
Židek, Stanislav ; Peringer, Petr (oponent) ; Hrubý, Martin (vedoucí práce)
Teorie her se během doby své existence stala vhodným nástrojem pro modelování různých situací, které obnášejí rozhodování racionálních entit -- hráčů. Uplatnění v praxi je bohužel limitováno velikostí her, jež jsme schopni se současnou technikou spočítat. Tato diplomová práce se zaměřuje na korelované ekvilibrium v nekooperativních hrách a klade si za cíl vytvořit knihovnu, která bude schopna co nejefektivněji toto ekvilibrium hledat.
|
|
|
Systém pro sledování změn v operačním systému
Pečeňa, Jan ; Smrčka, Aleš (oponent) ; Peringer, Petr (vedoucí práce)
Bakalářská práce pojednává o návrhu a implementaci aplikace pro zjišťování změn, způsobených instalací softwaru, v operačním systému. V úvodní části je rozebrána struktura registrů Windows, uložení hodnot v nich a informace o hashovacích funkcích, potřebných k rozpoznání změněných souborů. Vytvořená aplikace je plně funkční a pracuje s 32 i 64 bitovými verzemi systému Windows. Při prvním spuštění provede zálohu aktuálního stavu operačního systému a při druhém odhalí úpravy v operačním systému, instalovaném ve virtuálním počítači VMWare.
|
|
|
Jednoduchý správce oken pro X Window System
Zajdák, Jiří ; Smrčka, Aleš (oponent) ; Peringer, Petr (vedoucí práce)
Cílem projektu je vytvoření jednoduchého správce oken pro X Window System. Nejprve jsou v textu vysvětlené principy výstavby grafických aplikací, dále návrh správce oken a jeho implementace. Správce oken dekoruje top-level okna aplikací rámečky, které obsahují funkční tlačítka. Pro snadnější ovládání jsou podporované virtuální plochy a klávesové zkratky. Ve spodní části obrazovky je umístěný panel určený pro zobrazení grafiky pluginů, které jsou implementované formou sdílených knihoven. Aplikace klade důraz na minimální paměťovou náročnost.
|
|
|
Tool for Test Run of Robotic Testing System
Slávka, Samuel ; Smrčka, Aleš (oponent) ; Peringer, Petr (vedoucí práce)
This thesis deals with the problem of creating tests in the Robotic Quality Assurance testing system. The goal is to create a tool for a test run of tests in the RQA system for the company Y Soft. The main focus was on the possibility of continuing after encountering an error and circumventing communication with the tested devices. When a missing element is encountered, the element is generated and marked as missing, allowing the test to continue, and the tester to correct the problem after test finishes. The mock access layer ensures the avoidance of communication with hardware. The resulting tool can run tests without the tested device and saves time spent on repeating tests.
|
|
|
Koordinace IoT na bázi MicroPythonu pomocí Node-RED
Kolář, Josef ; Peringer, Petr (oponent) ; Janoušek, Vladimír (vedoucí práce)
Cílem této práce je vytvoření prostředků pro použití nástroje Node-RED ke koordinaci fyzických uzlů v podobě čipů ESP32 ve světě Internetu věcí. To je zajištěno pomocí vlastního rozšíření tohoto nástroje umožňující nasazování různorodých aplikací na uzly simultánně vedle sebe, navrženého protokolu ve formě kanálů MQTT a vlastního firmwaru pro tyto uzly. Navržený a realizovaný firmware v jazyce MicroPython je schopen asynchronní obsluhy jednotlivých aplikací, pro které poskytuje rozhraní pro komunikaci s nástrojem Node-RED. Funkce tohoto systému je úspěšně ověřena na základě dvou praktických scénářů užití, které prokazují možnost přímého nasazení systému do praxe v oblasti automatizace - a to i díky přiloženému instalátoru firmwaru.
|
|
|
Modelování dopravních systémů
Šmíd, Jiří ; Martinek, David (oponent) ; Peringer, Petr (vedoucí práce)
Tato práce pojednává o modelování transportních a dopravních systémů. V první části popisuje rozšíření existující knihovny Simlib/C++ o podporu pro vytváření transportních systémů. Druhá část je věnována analýze celulárních automatů. Důraz je kladen zejména na to, aby modely dopravních systémů vytvořené pomocí této knihovny se co nejvíce přibližovaly svým reálným protějškům. Snadno modifikovatelný systém pro sběr a zpracování statistických dat umožňuje uživateli analyzovat nejen fundamentální statistická data, nýbrž i samotný pohyb vozidel v jednotlivých krocích. Vozidla různých rozměrů jsou schopna sama vyhledat cestu k cíli. Obě knihovny poskytují uživateli pro tvorbu modelů dopravních systémů maximální možnou volnost.
|
host ::
RSS.