• 제목/요약/키워드: static program analysis

검색결과 499건 처리시간 0.03초

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

  • 김병기;마대성
    • 한국정보처리학회논문지
    • /
    • 제6권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

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

  • 천인범;조규종
    • 한국자동차공학회논문집
    • /
    • 제6권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)

  • 안성기;송정원;송진규;이수곤
    • 한국콘크리트학회:학술대회논문집
    • /
    • 한국콘크리트학회 2000년도 가을 학술발표회논문집(I)
    • /
    • 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)

  • 송병철;박한석;권영민;김성환;박영철;이권희
    • 한국자동차공학회논문집
    • /
    • 제17권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)

  • 최기영;김선엽
    • 대한물리의학회지
    • /
    • 제14권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)

  • 정병호;김용혁;배성일;임을규
    • 스마트미디어저널
    • /
    • 제7권1호
    • /
    • pp.37-44
    • /
    • 2018
  • 임베디드 기기는 시퀀스 제어 기능과 수치연산 기능을 활용하여 제어 프로그램에 따라 산업현장의 기기 등 다양한 자동화 시스템에 활용된다. 현재 임베디드 기기는 기업의 산업현장, 원전, 대중교통 같은 국가기반시설에서 제어 시스템으로 활용되고 있다. 따라서 임베디드 기기를 대상으로 하는 공격은 큰 경제적 손실과 사회적 손실을 야기할 수 있다. 임베디드 기기를 대상으로 하는 공격은 대부분 데이터, 코드 변조로서 제어 프로그램을 대상으로 이루어진다. 산업 자동화 임베디드 기기의 제어 프로그램은 일반적인 프로그래밍 언어와 달리 회로 구조를 표현하기 위하여 설계되었고, 대부분의 산업 자동화 제어 프로그램은 그래픽 기반 언어인 LAD로 설계되어있어 정적분석이 용이하지 않다. 이러한 특징으로 인하여 산업 자동화 제어 프로그램에 대한 취약점 분석 및 보안 관련 연구는 정형 검증, 실시간 모니터링 수준에 그친다. 또한 사전에 취약점을 탐지하고 공격에 대한 대비가 가능한 산업 자동화 제어 프로그램 정적분석 연구는 매우 저조한 실정이다. 따라서 본 연구에서는 산업 자동화 임베디드 프로그램에 대한 정적분석 효율성 증대를 위하여 회로 구조를 표현하기 위해 설계된 산업 자동화 제어 프로그램을 논리식으로 표현하기 위한 방법을 제시한다. 또한 다양한 제조사의 산업 자동화 제어 프로그램을 통합적으로 분석하기 위하여 LLVM IR을 활용한 중간어 변환 기술을 제안한다. LLVM IR을 활용함으로서 동적 분석에 대한 통합분석이 가능하다. 본 연구에서는 해당 방법에 대한 검증을 위하여 S 사(社)의 제어 프로그램을 대상으로 하여 논리식 형태의 중간어로 변환하는 프로그램의 시제품을 개발하였다.

학제 간 융합연구를 위한 생존수영프로그램 참여 초등학생의 안전의식과 자아효능감 및 생명존중의 관계 분석 (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)

  • 강효민;이용국
    • 디지털융복합연구
    • /
    • 제17권6호
    • /
    • pp.401-408
    • /
    • 2019
  • 이 연구는 학제 간 융합연구를 위한 생존수영프로그램 참여 초등학생의 안전의식과 자아효능감 및 생명존중의 관계를 실증적으로 구명하는데 목적이 있었다. 이러한 연구목적을 수행하기 위하여 강원도 지역에 있는 초등학교 재학생 248명을 대상으로 자료를 수집하여 분석하였다. 수집된 자료는 IBM SPSS 23 프로그램을 이용하여 기술통계, 신뢰도, 탐색적 요인분석, 상관분석을 실시하였으며, AMOS 23 프로그램을 이용하여 확인적요인분석 및 구조방정식모형 검증을 실시하였다. 이상의 연구 과정을 통해 다음과 같은 결론을 얻었다. 첫째, 초등학생의 안전의식은 자아효능감에 유의한 영향을 미친다. 둘째, 초등학생의 안전의식은 생명존중에 유의한 영향을 미치지 않는다. 셋째, 초등학생의 자아효능감은 생명존중에 유의한 영향을 미친다. 결론적으로 초등학생의 생존수영프로그램 참가에 따른 안전의식은 자아효능감에 영향을 미친다. 또한 자아효능감을 매개로 생명존중에 긍정적 영향을 미친다. 따라서 학제 간 융합연구 관점에서 생존수영 교육 프로그램에 대한 다양한 접근이 필요하다.

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

  • 장석명;이현구;정상섭;박영태;김봉섭;정현갑
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1996년도 하계학술대회 논문집 A
    • /
    • 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)

  • 허신;경진호;송달호;김정수;조용현
    • 한국철도학회논문집
    • /
    • 제5권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
    • /
    • 제81권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.