• 호남수학학술지
• /
• 제33권1호
• /
• pp.11-17
• /
• 2011

We study some properties of quasi-topological spaces. Also we introduce the concept of Q-continuity and investigate several types of quasi-topology on an SGNS.

• 호남수학학술지
• /
• 제38권3호
• /
• pp.625-642
• /
• 2016

The recent papers [7, 12] developed two maps named by an LA- [7] and an LMA-map [12]. The present paper studies their properties and further, develops generalized versions of an LA- and an LMA-map, which makes the LA- [7] and the LMA-map [12] improved.

• 호남수학학술지
• /
• 제35권2호
• /
• pp.319-327
• /
• 2013

In this paper we compare the notion of proper map in the category of topological spaces with that in the category of semialgebraic sets. To do this, we find some equivalence conditions for semialgebraically proper maps. In particular, we prove that a continuous semialgebraic map is semialgebraically proper if and only if it is proper. Moreover, we compare the semialgebraically proper map with the proper map in the sense of Delfs and Knebush [4].

• Journal of applied mathematics & informatics
• /
• 제14권1_2호
• /
• pp.277-288
• /
• 2004

In this paper, we discuss a continuous self-map of an interval and the existence of an uncountable strongly chaotic set. It is proved that if a continuous self-map of an interval has positive topological entropy, then it has an uncountable strongly chaotic set in which each point is recurrent, but is not almost periodic.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제3권10호
• /
• pp.397-406
• /
• 2014

미국의 Jeopardy! 퀴즈쇼와 같은 DeepQA 환경에서 인간을 대신해 컴퓨터가 효과적으로 답하기 위해서는, 광범위한 지식베이스와 빠른 시공간 추론 능력이 요구된다. 본 논문에서는 대표적인 병렬 분산 컴퓨팅 환경인 맵리듀스 프레임워크를 이용해, 새로운 방향 및 위상 관계를 효율적으로 추론할 수 있는 대용량 공간 추론 알고리즘을 제시한다. 이 추론 알고리즘은 CSD-9 방향 관계들과 RCC-8 위상 관계들을 포함한 대용량 공간 지식베이스를 입력으로 가정하며, 이로부터 새로운 방향 관계와 위상 관계들을 추론해내기 위해 지식베이스에 대한 경로 일관성 검사와 교차 일관성 검사를 수행한다. 맵리듀스 프레임워크의 원리에 따라 추론 계산의 병렬성을 극대화하기 위해, 맵 단계에서는 대용량의 지식베이스를 다수의 노드들에 효과적으로 분할하여 분산시키고, 리듀스 단계에서는 분산된 지식베이스들로부터 새로운 공간 지식을 유도하도록 공간 추론 알고리즘을 설계하였다. 본 연구에서는 맵리듀스 프레임워크로 구현한 대용량 공간 추론기와 샘플 공간 지식 베이스를 이용한 실험들을 수행하고, 이를 통해 본 논문에서 제안한 대용량 공간 추론기의 높은 성능을 확인할 수 있었다.

• 한국컴퓨터정보학회논문지
• /
• 제18권4호
• /
• pp.27-34
• /
• 2013

모바일 로봇은 자신의 임무를 수행하기 위해 탐색 기능을 가지고 있어야 한다. 탐색은 감시 로봇, 구조 로봇, 자원 탐사 로봇 등에 사용될 수 있다. 로봇이 환경을 탐색하기 위해서는 지도와 같은 환경에 대한 정보를 가지고 있어야 한다. 그러나 기존에 많이 사용되는 그리드 지도는 용량이 너무 커서 모바일 로봇에 사용하기 힘들다는 문제를 가지고 있다. 본 논문에서는 저 사양의 모바일 로봇에서 사용할 수 있는 하이브리드 지도를 제안한다. 또한 제안하는 하이브리드 지도를 사용하여 모든 영역을 탐색하는 방법을 제안하고 있다. 제안하는 방법은 로봇의 작업 환경을 현재 처리할 수 있는 영역과 처리 할 수 없는 영역으로 나누고, 나누어진 영역을 탐색하는 동시에 지도를 업데이트하며 영역을 확장해 나간다. 탐색이 완료된 영역은 하이브리드 맵 형태로 저장한다. 생성한 하이브리드 맵을 사용하여 로봇은 장애물이 없는 영역으로 이동 경로를 생성할 수 있다. 실험결과에 따르면 기존 그리드 지도에 비해 약 6%의 메모리만을 사용해 환경 지도를 생성할 수 있었다.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제14권2호
• /
• pp.63-70
• /
• 2007

In this paper, we introduce the concepts of r-gp-open map, weakly r-gp-open map, intuitionistic fuzzy r-compactness, nearly intuitionistic fuzzy r-compactness and almost intuitionistic fuzzy r-compactness defined by intuitionixtic gradations of openness, and obtain some characterizations.

• Korean Journal of Mathematics
• /
• 제12권2호
• /
• pp.177-183
• /
• 2004

In this paper, we introduce the concepts of half-interior, half-closure, half-gp-maps and half-gp-open maps defined by intuitionistic gradations of openness.

• 정보처리학회논문지B
• /
• 제8B권5호
• /
• pp.515-522
• /
• 2001

특징정보를 기반으로 한 유사화상 검색은 화상 데이터베이스에 있어서 중요한 과제의 하나이다. 화상 데이터의 특징정보를 각 화상을 식별하는데 유용한 정보이다. 본 논문에서는 자기조직화 맵기반의 고속 k-NN 탐색 알고리즘을 제안한다. 자기조직화 맵은 학습을 통하여 고차원 특징벡터를 2차원 공간에 맵핑함으로서 위상 특징맵을 생성한다. 위상 특징맵은 입력 데이터의 특징공간의 상호간의 유사성을 가지고 있으며, 각 노드는 노드벡터와 각 노드벡터에 가장 가까운 유사화상이 분류된다. 이러한 자기조직화 맴에 의한 유사화상 분류결과에 대한 k-NN 탐색을 구현하기 위한여, (1) 위상특징 맵에 대한 접근방법, (2) 고속탐색을 위한 pruning strategy의 적용을 실현하였다. 본 연구에서는 실험을 통하여 실제화상으로부터 추출한 색상 특징을 사용하여 제안한 알고리즘의 성능을 평가함으로써 유사화상 검색에 유효한 결과를 얻을 수 있었다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.37-42
• /
• 2005

This paper presents an autonomous system for reconstruction of three-dimensional indoor environments using a mobile robot. The system is composed of a mobile robot, a three-dimensional scanning system, and a notebook computer for registration, observation planning and real-time three-dimensional data transferring. Three-dimensional scanning system obtains three-dimensional environmental data and performs filtering of dynamic objects. Then, it registers multiple three-dimensional scans into one coordinate system and performs observation planning which finds the next scanning position by using the layered hexahedral-map and topological-map. Then, the mobile robot moves to the next scanning position, and repeats all procedures until there is no scanning tree in topological-map. In concurrence with data scanning, three-dimensional data can be transferred through wireless-LAN in real-time. This system is experimented successfully by using a mobile robot named KARA.