|
|
Statická analýza počítačových sítí
Hozza, Tomáš ; Veselý, Vladimír (oponent) ; Ryšavý, Ondřej (vedoucí práce)
Některé problémy v konfiguracích síťových zařízení jsou těžko identifikovatelné. Důležitou částí mnoha konfigurací jsou přístupové seznamy, ve kterých konflikty mezi pravidly mohou způsobit mezery v bezpečnostní politice nebo v kvalitě služeb. Tato práce je zaměřena právě na identifikaci a klasifikaci konfliktů mezi pravidly přístupového seznamu jednoho zařízení. Tento úkol není triviální, pokud chceme identifikovat všechny možné druhy konfliktů. V práci je uveden optimalizovaný algoritmus na kompletní analýzu přístupového seznamu s využitím binárních prefixových stromů, založený na existujícím výzkumu Baboescu a Varghese. S jeho použitím byl implementován nástroj schopný detekovat konflikty mezi pravidly přístupového seznamu zařízení Cisco, HP nebo Juniper. Kvůli menším paměťovým nárokům jsou bitové vektory v prefixových stromech komprimované WAH kompresní metodu. Implementovaný nástroj byl otestován s ohledem na správnost a výkonnost. Testy potvrdily potenciál použitého řešení výrazně urychlit analýzu přístupových seznamů.
|
|
|
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.
|
|
|
Materiálově nelineární řešení konstrukcí z plastů
Weis, Lukáš ; Krejsa,, Martin (oponent) ; Králík,, Juraj (oponent) ; Kytýr, Jiří (oponent) ; Němec, Ivan (vedoucí práce)
Předkládaná práce se zaměřuje na statickou analýzu konstrukcí z plastů se zohledněním nelineárního chování materiálu v závislosti na napětí. Statická analýza je prováděna metodou konečných prvků. V úvodu práce je názorně popsán rozdíl mezi materiálově lineárním a materiálově nelineárním přístupem. Pro numerickou analýzu plastových konstrukcí je vhodné použít skořepinový konečný prvek rozšířený o možnost dalšího dělení na vrstvy a integrační body přes svoji výšku. Samostatné kapitoly se věnují integraci výsledných veličin přes výšku průřezu. Integrace materiálové matice tuhosti korektně zohledňuje vznik excentricity. Část pozornosti je věnována numerickým kvadraturním pravidlům. Následující kapitola se věnuje materiálově nelineárním modelům. Je popsán jednodušší přístup za pomoci izotropně nelineárně elastického modelu, dále je popsán obecný přístup za použití ortotropně plastického modelu. Teoretický popis je doplněn grafickou interpretací kritérií podle jednotlivých autorů. Významná část této práce je věnována algoritmizaci výpočetních postupů. Je provedena v jazyce Fortran do dynamicky linkované knihovny, která je součástí programu RFEM 5, který je široce využíván v technické praxi. Součástí práce je studie srovnávající výkonnost různých technologií použitelných pro algoritmizaci popisované problematiky. Správnost teoretické analýzy materiálových modelů a následné implementace do programu RFEM 5 je ověřena na příkladu ohýbané konzoly. Konstrukce termoplastové nadzemní nádrže je podrobena detailní materiálově lineární, resp. nelineární analýze. Různé přístupy jsou porovnány na výsledcích napětí, deformace a přetvoření. Zvláštní pozornost je pak věnována stabilitní analýze se zohledněním nelineárního materiálového modelu.
|
|
|
Vysokovýklopná lopata pro teleskopický manipulátor LM1345 TURBO
Dragan, Lukáš ; Kubín, Martin (oponent) ; Škopán, Miroslav (vedoucí práce)
Tato diplomová práce se zabývá řešením konstrukčního návrhu vysokovýklopné lopaty pro teleskopický manipulátor LM1345 TURBO firmy New Holland. Úvodem jsou zpracovány základní vlastnosti a parametry stroje a materiálu, k jehož přepravě bude lopata v provozu nejčastěji využita. Dále práce obsahuje statickou analýzu zatěžovacích stavů působících na lopatu a rám při provozu stroje, pevnostní výpočty a navržení a kontrolu použitých čepů.
|
|
|
Úprava držáku celohliníkového chladiče
Malovaný, Daniel ; Ramík, Pavel (oponent) ; Svída, David (vedoucí práce)
Cílem této diplomové práce je provést základní přehled konstrukčních řešení uchycení celohliníkových chladičů. Výpočtem pomocí metody konečných prvků provést kontrolu první generace držáku celohliníkového nízkoteplotního vodního chladiče a na základě tohoto výpočtu navrhnout úpravu jeho konstrukce, která povede ke snížení napětí v kritických oblastech. Na závěr toto nové řešení zhodnotit.
|
|
|
Vysokovýklopná lopata
Petro, Roman ; Lžičař, Roman (oponent) ; Škopán, Miroslav (vedoucí práce)
Tato diplomová práce řeší konstrukční návrh vysokovýklopné lopaty pro nakladače New Holand B100 a B110. Úvodem jsou pospány provozní podmínky, přepravovaný materiál a rypadlo-nakladač B100, B110. Jsou zde uvedena možná konstrukční řešení a vlastní konstrukční návrh. Následuje kinematický rozbor vykládání materiálu a statická analýza na lopatě a rámu. Na statickou analýzu navazuje kontrola čepů a pevnostní analýza lopaty i rámu pro různé zatěžovací stavy provedená metodou konečných prvků
|
|
| |
|
|
Londýnské oko
Hušek, Martin ; Hradil, Petr (oponent) ; Zídek, Rostislav (vedoucí práce)
Předmětem diplomové práce je provedení statické analýzy konstrukce Londýnského oka. V prvních kapitolách se práce zabývá přehledem realizovaných konstrukcí typu Ferrisova kola. Hlavní část práce spočívá v analyzování samotné konstrukce Londýnského oka. Konkrétně jsou popsány analýzy odezvy, analýzy citlivosti, analýzy mezních stavů únosnosti a použitelnosti, analýzy napjatosti, analýzy únavového namáhání a analýzy životnosti. Práce mimo statických analýz popisuje i návrh dynamických pohlcovačů kmitání. V závěrečných kapitolách jsou zhodnocovány výsledky jednotlivých analýz.
|
|
|
Průzkum a hodnocení zděné budovy před modernizací
Stanislav, Štěpán ; Kocáb, Dalibor (oponent) ; Cikrle, Petr (vedoucí práce)
Tato diplomová práce se zabývá průzkumem a hodnocením historické zděné budovy. Jedná se o budovu postavenou ve 20. letech 20. století. Nachází se v areálu Filozofické fakulty Masarykovy univerzity v Brně. V rámci příprav plánované modernizace byl proveden průzkum několika objektů univerzitního komplexu. V této práci se však budeme zabývat pouze budovou označovanou „C“. Budou v ní zpracovány vybrané provedené diagnostické práce. Zjištěné poznatky poté budou sloužit jako podklad pro statické posouzení a následné činnosti spojené s modernizací.
|
|
|
Dynamická analýza ocelových nádrží s kapalinou
Farkasová, Zuzana ; Mrózek, Michal (oponent) ; Hradil, Petr (vedoucí práce)
Diplomová práce řeší dynamickou analýzu ocelových nádrží s kapalinou. V práci jsou uvedeny parametry konstrukce a způsob jejich zpracování v programovém systému ANSYS. Pro srovnání jsou vytvořeny tři výpočtové modely, pro které je vypočtena statická a modální analýza. Spektrální analýza je provedena pouze pro výpočtové modely s kapalinovým prostředím. Páce uvádí také posudky skořepinových prvků dle Eurokódu 3.
|
host ::
RSS.