• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.387-387
• /
• 2015

최근 기후변화에 따른 국지성 집중호우 및 돌발홍수 증가로 도심지역에 많은 침수 피해가 발생하고 있다. 본 연구는 이러한 내외수에 영향을 받는 도시 중소하천의 침수 저감을 위하여 침수 예측모형에 적용 가능한 수리학적 계산모형을 개발하는 것이다. 일반적으로 자연하천은 수지형 수계가 대부분이며, 도시 우수관로와 관계배수 시스템 등은 폐합형 수계에 포함되어 수지형 계산모형으로는 도시 중소하천의 유출 모의를 할 수 없다. 폐합형 수계의 계산모형은 수지형에 비해 복잡하지만, 적용대상 수계가 폐합형이 아닌 경우에도 합류점의 유입량을 처리하기가 편리하고, 역방향의 월류 흐름이 존재하는 감조하천에서의 월류 흐름 모의가 가능한 장점을 갖고 있어 도시 내배수 시스템은 물론 자연하천에도 적용 할 수 있다. 본 모형은 절점, 수로 및 계산점으로 구성되는데 동력학적 방법인 1차원 Saint-Venant의 연속 방정식과 운동량 방정식에 수치해법을 이용하여 구하고자 하는 시간과 지점의 수위와 유량을 계산할 수 있게 구성하였다. 수치해법으로는 가장 보편적으로 사용되는 유한차분법 중 안정성과 정확성이 우수한 것으로 평가된 Preissmann의 4점 음해법으로 차분방정식에 Newton-Raphson 방법을 사용하여 유량과 수위 보정치에 Double Sweep 알고리즘을 적용하였다. 유한차분법은 안정성 문제를 수반할 수 있기에 시간 증분이 작을수록 Courant 조건을 만족할 수 있다. 모형 비교 검증을 위하여 동력학적 방법을 적용한 대표적인 폐합형 수계모형인 EPA SWMM을 지원하는 CHI사의 PC-SWMM 프로그램을 이용하여 가상의 폐합 수계를 구축하였다. 일반적으로 상류지점의 경계조건은 하류로 추적될 입력 자료로써, 상류지점과 합류지점은 유입되는 유량값을 그리고 하류지점은 유출되는 수위값을 경계조건으로 입력하였다. 운동량방정식의 에너지 경사와 마찰경사 항에 포함된 조도계수는 변화량에 중요한 물리적 요소이지만, 고정 상수값인 0.03을 적용하여 검증에 용의하도록 하였다. 구축된 모형과 PC-SWWM을 통해 산출된 계산점별 수위와 유량에 RMS 오차를 비교한 결과 만족할만한 결과를 얻을 수 있었다. 따라서 향후 내외수를 연계에 침수예측모형에 적용 가능할 것으로 사료된다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.3C
• /
• pp.241-248
• /
• 2007

In predictive image coding, a LS (Least Squares)-based adaptive predictor is an efficient method to improve image edge predictions. This paper proposes a hybrid interpolation with weighted edge detector. A hybrid approach of switching between bilinear interpolation and EDI (Edge-Directed Interpolation) is proposed in order to reduce the overall computational complexity The objective and subjective quality is also similar to the bilinear interpolation and EDI. Experimental results demonstrate that this hybrid interpolation method that utilizes a weighted edge detector can achieve reduction in complexity with minimal degradation in the interpolation results.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2011.10a
• /
• pp.799-801
• /
• 2011

Computational science is a field of study concerned with constructing mathematical models and quantitative analysis techniques and using large computing resources to solve the problems which are difficult to approach in a physical experimentally. Recently, a new web-based simulation environment for computational science is becoming more and more popular for supporting multi-user access without restriction of space or time, however, to develop web-based simulation applications, the researchers performed their works too much difficulty. In this paper, we present automated web interface generation tool that allows applied researchers to concentrate on advanced research in their scientific disciplines such as Chemistry, Physics, Structural Dynamics.

• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.212-218
• /
• 2003

State invariant is a property that holds in every reachable state. It can be used not only in understanding and analyzing complex software systems, but it can also be used for system verifications such as checking safety, liveness, and consistency. For these reasons, there are many vital researches for deriving state invariant from finite state machine models. In previous works every reachable state is to be considered to generate state invariant. Thus it is likely to be too complex for the user to understand. This paper seeks to answer the question `how to simplify state invariant\ulcorner`. Since the complexity of state invariant is strongly dependent upon the size of states to be considered, so the smaller the set of states to be considered is, the shorter the length of state invariant is. For doing so, we let the user focus on some interested scopes rather than a whole state space in a model. Computation Tree Logic(CTL) is used to specify scopes in which he/she is interested. Given a scope in CTL, mixed reachability analysis is used to find out a set of states inside it. Obviously, a set of states calculated in this way is a subset of every reachable state. Therefore, we give a weaker, but comprehensible, state invariant.

