• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.643-650
• /
• 2004

Control flow graph is used for Performing many Program-analysis techniques, such as data-flow and control-dependence analysis, and software-engineering techniques, such as program slicing and testings. For these analyses to be safe and useful, the CFG should incorporate the exception flows that are induced by exceptions. In previous research to construct control flow graph, normal flows and exception flows are computed at the same time, since these two flows are known to be mutually dependent. By investigating realistic Java programs, we found that the cases when these two flows are mutually dependent rarely happen. So, we can decouple exception flow analysis from normal flow analysis. In this paper we propose an analysis that estimates exception flows. We also propose exception flow graph to represent exception flows. And we show that the control flow graph that accounts for exception flows can be constructed by merging exception flow graph onto normal control flow graph.

• The Korean Journal of Financial Studies
• /
• v.14 no.1
• /
• pp.41-56
• /
• 2008

주식 수익률이 정상적 과정이 아니라 비정상적 과정에 의해서 생성되고 있다는 사실이 여러 실증 분석에서 제시되고 있다. 시계열의 평균이 시간의 흐름에 따라 변하면 이 시계열은 비정상적 과정에 의하여 생성된다. 시간의 흐름에 따라 평균이 변하는 비정상 시계열은 단위근과 공적분에 의하여 시계열의 운동을 모형화하고 있다. 한편 시계열의 비정상성은 분산이 시간의 흐름에 따라 변할 때에도 발생한다. 시간의 흐름에 따라 무조건부 분산은 변하지 않고 있지만 이용 가능한 정보 집합을 조건으로 하는 조건부 분산이 변하는 경우도 있다. 이 같은 성질을 가진 주가 시계열은 자기회귀 조건부 이분산(ARCH) 계통의 과정으로 모형화하고 있다. 그러나 무조건부 분산이 시간의 흐름에 따라 변하면 ARCH 계통은 중대한 모형정립과오(misspecification)에 직면하게 된다. 따라서 본 논문은 무조건부 분산이 시간의 흐름에 따라 변할 때 자기 회귀 과정의 모수를 추정하는 방법을 검토하고, 이 방법을 한국 종합주가 지수에 적용하여 자기회귀 과정의 모수를 추정하였다. 이 방법에 의하여 추정된 2계 자기회귀 과정의 모수값 중 상수항과 제1계 항의 계수는 통상 최소자승법에 의한 값과 유사하다. 그러나 제2계 항 모수의 값은 양자가 상당히 다르다. 최소자승에 의한 제2계 값이 과대 추정되고 있다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2007.05a
• /
• pp.810-814
• /
• 2007

최근 제방개수 혹은 하폭확장과 같은 기왕의 제방대책을 적용하기 힘든 도시지역의 홍수피해 저감방안의 일환으로 개수로 혹은 지하터널 형식의 방수로와 같은 구조적 대안이 제시되고 있다. 현재 국내에서 검토되고 있는 방수로의 형식은 주로 유입부와 유출부의 양 지점 수두차에 의한 만관 상태의 흐름형식이다. 본 연구에서는 수두차에 의한 만관 상태의 흐름을 가지고 있으며, 3개 지점이상의 유입부를 가진 지하터널 형식의 방수로 계획시 마찰손실, 유입손실, 만곡부손실 등을 고려하여 유입부, 유출부 지점 계획에 따른 터널의 연장, 직경 등 제원 결정을 위하여 기존에 제시되어 있는 2개 저수지 유입시 정상상태 만관 흐름해석방법을 확장하여 3개 이상 저수지 유입시 정상상태 만관 흐름해석을 할 수 있도록 하였다.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.20 no.5
• /
• pp.510-521
• /
• 2008

In the study, experiments are performed in the interaction region combined with wave and current to investigate the characteristics of local scour around submarine pipelines. Wave generator and current generator are used for the experiments and two current directions were used; co-direction and counter direction to the wave. The local scour depths around the pipeline are obtained according to the various pipe diameters(D), wave periods(T), wave heights(H), and current velocities(V). The experiments show that the maximum equilibrium local scour depth increases with pipe diameter, wave period, wave height, and current velocity. Using the experimental results, the correlations of scour depth and parameters such as Shields parameter($\theta$), Froude number(Fr), period parameter, Keulegan-Carpenter number(KC), Ursell number($U_R$), modified Ursell number($U_{RP}$) and ratio of velocities($U_{c}/(U_{c}+U_{m})$) are analyzed. In the interaction region combined with waves and currents, Froude number and Shields parameter are found the main parameters to cause the local scour around the submarine pipelines and this means that current governs the scour within any limits of the currents.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.34 no.12
• /
• pp.67-74
• /
• 2006

