• Journal of the Chungcheong Mathematical Society
• /
• v.32 no.1
• /
• pp.97-111
• /
• 2019

The purpose of work is to study the sums of k distanced numbers in Pell sequence {$P_i$} as well as in the generalized ${\lambda}-Pell$ sequence {$P_{{\lambda},i}$}.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.40 no.1
• /
• pp.35-42
• /
• 2012

In this study, a feature-points-tracking algorithm is suggested using a particle filter for vision based navigation system. By applying a dynamic model of the feature point, the tracking performance is increased in high dynamic condition, whereas a conventional KLT (Kanade-Lucas-Tomasi) cannot give a solution. Futhermore, the particle filter is introduced to cope with irregular characteristics of vision data. Post-processing of recorded vision data shows that the tracking performance of suggested algorithm is more robust than that of KLT in high dynamic condition.

• Korean Journal of Cognitive Science
• /
• v.6 no.3
• /
• pp.5-23
• /
• 1995

According to a well-known argument (so-called the Godelian argument) proposed by Lucas. Godel's theorem refutes the thesis of mechanism. that is, the thesis that human cognitive system is no more than a Turing machine. The main aim of this paper is to show that this argument is not successful. However. I also argue that many pre-existing objections (by Benacerraf, Slezak. Boyer. Hofstadter etc.) to Gooelian argument are not satisfactory. either. Using Tarski's theorem. I then strengthen what I caII the consistency objection to Godelian argument. In my dilemma objection obtained. Godelian argument doesn't work because the argument has a false premise if we have the concept of global truth and the argument cannot be stated if not.

• Journal of Korean Society for Geospatial Information Science
• /
• v.16 no.4
• /
• pp.11-16
• /
• 2008

The goal of this study is to evaluate the KLT(Kanade-Lucas-Tomasi) for extracting and tracking the features using various data acquired from UAV. Sequences of images were collected for Jangsu-Gun area to perform the analysis. Four data sets were subjected to extract and track the features using the parameters of the KLT. From the results of the experiment, more than 90 percent of the features extracted from the first frame could successfully track through the next frame when the shift between frames is small. But when the frame to frame motion is large in non-consecutive frames, KLT tracker is failed to track the corresponding points. Future research will be focused on feature tracking of sequence frames with large shift and rotation.

• Smart Structures and Systems
• /
• v.31 no.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.

• The Journal of the Korea Contents Association
• /
• v.17 no.3
• /
• pp.42-52
• /
• 2017

Panorama image is a single image obtained by combining images taken at several viewpoints through matching of corresponding points. Existing panoramic image generation methods that find the corresponding points are extracting local invariant feature points in each image to create descriptors and using descriptor matching algorithm. In the case of video sequence, frames may be a lot, so therefore it may costs significant amount of time to generate a panoramic image by the existing method and it may has done unnecessary calculations. In this paper, we propose a method to quickly create a single panoramic image from a video sequence. By assuming that there is no significant changes between frames of the video such as in locally, we use the FAST algorithm that has good repeatability and high-speed calculation to extract feature points and the Lucas-Kanade algorithm as each feature point to track for find the corresponding points in surrounding neighborhood instead of existing descriptor matching algorithms. When homographies are calculated for all images, homography is changed around the center image of video sequence to warp images and obtain a planar panoramic image. Finally, the spherical panoramic image is obtained by performing inverse transformation of the spherical coordinate system. The proposed method was confirmed through the experiments generating panorama image efficiently and more faster than the existing methods.

• Proceedings of the Korean Society of Applied Entomolohy Conference
• /
• 2001.05a
• /
• pp.29-30
• /
• 2001

• Journal of the Korea Society of Computer and Information
• /
• v.9 no.3
• /
• pp.157-161
• /
• 2004

In this paper, we proposed LUC cryptosystem of the methods of decryption by reduced Lehmer totient fuction in Eisenstein field. it is more efficient than original LUC crytosystem. Futhermore, use of Chinese Reminder Theorem and ambiguity problem in decrypted message can be eliminate.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.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})$.

• Annual Conference of KIPS
• /
• 2006.05a
• /
• pp.661-664
• /
• 2006

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