• Title/Summary/Keyword: Static Program Analysis

Search Result 499, Processing Time 0.025 seconds

Development of Design and Analysis System for Material Handling Cranes (운반하역 크레인의 설계해석 자동화 시스템 개발)

  • 임동준;박정연;이충동
    • Proceedings of the Computational Structural Engineering Institute Conference
    • /
    • 1999.10a
    • /
    • pp.153-159
    • /
    • 1999
  • A material handling crane is composed of many complex structural components which require sufficient strength, stiffness and stability throughout its service life and need to be light in weight, and satisfy the required functions under the entire range of operating conditions. In this study, the analysis system for material handling cranes is presented. This program integrate various structural analyses modules with the GU(Graphic User Interface) concept. Utilizing basic variables as input data, the analysis system performs quasi-static, eigenvalue, buckling, fatigue and stability analysis. Using this program, the designer can generate optimal design data for the cranes without my actual measurements. This system will also be extended to other mechanical structures with kinematic motion like crane.

  • PDF

A Study on the measurement of Table Deflection using Laser Interferometer and It's Inspection using FEA (레이저 간섭계에 의한 테이블의 처짐측정과 FEA에 의한 이의 검증)

  • 이승수
    • Proceedings of the Korean Society of Machine Tool Engineers Conference
    • /
    • 1998.10a
    • /
    • pp.204-209
    • /
    • 1998
  • The acceleration of the performance of machine tools influences the development of the semi-conductor and optical technology as the development of NC and measurement technology. We can mention that a traction role of the acceleration for the development like that depends on the development of the measurement technics Stylus instrument method, STM, SEM, Laser interferometer method which are used for measuring the quasi-static error of machine tools. Because the measurement has been done to unload condition without considering of mechanical stiffness in the case of machining center as we measure the quasi-static error of machine tools on general studies, people who works on the spot has many problems on the data value. Therefor we will help working more accurately on the spot by measuring, analyzing, displaying the deflection of the table and support shaft when we load on the table and the support shaft of machining center using laser interferometer. Also we try to settle new conception of the measurement method and more accurate grasp of the deflection tendency by verifing the tendency of the error measured through the comparison of the simulated error using ANSYS, a common finite element analysis program, which is able to measure heat deformation, material deformation, and error resulted form this study.

  • PDF

Evaluation of Static Analyzers for Weakness in C/C++ Programs using Juliet and STONESOUP Test Suites

  • Seo, Hyunji;Park, Young-gwan;Kim, Taehwan;Han, Kyungsook;Pyo, Changwoo
    • Journal of the Korea Society of Computer and Information
    • /
    • v.22 no.3
    • /
    • pp.17-25
    • /
    • 2017
  • In this paper, we compared four analyzers Clang, CppCheck, Compass, and a commercial one from a domestic startup using the NIST's Juliet test suit and STONESOUP that is introduced recently. Tools showed detection efficacy in the order of Clang, CppCheck, the domestic one, and Compass under Juliet tests; and Clang, the domestic one, Compass, and CppCheck under STONESOUP tests. We expect it would be desirable to utilize symbolic execution for vulnerability analysis in the future. On the other hand, the results of tool evaluation also testifies that Juliet and STONESOUP as a benchmark for static analysis tools can reveal differences among tools. Finally, each analyzer has different CWEs that it can detect all given test programs. This result can be used for selection of proper tools with respect to specific CWEs.

Development of a String Injection Vulnerability Analyzer for Web Application Programs (웹 응용 프로그램의 문자열 삽입 보안 취약성 분석기 개발)

  • Ahn, Joon-Seon;Kim, Yeong-Min;Jo, Jang-Wu
    • The KIPS Transactions:PartA
    • /
    • v.15A no.3
    • /
    • pp.181-188
    • /
    • 2008
  • Nowadays, most web sites are developed using dynamic web pages where web pages are generated and transmitted by web application programs. Therefore, the ratio of attacks injecting malevolent strings to vulnerable web applications is increasing. In this paper, we present a static program analyzer which analyzes whether a web application program has vulnerabilities to the SQL injection attack and the cross site scripting(XSS) attack. To analyze programs using abstract interpretation framework, we designed an abstract domain which models potential string set along with excluded strings and developed an abstract interpreter for the PHP language. Also, based on them, we implemented a static analyzer. According to our experiments, our analyzer has competitive analysis speed and accuracy compared with related research results.

Static and dynamic analytical and experimental analysis of 3D reinforced concrete panels

  • Numayr, K.;Haddad, R.
    • Structural Engineering and Mechanics
    • /
    • v.32 no.3
    • /
    • pp.399-406
    • /
    • 2009
  • A three-dimensional panel system, which was offered as a new method for construction in Jordan using relatively high strength modular panels for walls and ceilings, is investigated in this paper. The panel consists of two steel meshes on both sides of an expanded polystyrene core and connected together with a truss wire to provide a 3D system. The top face of the ceiling panel was pored with regular concrete mix, while the bottom face and both faces of the wall panels were cast by shotcreting (dry process). To investigate the structural performance of this system, an extensive experimental testing program for ceiling and wall panels subjected to static and dynamic loadings was conducted. The load-deflection curves were obtained for beam and shear wall elements and wall elements under transverse and axial loads, respectively. Static and dynamic analyses were conducted, and the performance of the proposed structural system was evaluated and compared with a typical three dimensional reinforced concrete frame system for buildings of the same floor areas and number of floors. Compressive strength capacity of a ceiling panel is determined for gravity loads, while flexural capacity is determined under the effect of wind and seismic loading. It was found that, the strength and serviceability requirements could be easily satisfied for buildings constructed using the three-dimensional panel system. The 3D panel system is superior to that of conventional frame system in its dynamic performance, due to its high stiffness to mass ratio.

