• Geomechanics and Engineering
• /
• 제34권2호
• /
• pp.187-195
• /
• 2023

Intensive rainfall during the summer season in Korea has triggered numerous devastating landslides outside of downtown in mountainous areas. The 2D slope stability analysis that is generally used for cut slopes and embankments is inadequate to model slope failure in mountainous areas. This paper presents a new 3D slope stability formulation using the global sliding vector in the limit equilibrium method, and it uses an ellipsoidal slip surface for static and quasi-static analyses. The slip surface's flexibility of the ellipsoid shape gives a lower FS than the spherical failure shape in the Fellenius, Bishop, and Janbu's simplified methods. The increasing sub-columns of each column tend to increase the FS and converge to a steady value. The symmetrical geometric conditions of the convex turning corners do not indicate symmetrical failure of the surface in 3D analysis. Pseudo-static analysis shows that the horizontal seismic force decreases the FS and increases the mass volume at the critical failure state. The stability index takes the FS and corresponding sliding mass into consideration to assess the potential risk of slope failure in complex mountainous terrain. It is a valuable parameter for selecting a vulnerable area and evaluating the overall risk of slope failure.

• 대한기계학회논문집A
• /
• 제28권9호
• /
• pp.1314-1319
• /
• 2004

In this study, parameter optimization of micro-static mixer with a cantilever beam was accomplished for maximizing the mixing efficiency by using successive response surface approximations. Variables were chosen as the length of cantilever beam and the angle between horizontal and the cantilever beam. Sequential approximate optimization method was used to deal with both highly nonlinear and non-smooth characteristics of flow field in a micro-static mixer. Shape optimization problem of a micro-static mixer can be divided into a series of simple subproblems. Approximation to solve the subproblems was performed by response surface approximation, which does not require the sensitivity analysis. To verify the reliability of approximated objective function and the accuracy of it, ANOVA analysis and variables selection method were implemented, respectively. It was verified that successive response surface approximation worked very well and the mixing efficiency was improved very much comparing with the initial shape of a micro-static mixer.

• Nuclear Engineering and Technology
• /
• 제50권6호
• /
• pp.971-980
• /
• 2018

Using the concept of quasi-static decomposition and using three-noded isoparametric locking-free element, this article presents a formulation of the finite element method for Timoshenko beam subjected to spatially different time-dependent motions at supports. To verify the validity of the formulation, three fixed-hinged beams excited by the real seismic motions are examined; one is a slender beam, another is a stocky one, and the other is an intermediate one. The numerical results of time histories of motions of the three beams are compared with corresponding analytical solutions. The internal loads such as bending moment and shearing force at a specific time are also compared with analytic solutions. These comparisons show good agreements. The comparisons between static components of the internal loads and the corresponding total internal loads show that the static components predominate in the stocky beam, whereas the dynamic components predominate in the slender one. Thus, the total internal loads of the stocky beam, which is governed by static components, can be predicted simply by static analysis. Careful numerical experiments indicate that the fundamental frequency of a beam can be used as a parameter identifying such a stocky beam.

• 한국정밀공학회지
• /
• 제17권2호
• /
• pp.193-200
• /
• 2000

In the sheet metal forming process, the drawbead is used to control the flow of material during the forming process. The drawbead provides proper restraining force to the material and prevents defects such as wrinkling or breakage. For these reasons, many studies for designing the effective drawbead have been conducted. In this paper, the influence of the number of drawbead during the blank forming process will be introduced. For the analysis, the numerical method called the static-explicit finite element method was used. The finite element analysis code for this method has been developed and applied to the drawbead process problems. It is expected that this static-explicit finite element method could overcome heavy computation time and convergence problem due to the increase of drawbeads.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1997년도 가을 학술발표회 논문집
• /
• pp.134-141
• /
• 1997

A geometrically non-linear finite element formulation of spatial cable networks is presented using three cable elements. Firstly, derivation procedures of tangent stiffness and mass matrices for the space truss element and the elastic catenary cable element, and the isoparametric cable element are summarized. The load incremental method based on Newton-Raphson iteration method and the dynamic relaxation method are presented in order to determine the initial static state of cable nets subjected to self-weights and support motions. Furthermore, static non-linear analysis of cable structures under additional live loads are performed based on the initial configuration. Challenging example problems are presented and discussed in order to demonstrate the feasibility of the present finite element method and investigate static non-linear behaviors of cable nets.

• 한국전산구조공학회논문집
• /
• 제16권1호
• /
• pp.9-18
• /
• 2003

