|
|
Response analysis of high-rise storage tank to static and dynamic loads
Strnadlová, Kateřina ; Vlk, Zbyněk (referee) ; Nevařil, Aleš (advisor)
This thesis describes the design and construction of water reservoir assessment for static and dynamic loads. The intoduction describes the basic design type sof reservoirs, thein static solution and design conditions. It made a preliminary calculation for determining the thickness of the shell structure and designed structure is then solid using the finite element metod (FEM) in ANSYS. In conclusion, verification of load-carrying capacity, stability and usability according to standard ČSN EN.
|
|
|
The Tool for Assessing the Neatness of Source Code
Jahoda, David ; Smrčka, Aleš (referee) ; Veigend, Petr (advisor)
This work deals with creation of tool that would allow the checking and evaluation of neatness of source codes in the C language. The primary user group are students of Introduction to Programming Systems (IZP). The implementation considers the use of Clang-Tidy tool (extended with custom set of checks) and program that evaluates results of checks based on the input configuration. The created program is capable of scoring source code using 16 checks according to the configuration. These checks detect various beginners errors. Testing of the student projects revealed that the most common error is the use of so-called magic numbers. The program can be deployed in the Introduction to Programming Systems (IZP) course with appropriate student instruction.
|
|
|
Static and dynamic analysis of steel structure
Uherek, Jan ; Martinásek, Josef (referee) ; Vlk, Zbyněk (advisor)
The thesis deals with a description and a static and dynamic analysis for an existing construction of lookout tower. The steel watchtower is located in Město Albrechtice and is made up of two lattice towers connected by a bridge. Main point was to create calculation models for the purpose of dynamic and static analysis, in the software SCIA Engineer 19.1, which is based on the principle of finite element method. Attention was paid to load created by winds according to Eurocode 1 and Eurocode 3, glaze and rime ice load and dynamic coefficient calculation. The thesis also includes an assesment of selected parts of the construction according to Eurocodes.
|
|
|
Static analysis of pedestrian bridge stucture
Holada, Jiří ; Kala, Jiří (referee) ; Hradil, Petr (advisor)
The thesis is focused on a static analysis and compiling a computational model of the suspension bridge for pedestrians and cyclists over the Sázavu river in Zbořený Kostelec vilage. The model is constructed according to the real shape of the structure. The length of the footbridge is 135 m and width 4 m. The calculation and compiling a computational model is processed by program ANSYS free Student Software.
|
|
|
Static Analysis Using Facebook Infer Focused on Performance Analysis
Pavela, Ondřej ; Lengál, Ondřej (referee) ; Rogalewicz, Adam (advisor)
Static analysis has nowadays become one of the most popular ways of catching bugs early in the modern software. However, reasonably precise static analysis tools still often struggle to scale well on large and quickly changing codebases. Efficient static analysers, such as Coverity or Code Sonar, are usually proprietary and difficult to openly evaluate or extend. On the contrary, Facebook Infer offers an open source static analysis framework with the emphasis on compositional, incremental and consequently highly scalable inter-procedural analysis. This thesis presents Looper --- a new performance oriented resource bounds analyser which extends the capabilities of Facebook Infer. We have based our implementation on an existing resource bounds analyser Loopus and evaluated it on two different test suites, showing encouraging results in comparison with the existing Cost analyser developed by the Infer team.
|
|
|
Verification of Pointer Programs Based on Forest Automata
Hruška, Martin ; Rogalewicz, Adam (referee) ; Holík, Lukáš (advisor)
In this work, we focus on improving the forest automata based shape analysis implemented in the Forester tool. This approach represents shapes of the heap using forest automata. Forest automata are based on tree automata and Forester currently has only a simple implementation of tree automata. Our first contribution is replacing this implementation by the general purpose tree automata library VATA, which contains the highly optimized implementations of automata operations. The version of Forester using the VATA library participated in the competition SV-COMP 2015. We further extended the forest automata based verification method with two new techniques - a counterexample analysis and predicate abstraction. The first one allows us to determine whether a found error is a real or spurious one. The results of the counterexample analysis is also used for creating new predicates which are used for the refinement of predicate abstraction. We show that both of these techniques contribute to an improvement over the early approach.
|
|
|
Practical Application of Facebook Infer on Systems Code
Beránek, Tomáš ; Malík, Viktor (referee) ; Vojnar, Tomáš (advisor)
Statická analýza je dnes často využívána ve vývojovém procesu pro hledání defektů v produkovaném softwaru. I když nástroje na statickou analýzu dokáží hledat defekty v softwarech o miliónech řádků kódu, mají také řadu nevýhod. Hlavními nevýhodami jsou náročnost nasazení nástroj na vyvíjený projekt, vysoký počet falešných hlášení a časové i paměťové požadavky. Tato práce se zaměřuje na zmírnění těchto negativních vlastností u nástroje Facebook Infer, zejména pro analýzu Linuxových nástrojů v podobě SRPM balíčků. Pro zjednodušení nasazení byl vytvořen modul pro nástroj csmock, který umožňuje automaticky spouštět statické analyzátory nad balíčky pro CentOS a Fedoru. Pro snížení počtu falešných hlášení byl vytvořen filtr, který filtruje výstup Inferu podle heuristik, které byly navrženy na základě zkušeností získaných kontrolou hlášení z Inferu. Filtr byl také zapojen do modulu pro csmock a otestován na řadě balíčků. Na analyzovaných balíčcích filtr dokázal odstranit 60 % falešných hlášení se ztrátou 2.5 % skutečných defektů. Doba potřebná pro běh analýzy může být zkrácena použitím inkrementální analýzy. U inkrementální analýzy Inferu byly experimentálně zjištěny nedostatky, proto se tato práce věnuje také vytvoření nástavby nad Inferem, která nahrazuje inkrementální analýzu v Inferu.
|
|
|
Static Analysis in the Frama-C Environment Focused on Deadlock Detection
Dacík, Tomáš ; Holík, Lukáš (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá návrhem nového statického analyzátoru pro detekci uváznutí, implementovaného jako plugin platformy Frama-C. Kromě samotného algoritmu pro detekci uváznutí představuje také odlehčené řešení, které umožňuje využít platformu Frama-C pro analýzu vícevláknových programů s využitím analyzátorů Frama-C podporujících pouze sekvenční programy. Výsledky experimentů ukazují, že implementovaný nástroj je schopný analyzovat reálné programy s vysokou přesností. Pro demonstraci další rozšiřitelnosti je představeno experimentální rozšíření umožňující detekovat také časově závislé chyby nad daty.
|
|
|
Administration Building
Luža, Radim ; Šulák, Pavel (referee) ; Jeneš, Rostislav (advisor)
This bachelor’s thesis deals with the static analysis and assessment of reinforced concrete floor slab above the first ground floor of the administrative building. The ceiling structure consists of a monolithic floor slab, locally supported. The Static analysis was carried out using a programme called Scia Engineer 14. The verification of the calculation was done by the same software, but with two perpendicular frames instead of a modeled plate. Subsequently, we could define the limit state of the dimensioning capacity. The investigation of the ultimate limit state was mainly about bending moments and embossing. Further to It was also carried out assessment of the second limit state, so usability. The second limit state investigations was mainly about limitation of cracks. The drawing documentation was based on the static analysis and advice to single limit states, including a lower and upper reinforcer and extrusion.
|
|
|
Dynamic analysis of steel tank with liquid
Farkasová, Zuzana ; Mrózek, Michal (referee) ; Hradil, Petr (advisor)
Master´s thesis deals with dynamic analysis of steel tank with liquid. There are given parametres of structure and thein introduction to ANSYS system. There are created three numerical models for comparison, which are static and modal analysis calculated for. Spectrum analysis is calculated only for numerical models with fluid elements. Shell elements are evaluated according to EC 3.
|
guest ::