Development of an Automation Library in Multi-Body Dynamics Program for Dynamic Structural Analysis of Block Lifting Process (블록의 리프팅 동적 구조해석을 위한 다물체 동역학 프로그램의 내장형 자동화 라이브러리 개발)

  • Jung, Da-un;Cha, Ju-Hwan;Song, Chang-Yong;Lee, Chung-Hyoung
    • Journal of the Society of Naval Architects of Korea
    • /
    • v.53 no.2
    • /
    • pp.135-143
    • /
    • 2016
  • In this study, an embedded system composed of equipment setting, block importing, scenario setting and output reporting is developed in multi-body dynamics program, ADAMS, for conducting dynamic structural analysis of block lifting process. First, equipment used for block lifting process is set in the simulation environment and the shapes and functions of two lifting beams, and six block loaders are provided as the equipment. Second, the modal analysis result of the lifting block is imported from the static structural analysis system, NASTRAN. Third, the lifting scenarios, such as hoisting, waiting, trolley moving, and wire connecting, are set in the system. Finally, output results in the forms of plots, texts and tables, are reported after the dynamic structural analysis. The test examples conducted in a shipyard are applied into the developed system in various condition and scenarios. The loads at the lug points, the stress contours, and the hot spot tables of the developed system are compared with the result of the static analysis system.

Program Slicing in the Presence of Complicated Data Structure (복잡한 자료 구조를 지니는 프로그램 슬라이싱)

  • Ryu, Ho-Yeon;Park, Joong-Yang;Park, Jae-Heung
    • The KIPS Transactions:PartD
    • /
    • v.10D no.6
    • /
    • pp.999-1010
    • /
    • 2003
  • Program slicing is s method to extract the statements from the program which have an influence on the value of a variable at a paricular point of the program. Program slicing is applied for many applications, such as program degugging, program testing, program integration, parallel program execution, software metrics, reverse engineering, and software maintenance, etc. This paper is the study to create the exact slice in the presence of Object Reference State Graph to generate more exactly static analysis information of objects in the program of the presence of complicated data structure.

Pushover analysis of prefabricated structures with various partially fixity rates

  • Akkose, Mehmet;Sunca, Fezayil;Turkay, Alperen
    • Earthquakes and Structures
    • /
    • v.14 no.1
    • /
    • pp.21-32
    • /
    • 2018
  • Prefabricated structures are constructed by bolted connections of separated members. The design and analysis of these structures are generally performed by defining fully hinges for the connection of separated members at the joint of junction. In practice, these connections are not fully hinged. Therefore, the assumption of semi-rigid connections (restrained or partially fixity) instead of fully hinge connections is a more realistic approach for bolted connections used in the prefabricated elements. The aim of this study is to investigate the effects of semi-rigid connections on seismic performance of prefabricated structures. Nonlinear static analysis (pushover analysis) of a selected RC prefabricated structure is performed with SAP2000 structural analysis program by considering various partially fixity percentages for bolted connections. The target values of roof displacements obtained from the analyses according to ATC-40, FEMA-356, FEMA-440, and TEC-2007 codes are compared each other. The numerical results are given in tables and figures comparatively and discussed. The results show that the effects of semi-rigid connections should be considered in design and analysis of the prefabricated structures.

A Study on the Light Weighting of APU through Structural Analysis (구조해석을 통한 보조발전기 경량화에 관한 연구)

  • Kim, Hye-Eun;Kim, Jin-Hoon;Noh, Sang-Wan;Kim, Byeong-Ho;Baek, Hyun-Moo
    • Journal of Korean Society for Quality Management
    • /
    • v.47 no.4
    • /
    • pp.895-910
    • /
    • 2019
  • Purpose: The purpose of this study is to lighten the APU (Auxiliary Power Unit) structure of the KAAV (Korea Assault Amphibious Vehicle) through structural analysis. Methods: Commercially-available program (MIDAS.NFX) was used for finite element analysis. Frequency response analysis was performed through linear static and mode analyses to verify the structural stability according to the change of the structural materials. Results: Numerical simulation (linear static, mode and frequency response analyses) results showed that the safety factor of the APU was over 1.5 even under the worst case conditions. The APU made by aluminum structures was expected to be available in the military field, since every requirements in the KDS (Korean Defense Specifications) was fulfilled during the various tests and evaluations. Conclusion: The structural analysis was verified that the structural stability of the APU structure of the KAAV after change of the structural material.

The Evaluation of the Structural Integrity of Bellows Globe Valve for Nuclear Power (원자력 발전소용 벨로우즈 글로브 밸브에 대한 구조 건전성 평가)

  • Chung, Chul-Sup
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.7 no.6
    • /
    • pp.1034-1039
    • /
    • 2006
  • The purpose of this paper is to evaluate the structural integrity of the Class 1500 Bellows Seal 3 inch globe valve classified as seismic category IIA. The finite element analysis program, ANSYS, Version 10.0, is used to perform both a modal frequency analysis and an equivalent static stress analysis of the subject valve modeling. The modal frequency analysis results show the fundamental natural frequency is greater than 33 Hz. Therefore the equivalent static stress analysis is performed using the seismic acceleration values. The stresses resulted from various loadings and their combinations are evaluated based on the structural acceptance criteria of the ASME Code. The stresses in the glove valve due to the seismic loadings are within the allowable limits. It is concluded that the globe valve structure is maintaining the structural integrity fur the seismic loading conditions.

  • PDF