|
|
Využití dynamické analýzy kódu při zpětném překladu
Končický, Jaromír ; Zemek, Petr (oponent) ; Ďurfina, Lukáš (vedoucí práce)
V rámci projektu Lissom je vyvíjen rekonfigurovatelný zpětný překladač, jehož cílem je umožnit zpětný překlad programů, určených pro více různých platforem, do několika různých vyšších programovacích jazyků. V době počátku řešení této práce v něm nejsou implementovány techniky využívající informace získané dynamickou analýzou zpětně překládaného programu. Využitím těchto technik je však možné výsledky zpětného překladače výrazně zlepšit. Návrh těchto technik je hlavní náplní této diplomové práce. V rámci tohoto textu je popsáno zpětné inženýrství a zpětný překladač projektu Lissom. Jsou zde obecně popsány existující techniky dynamické analýzy, jako je instrumentace a emulace. Poté jsou zde uvedeny konkrétní informace, které lze získat během dynamické analýzy, a navrženy metody jejich využití ve zpětném překladači.
|
|
|
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ů.
|
|
|
Stanovení závislostí pro vyhodnocování výsledků měření tuhosti pryžového kloubu
Beseda, Vojtěch ; Kubík, Roman (oponent) ; Kalivoda, Milan (vedoucí práce)
Diplomová práce se zabývá stanovením závislostí pro vyhodnocování výsledků měření tuhosti pryžového kloubu. Vlastnostem, použitím a chováním pryže je věnována první část práce. Navazuje část, kde je uveden popis problému a rozbor technologie výroby dané součásti. Práce pokračuje přípravou a prováděním jednotlivých testů stanovených na základě informací plynoucích z první části a z požadavků firmy. Na závěr jsou z naměřených dat vyhodnoceny potřebné závislosti a doporučení pro správná měření. Diplomovou práci uzavírá technologicko-ekonomické zhodnocení, ve kterém jsou uvedeny jednotlivé náklady pro přípravu, realizaci a rozbor testů.
|
|
|
Analýza odvalování rolny na čepu turbodmýchadla
Pazour, Martin ; Žatko, Miroslav (oponent) ; Novotný, Pavel (vedoucí práce)
Cílem této diplomové práce je popis pohybu roleru u VNT turbodmychadla. Diplomová práce je vytvořena ve spolupráci s vývojovým střediskem firmy Honeywell v Brně. Práce obsahuje rešerši zabývající se ovládáním turbodmychadel a možnosti řešení kontaktních úloh. V práci je dále rozebrána problematika statického a dynamického namáhání. Tato namáhání jsou podložena počítačovými výpočty v programu Ansys. V závěru jsou doporučeny jakých rozměru a součinitelů tření je nejvhodnější použít z hlediska minimálního opotřebení kontaktních součástí.
|
|
|
Víceúčelová hala v Holicích
Rückerová, Eva ; Hron, Lukáš (oponent) ; Šmak, Milan (vedoucí práce)
Diplomová práce se zabývá návrhem a posouzením konstrukce zastřešení víceúčelové haly v Holicích. Půdorysné rozměry haly jsou 28 x 45 m. Výška haly je 11,28 m. Zastřešení je řešeno ve třech variantách. Konečné řešení je zpracováno pro jednu variantu. Hlavním nosným prvkem je příčná vazba tvořena obloukovým nosníkem z lepeného lamelového dřeva. Vazníky jsou od sebe vzdáleny 5 m a propojeny vaznicemi. Stabilitu konstrukce zajišťují tři pole ztužidel. Systém opláštění tvoří krokve, bednění je z OSB desek, které nesou střešní plášť.
|
|
| |
|
|
Nosná ocelová konstrukce prodejny a opravny automobilů
Thomanková, Lucie ; Buchta, Stanislav (oponent) ; Bajer, Miroslav (vedoucí práce)
Předmětem diplomové práce je návrh a posouzení nosné ocelové konstrukce prodejny a opravny aut s přístavbou. Prodejna má půdorysný rozměr 22 x 30 m a výšku 10 m. Příčná vazba je tvořena obloukovou konstrukcí z Vierendeelových nosníků. Opravna má rozměr 20 x 30 m, výšku 10 m, a je tvořena příhradovými vazníky a plnostěnnými sloupy. Rámová přístavba má rozměr 20 x 10 m a výšku 6,4 m. Obvodové konstrukce jsou tvořeny sendvičovými panely. Štítová stěna a část střešní konstrukce prodejny je prosklená. Klimatická zatížení jsou uvažována pro lokalitu Ostrava.
|
|
|
Štípací stroj na dřevo
Bořil, Antonín ; Hloska, Jiří (oponent) ; Malášek, Jiří (vedoucí práce)
Cílem bakalářské práce je, ze známých konstrukcí štípacích strojů navrhnout vlastní konstrukci štípacího stroje, včetně pevnostních výpočtů a návrhu hydraulického obvodu. Pro návrh konstrukce je nutné zvolit maximální rozměry dřevěné kulatiny, které jsou délka 1100 mm a průměr 450 mm. Konstrukce stroje je provedena jako vertikální.
|
|
|
Ocasní plochy
Dula, Jan ; Mališ, Michal (oponent) ; Urík, Tomáš (vedoucí práce)
V této bakalářské práci je vytvořen přehled konstrukčních řešení a uspořádání vodorovných ocasních ploch, řešení závěsů na stabilizátoru a způsoby ovládání výškového kormidla. V úvodní části jsou stručně objasněny pojmy používané v dalším textu. V následující části jsou uvedeny možné konfigurace ocasních ploch. Z těchto konfigurací jsou vybrána řešení, která jsou podrobněji roztříděna. Každé z těchto řešení obsahuje stručný popis ovládání výškového kormidla, výhody a nevýhody tohoto řešení, přehled vybraných závěsů vodorovných ocasních ploch a jejich detailní popis.
|
|
|
Zastřešení tribuny na stadionu
Bartoň, Radek ; Sýkora, Karel (oponent) ; Puchner, Josef (vedoucí práce)
Mým úkolem bylo navrhnout a posoudit ocelovou konstrukci zastřešení tribuny na atletickém stadionu. Tribuna, s půdorysnými rozměry 12 x 80 m, je navržena jako železobetonová konstrukce a její statické posouzení není součástí práce. Stavba je uvažován v lokalitě Rožnov pod Radhoštěm, což předem znamenalo značné zatížení klimatickými vlivy (sníh, vítr) a s tím spojené vyšší dimenze průřezů. Navrženy a posouzeny byly všechny hlavní nosné prvky konstrukce a také vybrané spoje a detaily konstrukce. Výkresy, podle zadání práce, jsou zařazeny v přílohách práce.
|
host ::
RSS.