• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2011.04a
• /
• pp.773-777
• /
• 2011

본 논문에서는 국부적으로 비선형 거동을 보이는 고전적인 $J_2$ 소성흐름 이론에 근거한 탄소성 문제의 해를 효율적으로 구하기 위해 전체-국부 확장함수를 지닌 일반유한요소법을 제안한다. 제안된 기법은 비선형 거동을 보이는 영역을 포함하는 국부 문제의 비선형 해를 구하고 이를 일반유한요소법의 단위 오목 분할의 개념을 통해 전체 문제의 해 공간을 확장하는데 이용한다. 이는 적은 계산량으로 복잡한 탄소성문제의 정확한 해를 얻는 것을 가능하게 하며 기법의 강건성과 정확성을 입증하기 위한 수치해석 예제가 다루어진다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.560-562
• /
• 1999

프로그램 슬라이싱은 프로그램의 특정 위치에서 변수들의 값에 영향을 주는 문장을 추출하는 방법이다. 프로그램 슬라이싱의 유용성은 디버깅, 최적화, 프로그램 유지보수, 테스팅, 재사용 부품 추출 그리고 프로그램 이해를 포함하는 다른 응용 분야에 널리 알려져 있다. 본 논문은 C언어에서의 함수 호출이 존재하는 모듈간 프로그램 슬라이싱에 관한 연구이다. 기존의 모듈간 슬라이싱 알고리즘들은 함수의 호출 문맥 설명에 실패하거나 문장 기반 그래프를 사용함으로써 정확한 슬라이스 생성에 실패한다. 본 논문에서는 기존 방법들의 문제점을 지적하고, 시스템 정보 흐름 그래프 (System Information Flow Graph)를 이용하여 정확하고 수행 가능한 모듈간 슬라이스 생성 방법을 제안한다.

• Journal of Korea Water Resources Association
• /
• v.37 no.7
• /
• pp.527-540
• /
• 2004

In order to investigate characteristics of the primary flow and the secondary currents in the meandering channel, laboratory experiments were conducted in the meandering channel made up of alterative bends haying 120。 arc angle. Experiments were performed in two types of cross-sections, a rectangular cross-section and a curved cross-section which was made to adopt a beta probability function. Three-dimensional velocity fields were measured using a micro-ADV. As the result of experiments, in case of the rectangular cross-section, the primary flow occurred taking the shortest course, which is similar to the result of previous researches. In case of the curved cross-section, the primary flow was expected to occur along the thalweg. but it occurred almost along the shortest way. This is considered due to effects of bottom roughness and sinuosity Not only a main cell but also a secondary cell of secondary currents were clearly shown by mean of the stream function. The secondary current intensity has the maximum value near the apex of the second bend for cases of both rectangular and curved cross-sections. However, the value of the secondary current intensity for the curved section is slightly larger than that for the rectangular cross-section. Also, in case of the rectangular cross-section, the higher the ratio of width to depth is, the larger the secondary current intensity is.

• Journal of Korea Water Resources Association
• /
• v.54 no.11
• /
• pp.1011-1019
• /
• 2021

This study presents numerical simulations of submerged jump and washed-out jump resulted from the flow over the embankment type weir. Unsteady Reynolds Averaged Navier-Stokes (URANS) equations are solved with the k-𝜔 SST turbulence model. Validations are carried out using the experimental results in the literature, revealing that computed roller shape, free surface, and mean velocity are in good agreement with measured data. The volume fractions of water of the submerged jump and washed-out jump are compared, and the characteristics of the two flows from the double-averaged volume fractions of water are presented. The condition under which the transition occurs from the submerged jump to washed-out jump is presented by the relation between the relative embankment length and submergence factor via numerical simulations by changing the weir length, discharge, and tailwater depth.

• Journal of Environmental Science International
• /
• v.6 no.5
• /
• pp.541-550
• /
• 1997

A least-square regression analysis is applied for the estimation of velocity streamfunction field based on discretely sampled current meter data. The coefficients of a streamfuunction that is expanded in terms of trigonometric basis function are obtained by enforcing the horizontal non-divergence of two-dimensional flow field. This method avoids Interpolation and gives a root-mean-square (rms) residual of fit which Includes the divergent part and noisiness of oceanic data. The Implementation of the method Is done by employing a boundary-fitted, curvilinear orthogonal coordinate which facilitates the specification of boundary conditions. An application is successfully made to the Texas-Louisiana shelf using the 32 months current meter data (31 moorings) observed as a part of the Texas-Louisiana Shelf and Transport Processes Study (LATEX). The rms residual of the fitting is relatively small for the shelf, which indicates the field Is Ivell represented by the streamnfunction.

• Journal of Korea Water Resources Association
• /
• v.43 no.9
• /
• pp.823-833
• /
• 2010

Open-channel flows with submerged vegetation show two distinct flow structures in the vegetation and upper layers. That is, the flow in the vegetation layer is featured by relatively uniform mean velocity with suppressed turbulence from shear, while the flow in the upper layer is akin to that in the plain open-channel. Due to this dual characteristics, the flow has drawn many hydraulic engineers' attentions. This study compares layer-averaged models for flows with submerged vegetation. The models are, in general, classified into two-layer and three-layer models. The two-layer model divides the flow depth into vegetation and upper layers, while the three-layer model further divides the vegetation layer into inner and outer vegetation layers depending on the influence of the bottom roughness. This study compares the two-layer model and the three layer-model. It is found that the two-layer model predicts better the average value of the velocity and the prediction by the three-layer model is sensitive to Reynolds shear stress. In the three-layer model, the mean flow in the inner vegetation layer does not affect the flow seriously, which motivates the proposal of the modified two-layer model. The two-layer model, capable of predicting non-uniform mean velocity, is based on the Reynolds stress which is linear and of power form in the upper and vegetation layers, respectively. Application results reveal that the modified two-layer model predicts the mean velocity at an accuracy similar to the two- and three-layer models, but it predicts poorly in the case of very low vegetation density.

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

