• Title/Summary/Keyword: Static Program Analysis

Search Result 499, Processing Time 0.024 seconds

A Study on Performance Analysis Layer of Parallel Program Performance Monitoring Tool (병렬 프로그램 성능 감시 도구의 성능 분석층에 관한 연구)

  • Kim, Byeong-Gi;Ma, Dae-Seong
    • The Transactions of the Korea Information Processing Society
    • /
    • v.6 no.5
    • /
    • pp.1263-1271
    • /
    • 1999
  • This paper designs the performance analysis layer for the various performance analysis of parallel programs using event expressions are similar to the normal program language to analyze the events which display a dynamic state exchange of a program. The event expressions suggest operations for overloading and functions which are needed in performance analysis, such as a filtering operation, data format translation functions, performance analysis, static functions, and etc. By using the event expressions, the programmer can modify the event trace data to analyze the performance and analyze more easily and variously than the pre-developed tools.

  • PDF

Fatigue Life Prediction of a Multi-Purpose Vehicle Frame (MPV 프레임의 피로수명 예측)

  • 천인범;조규종
    • Transactions of the Korean Society of Automotive Engineers
    • /
    • v.6 no.5
    • /
    • pp.146-152
    • /
    • 1998
  • Recently, for the development of vehicle structures and components there is a tendency to increase using numerical simulation methods compared with practical tests for the estimation of the fatigue strength. In this study, an integrated powerful methodology is suggested for fatigue strength evaluation through development of the interface program to integrate dynamic analysis quasi-static stress analysis and fatigue analysis, which were so far used independently. To verify the presented evaluation method, a single and zigzag bump run test, 4-post road load simulation and driving durability test have been performed. The prediction results show a good agreement between analysis and test. This research indicates that the integrated life prediction methodology can be used as a reliable design tool in the pre-prototype and prototype development stage, to reduce the expense and time of design iteration.

  • PDF

Seismic Evaluation of Shear Wall System by Nonlinear Static Analysis Procedures (비선형 정적 해석을 통한 벽식구조물의 내진성능 평가)

  • 안성기;송정원;송진규;이수곤
    • Proceedings of the Korea Concrete Institute Conference
    • /
    • 2000.10a
    • /
    • pp.63-68
    • /
    • 2000
  • Concrete is popular as a building material, however it is inherently brittle and performs poorly during earthquakes if nor reinforced properly. Traditional retrofit design techniques assume that buildings respond elastically to earthquakes. This assumption simplifies the analysis procedure but can lead to an erroneous conclusion. The complete nonlinear time history analysis is considered overly complex and impractical for general use. Simplified nonlinear analysis methods, referred to as nonlinear static analysis procedures, include the capacity spectrum method(CSM) developed in detail at ATC-40 and the displacement coefficient method(DCM) utilized at FEMA-273. In this study wall APT system. The results were compared and analyzed. The program used was neaMAX-3D to express nonlinear material.

  • PDF

Structural Design of an Upper Control Arm, Considering Static Strength (정강도를 고려한 상부 컨트롤 암의 구조설계)

  • Song, Byoung-Cheol;Park, Han-Seok;Kwon, Young-Min;Kim, Sung-Hwan;Park, Young-Chul;Lee, Kwon-Hee
    • Transactions of the Korean Society of Automotive Engineers
    • /
    • v.17 no.1
    • /
    • pp.190-196
    • /
    • 2009
  • This study proposes a structural design method for the upper control arm installed at the rear side of a SUV. The weight of control arm can be reduced by applying the design and material technologies. In this research, the former includes optimization technology, and the latter the technologies for selecting aluminum as a steel-substitute material. Strength assessment is the most important design criterion in the structural design of a control arm. At the proto design stage of a new control arm, FE (finite element) analysis is often utilized to predict its strength. This study considers the static strength in the optimization process. The inertia relief method for FE analysis is utilized to simulate the static loading conditions. According to the classification of structural optimization, the structural design of a control arm is included in the category of shape optimization. In this study, the kriging interpolation method is adopted to obtain the minimum weight satisfying the strength constraint. Optimum designs are obtained by ANSYS WORKBENCH and the in-house program, EXCEL-kriging program. The optimum results determined from the in-house program are compared with those of ANSYS WORKBENCH.

