• Bulletin of the Korean Mathematical Society
• /
• v.57 no.4
• /
• pp.1075-1081
• /
• 2020

Let R be a domain. It is proved that R is coherent when IFD(R) ⩽ 1, and R is Noetherian when IPD(R) ⩽ 1. Consequently, R is a G-Prüfer domain if and only if IFD(R) ⩽ 1, if and only if wG-gldim(R) ⩽ 1; and R is a G-Dedekind domain if and only if IPD(R) ⩽ 1.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.25 no.9
• /
• pp.1081-1090
• /
• 1988

A series of procedures using image processing techniques is presented for extracting layout information fast and automatically from chip images. CIF (caltech intermediate form) is chosen for representing such information. First, line-edges are extracted using a line-edge detector. Then, thinning and noise removal procedures follow. Subsequent procedures are vertex extraction and vertex grouping. Finally, CIF is extracted from the coordinates of the grouped vertices. In this paper, the final process is applied to only metal layer. In experiments, this processing scheme is shown to be very effective in extracting CIF.

• Korean Journal of Veterinary Service
• /
• v.34 no.4
• /
• pp.321-331
• /
• 2011

Mycobacterium bovis, a member of the M. tuberculosis complex (MTC), is the causative agent of bovine tuberculosis. Detection of M. bovis and M. tuberculosis using conventional culture- and biochemical-based assays is time-consuming. Therefore, a simple and sensitive molecular assay for rapid detection would be of great help in specific situations such as faster diagnosis of bovine tuberculosis (bTB) infection in the abattoirs. We developed a novel multiplex real-time PCR assay which was applied directly to biological samples with evidence of bTB and it was allowed to differentiate between M. bovis and M. tuberculosis. The primers and TaqMan probes were designed to target the IS1081 gene, the multi-copy insertion element in the MTC and the 12.7-kb fragment which presents in M. tuberculosis, not in the M. bovis genome. The assay was optimized and validated by testing 10 species of mycobacteria including M. bovis and M. tuberculosis, and 10 other bacterial species such as Escherichia coli, and cattle lymph nodes (n=113). The tests identified 96.4% (27/28) as M. bovis from the MTC-positive bTB samples using conventional PCR for specific insertion elements IS1081. And MTC-negative bTB samples (n=85) were tested using conventional PCR and the real-time PCR. When comparative analyses were conducted on all bovine samples, using conventional PCR as the gold standard, the relative accuracy of real-time PCR was 99.1%, the relative specificity was 100%, and the agreement quotient (kappa) was 0.976. The detection limits of the real-time PCR assays for M. bovis and M. tuberculosis genomic DNA were 10 fg and 0.1 pg per PCR reaction, respectively. Consequently, this multiplex real-time PCR assay is a useful diagnotic tool for the identification of MTC and differentiation of M. bovis and M. tuberculosis, as well as the epidemiologic surveillance of animals slaughtered in abattoir.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.10a
• /
• pp.1078-1081
• /
• 2004

A robot manipulator is usually operated in two modes: free motion and constraint motion depending on whether the robot comes into contact with the environment or not. At the moment of contact, impact occurs, and sometimes, it possibly degrade the robot's performance by vibration and at worst, shortens its lifetime. In this article, a new proposed algorithm is described by introducing a command signal modification method on the basis of impedance control and a validity of the proposed algorithm is demonstrated by showing a simulation and an experiment.

• Proceedings of the IEEK Conference
• /
• 1999.11a
• /
• pp.1081-1084
• /
• 1999

This paper proposes a method of extracting automobile license plate information using color image processing and separation of character regions. The hue and saturation of color information is need for license plate extraction and the specified standard location ratio is need for character region separation. Simulation results show that the proposed algorithm can detect license plates and separate character regions successfully.

• Proceedings of the KSR Conference
• /
• 2006.11b
• /
• pp.1065-1081
• /
• 2006

The purpose of this paper is to suggest Korean regulatory requirements of railway drivers' qualifications. The qualification of railway drivers is one of major factors that should be managed to reduce human error induced incidents/accidents. We have collected those domestic/foreign cases for suggesting Korean regulatory requirements of railway drivers' qualifications. And we have analysed them to derive some regulatory requirements reducing human error. Finally, we have done preliminary FGI(focused group interview) to vitrificate and validate the regulatory requirements.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.1078-1081
• /
• 1993

The Objective of this paper is to provide fuzzy control designers with a design tool for stable fuzzy logic controllers. Given multiple sets of data disturbed by vagueness uncertainty, we generate the implicative rules that guarantee stability and robustness of closed-loop fuzzy dynamic systems. We propose the cell-state transition method which utilizes Hsu's cell-to-cell mapping concept [1]. As a result, a generic and implementable design methodology for obtaining a fuzzy feedback gain K, a fuzzy hypercube [2], is provided and illustrated with simple examples.

• Journal of the Korean Mathematical Society
• /
• v.58 no.5
• /
• pp.1081-1107
• /
• 2021

In this paper, we introduce the notion of toric special weak Fano manifolds, which have only special primitive crepant contractions. We study their structure, and in particular completely classify smooth toric special weak Fano 4-folds. As a result, we can confirm that almost every smooth toric special weak Fano 4-fold is a weakened Fano manifold, that is, a weak Fano manifold which can be deformed to a Fano manifold.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.64 no.7
• /
• pp.1081-1087
• /
• 2015

Recently, the researches of aerial drones are actively executed in various areas, the researches of surface drones and underwater drones are also executed in marine areas. In case of surface drones, they essentially utilize acoustic information by the sonar and consequently have the local information in the obstacle avoidance as the sonar has the limitations due to the beam width and detection range. In order to overcome this, more global method that utilizes optical images by the camera is required. Related to this, the aerial drone with the camera is desirable as the obstacle detection of the surface drone with the camera is impossible in case of the existence of clutters. However, the dynamic-floating aerial drone is not desirable for the long-term operation as its power consumption is high. To solve this problem, a collaborative obstacle avoidance method based on the acoustic information by the sonar of the surface drone and the optical image by the camera of the static-floating aerial drone is proposed. To verify the performance of the proposed method, the collaborative obstacle avoidances of a MSD(Micro Surface Drone) with an OAS(Obstacle Avoidance Sonar) and a BMAD(Balloon-based Micro Aerial Drone) with a camera are executed. The test results show the possibility of real applications and the need for additional studies.

• Korean Journal of Veterinary Service
• /
• v.30 no.3
• /
• pp.393-406
• /
• 2007

Bovine tuberculosis is an important zoonosis worldwide. Mycobacterium bovis, the causative agent of this disease in cattle, is also a pathogen for humans and several economically important animals. The cases of tuberculosis are reported in two cow found at slaughter house located in Gwangju city. Histopathologically, in the lymph nodes, granulomas consisted of large areas of necrosis surrounded by variable thick bands of cellular infiltrate containing macrophages, Langhans-type multinucleated giant cells and lymphocytes. Lesions in the lung followed the same developmental pattern as did lesions in the lymph nodes with some exceptions. With the acid-fast staining, numerous mycobacteria were revealed in the lung and lymph nodes. M bovis was confirmed as a causative agent in these cattle using bacterial isolation and PCR and restriction fragment length polymorphism method based on a unique 12.7 kb fragment insertion sequence from the Mycobacterium tuberculosis genome and the pncA polymorphism, The insertion element IS6110 and IS1081 were present M bovis isolated from lungs and lymph nodes of cattle using PCR assay. These cases are interesting and important in public health aspect that M bovis-infected cattle were found during a routine post-mortem inspection at slaughter house.