An unsteady blockage-correction method utilizing wall pressure distribution on the test section has been developed for the wall interference correction of a closed test-section subsonic wind tunnel. The pressure distribution along the test section wall was decomposed into Fourier series and a quasi-steady method based on a measured-boundary-condition method was applied to each Fourier coefficient. The unsteady correction for a complete test period was accomplished by recombining each corrected terms. The present method was validated by appling computed unsteady flows over a cylinder and an oscillating airfoil in the test sections. The corrected results by the present method agreed well with free-air condition.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2022.05a
• /
• pp.488-488
• /
• 2022

과거 하천의 흐름과 수질 모의를 위해서는 정상상태 모델인 QUAL2E 가 널리 사용되어 왔지만, 여름철에 강우가 집중되고, 댐과 보에 의하여 지체현상이 발생하는 등 우리나라 특유의 사정을 고려한다면 최적의 대안으로 보기 힘들다. 이에 따라 비정상상태의 흐름 및 수질모델의 적용이 요구되고 있으며 이에 대한 많은 연구가 수행 되어 왔다. 본 연구에서는 금강수계의 중류에 위치한 세종보 주변에 3차원 동역학적 수리해석 모델인 EFDC를 구축하고 모델을 보정한 후, 대청댐의 유량 변화에 대하여 흐름 및 수질을 모의하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.649-651
• /
• 2002

제어 흐름 그래프는 프로그램의 문장들간의 제어 흐름 정보를 표현하는 방법이다. 제어 흐름 정보는 프로그램 분석과 테스팅 분야에서 필요로 하는 정보이다. 제어 흐름 정보가 정확할수록 정확한 분석 결과와 테스팅 결과를 구할 수 있다. 실제 자바 프로그램에서 예외 구문의 사용빈도가 많으므로 예외 제어 흐름을 제어 흐름 정보에 포함해야 한다. 본 논문에서는 특정 분석에 무관하게 예외 제어 흐름을 포함하는 제어 흐름 그래프를 생성하는 일반적인 방법을 제안한다. 그리고 예외 제어 흐름을 포함하는 제어 흐름 그래프를 생성할때, 정상 흐름과 예외 흐름을 분리해서 하는 방법을 제안한다.

• Journal of Korean Society of Steel Construction
• /
• v.20 no.6
• /
• pp.751-759
• /
• 2008

In this study, the effect of an unsteady flow field around a body of aerostatic/aerodynamic forces were investigated using rectangular cylinders (B/D = 2, 3, 4, 5). Proper orthogonal decomposition (POD) was introduced to the analysis of the fluctuating pressure field that was measured on the stationary/oscillatory B/D=4 rectangular cylinder, and the characteristics of the proper functions with flow patterns were identified. In addition, the physical decoupling and interactions in the different co-existing flow patterns were investigated through POD. The comparison with the identified proper function associated with a particular flow pattern revealed that the Karman vortex is almost not affected by the separation bubble, but that the Karman vortex considerably interferes in the development of the separation bubble around the trailing edge. It can be considered that the Karman vortex induces the increment of the curvature of the substantial separated flow.

• Water for future
• /
• v.29 no.4
• /
• pp.187-198
• /
• 1996

A numerical model for unsteady dispersion of horizontal line source in turbulent shear flow is developed. A fractional step finite difference method is used which splits the unsteady two-dimensional advective diffusion equation into the longitudinal advection and the vertical diffusion equations, and solves them alternately for half time intervals by the Holly-Preissmann scheme and the Crank-Nicholson scheme, respectively. The developed numerical model is verified using a semi-analytic solution for steady dispersion in turbulent shear flow. Dispersion of an instantaneous plane source in turbulent shear flow is analyzed using the model. The degree of mixing at the same dimensionless time is almost the same regardless of the friction factor, and the travel distance required to reach a certain degree of mixing is inversely proportional to the square root of the friction factor.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2003.04a
• /
• pp.237-241
• /
• 2003

본 연구에서는 강원도 속초시 쌍천에 위치한 쌍천지하댐이 지하수흐름에 미치는 영향을 범용 지하수 흐름해석 프로그램인 MODFLOW를 사용하여 검토하였다. 먼저 지하댐이 설치되기 전인 초기 정상류 상태를 모의하여 수두 분포를 확인하였으며, 그 후 지하댐 설치 전의 정상류 상태를 수위를 초기 수두로 하여 지하댐이 설치된 후의 대수층의 지하수위 변화를 모의하였다. 모의 결과 대수층에 지하댐을 설치하면 지하댐을 설치하기 전에 비하여 지하수위가 약 0.4m 정도 상승하는 것으로 나타났다.