• Kyungpook Mathematical Journal
• /
• v.64 no.1
• /
• pp.1-14
• /
• 2024

Recently, Zhao, Wang, and Pu introduced and studied new concepts of nonnil-commutative diagrams and nonnil-projective modules. They proved that an R-module that is nonnil-isomorphic to a projective module is nonnil-projective, and they proposed the following problem: Is every nonnil-projective module nonnil-isomorphic to some projective module? In this paper, we delve into some new properties of nonnil-commutative diagrams and answer this problem in the affirmative.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.43 no.2 s.308
• /
• pp.65-72
• /
• 2006

The traffic lights detection and recognition system is an essential module of the driver warning and assistance system. A method which is a color vision-based real time detection and recognition of traffic lights is presented in this paper This method has four main modules : traffic signals lights detection module, traffic lights boundary candidate determination module, boundary detection module and recognition module. In traffic signals lights detection module and boundary detection module, the color thresholding and the subtraction value of saturation and intensity in HSI color space and detection probability mask for lights detection are used to segment the image. In traffic lights boundary candidate determination module, the detection mask of traffic lights boundary is proposed. For the recognition module, the AND operator is applied to the results of two detection modules. The input data for this method is the color image sequence taken from a moving vehicle by a color video camera. The recorded image data was transformed by zooming function of the camera. And traffic lights detection and recognition experimental results was presented in this zoomed image sequence.

• Journal of the Society of Disaster Information
• /
• v.18 no.4
• /
• pp.699-705
• /
• 2022

Purpose: Sequence control is widely used by being applied to manufacturing, distribution, construction, and automation in the medical industry. With the development of the fourth industry, artificial intelligence convergence technology in the control field is becoming an important factor in the industry. In particular, it is required to evaluate the safety and innovation of facilities where microprocessors and artificial intelligence are fused to existing systems and develop reliable equipment, so it is intended to develop equipment for educational purposes and drive the development of the field. Method: The self-developed all-in-one artificial intelligence controller module is a device that combines artificial intelligence capabilities with existing sequence and PLC control circuits. As the performance evaluation items of this equipment, the recognition ability of motion, voice, text, color, etc. and the stability and reliability of the circuit were evaluated. Conclusion: After designing the sequence and PLC circuit, the performance evaluation items of the integrated integrated artificial intelligence controller module were all satisfied, and there was no problem in the safety and reliability of the circuit.

• Journal of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.821-838
• /
• 2015

We investigate the relative and Tate cohomology theories with respect to Ding modules and complexes, consider their relations with classical and Gorenstein cohomology theories. As an application, the Avramov-Martsinkovsky type exact sequence of Ding modules is obtained.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2009.06a
• /
• pp.545-546
• /
• 2009

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2000.10a
• /
• pp.132-135
• /
• 2000

A process design expert system for rotationally symmetric deep drawing products has been developed The application of the expert system to non-axisymmetric components, however, has not been reported yet. Thus, in this present study, the expert system for non-axisymmetric deep drawing products with elliptical shape was constructed by using process sequence design. The system developed in this work consists of four modules. The first one is a recognition of shape module to recognize non-axisymmetric products. The second one is three dimensional (3-D) modeling module to calculate the surface area for non-axisymmetric products. The third one is a blank design module to create an oval-shaped blank with the identical surface area. The forth one is a process planning module based on the production rules that play the best important role in an expert system for manufacturing. The production rules are generated and upgraded by interviewing with field engineers.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.4
• /
• pp.693-699
• /
• 2010

In this paper we show that the flat property of a left R-module does not imply (carry over) to the corresponding inverse polynomial module. Then we define an induced inverse polynomial module as an R[x]-module, i.e., given an R-linear map f : M $\rightarrow$ N of left R-modules, we define $N+x^{-1}M[x^{-1}]$ as a left R[x]-module. Given an exact sequence of left R-modules $$0\;{\rightarrow}\;N\;{\rightarrow}\;E^0\;{\rightarrow}\;E^1\;{\rightarrow}\;0$$, where $E^0$, $E^1$ injective, we show $E^1\;+\;x^{-1}E^0[[x^{-1}]]$ is not an injective left R[x]-module, while $E^0[[x^{-1}]]$ is an injective left R[x]-module. Make a left R-module N as a left R[x]-module by xN = 0. We show inj $dim_R$ N = n implies inj $dim_{R[x]}$ N = n + 1 by using the induced inverse polynomial modules and their properties.

• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.2
• /
• pp.187-195
• /
• 2000

Embedded software generates its outputs using current states of the system as well as external inputs. When a module in embedded software is tested, we need an automated testing tool, which generates possible sequences to reach the module as well as input data of the module, to reduce the testing time and to improve the quality of software. In this paper, we use decision table to specify the functionality of the module and data-annotated MSC (Message Sequence Charts) to describe scenarios, and implement a tool, which we call MSCTest, to automate the testing process. MSCTest consists of MSC graphic editor, test sequence and data generator, and test driver generator. MSCTest is effectively applied to test EsWin which is a kind of window library used in embedded systems.

• Journal of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1513-1528
• /
• 2021

Let R be a commutative ring with prime nilradical Nil(R) and M an R-module. Define the map 𝜙 : R → R_Nil(R) by ${\phi}(r)=\frac{r}{1}$ for r ∈ R and 𝜓 : M → M_Nil(R) by ${\psi}(x)=\frac{x}{1}$ for x ∈ M. Then 𝜓(M) is a 𝜙(R)-module. An R-module P is said to be 𝜙-projective if 𝜓(P) is projective as a 𝜙(R)-module. In this paper, 𝜙-exact sequences and 𝜙-projective R-modules are introduced and the rings over which all R-modules are 𝜙-projective are investigated.

• Korean Journal of Microbiology
• /
• v.43 no.3
• /
• pp.159-165
• /
• 2007

For the development of basic genetic materials for specific and effective therapeutic approach to suppress multiplication of hepatitis C virus (HCV), HCV internal ribosome entry site (IRES)-targeting hammerhead ribozyme which activity is allosterically regulated by HCV regulatory protein, NS5B RNA replicase, was developed. The ribozyme targeted most effectively to +382 nucleotide (nt) site of HCV IRES RNA. The allosteric ribozyme was designed to be composed of sequence of RNA aptamer to HCV NS5B, communication module sequence which can transfer structural transition for inducing ribozyme activity upon binding NS5B to the aptamer, and sequence of ribozyme targeting +382 nt of HCV IRES. Noticeably, we employed in vitro selection technology to identify the most appropriate communication module sequence which can induce ribozyme activity depending on the US5B protein. We demonstrated that the ribozyme was nonfunctional either in the absence of any proteins or in the presence of control bovine serum albumin. In sharp contrast, the allosteric ribozyme can induce activity of cleavage reaction with HCV IRES RNA in the presence of the HCV NS5B protein. This allosteric ribozyme can be used as lead compound for specific and effective anti-HCV agent, tool for highthroughput screening to isolate lead chemicals for HCV therapeutics, and ligand for biosensor system for HCV diagnosis.