• 충청수학회지
• /
• 제26권4호
• /
• pp.821-829
• /
• 2013

Let f be a diffeomorphism of a closed $C^{\infty}$ manifold M, and let ${\Lambda}{\subset}M$ be a closed f-invariant set. We show that if $f{\mid}_{\Lambda}$ is robustly chain transitive with shadowing, then ${\Lambda}$ is the hyperbolic homoclinic class.

• 충청수학회지
• /
• 제30권2호
• /
• pp.177-181
• /
• 2017

Let $f:M{\rightarrow}M$ be a diffeomorphism of a compact smooth manifold M. In this paper, we show that $C^1$ generically, if a chain transitive set ${\Lambda}$ is locally maximal then it admits a dominated splitting. Moreover, $C^1$ generically if a chain transitive set ${\Lambda}$ of f is locally maximal then it has zero entropy.

• 한국시뮬레이션학회논문지
• /
• 제10권1호
• /
• pp.13-24
• /
• 2001

We propose a divide-conquer method of Petri nets under the condition of one-boundedness for all the Petri nets. We introduce the P-invariant transitive matrix of Petri nets and relationship between them. The feature of the P-invariant transitive matrix is that each element stands for the transitive relationship between input place and output place through the firing of the enable transition.

• Journal of applied mathematics & informatics
• /
• 제35권1_2호
• /
• pp.83-93
• /
• 2017

The Cayley graph ${\Gamma}=Cay(G,S)$ is called normal edge-transitive if $N_A(R(G))$ acts transitively on the set of edges of ${\Gamma}$, where $A=Aut({\Gamma})$ and R(G) is the regular subgroup of A. In this paper, we determine all hexavalent normal edge-transitive Cayley graphs on groups of order pqr, where p > q > r > 2 are prime numbers.

• 한국시뮬레이션학회논문지
• /
• 제11권4호
• /
• pp.57-68
• /
• 2002

The analysis of the cyclic scheduling problem in FMS using the transitive matrix has been proposed. Since the transitive matrix may explain all the relations between the places and transitions, we propose an algorithm to get good solution after slicing off some subnets from the original net based on machines operations. For analyzing the schedule problem, we considered two time functions such as produce time and waiting time using the P-invariant. In addition, we are shown the effectiveness of proposed algorithm after comparing with unfolding algorithms.

• 대한수학회지
• /
• 제58권4호
• /
• pp.977-1000
• /
• 2021

Consider the high dimensional torus 𝕋ⁿ and the set 𝜺 of its endomorphisms. We construct a map in 𝜺 that is robustly transitive if 𝜺 is endowed with the C² topology but is not robustly transitive if 𝜺 is endowed with the C¹ topology.

• 대한수학회보
• /
• 제59권1호
• /
• pp.203-212
• /
• 2022

A simple graph is called semi-symmetric if it is regular and edge transitive but not vertex transitive. In this paper we prove that there is no connected cubic semi-symmetric graph of order 12p³ for any prime number p.

• East Asian mathematical journal
• /
• 제25권4호
• /
• pp.533-541
• /
• 2009

In this paper, we classify reflexible edge-transitive embeddings of complete bipartite graphs $K_{m,n}$ for any odd positive integers m and n. As a result, for any odd m, n, it will be shown that there exists only one reflexible edge-transitive embedding of $K_{m,n}$ up to isomorphism.

• 한국정보과학회논문지:데이타베이스
• /
• 제32권5호
• /
• pp.526-535
• /
• 2005

온톨로지는 특정 개념에 대한 부가정보 및 개념간의 관계를 기술하는 방법으로서 고차원의 웹과 서비스를 실현하기 위한 시멘틱 웹, 그리고 지식관리 시스템을 비롯한 다양한 응용분야의 요구와 관심이 증가하면서 그 중요성이 대두되고 있다. 온톨로지에서 정보에 대한 접근은 특정 개념과 특정 관계를 가지는 데이타를 찾는 것이 주를 이루는데, 이러한 관계가 주로 트랜지티브 관계이기 때문에 트랜지티브 질의를 처리하는 것이 많은 비중을 차지한다. 또한 이와 같은 트랜지티브 클로저 질의 처리는 재귀호출의 형태로서 그 처리 비용 또한 매우 크다. 본 논문에서는 이와 같은 트랜지티브 클로저 질의의 효율적 처리를 지원하기 위한 방법으로써 그래프 레이블링을 이용한 전처리 기법을 제안한다 이 기법은 저장 공간을 효율적으로 사용하고 알고리즘도 단순한 특징을 가지기 때문에 트랜지티브 클로저 질의에 대한 응답 시간을 줄이는 장점을 가지게 된다. 그리고 이와 같이 제안한 기법에 대해 기존 시스템들과 비교해 봄으로써 그래프 레이블링을 이용한 기법이 대용량 온톨로지에서의 트랜지티브 클로저 질의 처리에 효율적임을 보이고자 한다.

• 충청수학회지
• /
• 제23권1호
• /
• pp.65-71
• /
• 2010

Let $\Lambda$ be a transitive set for f. In this paper, we show that if a f-invariant set $\Lambda$ has the $C^{1}$-stably shadowing property, then $\Lambda$ admits a dominated splitting.