|
|
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.
|
|
|
Posouzení mostní konstrukce na účinky dynamického zatížení
Součková, Markéta ; Kala, Jiří (oponent) ; Salajka, Vlastislav (vedoucí práce)
Diplomová práce se věnuje statické a dynamické analýze ocelové obloukové lávky pro pěší. V programu ANSYS 12.1 byl vytvořen výpočtový model konstrukce a následně na něj byla provedena statická a modální analýza. Na základě výsledků modální analýzy bylo na konstrukci aplikováno dynamické zatížení od větru dle norem ČSN EN. Na účinky tohoto zatížení byl uskutečněn výpočet ustálené odezvy při rezonanci pomocí harmonické analýzy dle ČSN~P~EN~1991-2-4. Pro posudek dle ČSN EN 1991-1-4 byla konstrukce zatížení náhradními kvazistatickými silami odpovídajícím zatížením konstrukce větrem a vyhodnocení bylo provedeno pomocí statické analýzy.
|
|
|
Statická analýza zdrojového kódu jazyka CodAL
Fajčík, Martin ; Přikryl, Zdeněk (oponent) ; Hynek, Jiří (vedoucí práce)
Cílem této bakalářské práce je návrh a implementace rozšíření editorů jazyka CodAL v oblasti statické analýzy zdrojového kódu tohoto jazyka a návrhu jeho automatických oprav. Tato forma analýzy je vhodná například pro ověření sémantické korektnosti zdrojového kódu. Práce se dělí na teoretickou a praktickou část. Teoretická část této práce obsahuje obeznámení se s tvorbou rozšíření pro vývojové prostředí z řad platformy Eclipse, zejména s editorem jazyka CodAL, jazykem CodAL a vytyčením chyb tohoto jazyka vhodných pro zpracování statickou analýzou. Praktická část se zabývá konkrétní implementací prvků statické analýzy zdrojového kódu jazyka CodAL a návrhu jeho automatických oprav. Rozšiřované editory jazyka CodAL jsou dostupné ve vývojovém prostředí Codasip Studio založeném především na platformě Eclipse a projektu CDT. Produkt Codasip Studio je vyvíjený společností Codasip ve spolupráci s výzkumnou skupinou Lissom.
|
|
|
Network-wide Security Analysis
de Silva, Hidda Marakkala Gayan Ruchika ; Šafařík,, Jiří (oponent) ; Šlapal, Josef (oponent) ; Švéda, Miroslav (vedoucí práce)
The objective of the research is to model and analyze the effects of dynamic routing protocols. The thesis addresses the analysis of service reachability, configurations, routing and security filters on dynamic networks in the event of device or link failures. The research contains two main sections, namely, modeling and analysis. First section consists of modeling of network topology, protocol behaviors, device configurations and filters. In the modeling, graph algorithms, routing redistribution theory, relational algebra and temporal logics were used. For the analysis of reachability, a modified topology table was introduced. This is a unique centralized table for a given network and invariant for network states. For the analysis of configurations, a constraint-based analysis was developed by using XSD Prolog. Routing and redistribution were analyzed by using routing information bases and for analyzing the filtering rules, a SAT-based decision procedure was incorporated. A part of the analysis was integrated to a simulation tool at OMNeT++ environment. There are several innovations introduced in this thesis. Filtering network graph, modified topology table, general state to reduce the state space, modeling devices as filtering nodes and constraint-based analysis are the key innovations. Abstract network graph, forwarding device model and redistribution with routing information are extensions of the existing research. Finally, it can be concluded that this thesis discusses novel approaches, modeling methods and analysis techniques in the area of dynamic networks. Integration of these methods into a simulation tool will be a very demanding product for the network designers and the administrators.
|
|
|
Analýza ztráty stability termoplastových trubek
Procházka, Martin ; Kytýr, Jiří (oponent) ; Gratza, Roman (vedoucí práce)
Tato bakalářská práce se zabývá ztrátou stability termoplastových trubek. Byl proveden experiment, ve kterém byly trubky zatěžovány v ose, přičemž byla sledována hodnota zatěžovací síly při ztrátě stability materiálu. Pro měření byly vybrány trubky z polyetylénu, polypropylénu a polyvinylchloridu. Výsledky z experimentu byly použity pro vytvoření modelů v programu ANSYS, které byly podrobeny statické analýze a lineární analýze vzpěru. Výsledky analýz byly porovnávány s hodnotami z teoretického výpočtu. V programu ANSYS byly trubky namáhány také vnějším přetlakem.
|
|
|
Administrativní budova
Luža, Radim ; Šulák, Pavel (oponent) ; Jeneš, Rostislav (vedoucí práce)
Tato bakalářská práce se zabývá statickou analýzou a posouzením železobetonové stropní desky nad prvním nadzemním podlažím administrativní budovy. Stropní konstrukci tvoří monolitická lokálně podepřená deska. Statická analýza byla provedena pomocí softwaru Scia Engineer 14. Pro ověření výpočtu bylo užito stejného softwaru, kde nebyla vymodelována deska, ale dva na sebe kolmé rámy. Následně bylo provedeno dimenzování na mezní stav únosnosti. Z hlediska mezního stavu únosnosti byly vyšetřovány hlavně ohybové momenty a protlačení. Dále bylo provedeno posouzení druhého mezního stavu, tedy použitelnosti. U druhého mezního stavu bylo vyšetřováno hlavně omezení vzniku trhlin. Na základě statické analýzy a posudků na jednotlivé mezní stavy byla zhotovena výkresová dokumentace obsahující spodní a horní výztuž včetně protlačení.
|
|
|
Most přes řeku Branná
Holuša, Adam ; Pěkník, Robin (oponent) ; Panáček, Josef (vedoucí práce)
Bakalářská práce se zabývá návrhem nosné konstrukce mostu přes řeku Branná u obce Jindřichov. Most se nachází na silnici II/369 na km 21,113. Evidenční číslo mostu je 369-020. V rámci této práce jsou vytvořeny 3 studie. První varianta je dodatečně předepjatá monolitická deska. Druhou variantou je most z prefabrikovaných nosníků T93 spřažených deskou tloušťky 0,25m. Třetí varianta je navržena jako trámový most. Dodatečně předepjatá deska délky 18,14 m je vybrána pro podrobné posouzení. Je proveden výpočet účinků zatížení pomocí programu Scia Engineer 15.3. Softwarový výpočet je porovnán s ručním výpočtem.
|
|
|
Static Behavioral Malware Detection over LLVM IR
Surovič, Marek ; Lengál, Ondřej (oponent) ; Vojnar, Tomáš (vedoucí práce)
In this thesis we study methods for behavioral malware detection, which use techniques of formal verification. In particular we build on the works, which use inference of tree automata from syscall dependency graphs, obtained by static analysis of LLVM IR. We design and implement a prototype detector using the LLVM compiler framework. For experiments with the detector we use an obfuscating compiler capable of generating mutations of malware from C/C++ source code. We discuss preliminary experiments which show the capabilities of the detector and possible future extensions to the detector.
|
|
|
Analýza práce s dynamickými datovými strukturami v C programech
Šoková, Veronika ; Rogalewicz, Adam (oponent) ; Vojnar, Tomáš (vedoucí práce)
Táto diplomová práca sa zaoberá analýzou dynamických dátových štruktúr pomocou analýzy tvaru použitej v nástroji Predator. Popisuje zvolenú abstraktnú doménu pre reprezentáciu pamäte vo forme symbolických grafov pamäte. Ďalej sa zaoberá návrhom prostredia pre vývoj statických analyzátorov nad clang/LLVM. Prínosom tejto práce je vytvorenie a otestovanie transformačných priechodov zjednodušujúcich LLVM IR medzikód. Ďalším prínosom je optimalizácia parametrov paralelnej nadstavby Predatora opakovaným spúšťaním testov z medzinárodnej súťaže SV-COMP'16, kde táto verzia nástroja Predator získala zlatú medailu v kategórii Heap Data Structures. Posledným prínosom je návrh architektúry samotného verifikačného jadra s ohľadom na SMG doménu.
|
|
| |
host ::
RSS.