Impact of a Fall-Prevention Exercise Program on Balance, Gait, Lower Limb Strength, and Psychosocial Characteristics in Older Adults with Dementia (낙상예방 운동 프로그램이 치매 노인의 균형, 보행과 하지 근력, 심리사회적 특성에 미치는 영향)

  • Choi, Gi-young;Kim, Suhn-yeop
    • Journal of the Korean Society of Physical Medicine
    • /
    • v.14 no.1
    • /
    • pp.75-89
    • /
    • 2019
  • PURPOSE: This study measured the impact of a 12-week fall-prevention exercise program on balance, ambulatory ability, lower limb strength, and psychosocial characteristics in older adults diagnosed with dementia. METHODS: The participants comprised 31 older adults (9 men, 22 women) diagnosed with Alzheimer's or vascular dementia at a long-term care hospital located in Gunsan City. A fall-prevention exercise program was provided to the experimental group, while the control group was only provided with instruction and materials related to the fall-prevention exercise program. The participants were evaluated before the intervention, 6 weeks after the intervention, and 12 weeks after the intervention on static and dynamic balance abilities (using Timed Up and Go test: TUG, Tinetti-balance scale, one-leg standing test: OLS), gait (Tinetti-balance scale, 6-minute walk test: 6MWT), lower limb strength (sit to stand test; STS), and psychosocial characteristics (Short Form 36 Health Survey-Korean version, Korean Mini-Mental State Exam). RESULTS: An independent samples t-test and repeated measures analysis of variance were used for the statistical analysis. There were statistically significant improvements after the intervention (p<.05) in dynamic balance abilities (TUG and OLS using the left foot), gait (6MWT), and lower limb strength (STS) for the experimental group, but not for the control group. No difference was seen in psychosocial characteristics. CONCLUSION: Older adults with dementia who participated in the fall-prevention exercise program showed significant improvements in their static and dynamic balance abilities, lower limb strength, and ambulatory ability after the intervention.

Intermediate-Representation Translation Techniques to Improve Vulnerability Analysis Efficiency for Binary Files in Embedded Devices (임베디드 기기 바이너리 취약점 분석 효율성 제고를 위한 중간어 변환 기술)

  • Jeoung, Byeoung Ho;Kim, Yong Hyuk;Bae, Sung il;Im, Eul Gyu
    • Smart Media Journal
    • /
    • v.7 no.1
    • /
    • pp.37-44
    • /
    • 2018
  • Utilizing sequence control and numerical computing, embedded devices are used in a variety of automated systems, including those at industrial sites, in accordance with their control program. Since embedded devices are used as a control system in corporate industrial complexes, nuclear power plants and public transport infrastructure nowadays, deliberate attacks on them can cause significant economic and social damages. Most attacks aimed at embedded devices are data-coded, code-modulated, and control-programmed. The control programs for industry-automated embedded devices are designed to represent circuit structures, unlike common programming languages, and most industrial automation control programs are designed with a graphical language, LAD, which is difficult to process static analysis. Because of these characteristics, the vulnerability analysis and security related studies for industry automation control programs have only progressed up to the formal verification, real-time monitoring levels. Furthermore, the static analysis of industrial automation control programs, which can detect vulnerabilities in advance and prepare for attacks, stays poorly researched. Therefore, this study suggests a method to present a discussion on an industry automation control program designed to represent the circuit structure to increase the efficiency of static analysis of embedded industrial automation programs. It also proposes a medium term translation technology exploiting LLVM IR to comprehensively analyze the industrial automation control programs of various manufacturers. By using LLVM IR, it is possible to perform integrated analysis on dynamic analysis. In this study, a prototype program that converts to a logical expression type of medium language was developed with regards to the S company's control program in order to verify our method.

