• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.132.3-132
• /
• 2001

In this paper, we focus on the analysis of the scheduling problem in FMS after slicing off some sub-nets using the transitive matrix. This class of Time Petri nets is obtained by merging subnets based on the machine's operations. We can divide original system into some subnets based on machine's operations using Time Petri nets slice and analyze the feasibility time in each schedules. In this paper, we show the usefulness of transitive matrix to slice off some subnets from the original net, and explain on an example.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.5
• /
• pp.1259-1267
• /
• 2014

In this paper we show that any chain transitive set of a diffeomorphism on a compact $C^{\infty}$-manifold which is $C^1$-stably limit shadowable is hyperbolic. Moreover, it is proved that a locally maximal chain transitive set of a $C^1$-generic diffeomorphism is hyperbolic if and only if it is limit shadowable.

• Journal of Institute of Control, Robotics and Systems
• /
• v.8 no.4
• /
• pp.292-298
• /
• 2002

We focus on the slicing off some sub-nets using the transitive matrix. Control flows in the Petri nets is done based on the token flows. One control f]ow explains the independent tokens status and if the token-in divides into several tokens after firing a transition then the control flow divides to several flows, as well. Accordingly, we define that the basic unit of concur-rency (short BUC) is a set of the executed control flows based on the behavioral properties in the net. The BUC is S-invariant which has one control flow. We show the usefulness of transitive matrix to slice off some subnets from the original net based on BUC-through on an example.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.3
• /
• pp.657-665
• /
• 2016

A general notion of ${\chi}$-transitive groups was introduced by C. Delizia et al. in [6], where ${\chi}$ is a class of groups. In [5], Ciobanu, Fine and Rosenberger studied the relationship among the notions of conjugately separated abelian, commutative transitive and fully residually ${\chi}$-groups. In this article we study the concept of 2-Engel transitive groups and among other results, its relationship with conjugately separated 2-Engel and fully residually ${\chi}$-groups are established. We also introduce the notion of 2-Engelizer of the element x in G and denote the set of all 2-Engelizers in G by $E^2(G)$. Then we construct the possible values of ${\mid}E^2(G){\mid}$.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.3
• /
• pp.739-750
• /
• 2020

A simple graph is called semisymmetric if it is regular and edge transitive but not vertex transitive. Let p be a prime. Folkman proved [J. Folkman, Regular line-symmetric graphs, Journal of Combinatorial Theory 3 (1967), no. 3, 215-232] that no semisymmetric graph of order 2p or 2p² exists. In this paper an extension of his result in the case of cubic graphs of order 34p³, p ≠ 17, is obtained.

• Journal of the Korean Mathematical Society
• /
• v.41 no.1
• /
• pp.21-38
• /
• 2004

We prove that a Banach space that is convex-transitive and such that for some element u in the unit sphere, and for every subspace Μ containing u, it happens that the subset of norm attaining functionals on Μ is second Baire category in $M^{*}$ is, in fact, almost-transitive and superreflexive. We also obtain a characterization of finite-dimensional spaces in terms of functions that attain their supremum: a Banach space is finite-dimensional if, for every equivalent norm, every rank-one operator attains its numerical radius. Finally, we describe the subset of norm attaining functionals on a space isomorphic to $\ell$$_1$, where the norm is the restriction of a Luxembourg norm on $L_1$. In fact, the subset of norm attaining functionals for this norm coincides with the subset of norm attaining functionals for the usual norm.m.

• Journal of the Korean Mathematical Society
• /
• v.56 no.3
• /
• pp.805-823
• /
• 2019

We introduce polynomial PH-MPH transitive mappings which transform planar PH curves to MPH curves in ${\mathbb{R}}^{2,1}$, and prove that parameterizations of Enneper surfaces of the 1st and the 2nd kind and conjugates of Enneper surfaces of the 2nd kind are PH-MPH transitive. We show how to solve $C^1$ Hermite interpolation problems in ${\mathbb{R}}^{2,1}$, for an admissible $C^1$ Hermite data-set, by using the parametrization of Enneper surfaces of the 1st kind. We also show that we can obtain interpolants for at least some inadmissible data-sets by using MPH biarcs on Enneper surfaces of the 1st kind.

• Kyungpook Mathematical Journal
• /
• v.62 no.2
• /
• pp.213-227
• /
• 2022

We discuss the relation between units and nilpotents of a ring, concentrating on the transitivity of units on nilpotents under regular group actions. We first prove that for a ring R, if U(R) is right transitive on N(R), then Köthe's conjecture holds for R, where U(R) and N(R) are the group of all units and the set of all nilpotents in R, respectively. A ring is called right UN-transitive if it satisfies this transitivity, as a generalization, a ring is called unilpotent-IFP if aU(R) ⊆ N(R) for all a ∈ N(R). We study the structures of right UN-transitive and unilpotent-IFP rings in relation to radicals, NI rings, unit-IFP rings, matrix rings and polynomial rings.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.3
• /
• pp.469-481
• /
• 1997

In this paper we define the generalized regular relations with respect to homorphisms and find some properties of those in transformation groups. And we also investigate the equivalent conditions for the generalized regular relations to be transitive.

• Journal of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.495-513
• /
• 2024

In the paper, we show that for a generic C¹ vector field X on a closed three dimensional manifold M, any isolated transitive set of X is singular hyperbolic. It is a partial answer of the conjecture in [13].