• 제목/요약/키워드: 수렴성 증명

Search Result 54, Processing Time 0.027 seconds

A Study on Consistency of Numerical Solutions for Wave Equation (파동방정식 수치해의 일관성에 관한 연구)

  • Pyun, Sukjoon;Park, Yunhui
    • Geophysics and Geophysical Exploration
    • /
    • v.19 no.3
    • /
    • pp.136-144
    • /
    • 2016
  • Since seismic inversion is based on the wave equation, it is important to calculate the solution of wave equation exactly. In particular, full waveform inversion would produce reliable results only when the forward modeling is accurately performed because it uses full waveform. When we use finite-difference or finite-element method to solve the wave equation, the convergence of numerical scheme should be guaranteed. Although the general proof of convergence is provided theoretically, the consistency and stability of numerical schemes should be verified for practical applications. The implementation of source function is the most crucial factor for the consistency of modeling schemes. While we have to use the sinc function normalized by grid spacing to correctly describe the Dirac delta function in the finite-difference method, we can simply use the value of basis function, regardless of grid spacing, to implement the Dirac delta function in the finite-element method. If we use frequency-domain wave equation, we need to use a conservative criterion to determine both sampling interval and maximum frequency for the source wavelet generation. In addition, the source wavelet should be attenuated before applying it for modeling in order to make it obey damped wave equation in case of using complex angular frequency. With these conditions satisfied, we can develop reliable inversion algorithms.

Optimum Conditions of Adaptive Equalizers Based on Zero-Error Probability (영확률에 기반한 적응 이퀄라이져의 최적조건)

  • Kim, Namyong;Lee, Gyoo-Yeong
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.40 no.10
    • /
    • pp.1865-1870
    • /
    • 2015
  • In signal processing, the zero-error probability (ZEP) criterion and related algorithm (MZEP) outperforms MSE-based algorithms and yields superior and stable convergence in impulsive noise environment. In this paper, the analysis of the relationship with MSE criterion proves that ZEP criterion has equivalent optimum solution of MSE criterion. Also this work reveals that the magnitude controlled input of MZEP algorithm plays the role in keeping the optimum solution undisturbed from impulsive noise.

Development of high-order method of porous shallow water equations for urban inundation modeling (도시범람모의를 위한 다공성천수방정식의 고차 정확도 기법 개발)

  • Jung, Jaeyoung;Hwang, Jin Hwan
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2022.05a
    • /
    • pp.100-100
    • /
    • 2022
  • 일반적으로 유체와 구조물간 상호작용의 수리동역학적 모의에서는 벽경계조건을 통하여 유동에 대한 구조물의 영향이 반영된다. 하지만 도심지에서 발생한 홍수를 예측하려는 경우 이러한 방법으로는 밀집한 구조물들 사이에 형성된 좁은 길들로 인하여 세밀한 격자망을 요하여 큰 계산량을 유발하고 빠른 예측 속도를 기대할 수 없게 한다. 최근 이러한 문제를 극복하기 위해 성긴 격자망에서도 구조물의 유체에 대한 영향을 반영할 수 있도록 하는 방법들이 큰 관심을 받고 있다. 그 중에서도 다공성 천수방정식은 벽경계조건 대신 다공도(posority)의 개념을 이용한 모형으로 도시범람모의에 있어 계산량과 정확도를 가장 적절하게 타협한 모형으로 보고되고 있다. 이러한 흐름에 맞추어 본 연구는 다공도 천수방정식을 해석하는 수치 기법을 개발하였고, 여기에 최근 쌍곡선계 방정식의 수치적 연구들에서 소개된 주요 특징들이 반영되도록 설계하였다. 우선, WENO 기법과 Runge-Kutaa 기법을 통하여 공간과 시간에 대한 고차 정확도를 만족시켰다. 이 때, 재구성 변수와 알고리즘를 새롭게 제시하여 정상흐름조건에 대한 플럭스항과 생성·소멸항간 절단오차에 의한 비물리적인 흐름생성을 억제하였다. 또한, 수치모의 중 음수심의 발생으로 인하여 수치모형이 불안정해지는 현상을 막기 위해, 양-보존성 제한자를 구축하였다. 마지막으로 도심지에서 즐비한 인위적인 구조물에 의해 나타나는 지형적인 불연속의 효과를 적절하게 반영할수 있도록 정상파 재구축의 단계를 구축하여 수치 기법에 반영하였다. 이렇게 구성된 수치기법은 리만문제의 해석해에 기반하여 기존의 주요 연구들의 결과와 비교되었고, 그 결과 본 연구의 방법이 정확성, 수렴성, 안전성의 측면에서 가장 우수함을 수치적으로 증명하였다.

  • PDF

