• East Asian mathematical journal
• /
• 제19권1호
• /
• pp.121-131
• /
• 2003

We extend the characterization for the analytic Besov space obtained by Nowak to the invariant harmonic Besov space.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권3_4호
• /
• pp.212-218
• /
• 2003

상태 불변식은 도달 가능한 모든 상태에서 만족되는 속성이다. 불변식은 복잡한 소프트웨어 시스템의 분석과 이해에 사용될 뿐만 아니라 안전성, 궁극성, 일관성 등과 같은 시스템 검증에도 사용된다. 이와 같은 이유로 인해서, 유한 상태 기계 모델로부터 상태 불변식을 추출하는 연구가 활발히 진행되고 있다. 상태 불변식을 생성하는 기존 연구에서는 도달 가능한 상태가 모두 고려됐다. 따라서 생성된 상태 불변식은 길고 복잡해서, 사용자가 이해하기 어려웠다. 본 논문에서는 '어떻게 상태 불변식을 단순화 할 것인가\ulcorner` 란 질문에 대한 답을 보인다. 상태 불변식의 복잡성은 고려되어진 상태의 크기에 강하게 좌우된다. 고려된 상태들이 작으면 작을수록, 상태 불변식의 길이는 짧다. 단순한 상태 불변식을 생성하기 위해서는, 전체 상태 공간보다는 관심 있는 특정 부분(즉 범위)에 집중해야 한다. 관심 있는 범위를 표현하기 위하여 본 논문에서는 CTL 논리를 사용한다. CTL로 범위가 표현되면, 혼합 도달성 분석을 이용하여 범위 내에 속하는 상태들을 찾는다. 명백히, 이 방법으로 계산된 상태 집합은 도달 가능한 모든 상태의 부분 집합이다. 따라서, 더 약하지만 더 이해력 있는 상태 불변식을 얻는다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제4권10호
• /
• pp.431-438
• /
• 2015

본 논문에서는 대칭 변환을 지원하는 윤곽선 이미지 매칭 문제를 다룬다. 이미지 매칭에서 이미지의 대칭 변환을 지원하는 것은 직관적이고 정확한 매칭을 위한 매우 중요한 요소이다. 그러나 기존 이미지 매칭에서는 이미지의 회전 변환만 고려하였을 뿐 대칭 변환은 고려하지 않았다. 본 논문에서는 기존 회전-불변 윤곽선 이미지 매칭에 대칭 변환까지 지원하는 대칭-불변 윤곽선 이미지 매칭을 제안한다. 이를 위해, 먼저 이미지 대칭의 개념을 정의하고, 어떠한 대칭각을 사용하더라도 회전-불변 매칭의 결과는 동일함을 정형적으로 증명한다. 또한, 대칭 변환을 위해 이미지 윤곽선으로부터 대칭 시계열을 효율적으로 추출하는 방법을 제안한다. 그런 다음, 이미지를 대칭하여 생성한 대칭 시계열과 원본 이미지 시계열을 직접 대칭하여 생성한 대칭 시계열을 사용한 회전-불변 매칭 결과가 동일함을 정형적으로 증명한다. 실험 결과, 제안하는 대칭-불변 윤곽선 이미지 매칭은 회전 변환만을 지원하는 기존 이미지 매칭에 비해 보다 정확하고 직관적인 결과를 도출하는 것으로 나타났다. 이같은 결과는 대칭-불변 윤곽선 이미지 매칭이 이미지의 대칭 변환 문제를 시계열 도메인에서 해결한 우수한 해결책임을 의미한다.

• International Journal of Control, Automation, and Systems
• /
• 제6권6호
• /
• pp.800-808
• /
• 2008

A fingerprint verification system based on a set of invariant moment features and a nonlinear Back Propagation Neural Network(BPNN) verifier is proposed. An image-based method with invariant moment features for fingerprint verification is used to overcome the demerits of traditional minutiae-based methods and other image-based methods. The proposed system contains two stages: an off-line stage for template processing and an on-line stage for testing with input fingerprints. The system preprocesses fingerprints and reliably detects a unique reference point to determine a Region-of-Interest(ROI). A total of four sets of seven invariant moment features are extracted from four partitioned sub-images of an ROI. Matching between the feature vectors of a test fingerprint and those of a template fingerprint in the database is evaluated by a nonlinear BPNN and its performance is compared with other methods in terms of absolute distance as a similarity measure. The experimental results show that the proposed method with BPNN matching has a higher matching accuracy, while the method with absolute distance has a faster matching speed. Comparison results with other famous methods also show that the proposed method outperforms them in verification accuracy.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2004년도 ICCAS
• /
• pp.1623-1628
• /
• 2004

