• 호남수학학술지
• /
• 제29권2호
• /
• pp.279-288
• /
• 2007

The notion of fuzzy n-fold implicative ordered filters in implicative semigroups is introduced, and related properties are investigated. Relations between fuzzy ordered filters and fuzzy n-fold implicative ordered filters are provided. Characterizations of a fuzzy n-fold implicative ordered filter are given, and an extension property for a fuzzy n-fold implicative ordered filter is obtained.

• Journal of applied mathematics & informatics
• /
• 제20권1_2호
• /
• pp.557-567
• /
• 2006

This paper proves the invariability of reachable sets for the linear control system with positive isolated spectrum points in case where the principal operator generates $C_0-semigroup$ and derives the approximate controllability for the semilinear control system by using spectral operators with respect to isolated spectrum points.

• Journal of applied mathematics & informatics
• /
• 제20권1_2호
• /
• pp.315-325
• /
• 2006

The notion of intuitionistic fuzzy finite switchboard state machines and (strong) homomorphisms of intuitionistic fuzzy finite state machines are introduced, and related properties are investigated. After we give a congruence relation on the set of all words of elements of X of finite length, the quotient structure is discussed. We show that the family of equivalence classes is a finite semigroup with identity.

• Structural Engineering and Mechanics
• /
• 제61권3호
• /
• pp.381-387
• /
• 2017

In this paper we investigate the theory of micropolar thermoelastic bodies whose micro-particles possess microtemperatures. We transform the mixed initial boundary value problem into a temporally evolutionary equation on a Hilbert space and after that we prove the existence and uniqueness of the solution. We also approach the study of the continuous dependence of solution upon initial data and loads.

• East Asian mathematical journal
• /
• 제18권2호
• /
• pp.205-209
• /
• 2002

In the paper the following propositions are proved. 1) If ($Q,{\cdot},e$) is a B-algebra, then there exists a group($Q,A,^{-1}$, 1) such that the following equalities hold e=1 and ${\cdot}=^{-1}A$, where $^{-1}A(x,y)=z{\Longleftrightarrow^{def}}A(z,y)=x$; and 2) If ($Q,A,^{-1}$, e) is a group, then ($Q,^{-1}A$, e) is a B-algebra.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1992년도 한국자동제어학술회의논문집(국제학술편); KOEX, Seoul; 19-21 Oct. 1992
• /
• pp.208-213
• /
• 1992

In this paper we are concerned with optimal control problems whose costs am quadratic and whose states are governed by linear delay equations and general boundary conditions. The basic new idea of this paper is to Introduce a new class of linear operators in such a way that the state equation subject to a starting function can be viewed as an inhomogeneous boundary value problem in the new linear operator equation. In this way we avoid the usual semigroup theory treatment to the problem and use only linear operator theory.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1986년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 17-18 Oct. 1986
• /
• pp.68-72
• /
• 1986

Upper bounds of the perturbed Co-semigroups of the infinite dimensional systems are investigated by using the algebraic Riccati equation(ARE). In the case that the solution P of the ARE is strictly positive, the perturbed semigroups are uniformly bounded. A sufficient condition for the solution P to be strictly positive is provided. The uniform boundedness plays an important role in extending approximately weak stability to weak stability on th whole space. Exponential Stability of the perturbed semigroups is studied by using the Young's inequlity. Some further discussions on the uniform boundedness of the perturbed semigroups are given.

• Journal of applied mathematics & informatics
• /
• 제6권1호
• /
• pp.217-226
• /
• 1999

In this paper we define automata-linearly independence. An automaton M has a basis B iff M is free provided that we assume that the action of S on X $\times$ S is (x,sa) for all a, s $\in$ S and x $\in$ X. if a semigroup S is PRID every subautomaton of a free S-automaton is free.

• Journal of applied mathematics & informatics
• /
• 제14권1_2호
• /
• pp.485-491
• /
• 2004

We shall discuss irreducible and primitive S-automata. A variety of properties of transitive and primitive semigroups associated with them have been obtained. Also a classification of primitive semi groups will be given with S-automata.

• Journal of applied mathematics & informatics
• /
• 제27권5_6호
• /
• pp.1447-1457
• /
• 2009

In this paper we define intuitionistic fuzzy interior ideals in ordered semigroups. We prove that in regular(resp. intra-regular and semisimple) ordered semigroups the concepts of intuitionistic fuzzy interior ideals and intuitionistic fuzzy ideals coincide. We prove that an ordered semi group is intuitionistic fuzzy simple if and only if every intutionistic fuzzy interior ideal is a constant function. We characterize intra-regular ordered semi groups in terms of interior (resp. intuitionistic fuzzy interior) ideals.