Numerical Simulation on Tidal Currents in a Bay - Application to Gamag Bay - (만내의 조류수치해석 - 가막만을 중심으로 -)

  • Lee, Gwan-Su;Lee, Yeong-Seok;Lee, Sam-No
    • Water for future
    • /
    • v.24 no.4
    • /
    • pp.41-48
    • /
    • 1991
  • This paper describes the characteristics of tidal currents in the Gamag Bay by using the two-dimensional nonlinear hydrodynamic euation. The basic equations are derived by Navier-Stokes momentum equation and continuity equation and its characteristics critically are reviewed, and they are analysed by the implicit finite difference method. The numerical model is constructed two-dimensional(depth-averaged) simple layer model. This paper investigates the stability of solution and convergence of solution in application of the method to Gamag Bay, and the reproducibility of the simulation is also discussed in comparison with the results of field survey. The following items are clarifide through the numerical investigation; i)the reproduc-ibility of tidal range and currents are quite acceptable, comparing with the results of model tests and field data, and ii) tidal cycle for convergent solution is four tidal cycle, also, iii) bottom friction is successfully represented as c=(1/n))$h^{1/6}$.

  • PDF

A Delphi study on how to vitalize the blockchain-based NFT

  • Sang-yub Han;Ho-kyoung Ryu
    • Journal of the Korea Society of Computer and Information
    • /
    • v.29 no.6
    • /
    • pp.77-87
    • /
    • 2024
  • In this paper, we propose a study applying the Delphi technique to domestic blockchain experts to determine urgent and pivotal conditions for NFT proliferation. We examine these conditions from a PEST (Political, Economic, Social, and Technological Analysis of the Macro Environment) perspective, as well as the functions of digital assets (measurement, storage, and exchange). Through two rounds of expert surveys on the seven NFT perspectives, we identify 6 activating factors that can help guide future policy-making for the NFT market. These factors have broad implications for the development of new industries using blockchain technology and tokens. The Delphi method employed in this study is a group discussion technique that gathers opinions from experts anonymously through two rounds and to address drawbacks related to expert selection bias and opinion alignment, additional opinion collection and review of projections were conducted in each round.

Fast Parallel Algorithm For Optimal Stack Filter Design (최적 스택필터 설계를 위한 고속병렬기법)

  • Yoo, Ji-Sang
    • Journal of the Korean Institute of Telematics and Electronics S
    • /
    • v.36S no.2
    • /
    • pp.88-95
    • /
    • 1999
  • Stack filters are a class of digital nonlinear filters with excellent properties for signal restoration. Unfortunately, present algorithms for designing stack filters with large window size are limited in applications by their computational overhead and serial nature. In this paper, new, highly-parallel algorithm is developed for determining a stack filter which minimizes the mean absolute error criterion. It retains the iterative nature of the present adaptive algorithm, but significantly reduces the number of required to converge to an optima filter. A proof is also give that the proposed algorithm converges to an optimal stack filter.

  • PDF

A study on the Automatic Algorithm for Numerical Conformal Mapping (수치등각사상의 자동화 알고리즘에 관한 연구)

  • Song, Eun-Jee
    • The KIPS Transactions:PartA
    • /
    • v.14A no.1 s.105
    • /
    • pp.73-76
    • /
    • 2007
  • The determination of the conformal maps from the unit disk onto a Jordan region has been completed by solving the Theodorsen equation which is an nonlinear equation for the boundary correspondence function. Wegmann's method has been well known for the efficient mothed among the many suggestions for the Theodorsen equation. We proposed an improved method for convergence by applying a low-frequency pass filter to the Wegmann's method and theoretically proved convergence of improved iteration[1, 2]. And we proposed an effective method which makes it possible to estimate an error even if the real value is nut acquired[3]. In this paper, we propose an automatic algorithm for numerical conformal mapping bared on this error analysis in our early study. By this algorithm numerical conformal mapping is determined automatically according to the given domain of problem and the required accuracy. The discrete numbers and parameters of the low-frequency filter were acquired only by experience. This algorithm, however, is able to determine the discrete numbers and parameters of the low-frequency filter automatically in accordance with the given region This results from analyzing the function, which may decide the shape of the given domain under the assumption that the degree of the problem depends of the transformation of a given domain, as seen in the Fourier Transform. This proposed algorithm is also ploved by numerical experience.

