|
|
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.
|
|
|
Rozšíření modelů analýzy obalu dat a jejich aplikace v automobilovém průmyslu
Synková, Rut ; Jablonský, Josef (vedoucí práce) ; Cahlík, Tomáš (oponent) ; Ivaničová, Zlatica (oponent)
Modely analýzy obalu dat jsou nástrojem pro hodnocení výkonnosti souboru homogenních produkčních jednotek. První z modelů tohoto typu byly formulovány koncem 70. let minulého století a od té doby jsou předmětem zájmu jak v oblasti teoretické, tak i v oblasti aplikací. Disertační práce se věnuje modelům analýzy obalu dat a jejímu rozšíření v oblasti teorie. Dalším cílem práce je aplikace vhodných modelů analýzy obalu dat ve firemních prostředí a ilustrace jejich možného využití při investičním rozhodování. Domácí literatura z oblasti analýzy obalu dat je zatím nedostatečná. Disertační práce proto mapuje současný stav poznání v této oblasti a rozšiřuje o alokační modely, dynamickou analýzu a problematiku nekontrolovatelných a nepřesných proměnných. Modely, které jsou v disertační práci formulovány, byly aplikovány na soubor údajů o zahraničních firmách. Numerické experimenty byly přitom prováděny pomocí softwarové podpory pro modely analýzy obalu dat, zpracované v prostředí MS Excel. Hlavní přínosy disertační práce jsou v rozšíření dynamické analýzy o částečně kontinuální dynamickou analýzu a analýze stability efektivnosti souboru hodnocených jednotek. Dalším přínosem je rozsáhlá aplikace modelů analýzy obalu dat pro hodnocení výkonnosti a efektivnosti společností, které se zabývají výrobou motorových vozidel. Disertační práce dává jednak přehled o standardně využívaných modelech analýzy obalu dat stejně jako o modelech, které nejsou tak běžné. Diskutuje i možné řešení ke speciálním situacím, které se mohou při aplikacích uvedených modelů vyskytnout. Práce je rozdělená do šesti kapitol, které v typickém případě obsahují vedle teorie i ilustrační aplikace. První kapitola práce obsahuje popis základních modelů analýzy obalu dat. V druhé kapitole jsou představeny modely super-efektivnosti a je diskutována problematika nulových vstupů a výstupů v těchto modelech. Přehled alokačních modelů je v následující části práce. Dynamická analýza a analýza stability efektivnosti je obsahem čtvrté kapitoly. Pátá kapitola se věnuje problematice nekontrolovatelných a nepřesných proměnných. Poslední kapitola se zaměřuje na aplikaci modelů analýzy obalu dat v automobilovém průmyslu a na možné využití výsledků pro odhad vývoje hodnocených jednotek na akciových trzích.
|
host ::
RSS.