|
|
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.
|
|
|
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.
|
|
| |
|
|
Integration of Static Code Analysis into Issue Tracking System
Jančová, Markéta ; Burget, Radek (oponent) ; Kolář, Dušan (vedoucí práce)
Static code analysis is a way of improving source code quality. It also helps to reveal bugs before they cause serious runtime problems. SonarQube is a tool that detects findings during periodical analyses and creates appropriate issues that provide essential data to help a developer to fix problems. Jira is an issue tracking system that is used by agile teams all over the world. Integrating static code analysis into issue tracking system should prevent Jira issues to be reopened due to bugs and reduce a number of bugs that are caused by integrating new features. This thesis investigates ways of integrating SonarQube into Jira and provides possible solution of the integration. The solution is tested, optimized, and another solutions are provided.
|
|
|
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.
|
|
|
Materiálově nelineární řešení konstrukcí z plastů
Weis, Lukáš ; Krejsa,, Martin (oponent) ; Králík,, Juraj (oponent) ; Kytýr, Jiří (oponent) ; Němec, Ivan (vedoucí práce)
Předkládaná práce se zaměřuje na statickou analýzu konstrukcí z plastů se zohledněním nelineárního chování materiálu v závislosti na napětí. Statická analýza je prováděna metodou konečných prvků. V úvodu práce je názorně popsán rozdíl mezi materiálově lineárním a materiálově nelineárním přístupem. Pro numerickou analýzu plastových konstrukcí je vhodné použít skořepinový konečný prvek rozšířený o možnost dalšího dělení na vrstvy a integrační body přes svoji výšku. Samostatné kapitoly se věnují integraci výsledných veličin přes výšku průřezu. Integrace materiálové matice tuhosti korektně zohledňuje vznik excentricity. Část pozornosti je věnována numerickým kvadraturním pravidlům. Následující kapitola se věnuje materiálově nelineárním modelům. Je popsán jednodušší přístup za pomoci izotropně nelineárně elastického modelu, dále je popsán obecný přístup za použití ortotropně plastického modelu. Teoretický popis je doplněn grafickou interpretací kritérií podle jednotlivých autorů. Významná část této práce je věnována algoritmizaci výpočetních postupů. Je provedena v jazyce Fortran do dynamicky linkované knihovny, která je součástí programu RFEM 5, který je široce využíván v technické praxi. Součástí práce je studie srovnávající výkonnost různých technologií použitelných pro algoritmizaci popisované problematiky. Správnost teoretické analýzy materiálových modelů a následné implementace do programu RFEM 5 je ověřena na příkladu ohýbané konzoly. Konstrukce termoplastové nadzemní nádrže je podrobena detailní materiálově lineární, resp. nelineární analýze. Různé přístupy jsou porovnány na výsledcích napětí, deformace a přetvoření. Zvláštní pozornost je pak věnována stabilitní analýze se zohledněním nelineárního materiálového modelu.
|
|
|
Úprava držáku celohliníkového chladiče
Malovaný, Daniel ; Ramík, Pavel (oponent) ; Svída, David (vedoucí práce)
Cílem této diplomové práce je provést základní přehled konstrukčních řešení uchycení celohliníkových chladičů. Výpočtem pomocí metody konečných prvků provést kontrolu první generace držáku celohliníkového nízkoteplotního vodního chladiče a na základě tohoto výpočtu navrhnout úpravu jeho konstrukce, která povede ke snížení napětí v kritických oblastech. Na závěr toto nové řešení zhodnotit.
|
|
|
Extraction of Static Features from Binary Applications for Malware Analysis
Pružinec, Jakub ; Hanáček, Petr (oponent) ; Kolář, Dušan (vedoucí práce)
Forms of malware are changing and evolving on daily basis, therefore it is necessary to continuously create, update, and improve methods for malware analysis. One of possible approaches to fighting malware is to classify it based on certain static characteristics. This thesis deals with design and extraction of these features from binary executables. Goal of this work is to enrich a static feature extraction tool by extracting new features and verifying their effectiveness in malware classification. The tool is developed in cooperation with Avast Software, where it is used in a clustering system.
|
|
|
Statická analýza výtokového kanálu z betonu
Skalník, Stanislav ; Nováček, Jan (oponent) ; Zich, Miloš (vedoucí práce)
Diplomová práce se zabývá statickou analýzou spojenou s výtokovým kanálem plavební komory. Podkladem pro práci byl návrh zesílení pomocí celozávitových předpínacích tyčí a výkresová dokumentace stávajícího stavu. Cílem práce bylo představení problematiky spojené s kotvením předpínacích tyčí soudržností ve stávající betonové konstrukci, zejména pak testování na zkušebních blocích v laboratoři pro ověření vhodného řešení. V návaznosti na získaná data provést analýzu a porovnání na modelech řešených nelineárním výpočtem v programu ATENA Science. Následně je provedena analýza modelu stávajícího stavu výseku výtokového kanálu rovněž nelineárním výpočtem s vyhodnocením jeho chování na extrémní zatížení. Tento model je následně doplněn o zesílení pomocí předpínacích tyčí s aplikací poznatků spojených s modely zkoušky vytržení. Model předepnutého výseku výtokového kanálu tak přestavuje simulaci provedení na samotné plavební komoře. Práce je doplněna o výkresy zkušebního bloku a zesílení výtokového kanálu.
|
|
|
Vývoj LLVM adaptéru pro infrastrukturu Code Listener
Šoková, Veronika ; Peringer, Petr (oponent) ; Dudka, Kamil (vedoucí práce)
Tato bakalářská práce se zabývá vývojem LLVM adaptéru pro infrastrukturu Code Listener, která usnadňuje tvorbu statických analyzátorů jako jsou Predator a Forester. Ty jsou vyvíjeny a využívany v rámci skupiny VeriFIT. Popisuje překladový systém LLVM, jeho interní reprezentaci kódu a frontend Clang. Součástí práce je implementace daného adaptéru. K dnešnímu dni je schopen analyzovat omezenou množinu programů jazyka C. Je schopen generovat CFG k funkcím. Některé testy pro Predator a Forester projdou. Dále je naznačen budoucí vývoj adaptéru.
|
host ::
RSS.