• Kyungpook Mathematical Journal
• /
• v.51 no.1
• /
• pp.37-42
• /
• 2011

Let M be an R-module and S a semigroup. Our goal is to discuss zero-divisors of the semigroup module M[S]. Particularly we show that if M is an R-module and S a commutative, cancellative and torsion-free monoid, then the R[S]-module M[S] has few zero-divisors of size n if and only if the R-module M has few zero-divisors of size n and Property (A).

• Smart Structures and Systems
• /
• v.21 no.6
• /
• pp.715-725
• /
• 2018

Truss-Z (TZ) is an Extremely Modular System (EMS). Such systems allow for creation of structurally sound free-form structures, are comprised of as few types of modules as possible, and are not constrained by a regular tessellation of space. Their objective is to create spatial structures in given environments connecting given terminals without self-intersections and obstacle-intersections. TZ is a skeletal modular system for creating free-form pedestrian ramps and ramp networks. The previous research on TZ focused on global discrete geometric optimization of the spatial configuration of modules. This paper reports on the first attempts at structural optimization of the module for a single-branch TZ. The internal topology and the sizing of module beams are subject to optimization. An important challenge is that the module is to be universal: it must be designed for the worst case scenario, as defined by the module position within a TZ branch and the geometric configuration of the branch itself. There are four variations of each module, and the number of unique TZ configurations grows exponentially with the branch length. The aim is to obtain minimum-mass modules with the von Mises equivalent stress constrained under certain design load. The resulting modules are further evaluated also in terms of the typical structural criterion of compliance.

• Honam Mathematical Journal
• /
• v.41 no.3
• /
• pp.531-538
• /
• 2019

We introduce FI-${\oplus}$-supplemented modules as a proper generalization of ${\oplus}$-supplemented modules. We prove that; (1) every finite direct sum of FI-${\oplus}$-supplemented R-modules is an FI-${\oplus}$-supplemented R-module for any ring R ; (2) if every left R-module is FI-${\oplus}$-supplemented over a semilocal ring R, then R is left perfect; (3) if M is a finitely generated torsion-free uniform R-module over a commutative integrally closed domain such that every direct summand of M is FI-${\oplus}$-supplemented, then M is a direct sum of cyclic modules.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.9
• /
• pp.333-340
• /
• 2018

Recently, free-form buildings have been designed with complex shapes due to digitization of the construction industry. Exterior and interior components of free-form buildings have free cross sections and curved shapes. Therefore, structural members with curvature are frequently seen. In the modeling and stability evaluation of these structures, commercial programs using classical finite element analysis are not able to perform rapid shape modeling, resulting in a decrease in productivity. Therefore, in this study, pre- and post-processing modules were developed using a prior study to rapidly model the surface of a free-form building and to automatically generate frame structures that make up the cladding. The developed modules use a subdivision algorithm with spline curves. This algorithm is used to automatically generate analytical elements from the configuration information of NURBS curves. In addition, the deformation after analysis can be viewed more realistically. The modules can quickly construct complex curved surfaces. An analysis model of the frame structure was also automatically generated. Therefore, the modules could contribute to the productivity improvement of free-form building design.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.559-571
• /
• 2017

We investigate modules M having the injective property relative to nonsingular modules. Such modules are called "$\mathcal{N}$-injective modules". It is shown that M is an $\mathcal{N}$-injective R-module if and only if the annihilator of $Z_2(R_R)$ in M is equal to the annihilator of $Z_2(R_R)$ in E(M). Every $\mathcal{N}$-injective R-module is injective precisely when R is a right nonsingular ring. We prove that the endomorphism ring of an $\mathcal{N}$-injective module has a von Neumann regular factor ring. Every (finitely generated, cyclic, free) R-module is $\mathcal{N}$-injective, if and only if $R^{(\mathbb{N})}$ is $\mathcal{N}$-injective, if and only if R is right t-semisimple. The $\mathcal{N}$-injective property is characterized for right extending rings, semilocal rings and rings of finite reduced rank. Using the $\mathcal{N}$-injective property, we determine the rings whose all nonsingular cyclic modules are injective.

• Communications of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.711-719
• /
• 2018

In this paper we define and study a new kind of dimension called, semisimple dimension, that measures how far a module is from being semisimple. Like other kinds of dimensions, this is an ordinal valued invariant. We give some interesting and useful properties of rings or modules which have semisimple dimension. It is shown that a noetherian module with semisimple dimension is an artinian module. A domain with semisimple dimension is a division ring. Also, for a semiprime right non-singular ring R, if its maximal right quotient ring has semisimple dimension as a right R-module, then R is a semisimple artinian ring. We also characterize rings whose modules have semisimple dimension. In fact, it is shown that all right R-modules have semisimple dimension if and only if the free right R-module ${\oplus}^{\infty}_{i=1}$ R has semisimple dimension, if and only if R is a semisimple artinian ring.

• Journal of Institute of Control, Robotics and Systems
• /
• v.20 no.6
• /
• pp.689-694
• /
• 2014

An SPLC (Safety Programmable Logic Controller) must be designed to meet the highest safety standards, IEEE 1E, and should guarantee a level of fault-tolerance and high-reliability that ensures complete error-free operation. In order to satisfy these criteria, I/O modules, communication modules, processor modules and bus modules of the SPLC have been configured in triple or dual modular redundancy. The redundant modules receive the same data to determine the final data by the voting logic. Currently, the processor of each rx module performs the voting by deciding on the final data. It is the intent of this paper to prove the improvement on the current system, and develop a voting system for multiple data on a system bus level. The new system bus protocol is implemented based on a TCN-MVB that is a deterministic network consisting of a master-slave structure. The test result shows that the suggested system is better than the present system in view of its high utilization and improved performance of data exchange and voting.

• East Asian mathematical journal
• /
• v.30 no.3
• /
• pp.293-302
• /
• 2014

In this paper we provide a rigorous proof for the fact that there are exactly 8 connected Alexander quandles of order $2^5$ by combining properties of fixed point free automorphisms of finite abelian 2-groups and the classification of conjugacy classes of GL(5, 2). Furthermore we verify that six of the eight associated Alexander modules are simple, whereas the other two are semisimple.

• Communications of the Korean Mathematical Society
• /
• v.17 no.3
• /
• pp.389-401
• /
• 2002

We give an upper bound for the degrees of the nonvanishing homology modules of the Schur complex L$\sub$λ/${\mu}$/ø in terms of the depths of the determinantal ideals of ø). Using this fact, we obtain the acyclic theorem for L$\sub$λ/ø and the information concerning the support of the homology modules of L$\sub$λ/${\mu}$/ø.

• 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.