• Journal of the Korean Mathematical Society
• /
• v.37 no.5
• /
• pp.763-777
• /
• 2000

We investigate the existence of group invariant solutions of the Emden-Fowler equation, - u=$\mid$x$\mid$$\sigma$$\mid$u$\mid$p-1u in B, u=0 on B and u(gx)=u(x) in B for g G. Here B is the unit ball in n 2, 1$\sigma$ 0 and G is a closed subgrop of the orthogonal group. A soultion of the problem is called a G in variant solution. We prove that there exists a G invariant non-radial solution if and only if G is not transitive on the unit sphere.

• Honam Mathematical Journal
• /
• v.42 no.2
• /
• pp.219-234
• /
• 2020

The fundamental relation on a fuzzy hyperring is defined as the smallest equivalence relation, such that the quotient would be the ring, that is not commutative necessarily. In this paper, we introduce a new fuzzy strongly regular equivalence on fuzzy hyperrings, where the ring is commutative with respect to both sum and product. With considering this relation on fuzzy hyperring, the set of the quotient is a commutative ring. Also, we introduce fundamental functor between the category of fuzzy hyperrings and category of commutative rings and some related properties. Eventually, we introduce α-part in fuzzy hyperring and determine some necessary and sufficient conditions so that the relation α is transitive.

• Proceedings of the IEEK Conference
• /
• 2004.06b
• /
• pp.577-580
• /
• 2004

Our paper focus on crosstalk noise problem, especially crosstalk glitch that occurs when victim is stable state and aggressor is transitive state. This generated glitch weigh with the functional reliability if the glitch is considerable. In this paper, we use buffer insertion, down sizing, buffer insertion with up-sizing methods concurrently. These methodologies use filtering effects which gates that have bigger noise margin than glitch width eliminates glitch. In addition, we do limited optimization in boundary of node's slack. Therefore, the operated node's changes are for nothing in other node's slack.

• The Journal of Korean Physical Therapy
• /
• v.18 no.2
• /
• pp.7-16
• /
• 2006

The purpose of this study was to review the limb apraxia. It includes the evaluation and neurophysiological aspects for limb apraxia. Limb apraxia comprised a wide spectrum of higher-order motor disorders that results from acquired brain disease affecting the performance of skilled and/or learned movements with the forelimbs and is a common sequela of left brain damage that consists of a deficit in performing gestures to verbal command or to imitation. There are two forms in limb apraxia; ideational apraxia and ideomotor apraxia. A assessment of limb apraxia typically includes pantomiming and imitation of transitive, intransitive, and meaningless gestures. Limb apraxia has been attributed to damage confined to the cerebral cortex, cortico-cortical connecting pathways, and basal ganglia.

• English Language & Literature Teaching
• /
• v.9 no.spc
• /
• pp.209-222
• /
• 2003

Transitive relation and its directionality constitute the precondition for passivization, and the present study purports 10 unearth the true properties of transitivity in connection with the passive phenomena. The bottom line it drives at is this transitivity is a notion that can be best explained in 'cognitive' terms. The original direction of transitivity that is predicated by a verb can be reversed depending on the speaker's intention or the discourse situation. In the imperfective verb constructions transitivity can not be derived from only the content of the sentence itself and the predicate objectionally. That depends on the subjective interpretation of speaker considering the cognitive prototype of human to the various complicated situations.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.24-29
• /
• 2008

여러 개의 작업이 동시에 작동 할 때 서로 다른 작업에서 특정한 로봇이나 장치를 사용하기 위하여 상대방의 작업이 끝나기를 기다리는 상태를 교착상태라 하며 생산공정에서는 효율성과 경제성 제고에 가장 중요한 문제 중 하나다. 지금까지 이러한 교착상태 확인은 도달성(reachability)기법이나 서브넷(Subnet)으로 분리하여 분석하는 기법 등이 가장 많이 사용 되었으나, 분석에 필요한 시간과 노력, 복잡성과 효율성에 있어서 효과적이지 못한 단점을 가지고 있다. 본 연구는 페트리넷(Petri Net)에서 모든 플레이스(Place) 간의 관계를 나타내는 추이(Transitive)행렬을 이용하여 교착상태가 나타날 가능성이 있는 자원공유 플레이스(Place)를 분석하여 교착상태를 검증하는 정책을 제시한다. 이를 위하여 교착상태를 확인할 수 있는 자원공유 플레이스의 관계를 정의하고, FMS(Flexible Manufacturing System) 모델을 이용하여 제안한 알고리즘의 성과를 검증한다.

• Bulletin of the Korean Mathematical Society
• /
• v.32 no.1
• /
• pp.35-43
• /
• 1995

IF R is a left Artinian ring with identity, G is the group of units of R and X is the set of nonzero, nonunits of R, then G acts naturally on X by conjugation. It is shown that if the conjugate action on X by G is trivial, that is, gx = xg for all $g \in G$ and all $x \in X$, then R is a commutative ring. It is also shown that if the conjegate action on X by G is transitive, then R is a local ring and $J^2 = (0)$ where J is the Jacobson radical of R. In addition, if G is a simple group, then R is isomorphic to $Z_2 [x]/(x^2 + 1) or Z_4$.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.4
• /
• pp.807-815
• /
• 2005

Let R be a ring with identity, X the set of all nonzero, nonunits of Rand G the group of all units of R. We will consider two group actions on X by G, the regular action and the conjugate action. In this paper, by investigating two group actions we can have some results as follows: First, if G is a finitely generated abelian group, then the orbit O(x) under the regular action on X by G is finite for all nilpotents x $\in$ X. Secondly, if F is a field in which 2 is a unit and F $\backslash\;\{0\}$ is a finitley generated abelian group, then F is finite. Finally, if G in a unit-regular ring R is a torsion group and 2 is a unit in R, then the conjugate action on X by G is trivial if and only if G is abelian if and only if R is commutative.

• Bulletin of the Korean Mathematical Society
• /
• v.29 no.1
• /
• pp.117-123
• /
• 1992

The dimension problem has been one of central themes in the theory of ordered sets. In this paper we focus on amalgamated ordered sets. Although some results can be obviously applied to infinite cases, we assume throughout that all ordered set are finite. If A and B are ordered sets whose orders agree on A.cap.B, then the amalgam of A and B is defined to the the set A.cup.B in which the order is the transitive closure of the union of the two orders, i.e., the smallest order containing the two orders, and is denoted by A .or. B .leq. dim A + dim B for any ordered sets A and B. But it is quite surprising that the dimension of the amalgam of certain 2-dimensional ordered sets can be arbitrarily large.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.807-810
• /
• 2003

EMFG(Extended Mark Flow Graph)는 이산시스템을 개념설계하거나 상세설계할 수 있는 좋은 도구이다. 시스템을 설계함에 있어서 마크흐름을 분석하는 것은 시스템의 성능향상과 직결되므로 상당히 중요한 작업이다. 본 논문에서는 EMFG의 각 박스들간의 상태변화를 박스추이가중행렬을 통하여 확인, 분석하는 기법을 제안하고자 한다. EMFG로 설계한 시스템의 상태변화를 쉽게 분석함으로써 시스템의 설계 및 분석이 쉬워지므로 자동화된 시스템 개발시 유용하게 사용될 것으로 기대된다.