• Journal of applied mathematics & informatics
• /
• 제8권3호
• /
• pp.855-867
• /
• 2001

This note we give a construction of a quotient ring $R/{\mu}$ induced via a fuzzy ideal ${\mu}$ in a ring R. The Fuzzy First, Second and Third Isomorphism Theorems are established. For some applications of this construction of quotient rings, we show that if ${\mu}$ is a fuzzy ideal of a commutative ring R, then $\mu$ is prime (resp. $R/{\mu}$ is a field, every zero divisor in $R/{\mu}$ is nilpotent). Moreover we give a simpler characterization of fuzzy maximal ideal of a ring.

• 전기전자학회논문지
• /
• 제3권2호
• /
• pp.295-304
• /
• 1999

본 논문에서는 유한체상에서의 다치논리시스템구성을 그래프이론에 기초를 둔 결정도에 의해 구성하는 방법을 제안하였다. 제안한 방법은 먼저 다치논리 Shannon의 확장전개를 토대로 다치논리결정도를 도출하였으며, 부그래프를 적용하여 함수분할을 수행하였다. 그리고 각종 그래프의 동형관계와 정점의 재순서화를 적용하여 결정도의 변수순서선텍알고리즘과 간략화 알고리즘을 제안하였으며 이로부터 최종 다치논리시스템을 설계하는 방법을 제안하였다.

• 한국시스템다이내믹스연구
• /
• 제15권4호
• /
• pp.29-60
• /
• 2014

As every commentators has noted, bureaucratic corruption, which has complicated causes, is prevalent phenomenon in Korean society. Especially, most people realize that systemic corruption has a strong negative effect on society; however, only few studies reflect on the nature of 'systemic corruption' and it seems that no established theory explains the phenomenon. Thus, this study suggest that we look more carefully into the nature and mechanisms of 'systemic corruption'. Interdisciplinary approach based on the integrated model of structure-behavior to analyse the nature of bureaucratic corruption. The system dynamics method can test the mechanisms of 'systemic corruption'. With this way, the factors generating systemic corruption represent the relationships reinforcing and balancing within system dynamics model. This paper also consider 'isomorphism' and 'dominance' as control mechanisms to systemic corruption. From the CLD(Causal Loop Diagram), three main areas(rent in organization, networking, control mechanisms) are overlapped and it indicates dynamic relationships of systemic corruption in organizations.

• 전자공학회논문지C
• /
• 제34C권8호
• /
• pp.39-48
• /
• 1997

The fast redundancy identification is required to perform an efficient test pattern genration. Due to the reconvergent fanouts which make the dependency among objectives and the fault propagation blocking, there may exist redundnat faults in the cirucit. This paper presents the isomorphism identification and the pseudo dominator algorithms which are useful to identify redundant faults in combinational circuits. The isomorphism identification algorithm determines whether mandatory objectives required for fault detection cannot be simultaneously satisfied from primary input assignments or not using binary decision diagrma. The pseudo dominator algorithm determines whether faults propagation is possible or not by considering all paths at a given fanout node. Several experiments using ISCAS 85 benchmark circuits demonstrate the efficiency and practicability of the algorithms.

• 대한수학회논문집
• /
• 제22권2호
• /
• pp.157-161
• /
• 2007

Let G be a p-mixed abelian group with semi-complete torsion subgroup $G_t$ such that G is splitting or is of torsion-free rank one, and let R be a commutative unitary ring of prime characteristic p. It is proved that the group algebras RG and RH are R-isomorphic for any group H if and only if G and H are isomorphic. This isomorphism relationship extends our earlier results in (Southeast Asian Bull. Math., 2002), (Proc. Amer. Math. Soc., 2002) and (Bull. Korean Math. Soc., 2005) as well as completely settles a problem posed by W. May in (Proc. Amer. Math. Soc., 1979).

• 대한수학회논문집
• /
• 제9권2호
• /
• pp.285-291
• /
• 1994

This paper is a contribution to the study of the isomorphism problems for algebras. Among the isomorphism problems, that of global determination is investigated here. That is, our investigation of the problems is concerned with the question whether two algebras are isomorphic when their globals are isomorphic. The answer is not always affirmative. The counterexample, due to E. M. Mogiljanskaja, is the class of all infinite semigroups. But T. Tamura and J. Shafer [6] proved that the class of all groups is globally determined and announced the same result for the class of rectangular bands. Vazenin [7] proved that for any set X, the transformation semigroup $T_{X}$ must be isomorphic to any semigroup S for any P(S)$\simeq$P($T_{X}/TEX>).(omitted)

• 대한수학회지
• /
• 제45권1호
• /
• pp.249-271
• /
• 2008

We prove the Hyers-Ulam stability of linear d-isometries in linear d-normed Banach modules over a unital $C^*-algebra$ and of linear isometries in Banach modules over a unital $C^*-algebra$. The main purpose of this paper is to investigate d-isometric $C^*-algebra$ isomor-phisms between linear d-normed $C^*-algebras$ and isometric $C^*-algebra$ isomorphisms between $C^*-algebras$, and d-isometric Poisson $C^*-algebra$ isomorphisms between linear d-normed Poisson $C^*-algebras$ and isometric Poisson $C^*-algebra$ isomorphisms between Poisson $C^*-algebras$. We moreover prove the Hyers-Ulam stability of their d-isometric homomorphisms and of their isometric homomorphisms.

• 대한수학회논문집
• /
• 제23권2호
• /
• pp.257-268
• /
• 2008

Let G and K be compact subgroups of orthogonal groups and $0{\leq}r<x<{\infty}$. We prove that every topological fiber bundle over a definable $C^r$ manifold whose structure group is K admits a unique strongly definable $C^r$ fiber bundle structure up to definable $C^r$ fiber bundle isomorphism. We prove that every G vector bundle over an affine definable $C^rG$ manifold admits a unique strongly definable $C^rG$ vector bundle structure up to definable $C^rG$ vector bundle isomorphism.

• 항공우주시스템공학회지
• /
• 제9권3호
• /
• pp.17-22
• /
• 2015

The UAV industry grows rapidly and the civil UAV market which preparing the commercial services is expected to accelerate the growth. The new opportunities from the technological progress and deregulation show two kinds of organizational structure in the UAV industry. The companies from the traditional aircraft industry and the other sectors like IT industry have different organizational structures of the value chains, supply chains and the regulatory policies which related with them. And from the isomorphism theory it is predicted that those structures will change and converge to certain similar homogeneous features as the UAV industry matures. The matured form will be resulted by the new regulatory policies about the airspace, certifications and the operation rules about the UAV and the future market size and growth speed are also affected by them.

• 대한수학회지
• /
• 제58권2호
• /
• pp.351-381
• /
• 2021

In this paper we introduce the notion of strong Galois H-progenerator object for a finite cocommutative Hopf quasigroup H in a symmetric monoidal category C. We prove that the set of isomorphism classes of strong Galois H-progenerator objects is a subgroup of the group of strong Galois H-objects introduced in [3]. Moreover, we show that strong Galois H-progenerator objects are preserved by strong symmetric monoidal functors and, as a consequence, we obtain an exact sequence involving the associated Galois groups. Finally, to the previous functors, if H is finite, we find exact sequences of Picard groups related with invertible left H-(quasi)modules and an isomorphism Pic(HMod) ≅ Pic(C)⊕G(H∗) where Pic(HMod) is the Picard group of the category of left H-modules, Pic(C) the Picard group of C, and G(H∗) the group of group-like morphisms of the dual of H.