• Journal of applied mathematics & informatics
• /
• 제28권1_2호
• /
• pp.99-107
• /
• 2010

This paper is a study about the relationships among topologies and intuitionistic fuzzy topology induced, respectively, by approximation operators and an intuitionistic fuzzy approximation operator associated with an approximation space (X, R), when the relation R on X is precisely reflexive and transitive. In particular, we consider an intuitionistic fuzzy approximation operator on an approximation space X (i.e., a set X with a reflexive and transitive relation on it), which turns out to be an intuitionistic fuzzy closure operator. This intuitionistic fuzzy closure operator gives rise to two saturated fuzzy topologies on X and it turns out that all the level topologies of one of the fuzzy topology coincide and equal to the topology analogously induced on X by a crisp approximation operator. These observations are then applied to intuitionistic fuzzy automata.

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

In this paper, we show that if a nontrivial transitive set is $C^1$-stably measure expansive, then it admits a dominated splitting.

• 충청수학회지
• /
• 제35권1호
• /
• pp.91-101
• /
• 2022

We study some properties of nonwandering set Ω(𝜙) and chain recurrent set CR(𝜙) for an expansive flow which has the POTP on a compact TVS-cone metric spaces. Moreover we shall prove a spectral decomposition theorem for an expansive flow which has the POTP on TVS-cone metric spaces.

• 한국정보처리학회논문지
• /
• 제4권12호
• /
• pp.3069-3077
• /
• 1997

이 논문에서는 비공유 병렬구조에서 이행적 종속성을 갖는 선형적 재귀규칙의 병렬평가에 대한 패러다임을 제안한다. 병렬평가를 위해 우리는 모든 노드가 메시지 교환을 위해 연결망만을 공유하는 비공유 병렬구조를 고려한다. 여기서 정규화된 규칙의 평가는 그 규칙의 중명-이론적 의미의 계산이다. 이행적 종속성올 갖는 정규 화된 선형적 재귀규칙을 정의하고, 그 규칙이 등가의 표현식으로 변환될 수 있음을 보이고, 등가의 표현식을 근거로 결합, 분할, 이행성폐포 연산을 이용하여 정규화된 규칙에 대한 병렬평가를 위한 패러다임을 제안하고 시간 복잡도를 분석하였다.

• 대한수학회지
• /
• 제49권6호
• /
• pp.1111-1121
• /
• 2012

A graph is symmetric if its automorphism group acts transitively on the set of arcs of the graph. In this paper, we classify tetravalent symmetric graphs of order $9p$ for each prime $p$.

• 대한수학회보
• /
• 제33권4호
• /
• pp.531-536
• /
• 1996

Let $F$ denote $R$ or $C$. Put $A = SL(2, F)$. Define $P(F^2)$ to be the set of all 1-dimensional subspaces of $F^2$. Then the natural action of A on $F^2$ induces an action on $P(F^2)$.

• 충청수학회지
• /
• 제23권4호
• /
• pp.617-623
• /
• 2010

Let p be a hyperbolic periodic point of f, and let ${\Lambda}(p)$ be a closed set which containing p. In this paper, we show that $C^1$-generically, if $f{\mid}_{{\Lambda}(p)}$ has the $C^1$-stably asymptotic average shadowing property, then it admits a dominated splitting.

• 충청수학회지
• /
• 제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.

• 대한수학회보
• /
• 제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.