관망 내에서 흐름의 연속 방정식과 운동량 방정식을 상 미분으로 전개하여 해석한 특성선 방법은 주로 가압 관망체계(Pressurized Pipeline System)에서의 부정류 해석(Unsteady Analysis)에 사용 된다. 그러나 이특성선 방법은 천이류 해석을 위한 관망 재구성 과정에서 Courant수 조건의 만족을 위한 관의 재배열에 천문학적인 계산용량과 시간이 필요하다는 단점이 있다. 이는 현장 적용 시 압력파 전파속도의 불확실성과 연계되어 상당한 장해요소가 되고 있다. 이에 대안적인 방법으로서 임펄스응답법이 개발되었다. 이는 경계지점에서 복소수 유량에 대한 복소수 수두의 비율로써 정의된 관망에서의 수리임피던스를 역퓨리에 변환에 적용하여, 주파수 영역의 수치를 시간 영역으로 변환하여 응답함수를 산출한 후, 산출된 응답함수와 구해진 경계지점에서의 유량과의 적분을 통하여 임의의 지점에서의 수두 및 유량을 계산하는 방법이다. 임펄스 응답법은 관 부속물관의 특성을 기술하는 수학적 표현의 난해함으로 인해 지금까지는 단일관에 대한 연구에만 국한되어 왔다. 본 연구에서는 임펄스응답법을 수리구조물이 부착된 관망에 적용하여 다양한 조건에서 천이류 분석을 시행하였다. 즉, 에어챔버 및 서지탱크와 같은 수리구조물을 각각에 대한 수리임피던스를 구하고, 가지관 및 통합 관성항으로 취급하여 수리구조물을 처리하였다. 그리고 이러한 결과를 특성선방법과 비교하여 그 적절성을 검증하였는데, 특성선 방법에 의한 모의 결과와 비교하였을 때, 일치하는 결과를 나타내었다. 임펄스응답법에 의한 모의 결과에서 감쇄효과를 과대평가하는 경향이 관찰되었다. 이는 임펄스 응답법의 가정에 기인한 것으로써 난류 상태의 흐름에서 상당한 불일치를 가져올 수 있으나, 수리 구조물에 의한 수격압이 감쇄되는 과정에서 대부분 흐름이 층류 상태로 전환된다고 가정 할 때는 상당한 적용성이 있다. 본 연구는 수리구조물이 부착된 관망의 해석함에 있어서 임펄스응답법의 적용이 가능함을 보였고, 이는 보다 복잡한 관망에서의 천이류 해석이 가능함을 시사한다.

• The KIPS Transactions:PartC
• /
• v.13C no.4 s.107
• /
• pp.397-404
• /
• 2006

Successful software attacks require both injecting malicious code into a program's address space and altering the program's flow control to the injected code. Code section can not be changed at program's runtime, so malicious code must be injected into data section. Detoured flow control into data section is a signal of software attack. We propose a new software attack detection method which verify the target address of CALL, JMP, RET instructions, which alter program's flow control, and detect a software attack when the address is not in code section. Proposed method can detect all change of flow control related data, not only program's return address but also function pointer, buffer of longjmp() function and old base pointer, so it can detect the more attacks.

• Journal of KIISE:Software and Applications
• /
• v.35 no.10
• /
• pp.636-652
• /
• 2008

In this paper, we present a modular pointer analysis algorithm based on the update history. We use the term 'module' to mean a set of mutually recursive procedures and the term 'modular analysis' to mean a program analysis that does not need the source codes of the other modules to analyze a module. Since a modular pointer analysis does not utilize any information on the callers, it is difficult to design a precise analysis that does not lose the information related to the program flow or the calling context. In this paper, we propose a modular and flow- and context-sensitive pointer analysis algorithm based on the update history that can memory states of a procedure independently of the information on the calling context and keep the information on the order of side effects performed. Such a memory representation not only enables the analysis to be formalized as a modular analysis, but also helps the analysis to effectively identify killed side effects and relevant alias contexts.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.11a
• /
• pp.599-617
• /
• 2006

A network model and a Genetic Algorithm(GA) is proposed to solve the simultaneous estimation of the trip distribution and traffic assignment from traffic counts in the congested networks in a logit-based Stochastic User Equilibrium (SUE). The model is formulated as a problem of minimizing the non-linear objective functions with the linear constraints. In the model, the flow-conservation constraints of the network are utilized to restrict the solution space and to force the link flows meet the traffic counts. The objective of the model is to minimize the discrepancies between the link flows satisfying the constraints of flow-conservation, trip production from origin, trip attraction to destination and traffic counts at observed links and the link flows estimated through the traffic assignment using the path flow estimator in the legit-based SUE. In the proposed GA, a chromosome is defined as a vector representing a set of Origin-Destination Matrix (ODM), link flows and travel-cost coefficient. Each chromosome is evaluated from the corresponding discrepancy, and the population of the chromosome is evolved by the concurrent simplex crossover and random mutation. To maintain the feasibility of solutions, a bounded vector shipment is applied during the crossover and mutation.