• Spatial Information Research
• /
• v.20 no.3
• /
• pp.67-81
• /
• 2012

Due to the recent advancement of cloud computing, the research on database outsourcing has been actively done. Moreover, the number of users who utilize Location-based Services(LBS) has been increasing with the development in w ireless communication technology and mobile devices. Therefore, LBS providers attempt to outsource their spatial database to service provider, in order to reduce costs for data storage and management. However, because unauthorized access to sensitive data is possible in spatial database outsourcing, it is necessary to study on the preservation of a user's privacy. Thus, we, in this paper, propose a spatial data encryption scheme to produce outsourced database from an original database. We also propose a k-Nearest Neighbor(k-NN) query processing algorithm that efficiently performs k-NN by using the outsourced database. Finally, we show from performance analysis that our algorithm outperforms the existing one.

• Spatial Information Research
• /
• v.8 no.2
• /
• pp.243-255
• /
• 2000

The spatial distribution characteristics and patterns of geographic features in space can be understood through a variety of analysis techniques. The scale is one of most important factors in spatial analysis techniques. This study is aimed at identifying the characteristics of spatial data with a coarser spatial resolution and finding procedures for spatial resolution in operational scale. To achieve these objectives, this study selected LANSAT TM imagery for Sunchon Bay, a coastal wetland for a study site, applied the indices for representing scale characteristics with resolution, and compared those indices. Local variance and fractal dimension developed by previous studies were applied to measure the textual characteristics. In this study, Moran s I was applied to measure spatial pattern change of variance data which were generated from the process of coarser resolution. Drawing upon the Moran s I of variancedata was optimum technique for analysing spatial structure than those of previous studies (local variance and fractal dimension). When the variance data represents maximum Moran´s I at certainly resolution, spatial data reveals maximum change at that resolution. The optimum resolution for spatial data can be explored by applying these results.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.529-531
• /
• 2004

3차원 가상환경을 효과적으로 활용하기 위해서 사용자는 환경 내부의 방문할만한 장소들의 위치를 파악하고 그곳까지 도달하기 위한 탐색항해 기술에 익숙해 있어야 한다. 지금까지는 환경 구조의 중요 지점만을 정리한 형태의 정보를 제공하는 방법이 주로 연구되고 있다. 그러나 사용자는 환경에 대해서 공간적 정보만으로 이해하지 않는다. 그보다는 환경 위에서 다루어지는 여러 주제들을 통해 환경을 이해하고 또한 타인과 정보를 교환한다. 본 논문에서는 의미기반의 탐색항해 기법인 Topic Map을 이용하여 공간지식과 개념지식을 포괄하는 정보를 활용하여 가상환경에 위치한 목적지를 찾아가는 탐색항해 도구를 제안한다. 이를 통해서 환경구조에 익숙하지 않은 사용자라도 효과적인 탐색항해를 수행할 수 있으며, 환경을 구성하는 객체들의 위치가 자주 변하더라도 사용자에게 동일한 탐색항해 환경을 제공할 수 있으리라 기대한다.

• Journal of KIISE:Software and Applications
• /
• v.31 no.9
• /
• pp.1142-1149
• /
• 2004

Motion Estimation(ME) has been developed to reduce temporal redundancy in digital video signals and increase data compression ratio. ME is an Important part of video encoding systems, since it can significantly affect the output quality of encoded sequences. However, ME requires high computational complexity, it is difficult to apply to real time video transmission. for this reason, motion estimation algorithms with low computational complexity are viable solutions. In this paper, we present an efficient method with low computational complexity based on spatial and temporal correlations of motion vectors. The proposed method uses temporally and spatially correlated motion information, the motion vector of the block with the same coordinate in the reference frame and the motion vectors of neighboring blocks around the current block in the current frame, to decide the search pattern and the location of search starting point adaptively. Experiments show that the image quality improvement of the proposed method over MVFAST (Motion Vector Field Adaptive Search Technique) and PMVFAST (Predictive Motion Vector Field Adaptive Search Technique) is 0.01～0.3(dB) better and the speedup improvement is about 1.12～l.33 times faster which resulted from lower computational complexity.

• The KIPS Transactions:PartD
• /
• v.16D no.1
• /
• pp.113-122
• /
• 2009

Since the traditional pattern mining methods only probe unspecified moving patterns that seem to satisfy users' requests among diverse patterns within the limited scopes of time and space, they are not applicable to problems involving the mining of optimal moving patterns, which contain complex time and space constraints, such as 1) searching the optimal path between two specific points, and 2) scheduling a path within the specified time. Therefore, in this paper, we illustrate some problems on mining the optimal moving patterns with complex time and space constraints from a vast set of historical data of numerous moving objects, and suggest a new moving pattern mining method that can be used to search patterns of an optimal moving path as a location-based service. The proposed method, which determines the optimal path(most frequently used path) using pattern frequency retrieved from historical data of moving objects between two specific points, can efficiently carry out pattern mining tasks using by space generalization at the minimum level on the moving object's location attribute in consideration of topological relationship between the object's location and spatial scope. Testing the efficiency of this algorithm was done by comparing the operation processing time with Dijkstra algorithm and $A^*$ algorithm which are generally used for searching the optimal path. As a result, although there were some differences according to heuristic weight on $A^*$ algorithm, it showed that the proposed method is more efficient than the other methods mentioned.

• Annual Conference of KIPS
• /
• 2012.11a
• /
• pp.1578-1580
• /
• 2012