• Geophysics and Geophysical Exploration
• /
• v.25 no.4
• /
• pp.242-251
• /
• 2022

Automatic differentiation automatically calculates the derivatives of a function using the chain rule once the forward operation of a function is defined. Given the recent development of computing libraries that support automatic differentiation, many researchers have adopted automatic differentiation techniques to solve geophysical inverse problems. We analyzed the advantages, disadvantages, and performances of automatic differentiation techniques using the gradient calculations of seismic full waveform inversion objective functions. The gradients of objective functions can be expressed as multiplications of the derivatives of the model parameters, wavefields, and objective functions using the chain rule. Using numerical examples, we demonstrated the speed of analytic differentiation and the convenience of complex gradient calculations for automatic differentiation. We calculated derivatives of model parameters and objective functions using automatic differentiation and derivatives of wavefields using analytic differentiation.

• Journal of Korea Game Society
• /
• v.16 no.2
• /
• pp.111-118
• /
• 2016

Global illumination is key factor for realistic image but it is not common in realtime rendering due to its complexity. Visibility of $2^{nd}$ lights is hard to determine because we should process all object for each $2^{nd}$ light. In this paper, we reuse visibility of static objects. We present an indirect illumination algorithm which shows good performance and provides exact $2^{nd}$ light visibility when the scene has small number of moving objects. Our method renders correct image while showing good performance.

• The Journal of the Acoustical Society of Korea
• /
• v.42 no.2
• /
• pp.83-93
• /
• 2023

Trapezoidal corrugated plates are often treated as orthotropic plates to simplify the modelling of the corrugation. However, this simplification is not valid at high frequencies in which the localized vibration within the parts of corrugation takes place. In this study, the vibrational and acoustical characteristics of corrugated plates are investigated up to high frequencies by means of the wavenumber domain numerical approach. Based on the findings from this numerical analysis, an approximate method to predict vibro-acoustic characteristics of corrugated plates is proposed. This approximate model consists of four equivalent plates which can represent global and local behaviours of corrugated plates. The radiation efficiency of corrugated plates is predicted from the approximate model and validated through the comparison with those of the numerical method.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.7
• /
• pp.1249-1254
• /
• 2016

Recently, there have been many researches which can achieve high data rate in multi-user massive MIMO networks while reducing the complexity in terms of both hardware and algorithm. In addition, many researches have been conduced to reduce the energy consumption in next generation mobile communication networks. In this paper, we thus investigated new transmit antenna selection scheme to achieve low computational complexity and enhance energy efficiency in multi-user massive MIMO networks. First, we introduced the optimal scheme based on Brute-Force searching to maximize the energy efficiency and then proposed new antenna selection scheme to dramatically reduce the computational complexity compared to the optimal scheme. As the number of transmit antennas increases, the complexity of the optimal scheme exponentially increases while the complexity of the proposed scheme linearly increases. Nevertheless, the energy efficiency performance gap between proposed and optimal schemes is not huge.

• Journal of the Korea Convergence Society
• /
• v.13 no.1
• /
• pp.43-50
• /
• 2022

In this paper, it is shown how the performance of the monopulse algorithm in additive noise is evaluated. In the previous study, the performance analysis of the amplitude-comparison monopulse algorithm was conducted via the first-order and second-order Taylor expansion of four variables. By defining two new random variables from the four variables, it is shown that computational complexity associated with two random variables is much smaller than that associated with four random variables. Performance in terms of mean square error is analyzed from Monte-Carlo simulation. The scheme proposed in this paper is more efficient than that suggested in the previous study in terms of computational complexity. The expressions derived in this study can be utilized in getting analytic expressions of the mean square errors.

• Proceedings of the KAIS Fall Conference
• /
• 2009.12a
• /
• pp.985-988
• /
• 2009

본 논문에서는 3GPP-LTE 상향링크 기술인 SC-FDMA에서 적응형 등화기 성능에 대해 알아보았다. SC-FDMA의 등화기에서 계산량을 줄여 효율성을 높이는 방법으로 ZF(Zero Forcing)과 MMSE(Minimum Mean Square Error)를 이용한 스위칭 기법을 제안하고, 제안한 시스템에서의 성능을 비교 분석하고자 한다. 제안한 스위칭 기법을 사용함으로써 SNR이 낮을 때는 MMSE를 이용하여 잡음에 대한 영향을 최소화 시켜주고, SNR이 높을 때는 ZF을 써서 상대적으로 복잡도가 적은 등화 기법을 통해 전체적인 시스템 복잡도를 줄여 효율성을 높이고자 한다.