|
|
Hledání tvaru skořepinových konstrukcí
Musil, Jiří ; Bažant, Zdeněk (oponent) ; Vítek,, Jan (oponent) ; Stráský, Jiří (vedoucí práce)
Tématem předkládané disertační práce je návrh betonových skořepinových konstrukcí se zaměřením na hledání jejich optimálního tvaru. Optimálním tvarem je tvar, při kterém, pro dané zatížení, obvykle vlastní tíhu, nevznikají v konstrukci žádná významná ohybová namáhání, konstrukce se nachází v tzv. membránovém stavu. Inspirací pro tuto práci je činnost švýcarského inženýra Heinze Islera, který vyvíjel tvary skořepinových konstrukcí pomocí modelových zkoušek vhodně zatížených, ohybově netuhých membrán. Na základě inverze výslednicového tvaru navrhoval skořepinové konstrukce o velkých rozpětích, které svoji tíhu přenášely téměř výhradně membránovými silami. V této práci je prezentováno numerické řešení výše zmíněných modelových zkoušek pomocí programu Midas Civil. Na příkladu průvěsu lana jsou demonstrovány základní principy metody. Numericky nalezené tvary jsou porovnány s analytickým řešením průvěsové křivky lana. Na základě numericky nalezených tvarů je následně navržena skořepina a je popsáno její namáhání při zatížení vlastní tíhou, zejména ve vztahu k membránovému působení. V další části jsou získané znalosti a postupy použity pro návrh tří relativně komplikovaných skořepinových konstrukcí. Každá konstrukce je staticky analyzována a je popsáno její statické působení. Studovány jsou konstrukce s dokonale tuhými, respektive pružnými podporami, které simulují reálné chování podpor. V závěru práce jsou výsledky statické analýzy vybrané skořepiny experimentálně ověřeny na fyzikálním modelu v měřítku 1:55,56. Model je vystavěn metodou 3D tisku. V práci je popsána použitá modelová podobnost, zdokumentován proces návrhu a výroby modelu a provedení vlastního experimentu. Uskutečněné zatěžovací zkoušky potvrdily optimální návrh skořepinové konstrukce a platnost numerické metody hledání jejich tvaru. Prezentované principy a postupy je možné, při dostatečné míře odpovídajících znalostí, použít v inženýrské praxi.
|
|
|
Influence of seismic load on behavior of reinforced concrete frame.
Zlámalová, Pavlína ; Nováček, Jan (oponent) ; Zich, Miloš (vedoucí práce)
The aim of this work is a static analysis of the reinforced concrete frame structure loaded by the effects of seismic loading. The work deals with the solution of multi-storey reinforced concrete structure designed for common loading conditions and further for possibilities of strengthening of the structure on effect of seismic loading. In the first phase of the work, the static analysis and the design of the main load-bearing elements of the frame structure (columns and main girder) were carried out for the ultimate limit state for the standard design load. In the second phase, the static analysis of the structure for the effects of accidental actions from low and high seismicity was performed and it was assessed whether the main load-bearing elements of the structure would continue to comply. Given that the structure did not satisfy the accidental actions of seismic loading, various ways of structure strengthening were designed and analyzed for their impact on the global and local behaviour of the structure. Also the designing of additional steps for structural reliability were performed. Static analyzes were performed in Scia Engineering and RFEM Dlubal software.
|
|
|
Analýza mechanického namáhání při zkratu ve vzduchem izolovaném rozváděči vn
Bártů, Jan ; Bajánek, Tomáš (oponent) ; Orságová, Jaroslava (vedoucí práce)
Tato diplomová práce je zaměřena na problematiku silových účinků magnetického pole zkratového proudu. V první části práce bylo úkolem provést analýzu vzájemného silového působení tří fázových přípojnic během třípólového zkratu. Analýza byla provedena v programu Ansys Maxwell. Následně jsem správnost této analýzy ověřil numerickým výpočtem. Hlavním úkolem praktické části práce zadané firmou ABB s.r.o, bylo zanalyzovat silové účinky zkratového proudu v rozvaděči vn se zaměřením na paže a kontaktní systém vypínače. Přesněji byly simulovány 3 konfigurace zjednodušeného vypínače VD4, dva typy kontaktního systému vypínače VD4 a model lineární konfigurace vypínače. Úkolem bylo vypočítat působící síly vzniklé při třífázovém zkratu na proudovodnou dráhu paží a kontaktního systému vypínače VD4 a nasimulovat působení sil na tyto proudové části. Pro jednotlivé modelování sestav, výpočty a simulace byly použity následující výpočetní programy: SolidWorks 2014, Ansys Maxwell 16.0, Ansys Workbench 14.5. Pomocí 3D CAD softwaru SolidWorks 2014 byly vymodelovány zjednodušené sestavy vypínačů a kontaktních systémů, které byly importovány do softwarového prostředí Ansys Maxwell, ve kterém byly vypočítány silové účinky magnetického pole zkratového proudu. Za pomocí programu Ansys Workbench bylo nasimulováno působení sil na proudovodné části vypínačů a vykresleny vzniklé deformace materiálů s ohledem na mechanické vlastnosti konstrukce. Analýza silových účinků magnetického pole byla prováděna pro zadanou statickou hodnotu zkratového proudu.
|
|
|
Nosná konstrukce zastřešení výrobní haly v Kyjově
Nosková, Nela ; Pilgr, Milan (oponent) ; Šmak, Milan (vedoucí práce)
Bakalářská práce se zabývá návrhem a statickým posouzením hlavních nosných prvků nosné konstrukce zastřešení víceúčelové haly v Kyjově. Hala je navržena jako dřevěná. Loď má půdorys obdélníkového tvaru o rozměrech 17,0 x 40,0 m. Hlavní nosnou konstrukci tvoří sedlový vazník uložený na sloupech. Vazník je příhradový z rostlého dřeva třídy C24. Vaznice jsou z rostlého dřeva třídy C24. Součástí statického výpočtu jsou i posudky jednotlivých prvků na požární odolnost. Statická analýza nosné konstrukce haly byla provedena ve studentské verzi programu SCIA Engineer 2012.
|
|
|
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.
|
|
|
Equivalence-Based Slicing of Programs
Malecová, Tatiana ; Vojnar, Tomáš (oponent) ; Malík, Viktor (vedoucí práce)
The aim of this work is to design a method that simplifies two programs based on the results of analysis of their semantic difference. The goal is to remove as many semantically equivalent parts of the programs as possible. To find these equivalent parts, we apply our own solution to the problem of finding the maximum common induced subgraph. Subsequently, we are able to simplify the programs by using backward static slicing. By applying this simplification, we obtain sliced programs that consist of the differing parts and parts that can affect these differences. The method has been implemented as an extension of the DiffKemp tool, which is a static analyser of semantic differences between different versions of large scale programs. Our experiments on the Linux kernel show that the method is able to produce correct slices very efficiently (the analysis is prolonged only by 3.2%). Moreover, the created slices are much smaller than the original programs, which makes them suitable for further analysis.
|
|
|
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.
|
|
|
Detection of Expressions with Undefined Behavior in C Language
Hellebrandt, Lukáš ; Vojnar, Tomáš (oponent) ; Müller, Petr (vedoucí práce)
This thesis engages in detection of undefined behavior in the C language programs. We focus on undefined behavior stemming from incorrect work with sequence points and side effects. We perform a theoretical analysis and put terms like undefined behavior or side effect in context of the paper. Furthermore, we explain dangerousness of the constructs leading to undefined behavior. We propose a method for automated detection of the mentioned kind of undefined behavior. Finally, we design and implement a tool for its automated static detection and show the principles of the tool’s function. While designing the tool, contrary to current solutions, we stress functionality even in cases like accessing the memory via a pointer or from a called function. The thesis contains examples of dangerous constructs, functions of the created tool are demonstrated on some of them.
|
|
|
Statická analýza Java programů
Vyvial, Pavel ; Hýsek, Jiří (oponent) ; Křena, Bohuslav (vedoucí práce)
Projekt SHADOWS se zabývá vývojem software, který je schopen automaticky opravovat chyby v programech. Po každé opravě je třeba zjistit, zda opravná akce úspěšně odstranila chybu a nezanesla do kódu chybu novou, mnohem závažnější. Ve své bakalářské práci se zabývám právě takovýmto dokazováním korektni opravy kódu v konkurentních systémech. Některé z chyb v konkurentních systémech mohou být opraveny automatickým přidáním synchronizace. Při takovémto opravování chyb je potřeba zkontrolovat zda v uzamykané části neexistuje instrukce monitorenter, která by mohla představovat potenciální nebezpečí uváznutí. Dokazování korektnosti opravy je prováděno za pomocí Control Flow Graph analýzy nad Java byte-kódem. Prototyp k tomuto účelu využívá statickou analýzu zastoupenou nástrojem FindBugs.
|
|
|
Model of a prefabricated footbridge for teaching
Gaidos, Daniel ; Koláček, Jan (oponent) ; Strnad, Jiří (vedoucí práce)
The subject of this thesis was to design a test model of a foot bridge built out of sets of blocks, coupled by prestressing monostrands into one beam. Created model will serve as a test model during the training of machinists on tensioning equipment. Static model for results from load cases was created in Scia Engineering 20.0. Assessment and dimensioning were solved in the MS Excel program. The structure was assessed for the limit state of load-bearing capacity and serviceability. Analysis and calculations are compliant to up-to-date codes and respect the fundamentals of analysis due to limit states.
|
host ::
RSS.