|
|
A Static Analysis Tool Detecting Bugs in Signal Handlers
Kozovský, Daniel ; Vojnar, Tomáš (referee) ; Peringer, Petr (advisor)
This work is about the plugin csigsafe for the GCC compiler. It uses static code analysis to detect bugs in signal handlers according the POSIX norm. This tool analyzes the source files written in C and C ++. This analyzer is created for the Red Hat, which uses it to test sRPM packages used in their Linux distributions. The tool has been tested on a sample of 37 Open Source projects. Testing has shown the utility of the tool to search for errors associated with violation of rules for proper signal handling.
|
|
|
Static analysis of the roof
Hořínek, Josef ; Vlk, Zbyněk (referee) ; Martinásek, Josef (advisor)
The Bachelor Thesis focuses on a static analysis of a timber roof truss. This roof trust is part of the saddle roof on the family home. The load on the structure is calculated manually according to valid standards. The load is divided into a total of 11 load cases. The calculation model of the structure is created in RFEM. Results of internal forces and deformations are checked by manual calculation using methods for statically indeterminate structures. These values are compared at the end.
|
|
|
Static analysis of acoustic enclosure
Hándlová, Barbora ; Martinásek, Josef (referee) ; Vlk, Zbyněk (advisor)
The subject of this Bachelor’s thesis is a structural analysis of acoustic enclosure, which is located above production facilities. The enclosure is assembled of elements with a load-bearing skeleton made of steel. It is possible to dismount the enclosure in parts. Computational software RFEM was chosen to model the 3D structure. The aim of this thesis is an assessment of ultimate and serviceability limit state of some selected elements. Some of the results obtained from the RFEM program are verified by hand-done calculation.
|
|
|
Multipurpose centre in Hodonín
Zbořil, David ; Štrba, Michal (referee) ; Šmak, Milan (advisor)
This diploma thesis solves with the design and static assessment of a multipurpose center in Hodonín. The structure is divided into three statically separated parts. The two structural units, consisting of steel frames with composite reinforced concrete slabs, are symmetrical and the middle part, formed by wooden frames made of glued laminated timber. The construction was solved using a computational 3D model. The model was created in the program RFEM 5.21.01. Using the model, the internal forces and dimensions of the usual elements were calculated. The construction was assessed in the program RFEM 5.21.01 and in MS Excel 2010. The outermost buildings have 7 floors and are designed for residential and office space. The maximum height of the structure is 27.60 m, including the attic. The central multifunctional hall is roofed by a walkable green roof. The maximum height of the middle part is 12.50 m. The largest floor plan dimensions of the building are 49,050 m x 24,000 m.
|
|
|
Reinforced concrete structure
Malecha, Tomáš ; Šimůnek, Petr (referee) ; Šulák, Pavel (advisor)
This bachelor‘s thesis includes structural analysis and check of reinforced concrete, cast-in-place construction of a building for parking. Here is solved locally supported floor slab above first above ground floor. Structural analysis was solved by program Scia Engineer 14 and checked by manual calculation. Next step was dimensioning for ultimate limit state, concretely for bending moment, punching and for serviceability limit state, concretely for limitation of cracks. For this bachelor’s thesis were made drawings based on calculated results.
|
|
|
The analysis of track response to railway vehicles
Kopeček, Josef ; Plášek, Otto (referee) ; Salajka, Vlastislav (advisor)
The diploma thesis deals with the assembly of numerical models of classical track using the finite element method in several variants. Models are compared with results obtained on analytical models. More complex models simulate the real behavior of a track running on a railway vehicle. The purpose is created methodology of modeling the railway track for use in static and dynamic analysis.
|
|
|
Improving Precision of Program Analysis in the 2LS Framework
Smutný, Martin ; Vojnar, Tomáš (referee) ; Malík, Viktor (advisor)
Cílem této práce je navrhnout způsob vedoucí ke zvýšení přesnosti analýzy programů pomocí nástroje 2LS, založený na existujících konceptech, a to hlavně na syntézi invariant na základě šablon. 2LS je nástroj pro statickou analýzu programů napsaných v jazyce C, který využívá SMT solver a abstraktní interpretaci k automatickému odvození invariant. V případě kdy 2LS nedokáže rozhodnout zda je program správný, navrhované řešení analyzuje invarianty vypočítané v různých abstraktních doménách, a identifikuje takové části invariant, které mohou s největší pravděpodobností způsobit nejednoznačnost verifikace. Pomocí těchto získaných informací, dokáže navrhnutá metoda identifikovat proměnné původního programu, na kterých pravděpodobně závisí úspěch verifikace. Výstup tohoto řešení může posloužit jako zpětná vazba indikující proměnné, jejíchž problematické hodnoty by měly být omezeny. Také může být výstup využit vývojáři 2LS pro účely debugování při vývoji nových analýz. Řešení bylo implementováno v nástroji 2LS. Na základě různých experimentů mezinárodní soutěže ve verifikaci programů SV-COMP, dokáže řešení identifikovat proměnné způsobující nejednoznačnost verifikace ve více než polovině programů, na kterých verifikace momentálně selhává.
|
|
|
High loading shovel for telehandlers LM1345 Turbo
Dragan, Lukáš ; Kubín, Martin (referee) ; Škopán, Miroslav (advisor)
This diploma thesis follow up the structural design high loading shovel for telehandlers LM1345 TURBO by New Holland. The introduction processed basic characteristics and parameters of the machine and material which will be in operation most frequently transported by the shovel. The work includes static analysis load acting on the shovel and frame when the machine is operating, strength calculations and the design and control of the peg.
|
|
|
Network-wide Security Analysis
de Silva, Hidda Marakkala Gayan Ruchika ; Šafařík,, Jiří (referee) ; Šlapal, Josef (referee) ; Švéda, Miroslav (advisor)
Práce představuje model a metody analýzy vlasností komunikace v počítačových sítích. Model dosažitelnosti koncových prvků v IP sítích je vytvořen na základě konfigurace a síťové topologie a umožňuje ukázat, že vabraný koncový uzel je dosažitelný v dané síťové konfiguraci a stavu. Prezentovaná práce se skládá ze dvou částí. První část se věnuje modelování sítí, chování směrovaích protokolů a síťové konfiguraci. V rámci modelu sítě byla vytvořena modifikovaná topologická tabulka (MTT), která slouží pro agregaci síťových stavů určených pro následnou analýzu. Pro analýzu byl použit přístup založený na logickém programování, kdy model sítě je převeden do Datalog popisu a vlastnosti jsou ověřovány kladením dotazů nad logickou databází. Přínosy práce spočívají v definici grafu síťových filtrů, modifikované topologické tabulce, redukce stavového prostoru agrgací síťových stavů, modelů aktivního síťového prvku jako filter-transformace komponenty a metoda pro analýzu dosažitelnosti založena na logickém programování a databázích.
|
|
|
Static and dynamic assessment of an outlook tower construction
Valíček, Jan ; Kala, Jiří (referee) ; Salajka, Vlastislav (advisor)
This thesis deals with static and dynamic analysis of an lookout tower construction. For dynamic analysis a computational model in ANSYS software is created. Static analysis is performed by Scia Engineer software. Both of this software use finite element method. It is also focused on wind load determination by Eurocode 1, structural factor calculation, modal analysis and vortex shedding. Verification of selected parts according to Eurocodes is included.
|
guest ::