파양한 구조물의 정적해석에서 매트릭스구조해석법은 가상 폭넓게 사용되고 있는 강력한 해석기법이다. 그러나 이 방법으로 많은 수의 자유도를 갖는 구조물을 정확히 해석하기 위해서는 많은 계산 메모리와 빠른 처리 능력을 갖춘 고성능 컴퓨터를 필요로하는 취약점이 있다. 따라서 매트릭스구조해석법으로 많은 수의 자유노를 갖는 구조물을 퍼스널 컴퓨터 상에서 정확히 해석하기에는 곤란한 경우가 많다. 매트릭스구조해석법치 이러한 취약점을 극복하기 위하여, 저자들은 전달강성계수법을 제안한다. 전달강성계수법은 해석대상 구조물에 대한 강성계수의 전달에 기본 개념을 두고 있으am로 퍼스널 컴퓨터에 매우 적합한 해석기법이다. 본 논문에서는 골조추조물에 대한 정적해석 알고리듬을 전달강성계수법으로 정식화한다. 그리고 전달강성계수법, NASTRAN, 매트릭스구조해석법 그리고 해석해에 의한 계산 결과들의 비교를 통해 전달강성계수법의 유효성을 확인한다.

• 정보보호학회논문지
• /
• 제32권2호
• /
• pp.171-179
• /
• 2022

자체 수정 코드(Self-Modifying-Code)란 실행 시간 동안 스스로 실행 코드를 변경하는 코드를 말한다. 이런 기법은 특히 악성코드가 정적 분석을 우회하는 데 악용된다. 따라서 이러한 악성코드를 효과적으로 검출하려면 자체 수정 코드를 파악하는 것이 중요하다. 그동안 동적 분석 방법으로 자체 수정 코드를 분석해왔으나 이는 시간과 비용이 많이 든다. 만약 정적 분석으로 자체 수정 코드를 검출할 수 있다면 악성코드 분석에 큰 도움이 될 것이다. 본 논문에서는 LLVM IR로 변환한 바이너리 실행 프로그램을 대상으로 자체 수정 코드를 탐지하는 정적 분석 방법을 제안하고, 자체 수정 코드 벤치마크를 만들어 이 방법을 적용했다. 본 논문의 실험 결과 벤치마크 프로그램을 컴파일로 변환한 최적화된 형태의 LLVM IR 프로그램에 대해서는 설계한 정적 분석 방법이 효과적이었다. 하지만 바이너리를 리프팅 변환한 비정형화된 LLVM IR 프로그램에 대해서는 자체 수정 코드를 검출하기 어려운 한계가 있었다. 이를 극복하기 위해 바이너리를 리프팅 하는 효과적인 방법이 필요하다.

• Nuclear Engineering and Technology
• /
• 제52권2호
• /
• pp.223-229
• /
• 2020

The present work proposes a solution to the static Boltzmann transport equation approximated by the simplified P₃ (SP₃) on angular, and the analytic coarse mesh finite difference (ACMFD) for spatial variables. Multi-group SP₃-ACMFD equations in 3D rectangular geometry are solved using the GMRES solution technique. As the core time dependent analysis necessitates the solution of an eigenvalue problem for an initial condition, this work is hence devoted to development and verification of the proposed static SP₃-ACMFD solver. A 3D multi-group static diffusion solver is also developed as a byproduct of this work to assess the improvement achieved using the SP₃ technique. Static results are then compared against transport benchmarks to assess the proximity of SP₃-ACMFD solutions to their full transport peers. Results prove that the approach can be considered as an acceptable interim approximation with outputs superior to the diffusion method, close to the transport results, and with the computational costs less than the full transport approach. The work would be further generalized to time dependent solutions in Part II.

• 한국정밀공학회지
• /
• 제28권4호
• /
• pp.422-426
• /
• 2011

The spindle system is very important unit for the product accuracy in machine tools. A spindle system is designed by using the angular contact ceramic ball bearings, built-in motor, oil-air lubrication method and oil jacket cooling method. The static and dynamic analysis and stiffness evaluation of 45,000rpm spindle for machine tool has been investigated. Using a finite element method, we obtained some analyzed a static and dynamic characteristics of a spindle, such as natural frequency, harmonic analysis and we got the value of compliance through it. We evaluated stiffness by taking the inverse this value. A 45,000rpm spindle is successfully developed using the results.

• 한국철도학회논문집
• /
• 제3권2호
• /
• pp.43-50
• /
• 2000

The corrugated panels are the prime candidate structure for the floor, roof and wall of Korean high speed train. The equivalent continuum modeling approach panels can be used for the efficient design and evaluation of their structural characteristics. The equivalent continuum models, derived from the true complex corrugated panels, should have the same structural behavior as the original structures have. This paper briefly reviews three representative continuum modeling methods: the static analysis method and two plate-models based on modal analysis methods (MAM). These methods are evaluated through some numerical examples by comparing the natural frequencies and static deflections. It is observed that the plate-model based on Rayleigh-Ritz method seems to provide the best results when used in conjunction with the cantilever-type boundary conditions. The equivalent elastic constants of various corrugated panels, depending on the changes in their configurations, are tabulated for efficient use in structural design.