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

The fuel handling machine handles the core assembly in refueling period of the reactor, it is necessary to predict the motion and structural integrity of it. The kinetic analysis of the fuel handling machine was carried out for the refueling motion. The reaction forces at the joints of machine were calculated with IDEAS code considering the weight of the machine and the loading force of the core assembly, Also, the structural analysis for the machine modeled by lumped-mass and beam elements was performed by using ANSYS code. The stresses and deformations were calculated for the equivalent static force based on the kinetic analysis and the seismic loads. The calculated displacements and stresses are quite low compared with allowable limits.

• 한국항공우주학회지
• /
• 제42권5호
• /
• pp.398-405
• /
• 2014

내장형 소프트웨어 기술이 항공 및 방위산업과 같은 안전-필수 시스템에 적용됨에 따라 보다 높은 소프트웨어의 신뢰성이 요구되고 있다. 그 중에서 소프트웨어의 무결성은 주로 정적 분석 도구를 이용해 검증이 이뤄지고 있으며 최근에 개발된 정적 분석 도구는 수학적인 분석 방법을 통해 코드의 무결성을 평가하고 있다. 본 연구에서는 정형 검증 도구인 Polyspace를 이용해 자동코드의 결함을 검출하고, 코딩규칙의 준수 여부를 검증하였다. 검증된 결과를 바탕으로 결함을 가진 제어법칙 모델을 수정하여 코드 생성 이전의 원천적인 결함을 제거 가능함을 확인하였고 FBW 헬리콥터 제어법칙 자동생성코드의 무결성을 확보 할 수 있었다.

• 정보보호학회논문지
• /
• 제31권4호
• /
• pp.687-699
• /
• 2021

프로그램에서 취약점이 발생하면 그에 대한 정보가 문서화되어 공개된다. 그러나 일부 취약점의 경우 발생한 원인과 그 소스코드를 공개하지 않는다. 이러한 정보가 없는 상황에서 취약점을 찾기 위해서는 바이너리 수준에서 코드를 분석해야 한다. 본 논문에서는 Out-of-bounds Read 취약점 유형을 바이너리 수준에서 찾는 것을 목표로 한다. 바이너리에서 취약점을 탐지하는 기존의 연구는 주로 동적 분석을 이용한 도구로 발표되었다. 동적 분석의 경우 프로그램 실행 정보를 바탕으로 취약점을 정확하게 탐지할 수 있지만, 모든 실행 경로를 탐지하지 못할 가능성이 있다. 모든 프로그램 경로를 분석하기 위해서는 정적 분석을 사용해야 한다. 기존의 정적 도구의 경우 소스코드 기반의 도구들이며, 바이너리에 수준의 정적 도구는 찾기 어렵다. 본 논문에서는 바이너리 정적 분석을 통해 취약점을 탐지하며, 메모리 구조를 모델링하는 방법으로 Heap, Stack, Global 영역의 취약점을 탐지한다. 실험 결과 기존의 탐지도구인 BAP_toolkit과 비교하였을 때 탐지 정확도 및 분석 시간에서 의미 있는 결과를 얻었다.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2011년도 추계학술대회
• /
• pp.75-84
• /
• 2011

본 논문에서는 지하공간에 설치되는 지중구조물에 대한 내진해석에 관한 연구로 구조물의 거동특성과 내진설계방법의 종류에 따라 수치해석을 실시하였다. 이를 위해 현재 가장 많이 실무에 적용되고 있는 내진설계방법인 등가정적해석법과 응답변위법을 적용하고 정밀한 해석이 가능한 시간이력해석법에 의해 검증을 시행하였으며 구조물 내진해석은 3-D 모델링에 의해 구조물-지반 상호작용을 고려하고 국내의 콘크리트구조설계기준에 따라 수행하였다. 해석 결과 현재 실무에서 적용되고 있는 등가정적해석법과 응답변위법을 적용하는 경우 정밀한 동적해석법 보다 다소 크게 산정되어 실무적용에 문제가 없음을 확인 할 수 있었다.

• 한국해양공학회지
• /
• 제15권2호
• /
• pp.72-78
• /
• 2001

