|
|
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.
|
|
|
Pokrytím řízené testování vícevláknových programů
Lietavcová, Zuzana ; Šimková, Hana (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato práce se zabývá problematikou hledání chyb ve vícevláknových programech pomocí techniky pokrytím řízeného testování, jak je chápáno ve studovaném nástroji Maple. Testování se se skládá ze dvou fází. V první fázi se buduje množina pokrytelných chování testovaného programu. Následně se algoritmus snaží dosáhnout těchto chování za pomoci deterministického vykonání testu.Hlavní přínos práce spočívá v uceleném popisu nástroje Maple, včetně technických detailů.Na základě studia jsou identifikovány slabá místa. Některé z nich, konkrétně využívání náhodného rozhodování a prioritizace vynucovaných chování, jsou blíže studovány.Výsledkem je několik úprav nástroje Maple, ze kterých některé vedou k většímu počtu úspěšných dosažení chování a v určitých případech k vyššímu počtu vyvolání chyb, což je experimentálně demonstrováno na sadě vícevláknových programů.
|
|
|
Píst zážehového přeplňovaného motoru 2.0L
Kusyn, Petr ; Bradávka, Marek (oponent) ; Svída, David (vedoucí práce)
Tato diplomová práce je zaměřena na řešení konstrukčního návrhu pístu pro přeplňovanou verzi motoru Honda K20A2, s důrazem na snížení boční síly působící na píst. Jsou zde uvedeny metody a na jejich základě také konstrukční návrhy pístu vhodné pro snížení této síly. Dále je zde obsažena kinematická a dynamická analýza jednotlivých návrhů včetně MKP analýz pro ověření vhodnosti použití těchto řešení.
|
|
|
Analýza kostry synchronního generátoru
Marada, Ondřej ; Střelková, Radka (oponent) ; Pokorný, Přemysl (vedoucí práce)
Práce se zaměřuje na ověření funkčnosti synchronního generátoru malé vodní elektrárny v případě změny pracovní polohy stroje. Funkčnost se posoudí na základě vyšetření deformací a napjatosti kostry generátoru pro stávající provoz (s vertikální osou rotace generátoru) a následně pro modifikovaný provoz (s horizontální osou rotace). To se provede jednak na statickém skořepinovém modelu pomocí metody konečných prvků a následně na zjednodušeném dynamickém modelu.
|
|
|
Dynamická analýza mostní konstrukce
Kinclová, Radka ; Nevařil, Aleš (oponent) ; Vlk, Zbyněk (vedoucí práce)
Předmětem této diplomové práce je dynamická analýza zavěšené lávky. K výpočtu je použit programový systém RFEM. V práci je vysvětlen princip návrhu této konstrukce. Dále je provedena analýza stavebních fází. Jsou zde spočítány vlastní tvary konstrukce pro různé kombinace hmot. Práce zkoumá účinky pohyblivého zatížení a účinky zemětřesení, a to několika metodami výpočtu. V závěru je provedeno srovnání jednotlivých vlivů na konstrukci a použitých metod.
|
|
|
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.
|
|
|
Analýza odezvy výškové uskladňovací nádrže na statické a dynamické zatížení
Strnadlová, Kateřina ; Vlk, Zbyněk (oponent) ; Nevařil, Aleš (vedoucí práce)
Tato bakalářská práce se zabývá návrhem a posouzením konstrukce vodojemu na statická a dynamická zatížení. V úvodu jsou popsány základní konstrukční typy vodojemů, jejich statické řešení a podmínky návrhu. Je proveden předběžný výpočet pro stanovení tloušťky skořepinové konstrukce a navržená konstrukce je poté řešena pomocí metody konečných prvků (MKP) v systému ANSYS. Na závěr je provedeno ověření únosnosti, stability a použitelnosti dle odpovídajících norem ČSN EN.
|
|
|
Metody a nástroje malwarové analýzy
Danilov, Marcel ; Luc, Ladislav (vedoucí práce) ; Veber, Jaromír (oponent)
Tato práce se zabývá v dnešní době ožehavou problematikou zákeřného softwaru, neboli malwaru. Tento pojem zahrnuje všelijaké počítačové viry, červy, trojské koně, spyware aj. s cílem různými způsoby konat zlou vůli koncovým uživatelům osobních počítačů či mobilních zařízení. Práce je rozdělena do jednotlivých kapitol, kde první tři kapitoly jsou teoretického zaměření. První obecně zkoumá problematiku malware. Blíže ji definuje a rozděluje jednotlivé druhy malwaru do kategorií. V druhé kapitole je obecně přiblížena disciplína analýzy malwaru. Disciplína, která v laboratorním prostředí blíže zkoumá jednotlivé komponenty malwaru a studuje jeho chování na hostitelském PC. V této kapitole je vyložena obecná definice, dělení a pravidla této disciplíny. V další, třetí kapitole je tato disciplína vysvětlena více do hloubky. Tato kapitola je zaměřena na vyložení teorie o jednotlivých metodách a nástrojích malwarové analýzy. Závěrečná kapitola je zaměřena na praktickou prezentaci malwarové analýzy. Teoretické poznatky o malwarové analýze, specificky ty o metodách a nástrojích vyložené v dřívějších kapitolách, jsou aplikovány a demonstrovány na skutečný, živý vzorek malwaru. Mimo demonstrace těchto metod a nástrojů jsou zde současně blíže analyzovány i vlastnosti a stavba zkoumaného vzorku. Jedním z cílů této práce je bližší seznámení čtenáře s problematikou malwaru, s důrazem na oblast analýzy malwaru. To zahrnuje objasnění co to analýza je, k čemu se využívá. Dalším cílem je vypracování přehledu jednotlivých metod a nástrojů v analýze užívaných. Přínosem práce je aplikace získaných poznatků o metodách a nástrojích na skutečné prostředí malwarové analýzy. Za pomoci analýzy malwaru zde probíhá demonstrace metod a nástrojů v analýze užívaných. Další přínosy plynou i z analýzy samotné. Je zde blíže přiblížena funkčnost, stavba a životní cyklus zkoumaného vzorku malwaru.
|
|
|
Automatizace testování architektury studentských úloh
Hamendi, Mohammed ; Pecinovský, Rudolf (vedoucí práce) ; Pavlíčková, Jarmila (oponent)
Kurzy programování v prvním ročníku na Vysoké škole ekonomické v Praze nabízejí jedinečný přístup k výuce programování a softwarového inženýrství. V úvodních programovacích kurzech je kladen důraz na architekturu software. Díky tomu studenti snadněji porozumějí základním konceptům programování a nejsou omezeni specifiky konkrétního programovacího jazyka. Kurzy tak pomáhají rozvíjet potřebné dovednosti pro vývoj programů a také umožňují vstřebat velmi cenné poznatky v této problematice. Průměrný počet studentů prvního ročníku Fakulty informatiky a statistiky se pohybuje kolem sedmi set. Oprava úkolů do programování a příprava odpovídající zpětné vazby by byl pro vyučující nezáviděníhodný závazek na všech světových univerzitách podobného formátu, které poskytují vzdělávání v oblasti výpočetní techniky. Z tohoto důvodu fakulty poměrně často sáhnou po nějaké technologii automatického testování, která je schopna zpracovat větší objemy a poskytnout jak vyučujícím tak studentům nástroje pro správu úkolů. Tyto nástroje a systémy byly a stále jsou ve světě tématem mnoha výzkumů a nadále se rozvíjí ruku v ruce s vývojem nových technologií a výukových metod. Úvod této práce představí teoretické základy nástrojů a systémů pro automatické hodnocení, následovaný analýzou této oblasti v současné době. S využitím těchto výsledků se další část práce zabývá návrhem a implementací nového systému, který přináší možnosti automatického hodnocení struktury a dalších aspektů samostatných úkolů zadaných studentům. Hlavním cílem výsledného systému je poskytnout intuitivní a uživatelsky přívětivý způsob definování testovaných požadavků pro jednotlivá zadání úkolů a také mechanizmus k automatickému spouštění takových testů. Výsledný systém DynoGrader dynamicky ověřuje vypracované studentské úkoly za použití anotací a reflexe programovacího jazyka Java.
|
|
|
Virová analýza a reverzní inženýrství
Šváb, Martin ; Čermák, Igor (vedoucí práce) ; Hlaváč, Jindřich (oponent)
Práce se zaměřuje na problematiku reverzního inženýrství v oblasti informačních technologií, úzce spjatou s problematikou analýzy malwaru. Jsou vysvětleny základy procesorové architektury IA-32 a základy funkce operačního systému Microsoft Windows. Hlavní část práce se zaobírá analýzou malwaru a neopomíná rovněž proces tvorby nástroje, který část této analýzy usnadňuje. V závěru práce jsou popsané přístupy a postupy prakticky předvedeny na neznámém vzorku malwaru.
|
host ::
RSS.