• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권2호
• /
• pp.103-116
• /
• 2017

본 논문에서는 Apache Spark SQL을 이용하여 임의의 두 공간 객체들 간의 위상 관계와 방향 관계를 나타내는 새로운 정성 공간 지식을 효율적으로 추론해내는 대용량 정성 공간 추론기의 설계와 구현에 대해 소개한다. Apache Spark SQL은 Hadoop 클러스터 컴퓨터 시스템에서 다양한 데이터들 간의 매우 효율적인 조인 연산과 질의 처리 기능을 제공하는 분산 병렬 프로그래밍 환경이다. 본 공간 추론기에서는 정성 공간 추론의 전체 과정을 지식 인코딩, 역 관계 추론, 동일 관계 추론, 이행 관계 추론, 관계 정제, 지식 디코딩 등 크게 총 6개의 작업들로 나누고, 논리적 인과관계와 계산 효율성을 고려하여 작업들 간의 처리 순서를 결정하였다. 지식 인코딩 작업에서는 추론의 전처리 과정으로서 XML/RDF 형태의 입력 지식을 보다 간략한 내부 형태로 변환함으로써, 추론 대상인 지식 베이스의 크기를 축소시켰다. 일반적으로 이행 관계 추론 작업과 관계 정제 작업의 반복은 정성 공간 추론에 필요한 가장 많은 계산 시간과 기억 공간을 소모한다. 이 작업들을 효율화하기 위해 본 공간 추론기에서는 공간 추론에 필요한 최소한의 이접 관계들을 찾아내고, 이들을 기반으로 이행 관계 추론을 위한 조합표를 큰 폭으로 축소하고 관계 정제 작업도 최적화하였다. 대규모 벤치마킹 공간 지식 베이스를 이용한 실험을 통해, 본 논문에서 제안하는 대용량 정성 공간 추론기의 높은 추론 성능과 확장성을 확인하였다.

• ETRI Journal
• /
• 제32권2호
• /
• pp.348-350
• /
• 2010

This letter presents an enhancement of EigenTrust. Using the beta distribution, local trust values can be more correctly evaluated. Simulation shows that the proposed scheme calculates the local trust more correctly by up to 8%. For personalization, the proposed scheme provides cumulative transitive values from the local trust to the global trust with mathematically guaranteed convergence.

• 충청수학회지
• /
• 제20권4호
• /
• pp.477-484
• /
• 2007

Let h : M ${\rightarrow}$ M be an almost periodic homeomorphism of a compact metric space M onto itself. We prove that h is topologically transitive iff every element of M has a dense orbit. It follows as a corollary that an almost periodic homeomorphism of a compact metric space onto itself can not be chaotic. Some additional related observations on a Cantor set are made.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.694-696
• /
• 2002

본 연구에서는 패트리 넷에서의 교착 상태 확인을 추이적 행렬을 이용하여 분석하는 기법을 제안한다. 교착 상태란 패트리 넷에서 마킹이 더 이상 진행 되지 못하고 서로 점화 가능 상태를 기다리는 상태로 자원 공유의 문제에서 많이 발생 가능하다. 따라서. 모든 플레이스와 트랜지션과의 관계를 나타내는 추이적 행렬을 이용하여 간단하게 확인분석이 용이한 기법을 제안한다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2006년도 하계학술대회
• /
• pp.197-201
• /
• 2006

추이 서명 스킴은 edge에 대한 서명을 연결하여 경로에 대한 서명을 만드는 서명 스킴이다. 본 논문은 강한 Diffie-Hellman 가정을 이용하여 랜덤 오라클을 가정하지 않은 추이서명 스킴을 제안한다

• 대한수학회보
• /
• 제51권2호
• /
• pp.387-400
• /
• 2014

We prove that the set of k-type nonwandering points of a Z2-action T can be decomposed into a disjoint union of closed and T-invariant sets $B_1,{\ldots},B_l$ such that $T|B_i$ is topologically k-type transitive for each $i=1,2,{\ldots},l$, if T is expansive and has the shadowing property.

• 대한수학회보
• /
• 제46권2호
• /
• pp.281-287
• /
• 2009

In this paper, we develop the idea of a generalized upper set in a BE-algebra. Furthermore, these sets are considered in the context of transitive and self distributive BE-algebras and their ideals, providing characterizations of one type, the generalized upper sets, in terms of the other type, ideals.

• Kyungpook Mathematical Journal
• /
• 제54권4호
• /
• pp.655-665
• /
• 2014

The number of topologies (non-homeomorphic topologies) on a fixed finite set having n elements are now known up to n = 18 (n = 16 respectively) but still no complete formula yet. There are one to one correspondences among topologies, preorders and transitive digraphs on a given finite set. In this article, we enumerate topologies and non-homeomorphic topologies whose underlying graph is a given finite simple graph.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 ITC-CSCC -2
• /
• pp.665-668
• /
• 2000

In this paper, we are focused on the analysis of Petri nets model using the subnet. Specially, we are proposes a divide-conquer method of Petri nets under the condition of one-boundedness for all the Petri nets. The usefulness of the approach is shown by applying the proposed techniques to a illustration model.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제18권4호
• /
• pp.293-304
• /
• 2011

The notions of an initial section and a special set in BH-algebras are defined and some of their properties are obtained. The notion of a complicated BH-algebra is introduced and some related properties are obtained. Finally, the notion of essences in BH-algebras are defined, and many properties are investigated.