• Review of KIISC
• /
• v.32 no.4
• /
• pp.61-69
• /
• 2022

C/C++에는 다수의 메모리 취약점이 존재하며 ASan은 낮은 오버헤드와 높은 탐지율로 이러한 메모리 취약점을 탐지하기 위해 광범위하게 사용되고 있다. 그러나 상용 프로그램 중 다수는 메모리를 효율적으로 사용하기 위해 Custom Memory Allocator(CMA)를 구현하여 사용하며, ASan은 이러한 CMA로부터 파생된 버그를 대부분 탐지하지 못한다. 이를 극복하기 위해 본 연구에서는 LLVM IR 코드를 RNN 신경망에 학습하여 CMA를 탐지하고, ASan이 CMA를 식별할 수 있도록 수정하여 CMA로부터 파생된 메모리 취약점을 탐지할 수 있는 도구인 CMASan을 제안한다. ASan과 CMASan의 성능 및 CMA 관련 취약점의 탐지 결과를 비교·분석하여 CMASan이 낮은 실행시간 및 적은 메모리 오버헤드로 ASan이 탐지하지 못하는 메모리 취약점을 탐지할 수 있음을 확인하였다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.05b
• /
• pp.397-400
• /
• 2003

공장 현장에서 적용할 수 있는 산업용 비전 검사시스템의 개발을 위해서는 안정적이면서도 고속 패턴 정합이 가능한 알고리즘의 개발이 요구된다. 기존의 농담정규화상관(NGC)법을 사용하는 알고리즘은 과도한 계산량과 조명의 불안정에 영향을 많이 받는 문제점이 있다 본 논문에서는 영상 피라미드와 물체경계의 에지점들을 이용하여 기존 NGC 알고리즘의 단점을 보완하고 고속 패턴정합을 수행하는 에지기반 점상관 알고리즘을 제안하고 이를 실제 영상에 적용하여 그 신뢰성을 검증한다.

• Journal of Internet Computing and Services
• /
• v.21 no.1
• /
• pp.71-78
• /
• 2020

Recently, as the issue of gentrification emerges, it becomes important to understand the dynamics of local commercial district, which plays the important role for facilitating the local economy and building the community in a city. This paper attempts to provide the framework for systemically analyzing and understanding the local commercial district. Then, this paper empirically analyzes the patterns of sales and flow of floating population by focusing on two representative local commercial districts in Seoul. In addition, the floating population data from telecommunication bases is further modeled with Markov chain for systemically understanding the local commercial districts. Finally, the transition patterns and consumption amounts of floating population are comprehensively analyzed for providing the implications on the evolutions of local commercial districts in a city. We expect that findings of our study could contribute to the economic growth of local commercial district, which could lead to the continuous development of city economy.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2007.11a
• /
• pp.305-310
• /
• 2007

For the understanding of the complex flow characteristics in the counter-rotating axial flow fan, it is necessary to investigate the three-dimensional unsteady flow fields in the counter-rotating axial flow fan. This information is also essential for the prediction of the aerodynamic and acoustical characteristics of the counter-rotating axial flow fan. Experimental study on the three-dimensional unsteady flow in the counter-rotating axial flow fan is carried out at the design point(operating condition). Three-dimensional unsteady flow fields in the counter rotating axial flow fan are measured at the cross-sectional planes of the upstream and downstream of each rotor using the $45^{\circ}$ inclined hot-wire. Three-dimensional unsteady flow fields in the counter-rotating axial flow such as the wake, the tip vortex and the tip leakage flow are shown the form of the velocity vectors and the velocity contours.

• Journal of Navigation and Port Research
• /
• v.34 no.5
• /
• pp.331-336
• /
• 2010

The free surface influenced the wake behind a circular cylinder and its effects were investigated experimentally in a circulating water channel with the variation of water depth. Instantaneous velocity fields were measured in this paper. The measured results has been compared with each other to investigate the flow characteristics of the circular cylinder's 2-dimensional section at $Re=1.0{\times}10^3$ using 2-frame grey level cross correlation PIV method. The flow around the circular cylinder with free surface affected the wake structure. Especially, in case of d=1.0D, the boundary layer was measured in the whole area. The separation point and boundary layer of the circular cylinder could be controlled by the water depth.

• Journal of the Society of Naval Architects of Korea
• /
• v.32 no.4
• /
• pp.38-47
• /
• 1995

