• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2000년도 가을 학술발표회 논문집
• /
• pp.193-200
• /
• 2000

Numerical analysis of slope stability is presented using slice method, static seismic analysis methods, and earthquake response analysis methods. Static seismic force is considered as 0.2g while vertical static seismic force is not considered in analysis. For earthquake response analysis, Hachinohe-wave is applied. Safety factor calculated using slice method for failure surface. Calculating methods are Bishop's method and Janhu's method. Static seismic analysis was applied using Mhor-Coulomb model and earthquake response analysis was applied using non-linear elastic model.

• 한국정밀공학회지
• /
• 제15권12호
• /
• pp.188-193
• /
• 1998

This paper describes static and dynamic weak point analysis of spindle systems to eliminate high concentrated bending point on spindle and improve total stiffness of spindle systems. The weak point analysis is based on the evaluation of bending curves of spindles. For static weak point analysis the bending curve is derived from static deflection curve and for dynamic weak point analysis it is derived from the mode shape curves in consideration of the transfer function at exciting point. The validity of the weak point search methodology is verified by comparison of the static deflection, the natural frequency and the dynamic compliance between the original and the improved spindle.

• 한국철도학회논문집
• /
• 제2권4호
• /
• pp.1-8
• /
• 1999

A formulation to perform static equilibrium and linear vibration analysis is presented in this paper. The formulation employs minimum number of equations of motion which are derived by using a partial velocity matrix. The static equilibrium analysis is performed first, then the linear vibration analysis is performed at the static equilibrium position. By using the formulation presented in this paper, static equilibrium and linear vibration analysis of a high speed electric train system are performed. A single bogie system, a power car vehicle, and a train system which consists of five vehicles are analyzed, respectively. Natural frequencies and a few lowest mode shapes of the two are identified in this paper.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2004년도 춘계학술대회
• /
• pp.1011-1016
• /
• 2004

All the loads in the real world are dynamic loads and it is well known that structural optimization under dynamic loads is very difficult. Thus the dynamic loads are often transformed to the static loads using dynamic factors. However, due to the difference of load characters, there can be considerable differences between the results from static and dynamic analyses. When the natural frequency of a structure is high, the dynamic analysis result is similar to that of static analysis due to the small inertia effect on the behavior of the structure. However, if the natural frequency is low, the inertia effect should not be ignored. Then, the behavior of the dynamic system is different from that of the static system. The difference of the two cases can be explained from the relationship between the homogeneous and the particular solutions of the differential equation that governs the behavior of the structure. Through various examples, the difference between the dynamic analysis and the static analysis are shown. Also the optimization results considering dynamic loads are compared with static loads.

• 정보보호학회논문지
• /
• 제28권3호
• /
• pp.605-615
• /
• 2018

사물 인터넷 시장 규모의 급격한 성장에 따라 임베디드 시스템에서 가장 많이 쓰이는 언어인 C/C++ 언어의 사용도 증가하고 있다. C/C++ 언어의 코드 품질을 향상시키고 개발 비용을 절감시키기 위해 소프트웨어 개발 전반부에서 수행 가능한 소프트웨어 검증기법인 정적 분석을 사용하는 것이 좋다. 많은 프로그램들이 정적 분석을 사용하여 소프트웨어의 안전성을 검증하고 있으며 많은 정적 분석 도구들이 사용 및 연구되고 있다. 본 논문에서는 Clang 정적 분석도구를 사용하여 검증된 시험 코드에 대한 보안 약점 검출 성능을 확인한다. 또한 소스 코드 난독화 기법인 구획 난독화, 데이터 난독화, 제어 흐름 난독화 기법이 각각 적용된 시험 코드에 대한 정적 분석 결과와 원본 시험 코드에 대한 정적 분석 결과를 비교하여 소스 코드 난독화 기법에 따른 Clang 정적 분석 도구의 성능 영향을 분석한다.

• 동력기계공학회지
• /
• 제16권1호
• /
• pp.78-83
• /
• 2012

