• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1998.10a
• /
• pp.352-361
• /
• 1998

The post-processing modules are parts of an integrated system for reinforced concrete structures. This modules are composed of two modules: member design module and calculation report module. The purpose of this paper is to develope modules that increase efficiency and usefulness of an integrated system used reinforced concrete structures design. The development of post-processing modules is necessary for user to design reinforced concrete structures conveniently and quickly. This modules are connected with central database for the benefit of storing amount of input/output data and being used system with little effort. Post-processing modules used Object-Oriented concepts and techniques include identity, classification, polymorphism, and inheritance. Member design module automatically converts no good members into satisfied members by changing section size or reinforcement bar arrangement. This module can be operated both independent member design modules with user input and a part of integrated system with database input. If user operates member design module, calculation report module is created automatically.

• Kyungpook Mathematical Journal
• /
• v.62 no.3
• /
• pp.407-423
• /
• 2022

In this paper, we determine the structure of rings that have secondary representation (called representable rings) and give some characterizations of these rings. Also, we characterize Artinian rings in terms of representable rings. Then we introduce completely representable modules, modules every non-zero submodule of which have secondary representation, and give some necessary and sufficient conditions for a module to be completely representable. Finally, we define strongly representable modules and give some conditions under which representable module is strongly representable.

• Kyungpook Mathematical Journal
• /
• v.55 no.2
• /
• pp.289-300
• /
• 2015

In [9], the author extends the definition of lifting and supplemented modules to ${\delta}$-lifting and ${\delta}$-supplemented by replacing "small submodule" with "${\delta}$-small submodule" introduced by Zhou in [13]. The aim of this paper is to show new properties of ${\delta}$-lifting and ${\delta}$-supplemented modules. Especially, we show that any finite direct sum of ${\delta}$-hollow modules is ${\delta}$-supplemented. On the other hand, the notion of amply ${\delta}$-supplemented modules is studied as a generalization of amply supplemented modules and several properties of these modules are given. We also prove that a module M is Artinian if and only if M is amply ${\delta}$-supplemented and satisfies Descending Chain Condition (DCC) on ${\delta}$-supplemented modules and on ${\delta}$-small submodules. Finally, we obtain the following result: a ring R is right Artinian if and only if R is a ${\delta}$-semiperfect ring which satisfies DCC on ${\delta}$-small right ideals of R.

• Honam Mathematical Journal
• /
• v.28 no.1
• /
• pp.69-81
• /
• 2006

First, we give a complete description of the multiplication modules over local Dedekind domains. Second, if R is the pullback ring of two local Dedekind domains over a common factor field then we give a complete description of separated multiplication modules over R.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.2
• /
• pp.339-356
• /
• 2014

In this paper, we introduce and discuss the notion of $D_C$-projective modules over commutative rings, where C is a semidualizing module. This extends Gillespie and Ding, Mao's notion of Ding projective modules. The properties of $D_C$-projective dimensions are also given.

• Kyungpook Mathematical Journal
• /
• v.58 no.1
• /
• pp.1-8
• /
• 2018

We prove that if R is a commutative ring, then every maximal ideal of R is idempotent if and only if every locally noetherian (locally artinian) R-module is semisimple.

• Honam Mathematical Journal
• /
• v.34 no.2
• /
• pp.161-169
• /
• 2012

Let R be a commutative Noetherian ring and I, J be ideals of R. We introduced the notion of (I; J)-cominimax R-modules. For an integer $n$ and an R-module M, let $H^i_{I,J}(M)$ be an (I; J)-cominimax R-module for all $i<n$. The J-minimaxness of some Ext modules of $H^n_{I,J}(M)$ is investigated. Among of the obtaining results, there is a generalization of the main result of [1].

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.3
• /
• pp.781-802
• /
• 2020

For a fixed semi-Wakamatsu-tilting module _AT, we generalize the concepts of Auslander class, Bass class, and investigate many homological properties of such classes. Moreover, we establish an equivalence between the class of ∞-T-cotorsionfree modules and a subclass of the class of T-adstatic modules. Finally, a similar version of Auslander-Bridger approximation theorem and a nice property of relative cotranspose are obtained.

• Kyungpook Mathematical Journal
• /
• v.48 no.1
• /
• pp.63-71
• /
• 2008

In this paper, we study a module which is lifting and supplemented relative to a module class. Let R be a ring, and let X be a class of R-modules. We will define X-lifting modules and X-supplemented modules. Several properties of these modules are proved. We also obtain results for the case of specific classes of modules.

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

In this paper, we introduced and studied sa-supplement submodules. A submodule U of a module V is called an sa-supplement submodule in V if there exists a submodule T of V such that V = T + U and U ∩ T is semiartinian. The class of sa-supplement sequences ������ is a proper class which is generated by socle-free modules injectively. We studied modules that have an sa-supplement in every extension, modules whose all submodules are sa-supplement and modules whose all sa-supplement submodules are direct summand. We provided new characterizations of right semiartinian rings and right SSI rings.