The three-dimensional multi-layer computer simulation technology for tidal current developed in the previous study is updated to a new version. many improvements are achieved by following changes : (1) No-reflection condition is adopted instead of no-gradient condition as an open boundary condition. (2) Time marching algorithm is changed so that velocity and pressure(surface movement) might be salved in turn at different time step (3) Convection term in equation of motion is estimated by upwind differencing scheme instead of central differencing. The stability is improved considerably and the steady state is achieved within 2 tidal periods which is about 3 times shorter than that of the old version. Moreover, fluctuations in time disappeared by introducing the new time marching technique. An application to the real near shore area(near Inchon harbor) is performed by the new version. Simulated results are compared with those by the simulation total developed in the University of Tokyo. Validity and effectiveness of the two simulation technologies are chocked through the comparative research works.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.16 no.10
• /
• pp.1990-1997
• /
• 1992

The characteristic of supersonic flow with condensation along a wavy wall of small amplitude in channel is investigated through the direct marching method of characteristics. The very complex problem that may appear where the overlapping of the same family characteristics occurs, can be satisfactorily solved by means of the modified method suggested by Zucrow. In the present study for the case of supersonic moist air flow, the dependency of location of formation and reflection of oblique shock wave generated by the wavy wall, and the distributions of flow properties, on the relative humidity and temperature at the entrance of wavy wall is clarified by plots of streamline, ios-Mach umber and ios-flow properties. Also, it is confirmed that the wavy wall plays an important key role in the formation of oblique shock wave, and that the effect of condensation on the flow field appears apparently.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2002.04a
• /
• pp.59-59
• /
• 2002

램제트 추진기관은 압축과정을 별도의 부품 없이 형상에 의해서 감속하여 연소 압력비를 얻는다. 따라서 구동 마하수와 형상에 의해 흡입과정의 압축 효율이 결정된다. 설계점은 충분한 유량을 확보 할 수 있는 유량과 충격파 각을 조절하여 전압력 손실을 줄이도록 고려되어야 한다. 또한 연소가 일어나면 연소실 압력이 배압으로 작용하고 비행시에 받음각은 변하므로 이에 따른 성능 분석도 고려 되어야 할 사항이다. 본 연구는 국내에서 실험한 형상에 대해 수치계산을 수행하여 코드의 검증과 아울러 램제트 유동장의 수치적 시뮬레이션도 설계단계에서 하나의 도구로 이용할 수 있음을 보여준다. 실험에서는 배압 조건을 얻기 위해 유동 블록키지를 유로 내에 두어 상응하는 배압을 얻었지만 본 계산에서는 압력 경계조건을 직접 사용하였다. 유동이 비정상 특성을 가지므로 시간 정확도를 이차로 가지도록 이중시간 전진법을 사용하였다. 사용한 압력비는 충격파가 카울 끝에 닿는 임계상태에 가까운 12, 13, 14에 대해 계산을 수행하였고 부스터모드로 흡입구 끝이 막혀 있다가 램제트 모드로 바뀌어 연소실 압력이 위의 압력비라고 가정할 때의 비정상 천이 과정을 계산해 보았다. 본 계산은 흡입구 부분만을 떼어놓고 적절한 가정 하에 수행되었지만 연소실 내부도 비정상 특성을 가지므로 흡입구와 연소실을 동시에 같이 계산해야한다. 추후에 전체적인 계산을 진행하기 위한 전 단계로 흡입구 계산만을 수행하여 실험과 잘 일치하는 계산 결과를 얻었고 전체 계산을 위한 연구는 진행 중에 있다.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.20 no.11
• /
• pp.3573-3588
• /
• 1996

The flow through a centrifugal compressor impeller was calculated using the 3-dimensional Navier-Stokes solution method. A control volume method based on a rotating curvilinear coordinate system was used to solve the time-averaged Navier-Stokes equations, and a standard k-.epsilon. model was used to obtain eddy viscosity. Numerical results and experimental data were compared for the overall performance of the impeller, the pressure distributions along the shroud wall and the detailed flowfields at the design and off-design conditions, which showed good coincidence. The flow through the impeller is complex with the curvature of the streamlines and rotation. The development of secondary flows and the jet-wake flow characteristics, which is the main source of flow loss, was discussed. Calculation results show quite different patterns as the flow rate changes.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.33 no.8
• /
• pp.75-83
• /
• 2005

A steady transonic dilute premixed combustion in a diverging channel is investigated by using asymptotic analysis. This model explores the nonlinear interactions between the near-sonic speed of the flow, the small changes in geometry from a straight channel, and the small heat release due to the one-step first-order Arrhenius chemical reaction. The reactive flow is described by a nonhomogeneous transonic small-disturbance (TSD) equation coupled with an ordinary differential equation for the calculation of the reactant mass fraction in the combustible gas. Also the asymptotic analysis reveals the similarity parameters that govern the reacting flow problem. The results show the complicated nonlinear interaction between the convection, reaction, and geometry effects and its effect on the flow behavior.