• 대한수학회보
• /
• 제51권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.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제29권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
• /
• 제53권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
• /
• 제11권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
• /
• 제14권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.

• 대한수학회보
• /
• 제34권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
• /
• 제19권1호
• /
• pp.113-120
• /
• 2003

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

• 한국컴퓨터정보학회논문지
• /
• 제10권5호
• /
• pp.49-56
• /
• 2005

소프트웨어의 재사용이란 소프트웨어 시스템을 구축할 때 모든 것을 새로 만드는 것이 아니라 기존의 소프트웨어를 이용하여 소프트웨어 시스템을 만드는 과정을 말한다. 객체 지향 개념에서 동적 바인딩, 다형 현상 등은 수행 가능한 경로의 숫자를 현저히 증가시켜 수행 경로를 찾기 위한 소스 코드의 정적 분석은 거의 도움이 되지 않는다. 이러한 개념들은 수정 테스트에도 새로운 문제를 던져 주고 있다. 전통적인 테스트 방법은 상속 관계, 메시지 보냄, 실례 관계와 같은 복잡한 관계들에 대하여는 다루지 않으므로 객체 지향 프로그램의 수정 테스트에 그대로 적용하기 어렵다. 이 논문에서는 새로 대두된 클래스 관계 중에서도 특히 메시지 보냄 관계에 있는 클래스 연합 관계에서, 특정 메서드를 변경함으로서 영향 받는 메서드만을 찾아내어 수정 테스트 되어야 할 메서드 및 클래스를 줄이는 방법에 대하여 연구하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 하계학술대회 논문집 C
• /
• 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.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권9호
• /
• pp.419-428
• /
• 2017

임베디드 시스템에서는 모듈간의 상호작용으로 데이터를 주고 받는다. 이때 오류가 포함된 리소스 데이터를 전달하면 시스템의 실행 오류를 유발할 수 있다. 상호작용에 활용되는 리소스들은 모듈간의 의존관계를 만들며 의존관계에 있는 모듈의 변화가 다른 모듈의 기능에 영향을 미치게 된다. 몇몇 임베디드 시스템 조사 자료에 따르면 모듈간의 상호작용 오류가 심각한 소프트웨어 실패의 원인이 되기도 한다. 상호작용 테스팅 단계에서는 이러한 상호작용 오류를 검출하여 시스템 실패의 위험을 낮추고자 한다. 모듈간의 상호작용은 직접 또는 간접적으로 일어난다. 직접적인 상호작용은 모듈의 직접 호출을 통해 이루어지며, 간접 상호작용은 직접호출 이외에 리소스 데이터의 의존성을 통해 나타난다. 이 연구에서는 직접 상호작용에 의한 오류 검출 방식에서는 발견되지 않는 간접 상호작용과 연관된 오류를 검출하고자 한다. 먼저 상호작용 패턴을 분석하여 상호작용 모델을 생성하고 이를 기반으로 상호작용 오류를 검출하는 테스트 케이스 디자인 방법을 제안한다. 마지막으로 결함 주입 기법을 이용하여 제안된 방법의 효용성 및 실효성을 분석한다.