In the 3-dimensional cyclic Lotka-Volterra equations, we show the solution on the invariant hyperplane. In addition, we show the existence of the invariant hyperplane by the center manifold theorem under the some conditions. With this result, we can lead the hyperplane of the n-dimensional cyclic Lotka-Volterra equaions. In other section, we study the 3- or 4-dimensional Hamiltonian Lotka-Volterra equations which satisfy the Jacobi identity. We analyze the solution of the Hamiltonian Lotka- Volterra equations with the functions called the split Liapunov functions by [4], [5] since they provide the Liapunov functions for each region separated by the invariant hyperplane. In the cyclic Lotka-Volterra equations, the role of the Liapunov functions is the same in the odd and even dimension. However, in the Hamiltonian Lotka-Volterra equations, we can show the difference of the role of the Liapunov function between the odd and the even dimension by the numerical calculation. In this paper, we regard the invariant hyperplane as the important item to analyze the motion of Lotka-Volterra equations and occur the chaotic orbit. Furtheremore, an example of the asymptoticaly stable and stable solution of the 3-dimensional cyclic Lotka-Volterra equations, 3- and 4-dimensional Hamiltonian equations are shown.

• 한국정보처리학회논문지
• /
• 제3권7호
• /
• pp.1894-1905
• /
• 1996

Dirichlet tessellation 과 쌍대관계에 있는 Delaunay triangulation은 어파인 불변성을 가지지 못한다. 즉, 삼각형 분할을 이루는데 있어서 각 꼭지점들을 나타내는 좌표축의 선택에 영향을 받는다. 같은 이유로 Delaunay triangulation (사면체 분할법) 도 어파인 불변성을 가지지 못한다. 본 논문에서는 공간상 점들로 사면체 분할하는데 있어서 변환, 확대 축소, 일그러뜨림, 회전에도 여향을 받지 않는 새로운 유형의 사면체 분할 방법을 제시하였다. 어파인 사면체 분할을 논의 할 때 기존의 어파인 불변성 평면적 삼각형 분할을 삼차원 분할을 삼차원적 사면체 분할로 연장시키는 방법을 사용 하였다. 삼차원 공간상의 두 점간의 거리를 새롭게 정의 하였다. 사면체 구조의 가시 화를 통하여 Delaunay 사면체 분할과 어파인 불변성 사면체 분하라 결과를 구별시 킬 수 있었다.

• 한국수학사학회지
• /
• 제22권4호
• /
• pp.145-160
• /
• 2009

20세기말 p-진 공간에서 p-진 q-적분의 개념이 김태균에 의해서 처음 도입 되었다([11]). 이러한 적분은 복소수 공간에서 잭슨의 q-적분을 p-진 공간으로 확장 시킨 것이며 또한 울트라 비 아르키메디언 적분의 존재성에 대한 질문의 답으로 볼 수 있다. 본 논문에서는 이러한 p-진 q-적분의 수학사적 배경을 살펴보고, 현재 어떠한 방향으로 연구가 진행되고 있는지를 고찰한다.

• 한국항행학회논문지
• /
• 제13권1호
• /
• pp.126-133
• /
• 2009

본 논문에서는 마커 없이 증강 현실을 구현하기 위한 물체 인식 기법을 제안한다. 먼저 SIFT(Scale Invariant Feature Transform)알고리즘을 사용하여 물체 영상으로부터 특징점을 찾는데, 이러한 특징점들은 비율, 회전 또는 이동시에도 그 특징이 변하지 않는 장점이 있다. 또한 조도의 변화에도 일부는 변화지 않는 특성을 갖는다. 추출된 특징점의 독립적인 특성을 이용해 화면내의 다른 이미지의 매칭 포인트를 찾을 수 있는데, 학습된 영상과 매칭이 이루어지면, 매칭된 점을 이용해 화면내의 물체를 찾는다. 본 논문에서는 장면의 첫 프레임에서 발생하는 템플릿 이미지와의 매칭을 통해 현재의 화면에서 물체를 인식하였다. 네 종류의 물체에 대해 인식 실험을 한 결과 제안한 방법이 우수한 성능을 갖는 것을 확인하였다.

• 한국음향학회지
• /
• 제25권7호
• /
• pp.333-338
• /
• 2006

수중 방사소음 측정시 낮은 신호대 잡음비를 가지는 신호에 대해 유용한 신호를 얻기 위해서는 잡음제거가 이루어져야 한다. 본 논문은 잡음제거를 수행하기 위하여 Donoho 등에 의해 제안된 Translation-Invariant (TI) 웨이브렛 기반으로 다중 임계치 함수를 적용한 잡음제거 기법을 제안한다. 기존의 웨이브렛 잡음제거 기법은 특이점 부근에서 Pseudo-Gibbs 현상이 발생하는 문제점이 있다 TI 웨이브렛은 신호의 특성 위치를 변화시켜 Pseudo-Gibbs 현상을 제거한다. 그리고 배경잡음 및 외부잡음을 제거하기 위해 각 노드별 변형된 소프트 임계치를 적용한 다중 임계치 함수를 제안한다. 제안 기법의 타당성을 검토하기 위해 모의 시뮬레이션과 해상실험을 수행한 결과 신호대 잡음비가 23dB 및 18dB 이상 개선됨을 확인하였다.

• 호남수학학술지
• /
• 제23권1호
• /
• pp.133-143
• /
• 2001

In this paper, we characterize some semi-invariant submanifolds of codimension 3 with almost contact metric structure (${\phi}$, ${\xi}$, g) satisfying 𝔏_ξ∇ = 0 in a nonflat complex space form, where ${\nabla}$ denotes the Riemannian connection induced on the submanifold, and 𝔏_ξ is the operator of the Lie derivative with respect to the structure vector field ${\xi}$.