• The Pure and Applied Mathematics
• /
• v.23 no.4
• /
• pp.385-387
• /
• 2016

$Fo{\check{s}}ner$ [4] defined a generalized module left (m, n)-derivation and proved the Hyers-Ulam stability of generalized module left (m, n)-derivations. In this note, we prove that every generalized module left (m, n)-derivation is trival if the algebra is unital and $m{\neq}n$.

• Journal of the Korean Society for Precision Engineering
• /
• v.17 no.7
• /
• pp.170-180
• /
• 2000

In this paper, to evaluate ease of exchange of subassembly considering module, it needs to analyze structure and function of subassembly, assembly and disassembly process. Exchange process of module can be divided into pre-process and in-process, and determination factors of exchange process are defined by analyzing characteristics of assembly and disassembly process. Based on the analysis of characteristics for structure and function of subassembly, influential factors of module can be proposed. Considered the interrelationship between determination factors of ease of exchange and influencing factors of module, ease of exchange can be evaluated.

• Journal of Electrical Engineering and information Science
• /
• v.2 no.4
• /
• pp.92-98
• /
• 1997

This paper presents a new approach to obtaining a reduced-order model for multi-module converters. The proposed approach can be used to derive the reduced-order model for a wide class of multi-module converters including pulse-width-modulated (PWM) converters, soft-switched PWM converters, and resonant converters. The reduced-order model has the structure of a conventional single-module converter while preserving the dynamics of the original multi-module converter. Derivation procedures and the use of the reduced-order model is demonstrated using a three-module boost converter.

• Honam Mathematical Journal
• /
• v.28 no.3
• /
• pp.377-386
• /
• 2006

For a commutative ring with unity R, it is proved that R is a PF-ring if and only if the annihilator, $ann_R(a)$, for each $a{\in}R$ is a pure ideal in R. Also it is proved that the polynomial ring, R[x], is a PF-ring if and only if R is a PF-ring. Finally, we prove that M as an R-module is PF-module if and only if M[x] is a PF R[x]-module. Also M is a PP R-module if and only if M[x] is a PP R[x]-module.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.05a
• /
• pp.36-42
• /
• 2001

This paper presents the operational planning systems of automated container terminals. The proposed system is composed of berth allocation module, yard planning module, resource allocation module, sequencing module, and simulation module. All the sub-modules except resource allocation module are built into integrated simulation model using simulation package AutoMod. Simulation experiments are performed according to the number of AGVs and AGV allocation policies.

• The Pure and Applied Mathematics
• /
• v.24 no.1
• /
• pp.33-34
• /
• 2017

$Fo{\check{s}}ner$ [1] defined a module left (m, n)-derivation and proved the Hyers-Ulam stability of module left (m, n)-derivations. In this note, we prove that every module left (m, n)-derivation is trival if the algebra is unital and $m{\neq}n$.

• 한국연소학회:학술대회논문집
• /
• 2015.12a
• /
• pp.321-322
• /
• 2015

Thermoelectric power generation has emerged as a promising alternative technology because it offers a potential application in the direct conversion of waste heat into electric energy. The performance of thermoelectric power generator depends on thermoelectric materials and thermoelectric power module designs. The main objective of this study is to design a 100W thermoelectric generation (TEG) module and to get optimal operating conditions of the module. The design and performance of the TEG module will be presented.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.1
• /
• pp.217-224
• /
• 2021

In this paper, we study Ding injective modules over Frobenius extensions. Let R ⊂ A be a separable Frobenius extension of rings and M any left A-module, it is proved that M is a Ding injective left A-module if and only if M is a Ding injective left R-module if and only if A ⊗R M (HomR(A, M)) is a Ding injective left A-module.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.5
• /
• pp.1289-1304
• /
• 2022

In this note, we show that a strongly 𝜙-ring R is a 𝜙-PvMR if and only if any 𝜙-torsion-free R-module is 𝜙-w-flat, if and only if any GV-torsion-free divisible R-module is nonnil-absolutely w-pure, if and only if any GV-torsion-free h-divisible R-module is nonnil-absolutely w-pure, if and only if any finitely generated nonnil ideal of R is w-projective.

• Journal of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.403-414
• /
• 2016

Let R be a ring, and let M be a left R-module. If M is Rad-supplementing, then every direct summand of M is Rad-supplementing, but not each factor module of M. Any finite direct sum of Rad-supplementing modules is Rad-supplementing. Every module with composition series is (Rad-)supplementing. M has a Rad-supplement in its injective envelope if and only if M has a Rad-supplement in every essential extension. R is left perfect if and only if R is semilocal, reduced and the free left R-module $(_RR)^{({\mathbb{N})}$ is Rad-supplementing if and only if R is reduced and the free left R-module $(_RR)^{({\mathbb{N})}$ is ample Rad-supplementing. M is ample Rad-supplementing if and only if every submodule of M is Rad-supplementing. Every left R-module is (ample) Rad-supplementing if and only if R/P(R) is left perfect, where P(R) is the sum of all left ideals I of R such that Rad I = I.