|
|
Analýza výkonu programů v jazyce Go
Nešpor, Andrej ; Malík, Viktor (oponent) ; Pavela, Jiří (vedoucí práce)
Cílem této práce je rozšířit výkonnostní verzovací systém Perun implementací modulu pro profilování programů napsaných v jazyce Go. Tento modul implementuje profilovací nástroj technikou instrumentace volání a návratů funkcí pomocí technologie eBPF. Nástroj dokáže sbírat reálný čas běhu funkcí a jejich trasy volání. Zároveň byl implementován nový způsob vizualizace naměřených dat pomocí tzv. Sankey grafu, což usnadní jejich interpretaci. S vytvořeným profilovacím nástrojem pak provádíme pár experimentů, abychom ověřili jeho funkčnost a demonstrovali jeho použití.
|
|
|
Konstrukce inerteru odpružení
Lehman, Branislav ; Blaťák, Ondřej (oponent) ; Hejtmánek, Petr (vedoucí práce)
Táto diplomová práca sa zaoberá konštrukčným návrhom inerteru odpruženia. Cieľmi práce sú vytvorenie rešerše, z ktorej sa čerpajú informácie potrebné k návrhu, vykonanie potrebných rozmerových a pevnostných výpočtov. Hlavným cieľom je vytvorenie koncepčného návrhu, návrh komponentov, vykonanie dynamických a pevnostných výpočtov.
|
|
|
Laboratorní úlohy k dynamické analýze kódu
Košina, Petr ; Přinosil, Jiří (oponent) ; Sysel, Petr (vedoucí práce)
Diplomová práce se zaměřuje na statickou a dynamickou analýzu v softwarovém inženýrství. Statická analýza je zkoumání zdrojového kódu bez jeho spuštění, zatímco dynamická analýza se soustředí na provádění kódu a testování jeho běhu. Práce zkoumá různé techniky a nástroje obou analýz, včetně jejich výhod a omezení. Obsahem práce je rovněž výzkum implementace metod dynamické analýzy kódu napříč operačnímy systémy. Důraz je kladen na porovnání obou metod a jejich aplikaci v reálném softwarovém prostředí. Konkrétně poskytuje praktické laboratorní úlohy, které mají studentům pomoci lépe pochopit problematiku dynamické analýzy.
|
|
|
Metody analýzy a simulací sociálních sítí
Vorlová, Pavla ; Král, Jiří (oponent) ; Samek, Jan (vedoucí práce)
Tato diplomová práce se zabývá popisem, jakými způsoby je možné analyzovat sociální sítě, návrhem a implementací modelu, který simuluje konkrétní sociální síť, a jeho analýzou. V dnešní době jsou sociální sítě velmi vyhledávané a používané, proto jsou i častým cílem zkoumání. Práce se věnuje statické analýze sociálních sítí, kde vidíme sociální síť jako graf a zjišťujeme různé vlastnosti jednotlivých objektů v síti a podle toho určujeme, jak jsou tyto objekty pro síť významné. Zajímají nás i vztahy mezi entitami, protože mají vliv na šíření informací v síti. Strukturní vlastnosti sítě pak určují existenci různých komunit. V rámci dynamické analýzy modelujeme sociální síť pomocí multiagentních systémů, které jsou velmi vhodné pro znázornění změn v síti. Multiagentním systémem byl také implementován simulační model, který představuje konkrétní sociální síť. Jeho chování bylo analyzováno a zkoumáno pomocí vybraných metod.
|
|
|
Dynamická analýza vybraných bicích mechanizmů palných zbraní
Mešina, Matej ; Hadaš, Zdeněk (oponent) ; Slažanský, Martin (vedoucí práce)
Bakalářská práce se zaobírá dynamickou analýzou bicích mechanizmů různých typů palných zbraní. V rešeršní části se pojednává o problematice palných zbraní a střeliva. Dále je uvedeno základní dělení zbraňových mechanizmů a podrobněji popsáno iniciačním ústrojí. Práce se také okrajově věnuje zkoušení zápalek. Poslední část rešerše analyzuje možnosti řešení dané problematiky. Praktická část je věnována analýze geometrie bicích mechanizmů a následnému popisu jejich fyzikálních principů. Na základě analýzy je sestavený teoretický výpočet iniciační energie pro všechny řešené typy palných zbraní. Na závěr je vypočtena iniciační energie a stanovena bezpečnost vůči bezpečnému odpálení zápalky náboje.
|
|
|
Dynamická analýza železniční mostní konstrukce
Mojrová, Martina ; Vlk, Zbyněk (oponent) ; Nevařil, Aleš (vedoucí práce)
Náplní práce je určení modálních charakteristik konstrukce mostu přes řeku Dyji nedaleko Břeclavi, a to v prostředí softwaru ANSYS a softwaru AxisVM. Tyto charakteristiky jsou porovnány s výsledky dynamické zatěžovací zkoušky, jež byla na mostě provedena, i mezi sebou. V práci je dále posouzena odezva na statické zatížení dopravou v rámci ověřování nutnosti provedení dynamické analýzy. Dále je nasimulováno dynamické zatížení dopravou a výsledky simulace jsou porovnány s výsledky dynamické analýzy provedené v rámci projektu. Cílem práce je provést několik statických a dynamických úloh a jejich výsledky porovnat se skutečným měřením, s výpočtem a porovnat vliv modelu na určité veličiny.
|
|
| |
|
|
Multiplatform Linux Sandbox for Analyzing IoT Malware
Uhříček, Daniel ; Burget, Radek (oponent) ; Kolář, Dušan (vedoucí práce)
Diversity of processor architectures used by IoT devices complicates IoT malware analysis. This thesis summarizes current state of static, dynamic, and network analysis and it evaluates existing open source solutions of sandboxes providing automated analysis. It proposes a design of a modular system that is easy-to-use, has available REST API, and web interface. The implementation supports five processor architectures. It was tested on current IoT malware samples.
|
|
|
Dynamická analýza kmitání s více stupni volnosti
Schulmeister, Jiří ; Houfek, Lubomír (oponent) ; Březina, Lukáš (vedoucí práce)
Tato práce se zabývá analýzou kmitání s více stupni volnosti a ukázkou chování dynamického systému s dvěma stupni volnosti na různé vstupní signály pro účely výuky dynamiky. V práci je popsán obecný postup sestavení pohybových rovnic Lagrangeovou metodou a jejich další analýza. Jako modelový příklad systému se dvěma stupni volnosti je vybrán čtvrtinový model automobilu, na kterém jsou ukázány odezvy na různé vstupní signály. Modely jsou vytvořeny v programu MATLAB/SIMULINK.
|
|
|
Dynamická detekce a léčení časově závislých chyb nad daty v prostředí Java
Letko, Zdeněk ; Kolář, Dušan (oponent) ; Vojnar, Tomáš (vedoucí práce)
Hledání chyb plynoucích ze souběžného zpracovávání výpočtů je obtížné. Proto se tato diplomová práce zabývá detekcí a léčením časově závislých chyb nad daty a chyb plynoucích z nesprávné atomicity operací v prostředí Java. Práce prezentuje dva různé algoritmy pro detekci. Jedním z nich je nový algoritmus nazvaný AtomRace, který detekuje časově závislé chyby nad daty jako speciální případ nesprávné atomicity operací. Následné léčení detekovaných chyb je založeno na potlačení opakování chyby, buď zavedením přídavné synchronizace, nebo legálním ovlivňováním plánovače Javy, za účelem vynucení správné atomicity operací. Navržená architektura, která pracuje souběžně se sledovaným programem, využívá ke sledování a ovlivňování výpočtu techniku instrumentace na úrovni Java bytecode. Architektura a algoritmy byly implementovány a otestovány v několika případových studiích.
|
host ::
RSS.