• Proceedings of the Korean Geotechical Society Conference
• /
• 2000.11a
• /
• 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.

• Journal of the Korean Society for Precision Engineering
• /
• v.15 no.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.

• Journal of the Korean Society for Railway
• /
• v.2 no.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.

• Proceedings of the KSME Conference
• /
• 2004.04a
• /
• 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.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.3
• /
• pp.605-615
• /
• 2018

Due to the rapid growth of the Internet of Things market, the use of the C/C++ language, which is the most widely used language in embedded systems, is also increasing. To improve the quality of code in the C/C++ language and reduce development costs, it is better to use static analysis, a software verification technique that can be performed in the first half of the software development life cycle. Many programs use static analysis to verify software safety and many static analysis tools are being used and studied. In this paper, we use Clang static analysis tool to check security weakness detection performance of verified test code. In addition, we compared the static analysis results of the test codes applied with the source obfuscation techniques, layout obfuscation, data obfuscation, and control flow obfuscation techniques, and the static analysis results of the original test codes, Analyze the detection ability impact of the Clang static analysis tool.

• Journal of Power System Engineering
• /
• v.16 no.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.

• Journal of Aerospace System Engineering
• /
• v.9 no.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.

• Journal of the Korean Society for Railway
• /
• v.6 no.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 KIISE
• /
• v.44 no.10
• /
• pp.1081-1086
• /
• 2017

A program analysis of a large-scale open-source software repository has a significant meaning in that it allows us to examine the changes and improvements of the software in repositories, and this brings more reliable results based on a large amount of programs. In this paper, we introduce a new static analysis framework WALABOA, which enables a scalable static analysis of large-scale software repositories. In addition, we show new findings from applying WALABOA, together with a module comparing the analysis results from a static analysis and a dynamic analysis, in evaluation of the field-based analysis, one of JavaScript static analysis techniques used in WALA.

• Journal of Mechanical Science and Technology
• /
• v.16 no.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.