The Relationship analysis between Safety Consciousness, Self-Efficacy, and Life-Respect according to Participation in Survival Swimming Program of Elementary School Students for interdisciplinary convergence research (학제 간 융합연구를 위한 생존수영프로그램 참여 초등학생의 안전의식과 자아효능감 및 생명존중의 관계 분석)

  • Kang, Hyo-Min;Lee, Yong-Kuk
    • Journal of Digital Convergence
    • /
    • v.17 no.6
    • /
    • pp.401-408
    • /
    • 2019
  • The purpose of this study was to identify the relationship analysis between safety consciousness, self-efficacy, and life-respect according to participation in survival swimming program of elementary school students for interdisciplinary convergence research. In order to achieve this purpose, 248 elementary school students were selected from registered in Kangwon-do area by the cluster sampling method. Frequency analysis, confirmatory factor analysis, reliability analysis, correlations analysis and structural equation model analysis were executed using SPSS Statistics 23.0 Version and AMOS 23. As the results, First, it was discovered that the Safety Consciousness had static influence to the Self-Efficacy. Second, it showed that the Safety Consciousness did not gave static influence to the Life-Respect. Finally, it showed that the Self-Efficacy had static influence to the Life-Respect. In conclusion, the safety consciousness of elementary school students participating in the survival swimming program influences self-efficacy. It also has a positive effect on respect for life through self-efficacy. Therefore, various approaches to survival swimming education program are needed from the perspective of interdisciplinary fusion research.

The Analysis on Dynamic Characteristics and the Static test of Inverter-fed Large capacity LIM (인버터로 구동되는 대용량 LIM의 정특성 시험과 동특성 해석)

  • Jang, S.M.;Lee, H.G.;Jeong, S.S.;Park, Y.T.;Kim, B.S.;Jeong, H.G.
    • Proceedings of the KIEE Conference
    • /
    • 1996.07a
    • /
    • pp.213-215
    • /
    • 1996
  • Until now the test of LIM have been mainly experimented for a small capacity LIM. This paper deals with the static characteristics of a large capacity LIM which is designed for MAGLEV. And we developed the simulation program using electro-magnetic field theory and equivalent circuit method. Hence it is evaluated the performance of a large capacity LIM. Also this paper predicts the dynamic characteristics of LIM with the proposed simulation program.

  • PDF

A Study on the Dynamic Simulation of High Speed Current Collection System (고속 집전계의 동적 수치모의해석 프로그램 연구)

  • Hur, S.;Kyung, J.H.;Song, D.H.;Kim, J.S.;Cho, Y.H.
    • Journal of the Korean Society for Railway
    • /
    • v.5 no.1
    • /
    • pp.10-17
    • /
    • 2002
  • In this study, we have developed the static and dynamic simulation program of a high speed current collection system. The catenary wire is modeled to discrete masses connected by massless strings and the pantograph is replaced with 3 d.o.f equivalent models that are composed of masses, springs and dampers. We derived partial differential equations of motion from the equivalent model and developed the simulation program. Then, we calculated the static equilibrium state of the overhead catenary and the dynamic behaviors of the high speed current collection system. The analysis results were compared with the results of GASENDO software developed at RTRI in Japan.

Finite element micro-modelling of RC frames with variant configurations of infill masonry

  • Mohammad, Aslam F.;Khalid, Fatima;Khan, Rashid A.
    • Structural Engineering and Mechanics
    • /
    • v.81 no.4
    • /
    • pp.395-409
    • /
    • 2022
  • The presence of infill generally neglected in design despite the fact that infill contribution significantly increase the lateral stiffness and strength of the reinforced concrete frame structure. Several experimental studies and computational models have been proposed to capture the rational response of infill-frame interaction at global level. However, limited studies are available on explicit finite element modelling to study the local behavior due to high computation and convergence issues in numerical modelling. In the current study, the computational modelling of RC frames is done with various configurations of infill masonry in terms of types of blocks, lateral loading and reinforcement detailing employed with material nonlinearities, interface contact issues and bond-slip phenomenon particularly near the beam-column joints. To this end, extensive computational modelling of five variant characteristics test specimens extracted from the detailed experimental program available in literature and process through nonlinear static analysis in FEM code, ATENA generally used to capture the nonlinear response of reinforced concrete structures. Results are presented in terms of damage patterns and capacity curves by employing the finest possible detail provided in the experimental program. Comparative analysis shows that good correlation amongst the experimental and numerical simulated results both in terms of capacity and crack patterns.