• 인지과학
• /
• 제6권3호
• /
• pp.5-23
• /
• 1995

루카스의 이른바 괴델 논변에 의하면,괴델의 정리는 기계론 논제 즉 인간 인지 체계가 튜링 기계라는 논제를 반박한다.이 논문에서는 필자는 이 논변이 성공적이지 못하다는 것을 보이려고 한다.그러나 필자는 또한 괴델 논변에 대한 기존의 많은 반론들 역시 받아들일 만하지 않다는 것을 주장한다.그리고 나서 필자는 괴델 논변에 대한 "일관성" 반론을 강화한다. 그렇게 해서 얻어진 필자의 딜레마 반론에 의하면, 괴델 논변은 (1) 우리가 "전반적" 진리 개념을 가질 경우 거짓 전제를 가지고 (2) 우리가 그러한 진리 개념을 갖지 않을 경우 진술될 수 없으므로, 어떤 경우이든 성공적이지 못하다.

• 대한공간정보학회지
• /
• 제16권4호
• /
• pp.11-16
• /
• 2008

본 연구의 목적은 KLT추적자를 사용하여 무인헬기에서 취득된 비디오 동영상과 같은 연속된 영상 프레임간의 공액점을 추적하기 위한 추적자의 실행능력을 평가하는데 있다. 연구 대상지역으로서 장수군을 선정하여 무인헬기의 카메라에서 취득된 연속영상을 이용하였으며, KLT 매개변수를 이용한 특징점 추출과 추적을 분석하기 위해서 4가지 경우를 고려한 영상자료�V이 사용되었다. 그 결과 영상간의 이동과 회전이 매우 작은 영상들간의 공액점 추적은 약 90%이상이 성공적으로 추적되었다. 그러나 이동 및 회전량이 큰 영상간의 추적에서는 잘못 추적된 공액점이 포함되고 있어서 이를 보완하기 위한 연구가 추가적으로 수행되어야 할 것으로 판단된다.

• Smart Structures and Systems
• /
• 제31권4호
• /
• pp.409-419
• /
• 2023

Structural integrity can be accessed from dynamic deformations of structures. Moreover, dynamic deformations can be acquired from non-contact sensors such as video cameras. Kanade-Lucas-Tomasi (KLT) algorithm is one of the commonly used methods for motion tracking. However, averaging throughout the extracted features would induce bias in the measurement. In addition, pixel-wise measurements can be converted to physical units through camera intrinsic. Still, the depth information is unreachable without prior knowledge of the space information. The assigned homogeneous coordinates would then mismatch manually selected feature points, resulting in measurement errors during coordinate transformation. In this study, a two-stage optimization method for video-based measurements is proposed. The manually selected feature points are first optimized by minimizing the errors compared with the homogeneous coordinate. Then, the optimized points are utilized for the KLT algorithm to extract displacements through inverse projection. Two additional criteria are employed to eliminate outliers from KLT, resulting in more reliable displacement responses. The second-stage optimization subsequently fine-tunes the geometry of the selected coordinates. The optimization process also considers the number of interpolation points at different depths of an image to reduce the effect of out-of-plane motions. As a result, the proposed method is numerically investigated by using a truss bridge as a physics-based graphic model (PBGM) to extract high-accuracy displacements from recorded videos under various capturing angles and structural conditions.

• 한국콘텐츠학회논문지
• /
• 제17권3호
• /
• pp.42-52
• /
• 2017

파노라마 영상은 여러 시점에서 촬영한 영상들을 대응점들의 정합을 통해 합성하여 얻은 단일 영상을 말한다. 기존의 파노라마 영상 생성 방법들은 대응점들을 구할 때 각 영상에서 지역적 불변 특징점을 추출하여 서술자를 생성하고 매칭 알고리즘을 사용한다. 동영상의 경우, 프레임 수가 많아 기존의 방법으로 파노라마 영상을 생성하는 것이 상당한 시간을 소비하고 불필요한 계산을 한다. 본 논문에서는 동영상을 입력 받아 구면 파노라마 영상을 효과적으로 생성하는 기법을 제안한다. 동영상의 프레임 간의 변화가 지역적으로 크지 않으며 연속적이라는 전제 조건으로 반복성 및 계산속도가 높은 FAST 알고리즘을 사용하여 특징점들을 추출하고, Lucas-Kanade 알고리즘을 통해 각 특징점들을 추적하여 그 주변에서 대응점을 찾는다. 모든 영상에 대해서 호모그래피를 계산하면 가운데 영상을 중심으로 호모그래피를 변경하고 영상을 와핑하여 평면 파노라마 영상을 얻는다. 마지막으로 구면 좌표계 역변환식을 통해 구면 파노라마 영상을 변환하여 얻는다. 실험을 통하여 제안하는 방법이 기존의 방법들보다 파노라마 영상을 빠르고 효과적으로 생성하는 것을 확인하였다.

• 한국응용곤충학회:학술대회논문집
• /
• 한국응용곤충학회 2001년도 합동 춘계 학술발표회
• /
• pp.29-30
• /
• 2001

• 한국컴퓨터정보학회논문지
• /
• 제9권3호
• /
• pp.157-161
• /
• 2004

본 논문은 간략화된 Lehmer totient 함수로 LUC 암호시스템을 효율적으로 복호화 할 수 있음을 제안한다. 기존 LUC 암호시스템 에 비하여 복호화된 메시지의 모호성과 중국인의 나머지정리 이용을 줄일 수 있다.

• 대한수학회보
• /
• 제40권3호
• /
• pp.503-508
• /
• 2003

We prove that every M-ideal is strongly proximinal and that, for any Banach space X, $K(X,\;c_0)$ is an M-ideal in $L(X,\;\ell^{\infty})$.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2006년도 춘계학술발표대회
• /
• pp.661-664
• /
• 2006

본 논문에서는 특징기반 물체추적을 위해 많이 사용되고 있는 KLT(Kanade-Lucas-Tomasi) 알고리즘을 소개하고, 이 알고리즘을 이용한 특징점(corner) 추출시, 영상에서 잡음의 영향이 KLT 알고리즘의 성능에 어떤 영향을 미치는지 잡음이 포함된 영상과 포함되지 않은 영상을 이용하여 안정된 특징점 추출을 위한 실험을 실시하고 비교 분석하였다.

• 대한지리학회:학술대회논문집
• /
• 대한지리학회 2003년도 추계학회술표회 논문집
• /
• pp.83-88
• /
• 2003

경관이란 단어 속엔 많은 내용이 포함되어 있는데, 어느 지역의 지질구조, 그 지역의 토양, 동식물과 과거와 현재의 인간 행태의 유형들, 즉 경작지, 산림, 취락과 지역 산업 등을 아우른다. 경관은 단순히 미추의 문제일 뿐 아니라 한 지역의 전체 생태계와 그 지역의 차지하고 이용해 온 인간의 역사를 포함한다. (출처: Poore, D.와 Hoore, J, 1997. 경관보호지역에 관한 국제심포지엄, Lucas, P. K C. 199B에서 재인용) (중략)

• Kyungpook Mathematical Journal
• /
• 제49권3호
• /
• pp.483-492
• /
• 2009

In this paper we give formulae for sums of products of two Horadam type generalized Fibonacci numbers with the same recurrence equation and with possibly different initial conditions. Analogous improved alternating sums are also studied as well as various derived sums when terms are multiplied either by binomial coefficients or by members of the sequence of natural numbers. These formulae are related to the recent work of Belbachir and Bencherif, $\v{C}$erin and $\v{C}$erin and Gianella.