• Kyungpook Mathematical Journal
• /
• v.63 no.3
• /
• pp.333-344
• /
• 2023

In this paper, we generalize the notions uniformly S-flat, briefly u-S-flat, modules and dimensions. We introduce and study the notions of weak u-S-flat modules. An R-module M is said to be weak u-S-flat if Tor^R₁ (R/I, M) is u-S-torsion for any ideal I of R. This new class of modules will be used to characterize u-S-von Neumann regular rings. Hence, we introduce the weak u-S-flat dimensions of modules and rings. The relations between the introduced dimensions and other (classical) homological dimensions are discussed.

• Journal of the Korean earth science society
• /
• v.26 no.3
• /
• pp.183-198
• /
• 2005

The purpose of this study was to develop teaching modules related to Earth Science courses in order to enhance scientific inquiry skills of middle school students. A 'process skill-centered' module was developed to induce scientific process skills, while students explore specific scientific context. A module consists of several activities, and each activity focuses on a specific science process skill. Modules were designed such that the skills would improve depending on the completion of the module. To evaluate the effectiveness, field workshops for middle school science teachers were done twice. Science teachers, who were participants of the workshop, commented that the activities in each module were suited to enhance students' interest in science. They noted that scientific inquiry skills would be developed from each activity. Students responded that the activities in the modules were interesting, and it was a good experience to do them by themselves. Students were the focal point in class, not teachers. This enabled teachers to evaluated each student's achievement level, and provide a proper feedback. Hence, applying these modules in classes should enhance the students' scientific inquiry skills.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.10a
• /
• pp.443-448
• /
• 1997

The intelligent software system for nuclear power plants (NPPs) has been conceptually designed in this study. Its design goals are to operate NPPs in n improved manner and to support operators' cognitive tasks. It consists of six major modules such as "Information Processing," "Alarm Processing," "Procedure Tracking," "Performance Diagnosis," and "Event Diagnosis" modules for operators and "Malfunction Diagnosis" module for maintenance personnel. Most of the modules have been developed for several years and the others are under development. After the completion of development, they will be combined into one system that would be main parts of advanced control rooms in NPPs. that would be main parts of advanced control rooms in NPPs.

• Journal of the Korean Mathematical Society
• /
• v.50 no.5
• /
• pp.933-944
• /
• 2013

Based on the four kinds of theoretical definitions of the continuous module homomorphism between random locally convex modules, we first show that among them there are only two essentially. Further, we prove that such two are identical if the family of $L^0$-seminorms for the former random locally convex module has the countable concatenation property, meantime we also provide a counterexample which shows that it is necessary to require the countable concatenation property.

• Journal of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.1829-1839
• /
• 2017

In this paper, we show some results on the vanishing and the finiteness of local cohomology modules with respect to a pair of ideals. We also prove that Supp($H^{dim\;M-1}_{I,J}(M)/JH^{dim\;M-1}_{I,J}(M)$) is a finite set.

• Kyungpook Mathematical Journal
• /
• v.54 no.3
• /
• pp.471-476
• /
• 2014

Let R be a ring. A right R-module M is PS-injective if every R-homomorphism $f:aR{\rightarrow}M$ for every principally small right ideal aR can be extended to $R{\rightarrow}M$. We investigate, in this paper, rings whose simple singular modules are PS-injective. New characterizations of semiprimitive rings and semisimple Artinian rings are given.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.3
• /
• pp.689-698
• /
• 2021

In this paper, we show some results on the artinianness of local cohomology modules with respect to a system of ideals. If M is a 𝚽-minimax ZD-module, then H^{dim M}_𝚽(M)/𝖆H^{dim M}_𝚽(M) is artinian for all 𝖆 ∈ 𝚽. Moreover, if M is a 𝚽-minimax ZD-module, t is a non-negative integer and Hⁱ_𝚽(M) is minimax for all i > t, then Hⁱ_𝚽(M) is artinian for all i > t.

• Kyungpook Mathematical Journal
• /
• v.62 no.4
• /
• pp.641-655
• /
• 2022

A right R-module N is called pseudo semisimple-M-injective if for any monomorphism from every semisimple submodule of M to N, can be extended to a homomorphism from M to N. In this paper, we study some properties of pseudo semisimple-injective modules. Moreover, some results of pseudo semisimple-injective modules over formal triangular matrix rings are obtained.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.27 no.6
• /
• pp.531-538
• /
• 2016

In this paper, we design and fabricate a short range FMCW radar which detects and tracks a moving target in a two-dimensional domain using dual transceiver modules. For the short range radar, we propose a scheme for alternate extraction of the two-dimensional positions using one-dimensional range information from time division transceiver modules, and successfully apply the scheme to the two-dimensional short range radar. Measured results of the targets at 10 m and 30 m are presented as performance demonstration of each transceiver module. Also the performance of the two-dimensional radar is demonstrated using a two-dimensional target map, which uses the range bin corresponding to the frequency resolution, and the effectiveness of the proposed scheme is validated.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.24 no.6
• /
• pp.675-681
• /
• 2015

When many holes on a plane are machined simultaneously, the positional precision and machining efficiency are very important. Multi-spindle heads are typical order making products of which the number of shafts and hole positions vary depending on the size or form of the product. For the automatic design of multi-spindle heads, the design modules for power transmission systems for drive, idle, and spindle shafts were developed, and a design technique the determining the optimum position and number of idle shafts according to gear positions was developed. In addition, for the precise determination of the multi-spindle head, the design methods for the guide planes of columns, and feed mechanisms were devised. In addition, the design modules for accurate clamping and automatic transportation mechanisms were developed. Finally, in order to simplify and standardize the design process, the design analysis and simulation verification modules are integrated.