The authors suggest the algorithm for the static analysis of a three dimensional solid structure by using the finite element-transfer stiffness coefficient method (FE-TSCM) and the hexahedral element of the finite element method (FEM). MATLAB codes were made by both FE-TSCM and FEM for the static analysis of three dimensional solid structure. They were applied to the static analyses of a very thick plate structure and a three dimensional solid structure. In this paper, as we compare the results of FE-TSCM with those of FEM, we confirm that FE-TSCM introducing the hexahedral element for the static analysis of a three dimensional solid structure is very effective from the viewpoint of the computational accuracy, speed, and storage.

• 항공우주시스템공학회지
• /
• 제9권1호
• /
• pp.28-34
• /
• 2015

Armed aircraft of a basic trainer class installs external stores under wing box by using pylon and performs an operation such as weapon delivery and jettison, and should be designed to withstand all kinds of loads applied to external stores. The static strength test of pylons and wing box was performed to assess the static strength of pylon and their support structures for substantiation. Based on the test, the structures were verified to fully satisfy a given design requirement. In this paper, methods of test load generation of wing box and pylon, evaluation of test result data and design result of test set-up were presented. Comparing the FEM analysis with the same test data can lead to good match and reasonable deviation between both. Finally, based on the test and the analysis, the static strength of test article was substantiated and the reliability and effectiveness of analysis math model were obtained.

• 한국철도학회논문집
• /
• 제6권3호
• /
• pp.186-193
• /
• 2003

The object of this study is to ensure the stability of bulk cement cars conducting vibration performance test, dynamic characteristic analysis and static load test of bogie frame. In case of static load test, bogie static load test facility was used. In case of dynamic characteristic analysis, Vampire Software was used. In case of vibration performance test, real bulk cement cars were used in kyeung-bu line. In the results of static load test of bogie frame for bulk cement car, all structures satisfied allowable stress criteria of materials. The vibration performance test and dynamic characteristic analysis results satisfied allowable standards.

• Journal of Mechanical Science and Technology
• /
• 제16권12호
• /
• pp.1687-1692
• /
• 2002

The problem analyzed here is a sheet metal forming process which requires a drawbead. The drawbead provides the sheet metal enough tension to be deformed plastically along the punch face and consequently, ensures a proper shape of final products by fixing the sheet to the die. Therefore, the optimum design of drawbead is indispensable in obtaining the desired formability. A static-explicit finite element analysis is carried out to provide a perspective tool for designing the drawbead. The finite element formulation is constructed from static equilibrium equation and takes into account the boundary condition that involves a proper contact condition. The deformation behavior of sheet material is formulated by the elastic-plastic constitutive equation. The finite element formulation has been solved based on an existing method that is called the static-explicit method. The main features of the static-explicit method are first that there is no convergence problem. Second, the problem of contact and friction is easily solved by application of very small time interval. During the analysis of drawbead processes, the strain distribution and the drawing force on drawbead can be analyzed. And the effects of bead shape and number of beads on sheet forming processes were investigated. The results of the static explicit analysis of drawbead processes show no convergence problem and comparatively accurate results even though severe high geometric and contact-friction nonlinearity. Moreover, the computational results of a static-explicit finite element analysis can supply very valuable information for designing the drawbead process in which the defects of final sheet product can be removed.

• 정보과학회 논문지
• /
• 제44권10호
• /
• pp.1081-1086
• /
• 2017

대규모 공개 소스 소프트웨어 저장소를 대상으로 프로그램 분석을 수행하면, 각 저장소의 소프트웨어의 변화 과정을 살펴볼 수 있고, 방대한 양의 프로그램을 분석함으로써 신뢰도가 높은 분석 결과를 얻을 수 있다는 점에서 의의가 있다. 본 논문에서는 대규모 소프트웨어 저장소를 대상으로 확장 가능하게 정적 프로그램 분석을 수행할 수 있는 프레임워크인 WALABOA를 소개한다. 나아가, 정적 분석 결과인 정적 함수 호출 그래프와 동적 분석 결과인 동적 함수 호출 그래프를 비교하는 모듈을 WALABOA에 추가하여, 자바스크립트 분석기 WALA에서 제공하는 분석 기법 중 하나인 필드 기반 분석(field-based analysis) 결과를 평가하는 데 활용하였다.