Error-Based Iterative Feedgack Tuning with Application to Optical Disk Drive (광디스크 드라이브의 제어를 위한 에러기반 반복 피드백 게인 조절 방법에 관한 연구)

  • Seo, Dong-Hyeok;Kim, Hong-Rok;Jang, Si-Young;Suh, Il-Hong
    • Proceedings of the KIEE Conference
    • /
    • 2004.07d
    • /
    • pp.2179-2181
    • /
    • 2004
  • Model-free Method들 중에 반복 피트백 조절 알고리즘(Iterative Feedback Tuning, IFT)는 특정한 성능지수를 정의하고, 이를 최소화하도록 제어기의 게인들을 조절하는 방법을 제시하였다. PID와 같은 고전적인 제어이론에 근거한 제어기 설계 과정과는 달리, IFT 알고리즘은 반복 실험을 통해 성능지수의 Gradient를 구하여 이로부터 필터 게인들 조정하는 방법을 채택하고 있다. 수학적 증명과 실험적 실증을 통하여 IFT의 수렴성과 유용성이 보여짐에도 불구하고 IFT 알고리즘의 한계점은 단일 성능지수의 사용이라는데 있다. 이를 개선하기 위해서는 단일 제어 목적을 위한 단일 성능지수의 사용이 아닌 복수의 제어 목적을 위한 복수의 성능지수의 사용이 필요하다. 본 논문에서는 두 개의 성능지수를 가지는 IFT를 이용해서 위상 여유가 크고, 대역폭이 넓은 제어기를 설계하기 위해서 제어기 게인을 자동 조절하는 알고리즘을 제안하고 ODD에서 사용되는 플랜트에 적용한 모의실험을 통하여 그 유용성을 보였다.

  • PDF

Three Dimensional Shape Estimation by Shading Analysis of Endoscopic Image (음영분석에 의한 내시경 영상의 3차원 형체 추정에 관한 연구)

  • Lee, Tae-Su;Cha, Eun-Jong;Yun, Se-Jin
    • Journal of Biomedical Engineering Research
    • /
    • v.16 no.4
    • /
    • pp.499-506
    • /
    • 1995
  • A new numerical method estimated three dimensional shape of the internal surface of the stomach by analyzing the shading data of endoscopic image. First analyzed was the inherent instrumentational characteristics of the endoscope system, followed by the analysis of the stomach surface properties, both of which affected the imaging properties. We employed these prior informations to implement the iterative algorithm of shading analysis based on Hom's variational approach. The present algorithm was validated by performing simulation on a $256{\times}320$ image data chosen from original $512{\times}512$ image of the stomach surface model. The best 3-dimensional estimation of the surface was achieved with the Lagrangian multiplier, of 0.3, when the algorithm best converged showing minimal estimation error.

  • PDF

Game Theoretic Approach for Energy Efficient Rate Scheduling on the interference channel (간섭채널에서 에너지 효율적인 전송률 스케줄링을 위한 게임이론적 접근)

  • Oh, Chang-Yoon
    • Journal of the Korea Society of Computer and Information
    • /
    • v.19 no.8
    • /
    • pp.55-62
    • /
    • 2014
  • A game theoretic approach is applied for studying the energy efficient rate scheduling. The individual utility function is defined first. Then, a non cooperative rate game is modeled in which each user decides the transmission rate to maximize its own utility. The utility function considered here is the consumed energy for the individual user's data transmissions. In particular, using the fact that the utility function is convex, we prove the existence of Nash Equilibrium in the energy efficient rate scheduling problem at hand. Accordingly, a non cooperative scheduling algorithm is provided. For better energy efficiency, the sum of the individual user's utility function is optimized Finally, the convergence analysis and numerical results to show the energy efficiency of the proposed algorithms are provided.