The bead is used to provide properly restraining force in the sheet metal forming process. This bead process includes bending and geometrical non-linearity, and affects the state of binderwrap. Therefore, the analysis of bead process is very important to obtain the desired formability. In this paper, the research about the influence of the punch stroke of bead on the draw-bead process was conducted. Results from the analysis will give useful information to the effective tool design of blank forming process. To analyze the bead process, and elasto-plastic finite element formulation is constructed from the equilibrium equation and the considered boundary conditions involved a proper contact condition. The static-explicit finite element method as a numerical method for the analysis was applied to the analysis program code. It was found that this method could solve too much computation time and convergence problem owing to high non-linearity of bead forming process.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 추계학술대회 논문집
• /
• pp.625-628
• /
• 1995

A static/implicit finite element code for sheet forming (ITAS3D) is parallelized on IBM SP 6000 multi-processor computer. Computing-load-balanced domain decomposition method and the direct solution method at each subdomain (and interface) equation are developed. The system of equations for each subdomain are constructed by condensation and calculated on each processor. Approximated operation counts are calculated to set up the nonlinear equation system for balancing the compute load on each subdomain. Th esquare cup tests with several numbers of elements are used in demonstrating the performance of this parallel implementation. This procedure are proved to be efficient for moderate number of processors, especially for large number of elements.

• 한국철도학회논문집
• /
• 제8권5호
• /
• pp.444-453
• /
• 2005

The safety evaluations of railway wheelsets make use of the static fracture toughness obtained in ingot materials. The static fracture toughness of wheelset materials has been extensively studied by experiments, but the dynamic fracture toughness with respect to wheelset materials has not been studied enough yet. It is necessary to evaluate the characteristics of the fracture mechanics depending on each location for a full-scale wheelset for high-speed trains, because the load state for each location of the wheelset while running is different the contact load between the wheel and rail, cyclic stress in the wheel plate, etc. This paper deals with the fracture toughness depend on load rates. The fracture toughness depending on load rate data shows that once the downward curve from quasi-static values was reached, subsequent values showed a slow increase with respect to the impact velocity. This means that dynamic fracture toughness should be considered in the design code of the wheelset material.

• Journal of Advanced Marine Engineering and Technology
• /
• 제28권5호
• /
• pp.735-745
• /
• 2004

A linear cascade of NACA 65-1810 profiles are investigated for tip leakage flow characteristics. and calculation results are compared with experimental result. STAR-CD commercial code was used to solve the three dimensional incompressible Navier-Stokes equation that was adopted for steady flow and high Reynolds $\kappa$- $\varepsilon$turbulent model. Numerical calculation of a linear cascade is carried out to investigate effect of tip clearance on pitchwise variations of velocity Profiles. and static pressure distributions on the blade surface at spanwise positions. In case of evolution of tip vortex core location. tip vortex geometry and static pressure at the center of the tip vortex core compared with experimental results. Calculation results are agreed well with the experimental data, and validated. The static pressure losses by tip leakage flow at 2% tip clearance were more than those at 1% tip clearance.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 1998년도 Proceedings ICPE 98 1998 International Conference on Power Electronics
• /
• pp.398-403
• /
• 1998

This paper describes a controller design for the stator reactive power generator in the transmission system. The controller of static reactive power generator was designed using a mathematical model and non-linear state feedback. The performance of controller was verified using computer simulation with EMTP code and experimental work with scaled-model. The dynamic interaction with a simple power system was also analyzed using both the simulation model and hardware scaled-model. Both simulation and experimental results prove that the controller using PI block and non-linear state feedback offers better performance than the controller using PI block only.

• 공업화학
• /
• 제16권2호
• /
• pp.275-281
• /
• 2005

본 연구에서는 격자 볼츠만 방법 중 Scalar Passive 코드를 사용하여 미소채널 내에서의 수동형 믹서의 혼합에 대하여 계산을 수행하였다. 미소채널 내에서의 수동형 믹서의 혼합에 대하여 유선과 압력분포를 통해 혼합과 압력 강하를 물리적으로 규명하였으며, 혼합에 영향을 주는 인자에 대해서 알아보았다. 수동형 믹서의 경우 고정물의 간격보다는 고정물의 개수와 고정물의 크기가 혼합효율과 압력강하에 큰 영향을 주었다.