모델 검증은 시스템이 만족해야 하는 속성을 자동으로 검사하는 정형 검증 기법으로써, 많은 도메인에서 활용되고 있다. 특히 모델 검증 도구들에 따라 상태 공간 탐색 방식이 다르고, 상태 공간 탐색 방식에 따라서 생성되는 반례도 달라진다. 본 논문에서는 모델 검증의 대표적인 도구인 SPIN과 SMV에서 생성하는 반례를 상호 비교한다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.10a
• /
• pp.384-389
• /
• 1998

본 논문은 특정 응용에 적합한 퍼지 제어기의 최적 설계 파라메터(퍼지 규칙과 소속 함수)를 찾는데 역전파 학습 과정과 유전 알고리즘을 결합한 Lamarckian 상호적응 기법을 이용한 뉴로-퍼지 제어기의 새로운 설계 방법을 제안한다. 설계 파라메타들은 진화에 의한 전역적 탐색을 통해 높은 포함값과 유용한 퍼지 규칙들을 갖는 규칙 베이스와 작은 근사화 오차와 좋은 제어 성능을 갖는 소속 함수들을 얻도록 제어기간 파라메타 조절을 수행하며, 학습에 의한 국부적 탐색을 통해 각 퍼지 제어기가 원하는 제어 결과를 나타내도록 제어기내 파라메타 조절을 수행한다. 제안한 상호적응 설계 방법은 유전 알고리즘의 모든 세대에서 역전파 학습이 이루어지므로 보다 좋은 근사화 능력을 나타나고, 사용한 무게 중심 비퍼지화기가 정확한 비퍼지화값을 계산하므로 보다 좋은 제어 성능을 가지며, 퍼지 규칙 베이스와 소속 함수들의 최적화 탐색 과정이 입출력 공간의 같은 퍼지 분할 상에서 통합된 적응 함수에 의하여 동시에 수행되므로 탐색을 위한 작업 공간이 아주 작아지는 장점이 있다. 시뮬레이션 결과는 Lamarckian 상호 적응에 의해 얻어진 FLC가 퍼지 규\ulcorner 수, 근사화 능력, 제어 성능등 모든면에서 다른 방법에 의해 얻어진 FLC보다 가장 우수함을 보여준다.

• Proceedings of the Acoustical Society of Korea Conference
• /
• 1998.06c
• /
• pp.75-78
• /
• 1998

이 논문에서는 대용량 연속음성 인식에서 인식 속도를 향상시키기 위한 방법들에 대해서 연구하였다. 음성인식에 있어서 많은 양의 계산을 요하는 부분은 관측 확률의 계산과 탐색에 필요한 계산이다. 탐색에 필요한 계산을 줄이기 위하여 빔 탐색법과 phoneme look-ahead기법을 통해 탐색 공간을 줄였으며, 관측 확률을 계산하는데 소요되는 시간을 줄이기 위하여 입력 특징 벡터와 이웃 관계에 있는 가우시안 성분들만 정확한 계산을 하는 VQ에 의한 계산량 감축 방법과 tree-structured pdf 방법을 구현하였다. 3천개의 어휘와 2천여개의 트라이폰 모델로 구성된 연속 음성인식 시스템에서 보통의 Viterbi 빔 탐색법을 적용한 경우에 실시간의 2.73배의 인식 속도로 93.39%의 단어 인식률을 얻을 수 있는데 phoneme look-ahead 기법과 tree-structured pdf 방법을 추가 적용함으로써 비슷한 인식 성능에서 1.55배의 인식 속도를 얻을 수 있었다.

• Journal of KIISE:Software and Applications
• /
• v.31 no.6
• /
• pp.829-839
• /
• 2004

Methods based on integer programming have been shown to be very effective in solving various crew pairing optimization problems. However, their applicability is limited to problems with linear constraints and objective functions. Also, those methods often require an unacceptable amount of time and/or memory resources given problems of larger scale. Heuristic methods such as neighborhood search, on the other hand, can handle large-scaled problems without too much difficulty and can be applied to problems having any form of objective functions and constraints. However, neighborhood search often gets stuck at local optima when faced with complex search spaces. This paper presents ,i hybrid algorithm of neighborhood search and integer programming, which nicely combines the advantages of both methods. The hybrid algorithm has been successfully tested on a large-scaled crew pairing optimization problem for a real subway line.

• Annual Conference of KIPS
• /
• 2007.11a
• /
• pp.775-778
• /
• 2007

로봇의 응용과 활용분야는 현 산업의 주요 이슈가 되고 있다. 현재 싱글로봇의 효율적인 운영을 넘어 넓은 공간에서 중복적인 공간 탐색을 최소화하기 위한 멀티 로봇 운영 기법은 중요한 연구 주제 중에 하나로 부각되고 있다. 멀티 로봇을 효율적으로 운영하기 위해서는 멀티 로봇 시스템의 각 싱글 로봇의 움직임을 파악하여 효율적으로 업무를 할당 할 수 있는 관리체계가 필요하다. 멀티 로봇의 업무 할당과 중복 탐색 최소화를 위해 본 논문에서는 중앙 서버와 RFID 시스템을 이용한 청소 멀티 로봇 운영 기법을 제안한다. 제안한 시스템은 로봇의 localization, navigation 및 mapping을 효율적으로 수행하기 위해 RFID를 활용하고 최적의 청소 공간 할당을 위하여 중앙 서버가 멀티 로봇을 효율적으로 관리한다. 청소 멀티 로봇 시스템에서는 싱글 로봇과 비교하여 효율적인 로봇의 운영을 보장할 뿐만 아니라 각 싱글 로봇의 상태와 주변 상태를 고려한 fault-tolerance를 제공함으로써 로봇 운영의 신뢰성을 보장할 수 있다.