|
|
Model of a prefabricated footbridge for teaching
Gaidos, Daniel ; Koláček, Jan (referee) ; Strnad, Jiří (advisor)
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.
|
|
|
Automatic Comparison of Static Analysis Outputs on Different Versions of Programs
Kompová, Radmila ; Müller, Petr (referee) ; Vojnar, Tomáš (advisor)
This thesis aims at development of a tool support for comparing the output of static analysis applied to different versions of program source codes. The thesis also comprises a discussion of three opensource static analyzers of the C source code. Based on this discussion, one of these analyzers, Cppcheck, was chosen for the implementation of the designed tool. The static analyzer's outputs, obtained for various versions of a specific program, are compared on the basis of the context of the line at which an error was found. The patch utility is used for comparing the appropriate contexts. Detected errors are classified into three groups: new, old, and fixed errors. A web interface allowing an easier-to-follow presentation of the results is also provided. The designed tool set has been successfully tested on three opensource projects, including the Linux kernel, Coreutils and CPython.
|
|
|
Multiplatform Linux Sandbox for Analyzing IoT Malware
Uhříček, Daniel ; Burget, Radek (referee) ; Kolář, Dušan (advisor)
Analýza IoT malwaru je problematická zejména pro množství a rozlišnost architektur procesorů používaných IoT zařízeními. Práce shrnuje možnosti statické, dynamické a síťové analýzy Linuxového malwaru a hodnotí existující open source řešení oddělených běhových prostředí pro automatizovanou analýzu. Práce navrhuje modulární, rozšířitelný systém s~jednoduchými možnostmi nasazení, dostupnou API a webovým rozhraním. Výsledná implementace podporuje pět architektur a byla testována na vzorcích IoT malwaru.
|
|
|
Survey and Assessment of Masonry Buildings before Modernization
Stanislav, Štěpán ; Kocáb, Dalibor (referee) ; Cikrle, Petr (advisor)
This thesis deals with the exploration and evaluation of historic masonry building. The researched building was built in the 20th 20th century. Is located in the premises of the Philosophical Faculty of Masaryk University in Brno. During preparation for the planned modernization of the survey was conducted several objects of the university complex. In this work, however, we consider only the building named "C". It will be processed by selected diagnostic method. The findings will then serve as a basis for static analysis and follow-up activities associated with modernization.
|
|
|
Static Analysis Using Facebook Infer to Find Atomicity Violations
Harmim, Dominik ; Smrčka, Aleš (referee) ; Vojnar, Tomáš (advisor)
The goal of this thesis is to propose a static analyser that detects atomicity violations. The proposed analyser Atomer is implemented as a module of Facebook Infer, which is an open-source and extendable static analysis framework that promotes efficient modular and incremental analysis. The analyser works on the level of sequences of function calls. The proposed solution is based on the assumption that sequences executed atomically once should probably be executed always atomically. The implemented analyser has been successfully verified and evaluated on both smaller programs created for testing purposes as well as publicly available benchmarks derived from real-life low-level programs.
|
|
|
Automatic Generation of Test Cases from Data-Flow
Kraut, Daniel ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
This thesis deals with automatic generation of test cases on Unit testing level for source codes in C language. In order to achieve automatization are used methods of approach to software as a Data-flow of variables. There is outlined a process of creating tests here as well as a function of CSP solvers which are necessary part of solving this problems. Static code analysis is accessed with LibTooling libraring as part of a compiler front-end project Clang. Output of a developed application are provided here which is automatically generated input values for test cases.
|
|
|
Design of bridge on the motorway D48
Holuša, Adam ; Nováček, Jan (referee) ; Zich, Miloš (advisor)
Diploma thesis deals with design of a new bridge on motorway D48 located on bypass of Frýdek – Místek. Total spread of the bridge is 113 meters. Thesis includes 3 studies. For next assesment was chosen concrete girder box construction with 3 spans. Bridge is bulit on falsework. Structural analysis includes influences of construction by TDA method. Load effect is solved in Scia Engineer 18.0. The assessment of the bridge was made according to EC.
|
|
|
Static Analyzer for List Manipulating Programs
Kotoun, Michal ; Lengál, Ondřej (referee) ; Vojnar, Tomáš (advisor)
Creating a software verification tool is a complex task -- one must implement source code parsing, instruction representation, value abstraction, user interface, ... and the analysis itself. Therefore, we decided to create a static analysis framework to prevent unnecessary wheel reinventing by an analyses implementers. We propose a general design of the framework called Angie with a primary focus on usability, and describe a prototype implementation of the framework, including a model analysis based on symbolic memory graphs. Angie is implemented in C++ and uses the LLVM toolchain as the front-end for parsing the source code of analysed programs.
|
|
|
Topology optimization of movable, fixed and based plate of electromechanical injection-moulding machine
Kecík, Samuel ; Halabuk, Dávid (referee) ; Návrat, Tomáš (advisor)
The master thesis deals with the design of geometry of plates of the injection molding unit using the FEM tool Topological Optimization. The reason for this is to reduce the weight of these components, which is beneficial in the transport and assembly of the injection molding machine. However, the final models of geometry of plates must meet certain requirements in terms of the limit state of deformation, the limit state to the critical value of the equivalent stress. This condition involves both limit state of elasticity and limit state of fatigue. Computational modeling and also Topological Optimization are performed in ANSYS Workbench.
|
|
|
Influence of stiffness connections on loading of steel structures
Šik, Jan ; Vlk, Zbyněk (referee) ; Nevařil, Aleš (advisor)
This bachelor thesis focuses on the analysis of the real behavior of the joints in steel structures. The introduction describes different approaches to the modeling of joints. The first approach is based on algorithms found in normative documents ČSN EN. The other approach deals with numerical modeling of the joints using the finite element method (FEM) in SW ANSYS. In conclusion, the comparison of results of different approaches to the modeling of joints.
|
guest ::
