• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제6권2호
• /
• pp.9-24
• /
• 2002

Total Variation(TV) regularization method is effective for reconstructing "blocky", discontinuous images from contaminated image with noise. But TV is represented by highly nonlinear integro-differential equation that is hard to solve. There have been much effort to obtain stable and fast methods. C. Vogel introduced "the Fixed Point Lagged Diffusivity Iteration", which solves the nonlinear equation by linearizing. In this paper, we apply multigrid(MG) method for cell centered finite difference (CCFD) to solve system arise at each step of this fixed point iteration. In numerical simulation, we test various images varying noises and regularization parameter $\alpha$ and smoothness $\beta$ which appear in TV method. Numerical tests show that the parameter ${\beta}$ does not affect the solution if it is sufficiently small. We compute optimal $\alpha$ that minimizes the error with respect to $L^2$ norm and $H^1$ norm and compare reconstructed images.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제23권3호
• /
• pp.211-236
• /
• 2019

This paper is devoted to the study and investigation of the Runge-Kutta discontinuous Galerkin method for a system of differential equations consisting of two hyperbolic conservation laws. The numerical coupling flux which is used at a given interface (x = 0) is the upwind flux. Moreover, in the linear case, we derive optimal convergence rates in the $L_2$-norm, showing an error estimate of order ${\mathcal{O}}(h^{k+1})$ in domains where the exact solution is smooth; here h is the mesh width and k is the degree of the (orthogonal Legendre) polynomial functions spanning the finite element subspace. The underlying temporal discretization scheme in time is the third-order total variation diminishing Runge-Kutta scheme. We justify the advantages of the Runge-Kutta discontinuous Galerkin method in a series of numerical examples.

• 대한수학회보
• /
• 제39권1호
• /
• pp.9-22
• /
• 2002

We consider the hp-version to solve non-constant coefficient elliptic equations with Dirichlet boundary conditions on a bounded, convex polygonal domain $\Omega$ in $R^{2}.$ To compute the integrals in the variational formulation of the discrete problem we need the numerical quadrature rule scheme. In this paler we consider a family $G_{p}= {I_{m}}$ of numerical quadrature rules satisfying certain properties. When the numerical quadrature rules $I_{m}{\in}G_{p}$ are used for calculating the integrals in the stiffness matrix of the variational form we will give its variational fore and derive an error estimate of ${\parallel}u-\tilde{u}^h_p{\parallel}_0,{\Omega}'$.

• 대한수학회지
• /
• 제38권1호
• /
• pp.177-191
• /
• 2001

We consider a linear differential game described by the delay-differential equation in a Hilbert space H; (※Equations, See Full-text) U and V are Hilbert spaces, and B(t) and C(t) are families of bounded operators on U and V to H, respectively. A(sub)0 generates an analytic semigroup T(t) = e(sup)tA(sub)0 in H. The control variables g, and u and v are supposed to be restricted in the norm bounded sets (※Equations, See Full-text). For given x(sup)0 ∈ H and a given time t > 0, we study $\xi$-approximate controllability to determine x($.$) for a given g and v($.$) such that the corresponding solution x(t) satisfies ∥x(t) - x(sup)0∥ $\leq$ $\xi$($\xi$ > 0 : a given error).

• 융합신호처리학회논문지
• /
• 제1권2호
• /
• pp.169-176
• /
• 2000

유한정정 특성은 시간영역에서 디지털 제어시스템 설계를 위해 잘 정립이 되어 있다. 그러나 연속시간 제어시스템에서는 유한정정 특성은 불가능한데, 그 이유는 디지털 제어시스템에서 사용하는 이론으로 유한정정 특성을 나타내게 설계하여도 샘플링점에서는 유한정정이 되나, 샘플링점간에 리플이 존재하기 때문이다. 그러나 몇몇 학자들이 지연요소를 제안하여 이러한 문제를 해결하였다. 지연요소는 연속계에서 유한라플라스변환의 성질로부터 얻은 개념이다. 유한정정제어기 설계를 위해서는 유한정정외에 내부모델안정성, 실현가능성 등의 조건들을 추가로 설정하고, 이런 조건들이 만족되게 오차 전달함수의 미지계수, 팍점 등을 구할 수 있다. 지연소자로 된 미지 다항식을 계산할 수 있다. 실시스템에 대한 적용을 위해서는 이러한 조건외데 견실성에 관한 조건이 첨가될 수 있다. 본 논문에서는 1개 지연요소를 사용하여 오차전달함수를 표시하고, 유한정정에 관련된 조건들외에 견실성을 고려한다. 견실성의 지표로는 가중감도함수를 선택하고, 이의 $H_{infty}$놈이 최소가 되도록 유한정정제어기를 설계한다. 즉 오차전달함수의 극점을 초기값을 계속 사용하지 않고 견실성지표의 $H_{infty}$놈이 최소화되도록 극점을 최적화하여 최적설계를 한다.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제11권1호
• /
• pp.606-623
• /
• 2019

