• 대한수학회지
• /
• 제40권4호
• /
• pp.695-708
• /
• 2003

We study the existence of solutions for overdetermined PDE systems that admit prolongation to a complete system. We reduce the problem to a Pfaffian system on a submanifold of the jet space of unknown functions and then express the integrability conditions in terms of the coefficients of the original system. As possible applications we present some local problems in CR geometry: determining the CR embeddibility into spheres and the existence of infinitesimal CR automorphisms.

• Journal of Ship and Ocean Technology
• /
• 제3권4호
• /
• pp.1-14
• /
• 1999

The improved Green integral equation using the Kelvin-type Green function in known free of irregular frequencies where the integral over the inner free surface integral is removed from the integral equation, resulting in an overdetermined integral equation. The solution of the overdetermined Green integral equation is shown identical with the solution of the improved Green integral equation Using the B-spline higher order panel method, the overdetermined equation is discretized in two different ways; one of the resulting linear system is square and the other is redundant. Numerical experiments show that the solutions of both are identical. Using the present methods, the exact values and higher derivatives of the potential at any place over the wetted surface of the body can be found with much fewer panels than low order panel method.

• 대한수학회지
• /
• 제39권2호
• /
• pp.237-252
• /
• 2002

We study the compatibility conditions and the existence of solutions or overdetermined PDE systems that admit complete prolongation. For a complete system of order k there exists a submanifold of the ($\kappa$-1)st jet space of unknown functions that is the largest possible set on which the initial conditions of ($\kappa$-1)st order may take values. There exists a unique solution for any initial condition that belongs to this set if and only if the complete system satisfies the compatibility conditions on the initial data set. We prove by applying the Frobenius theorem to a Pfaffian differential system associated with the complete prolongation.

• Structural Engineering and Mechanics
• /
• 제13권4호
• /
• pp.437-453
• /
• 2002

In this paper, dynamic stiffness and flexibility for circular membranes are analytically derived using an efficient mixed-part dual boundary element method (BEM). We employ three approaches, the complex-valued BEM, the real-part and imaginary-part BEM, to determine the dynamic stiffness and flexibility. In the analytical formulation, the continuous system for a circular membrane is transformed into a discrete system with a circulant matrix. Based on the properties of the circulant, the analytical solutions for the dynamic stiffness and flexibility are derived. In deriving the stiffness and flexibility, the spurious resonance is cancelled out. Numerical aspects are discussed and emphasized. The problem of numerical instability due to division by zero is avoided by choosing additional constraints from the information of real and imaginary parts in the dual formulation. For the overdetermined system, the least squares method is considered to determine the dynamic stiffness and flexibility. A general purpose program has been developed to test several examples including circular and square cases.

• 한국정보전자통신기술학회논문지
• /
• 제12권5호
• /
• pp.521-528
• /
• 2019

Epilepsy is one of the most prevalent neurological diseases. Electroencephalogram (EEG) signals are widely used for monitoring and diagnosis tool for epileptic seizure. Typically, a huge amount of EEG signals is needed, where they are visually examined by experienced clinicians. In this study, we propose a simple automatic seizure detection framework using intracranial EEG signals. We suggest a sparse approximation based classification (SAC) scheme by solving overdetermined system. L1-norm minimization algorithms are utilized for efficient sparse signal recovery. For evaluation of the proposed scheme, the public EEG dataset obtained by five healthy subjects and five epileptic patients is utilized. The results show that the proposed fast L1-norm minimization based SAC methods achieve the 99.5% classification accuracy which is 1% improved result than the conventional L2 norm based method with negligibly increased execution time (42msec).

• 한국음향학회지
• /
• 제16권3호
• /
• pp.81-85
• /
• 1997

본 논문에서는 3차와 4와의 큐뮬런트를 이용하여 FIR 시스템의 파라메터 추정을 위한 회귀 추정 알고리듬을 제안한다. 제안한 FIR 파라메터 회귀 추정 알고리듬에서 3차와 4차의 큐뮬런트 관계식으로부터 Overdetermined Recurisive Instrumental Variable (ORIV) 형태의 회귀 추정 알고리듬으로 변환할 수 있도록 출력신호로 구성된 행렬식을 얻어낸 후, 이를 전개하여 회귀 추정 알고리듬을 개발한다. 제안한 회귀 추정 알고리듬은 기존의 비회귀 알고리듬의 확장으로 적은 데이터로 수렴이 가능하며, 시변 시스템의 추정에도 용이하다. 또한 3차와 4차의 순수 고차 큐뮬런트로 구성됨에 따라 기존의 2차의 자기상관함수를 이용한 회귀 추정 알고리듬에 비해 가산 가우시안 잡음에 의한 추정 오차를 줄일 수 있는 장점이 있다.

• 전기학회논문지P
• /
• 제52권2호
• /
• pp.81-84
• /
• 2003

This paper presents a proper rational transfer function synthesis in the continuous time system from noisy measurements. The proposed method identifies the coefficients vector of the transfer function from an overdetermined linear system that develops from rearranging the two dimensional system matrices and output vectors obtained from the observed frequency responses. By computer simulation, the performance improvement is verified.

• 대한전기학회논문지
• /
• 제35권10호
• /
• pp.438-444
• /
• 1986

The signal can be modeled as a linear combination of its past values and present and past values of a hypothetical input to system whose output is given signal. Using this model spectral estimation problem can be reduced to estimate the ARMA parameters. This paper presents recursive modified instrumental variable algorithm which can estimate AR and MA parameters. For more accurate estimation, overdetermined modified IV algorithm is also derived. Computer simulations are presented to illustrate the above methods.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 하계종합학술대회논문집
• /
• pp.693-696
• /
• 1998

For camera calibration, this paper describes two steps to camera constants and camera parameters. The former is the radial distortion of lens, image center and focal length etc.. The latter is translation, rotation etc.. Camera calibration use tsai's algorithm. In this paper, the solutions are introduced into overdetermined system as matching points that are acquired from two CCD and measured object depth information.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.315-318
• /
• 2007

본 논문에서는 이동로봇 바닥에 설치된 여유 개수의 광 마우스를 이용하여 주행 중인 이동로봇의 속도를 효율적으로 추정하는 방안에 대해 기술한다. 먼저, 이동로봇의 속도 벡터와 광 마우스의 속도 벡터간의 관계를 과결정 선형시스템(Overdetermined Linear System)으로 표현한다. 다음, 과결정 시스템에 대한 최소자승 해(Least Squares Solution)로써 이동로봇의 주행 속도를 효율적으로 추정한다. 마지막으로 시뮬레이션을 통해 제안된 이동로봇 주행 속도 추정법의 유효성을 확인한다.