• 한국통신학회:학술대회논문집
• /
• 한국통신학회 1984년도 춘계학술발표회논문집
• /
• pp.42-45
• /
• 1984

we propose a new parameter estimation algorithm that converge with probability one and in mean square, If the mean is the function of parameter of the probability density function. This recursive algorithm is applicable also ever the parameters we estimate are multiparameter case. And the results are shown by the computer simulation.

• Kyungpook Mathematical Journal
• /
• 제28권1호
• /
• pp.45-50
• /
• 1988

Circulant and multiblock circulant matrices have many important applications, and therefore their inverses are of considerable interest. A simple recursive algorithm is presented to compute the inverse of a multiblock circulant matrix. The algorithm only uses complex variables, roots of unity and normal matrix/vector operations.

• 대한수학회보
• /
• 제8권1호
• /
• pp.9-15
• /
• 1971

The purpose of this note is to use primitive recursive functions and predicates similar to those presented by Davis [2] to show the well-known result first proved by Godel in [3] that the well-formed formulas of a pure functional calculus form a recursive set. The technique shown in this paper immediately suggests a unique approach to Theorem proving using a computer.

• 대한전자공학회논문지SP
• /
• 제41권3호
• /
• pp.35-49
• /
• 2004

본 논문은 칼라의 정면 얼굴 영상으로부터 흑백의 안경 제거 영상을 얻을 수 있는 반복적인 PCA(Principal Component Analysis) 재구성 방법에 대해 제안한다. 제안된 방법은 먼저 칼라의 입력 영상으로부터 색상 정보와 형태 정보를 이용하여 일정한 크기의 흑백 영상으로 정규화 한다. 정규화된 얼굴 영상에서 반복적인 PCA 재구성 과정을 통해 안경에 의한 오클루젼 영역을 찾고 동시에 이를 보정할 수 있는 재구성된 영상을 생성한다. 또한 이들 결과 영상들을 이용하여 자동으로 자연스러운 안경 제거 영상을 만들어준다. 제안된 방법을 가지고 실제 안경이 있는 영상들에 적용한 결과 대부분 입력 영상과 유사하면서도 자연스러운 안경 제거 영상을 얻을 수 있었다. 본 논문에서 제안하는 방법은 보완을 통해 다른 오클루젼 문제를 해결하는데에서도 다양하게 응용될 수 있고, 자동 얼굴 인식 시스템의 인식 효율을 높이는 데 충분히 기여할 수 있으리라 기대한다.

• 정보과학회 논문지
• /
• 제43권12호
• /
• pp.1342-1350
• /
• 2016

귀납법과 코인덕션은 모두 컴퓨터 과학 분야에서 사용되는 중요한 증명 기법이다. 귀납법은 컴퓨터 과학 분야 학부 과정에서 기본적으로 가르치는 기법이며, 상대적으로 잘 알려지고 컴퓨터과학 분야 전반에 걸쳐 잘 쓰이고 있다. 반면에 코인덕션은 귀납법에 비해 많은 사람들에게 다소 어렵고 친숙하지 않은 개념이다. 본 논문에서는 재귀 타입과 합집합 타입을 포함하는 간단한 타입 언어에 대해 서브타입 시스템을 정의하고, 정의한 시스템의 추이성을 증명함으로써 코인덕션에 대해 소개한다. 이를 통해, 코인덕션에 대한 이해도를 높이고, 동시에 재귀 타입과 다양한 타입 요소가 있을 때 서브타입 시스템을 정의하는 방법에 대한 기초를 제공한다.

• 인터넷정보학회논문지
• /
• 제17권1호
• /
• pp.1-6
• /
• 2016

바이어스된 영-오차확률 (biased zero-error probability)과 이에 관련된 알고리듬은 매 반복시간마다 합산과정을 지니고 있어 많은 계산상의 부담을 요구한다. 이 논문에서는 바이어스된 영-오차확률에 반복적 접근법을 적용한 알고리듬을 제안하였고 천해역 통신채널과 충격성 잡음 및 바이어스된 가우시안 잡음이 혼재한 실험 환경에서 성능을 비교하였다. 샘플 사이즈에 비례하는 계산 복잡도를 지닌 기존 알고리듬과 달리 제안한 반복적 방식은 샘플 사이즈와 무관하여 계산량의 부담을 크게 줄였다. 이러한 계산효율 특성을 지닌 제안한 알고리듬은 블록 처리방식의 기존 알고리듬과 비교하여 다중경로 페이딩, 바이어스된 잡음 및 충격성 잡음에 대한 강인성에서 동일한 성능을 나타냈다.

• 한국음향학회지
• /
• 제14권3호
• /
• pp.37-48
• /
• 1995