The path following problem of a ship sailing in restricted waters under wind effect is investigated based on Robust $H_{\infty}$ Guaranteed Cost Control (RHGCC). To design the controller, the ship maneuvering motion is modeled as a linear uncertain system with norm-bounded time-varying parametric uncertainty. To counteract the bank and wind effects, the integral of path error is augmented to the original system. Based on the extended linear uncertain system, sufficient conditions for existence of the RHGCC are given. To obtain an optimal robust $H_{\infty}$ guaranteed cost control law, a convex optimization problem with Linear Matrix Inequality (LMI) constraints is formulated, which minimizes the guaranteed cost of the close-loop system and mitigates the effect of external disturbance on the performance output. Numerical simulations have confirmed the effectiveness and robustness of the proposed control strategy for the path following goal of a ship sailing in restricted waters under wind effect.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제14권2호
• /
• pp.125-140
• /
• 2010

This paper develops a least-squares approach to the solution of the optimal control problem for the Navier-Stokes equations. We recast the optimality system as a first-order system by introducing velocity-flux variables and associated curl and trace equations. We show that a least-squares principle based on $L^2$ norms applied to this system yields optimal discretization error estimates in the $H^1$ norm in each variable.

• 전자공학회논문지S
• /
• 제34S권1호
• /
• pp.65-71
• /
• 1997

In this paper, we propose a new .mu.-controller design method using an equivalent weighting function $W_{\mu}$(s). The proposed mehtod is not guaranteed to converge to the minimum as D-K and .mu.-K iteration method. However, the robust performance problem can be converted into an equivalent $H^{\infty}$ optimization problem of unstructured uncertainty by using an equivalent weightng function $W_{\mu}$(s). Also we can find a .mu.-optimal controller iteratively using an error index $d_{\epsilon}$ of differnce between maximum singular value and .mu.-norm. And under the condition of the same order of scaling functions, the proposed method provides the .mu.-optimal controller with the degree less than that obtained by D-K iteration..

• 대한수학회논문집
• /
• 제9권2호
• /
• pp.467-489
• /
• 1994

Let $\Omega$ be a closed and bounded polygonal domain in R$^2$, or a closed line segment in R$^1$ with boundary $\Gamma$, such that there exists an invertible mapping T : $\Omega$ \longrightarrow $\Omega$ with the following correspondence: x$\in$$\Omega$ ↔ x = T(x) $\in$$\Omega$, (1.1) and (1.2) t $\in$ U$\sub$p/($\Omega$) ↔ t = to T$\^$-1/ $\in$ U$\sub$p/($\Omega$), where $\Omega$ denotes the corresponding reference elements I = [-1,1] and I ${\times}$ I in R$^1$ and R$^2$ respectively, (1.3) U$\sub$p/($\Omega$) = {t : t is a polynomial of degree $\leq$ p in each variable on $\Omega$}, and (1.4) U$\sub$p/($\Omega$) = {t : t = to T $\in$ U$\sub$p/($\Omega$)}.(omitted)

• 전자공학회논문지SC
• /
• 제39권1호
• /
• pp.33-41
• /
• 2002

본 논문에서는 기존의 주파수하중 균형절단 기법과 주파수하중 한켈노옴 근사화 기법에 비하여 더 작은 H∞ 하중 축소오차를 가지는 새로운 알고리듬을 제시한다. 제시한 알고리듬은 제한 실 보조정리로부터 반복적인 두 단계의 선형행렬부등식 형태로 유도한다. 또한 제안한 알고리듬을 성능보장을 위한 제어기 차수축소기법에 적용한다. 수치적 예를 통하여 제안한 알고리듬의 타당성을 보이고 기존의 모델 차수축소기법과 비교 분석하며 HIMAT(highly maneuverable aircraft technology) 시스템의 예를 통하여 성능보장을 위한 제어기 차수축소 기법에 적용할 수 있음을 보인다.