• Bulletin of the Korean Mathematical Society
• /
• v.51 no.4
• /
• pp.1205-1210
• /
• 2014

Let E be a free product of a finite number of cyclic groups, and S a normal subgroup of E such that $$E/S{\sim_=}G$$ is finite. For a prime p, $\hat{S}=S/S^{\prime}S^p$ may be regarded as an $F_pG$-module via conjugation in E. The aim of this article is to prove that $\hat{S}$ is decomposable into two indecomposable modules for finite elementary abelian p-groups G.

• The Pure and Applied Mathematics
• /
• v.29 no.3
• /
• pp.207-230
• /
• 2022

In this article, we investigate several aspects of (R, S)-hyper bi-modules and describe some their properties. The concepts of fundamental relation, completes part and complete closure are studied regarding to (R, S)-hyper bi-modules. In particular, we show that any complete (R, S)-hyper bi-module has at least an identity and any element has an inverse. Finally, we obtain a few results related to the heart of (R, S)-hyper bi-modules.

• Kyungpook Mathematical Journal
• /
• v.53 no.1
• /
• pp.37-47
• /
• 2013

Let M and X be right R-modules. We introduce several modules relative to the class of B(M, X) and we investigate relation among these modules. In this note, we show if M is X-${\oplus}$-supplemented such that $M=M_1{\oplus}M_2$ implies $M_1$ and $M_2$ are relatively B-projective, then M is an X-H-supplemented module.

• Journal of applied mathematics & informatics
• /
• v.11 no.1_2
• /
• pp.265-271
• /
• 2003

The purpose of this paper is to present certain results arising from product between fuzzy $H_{v}$-submodules. In particular, we consider the fundamental relation $\varepsilon$* defined on an $H_{v}$-module and give a property of the fundamental relations and fundamental modules with respect to the fuzzy product of $H_{v}$-modules.

• Korean Journal of Mathematics
• /
• v.14 no.2
• /
• pp.217-226
• /
• 2006

In this paper, we investigate the mutual relation among short exact sequences of amalgamated free products which involve augmentation ideals and relation modules. In particular, we find out commutative diagrams having a steady structure in the sense that all of their three columns and rows are short exact sequences.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.4
• /
• pp.519-524
• /
• 1997

We extent the notion of equivalent relation $\approx$ for Kac-Moody algebras to generalized Kac-Moody algebras and prove some analogues of results for Kac-Moody algebras.

• East Asian mathematical journal
• /
• v.19 no.1
• /
• pp.113-120
• /
• 2003

We study how the second homotopy modules of group presentations are transformed by Tietze transformations and discuss some application.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.5 s.37
• /
• pp.49-56
• /
• 2005

Reuse of software is the process of developing software system which does not develop all modules newly but construct system by using existing software modules. Object oriented concept introduces dynamic binding and polymorphism, which increases number of executable Paths. In this case static analysis of source code is not useful to find executable path. These concepts occur new Problems in retesting. Tradition testing method can not cover complex relations such as inheritance, message Passing and instance of and can not apply on object oriented retesting. we propose the method to reduce the number of methods and classes to be retested in associated class relation.

• Proceedings of the KIEE Conference
• /
• 2000.07c
• /
• pp.1614-1616
• /
• 2000

The purpose of this study is to manufacture and test a thermoelectric generator which converts unused energy from close-at-hand sources, such as garbage incineration heat and industrial exhaust, to electricity. A manufacturing process and the properties of a thermoelectric generator are discussed before simulating the thermal stress and thermal properties of a thermoelectric module located between an aluminum tube and alumina plate. We can design the thermoelectric modules having the good properties of thermoelectric generation. Resistivity of thermoelectric module for thermoelectric generation consisting of 62 cells was $0.15{\sim}0.4{\Omega}$. The maximum power of thermoelectric generator using thermoelectric generating modules can be defined as temperature function, and in this case it can be analogized the linear relation between current and voltage characteristics as function of temperature. The thermoelectric generator using 128 generating modules was assembled with 4 parallel connected modules sets composed with 32 directly connected modules.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.9
• /
• pp.419-428
• /
• 2017

In an embedded system, modules exchange data by interacting among themselves. Exchanging erroneous resource data among modules may lead to execution errors. The interacting resources produce dependencies between the two modules where any change of the resources by one module affects the functionality of another module. Several investigations of the embedded systems show that interaction faults between the modules are one of the major cause of critical software failure. Therefore, interaction testing is an essential phase for reducing the interaction faults and minimizing the risk. The direct and indirect interactions between the modules generate interaction faults. The direct interaction is the explicit call relation between the modules, and the indirect interaction is the remaining relation that is made underneath the interface that possesses data dependence relationship with resources. In this paper, we investigate the errors that are based on the indirect interaction between modules and introduce a new test criterion for identifying the errors that are undetectable by existing approaches at the integration level. We propose a novel approach for generating the interaction model using the indirect interaction pattern and design test criteria that are based on different interaction errors to generate test cases. Finally, we use the fault injection technique to evaluate the feasibility and effectiveness of our approach.