일반화된 완전최소자승법 (generalized total least squares method, GTLS)의 ARMA 시스템 식별에의 적용과 GTLS의 적응알고리듬에 대하여 논한다. 일반화된 완전최소자승법은 일별과 출력을 알고 있는 시스템식별 (system identification)문제에서, 출력이 잡음에 의하여 오염된 경우, 편이되지 않은 해를 구하기 위하여 사용되는 방법이다. 본 논문에서는 먼저 GTLS를 ARMA 시스템 식별에 적용하기 위한 formulation을 하고, 일반화된 완전최소자승법의 일반 해의 성질과 역행렬 정리 (matrix inverse lemma)를 이용하여 적응 GTLS 방법을 제안한다. 다음 제안된 방법을 통하여 시스템식별에 적용하여 그 성능을 평가한다. 또한 GTLS 알고리듬과 제안한 적응 GTLS 알고리듬의 성능을 수학적으로 해석하고 컴퓨터 시뮬레이션을 통하여 이를 검증한다.

• Smart Structures and Systems
• /
• 제11권1호
• /
• pp.19-34
• /
• 2013

The objective of this paper is to develop on-line system parameter estimation and damage detection technique from the response measurements through using the Recursive Covariance-Driven Stochastic Subspace identification (RSSI-COV) approach. To reduce the effect of noise on the results of identification, discussion on the pre-processing of data using recursive singular spectrum analysis (rSSA) is presented to remove the noise contaminant measurements so as to enhance the stability of data analysis. Through the application of rSSA-SSI-COV to the vibration measurement of bridge during scouring experiment, the ability of the proposed algorithm was proved to be robust to the noise perturbations and offers a very good online tracking capability. The accuracy and robustness offered by rSSA-SSI-COV provides a key to obtain the evidence of imminent bridge settlement and a very stable modal frequency tracking which makes it possible for early warning. The peak values of the identified $1^{st}$ mode shape slope ratio has shown to be a good indicator for damage location, meanwhile, the drastic movements of the peak of $2^{nd}$ mode slope ratio could be used as another feature to indicate imminent pier settlement.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권8호
• /
• pp.999-1007
• /
• 1999

이 논문은 재귀원형군 G(2^m , 2^k )를 그래프 이론적 관점에서 고찰하고 정점이 서로소인 사이클과 그래프 invariant에 관한 위상 특성을 제시한다. 재귀원형군은 1 에서 제안된 다중 컴퓨터의 연결망 구조이다. 재귀원형군 {{{{G(2^m , 2^k )가 길이 사이클을 가질 필요 충분 조건을 구하고, 이 조건하에서 G(2^m , 2^k )는 가능한 최대 개수의 정점이 서로소이고 길이가l`인 사이클을 가짐을 보인다. 그리고 정점 및 에지 채색, 최대 클릭, 독립 집합 및 정점 커버에 대한 그래프 invariant를 분석한다.Abstract In this paper, we investigate recursive circulant G(2^m , 2^k ) from the graph theory point of view and present topological properties of G(2^m , 2^k ) concerned with vertex-disjoint cycles and graph invariants. Recursive circulant is an interconnection structure for multicomputer networks proposed in 1 . A necessary and sufficient condition for recursive circulant {{{{G(2^m , 2^k ) to have a cycle of lengthl` is derived. Under the condition, we show that G(2^m , 2^k ) has the maximum possible number of vertex-disjoint cycles of length l`. We analyze graph invariants on vertex and edge coloring, maximum clique, independent set and vertex cover.

• 전자공학회논문지C
• /
• 제36C권6호
• /
• pp.37-43
• /
• 1999

고성능 VLSI 설계를 위한 pipeline 형태의 Reed-Solomon을 구현하였다. Shortened RS code의 경우에 있어서 기존의 parallel recursive cell 방식이나[1] 다중 클락 설계와 같은 접근과는 달리 작은 면적에서 단일 클락으로 동작할 수 있는 이중 수소(two-way addressing) 방식의 Euclid 계산을 제안하였다. 이러한 방식은 recursive cell을 병렬 처리하는 Euclid 계산 방식에 비해 면적이나 소비 전력에 있어 장점을 갖고 있음을 synthesis와 전력 모의실험을 통해 검증하였다. 본 설계는 면적상으로 parallerl recursive cell을 이용한 단일 클락euclid 회로가 약 5,000 gate임에 비하여 40% 정도 감소한 3,000 gate 정도에 구현할 수 있었다. 또한 전력 소비면으로는 기존의 recursive cell을 이용한 다중 클락 euclid 회로가 6mW 이상의 전력을 소비하는 반면에 본 설계는 3mW대의 전력 소비를 보여 현격한 차이를 보였다.