• Journal of Korea Multimedia Society
• /
• v.13 no.3
• /
• pp.392-399
• /
• 2010

The Automobile has developed and changed through the years from the invention and increased human-being's scope of activity. Junction Box, one of the part of automobile, is inspected by human eyes which caused mistakes and slow progress. To achieve the speed and accuracy the system was compensated by vision system which is inspecting automatically. This paper is automatic inspection of fuse and relay which is inserted in the junction box by checking the color and pattern of the cover. After checking the performance of the system by using the junction box, the result was 100 percent perception and open the possibility to inspect junction box fast and easy and accurate if it is applied to the industry.

• Journal of Electrical Engineering and Technology
• /
• v.1 no.4
• /
• pp.513-519
• /
• 2006

As a very important part in development of the protocol, verifications for developed protocol specification are complementary techniques that are used to increase the level of confidence in the system functions by their specifications. Using the informal method for specifying the protocol, some ambiguity may be contained therein. This indwelling ambiguity in control systems can cause the occurrence of accidents, especially in the case of safety-critical systems. To clear the vagueness contained in the designed protocol, we use the LTS (Labeled Transition System) model to design the protocol for railway signaling. And then, we verify the safety and the liveness properties formally through the model checking method. The modal ${\mu}$-calculus, which is an expressive method of temporal logic, has been applied to the model checking method. We verify the safety and liveness properties of Korean standard protocol for railway signaling systems. To perform automatic verification of the safety and liveness properties of the designed protocol, a communication verification tool is implemented. The developed tools are implemented by C++ language under Windows XP. It is expected to increase the safety and reliability of communication protocol for signaling systems by using the developed communication verification tool.

• Nuclear Engineering and Technology
• /
• v.17 no.4
• /
• pp.302-316
• /
• 1985

Small break LOCA caused by a stuck-open PORV is one of the important contributors to nuclear power plant risk. This paper deals with the design of a pressurizer surveillance system using microcomputer to prevent the malfunction of system and has assessed the effect of this improvement through Probabilistic Risk Assessment (PRA) method. Micro-computer diagnoses the malfunction of system by a process checking method and performs automatically backup action related to each malfunction. Owing to this improvement, we can correctly diagnose “Spurious Opening”, “Fail to Reclose” and “Small break LOCA” which are difficult for operator to diagnose quickly and correctly and reduce the probability of a human error by an automatic backup action.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.17 no.3
• /
• pp.213-223
• /
• 1999

This study provides a improved model of digital basemap production that can efficiently identify and correct the various errors generated in digital map production process. In order to fulfill the requirements that the new model calls for, this study provides a typology of errors by analyzing the errors in digital basemap data. Computer programs for automatic error searching and for checking the correctness of the digital codes in the data have also been developed. Exsiting visual error-checking process has also been analyzed and more systematic process is suggested. As a result, it is found that the improved model of digital basemap production suggested in this study contributes to improving the quality of the digital map database by providing a systematic method for efficient error-searching and correction of digital map data.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.14 no.5
• /
• pp.95-102
• /
• 2014

In this paper, we propose the high speed PLC-based automatic control system for a smart LED streetlight. The proposed the automatic control system were constructed of a power line modem part and monitoring part, streetlight controller part for the high speed communication frequency band and streetlight ballasts characterization and real-time remote control using a high-speed PLC network, and it was designed to meet to lighting grades conditions of KS road lighting standards. The proposed automatic control system were easy monitoring of the power consumption using PC through to the comparison result of the existing streetlight system. As a result, it was confirmed to the possibility of efficient operation for the real-time monitoring and maintenance by induction of reasonable power consumption through to the LED streetlight state checking and remote-control. In addition, we proved to improvement of expected effects for the power cost savings, the energy efficiency, and streetlight differentiation and advanced.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.25 no.3
• /
• pp.427-432
• /
• 2021

In this paper, we conduct performance analysis in automatic modulation classification of unknown communication signal to identify its modulation types based on deep neural network. The modulation classification performance was verified using time domain digital sample data of the modulated signal, frequency domain data to which FFT was applied, and time and frequency domain mixed data as neural network input data. For 11 types of analog and digitally modulated signals, the modulation classification performance was verified in various SNR environments ranging from -20 to 18 dB and reason for false classification was analyzed. In addition, by checking the learning speed according to the type of input data for neural network, proposed method is effective for constructing an practical automatic modulation recognition system that require a lot of time to learn.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.28 no.6A
• /
• pp.873-880
• /
• 2008

When checking the state of deterioration or damage structures, regular visual inspection has very important role. At this point, a visual inspection is performed mainly by sketch or photography with a camera of inspectors. If that happens, it takes a lot of effort and time to inspect appearance damages. The purpose of this study is to develop the automatic recognition system for a more efficient and effective inspection of appearance damages. In the process, the image processing technology and the data management & analysis system for damage recognition are mainly developed and applied. This automatic recognition system enables inspectors or clients to obtain correct data that can recognize a damage, such as, crack, water leakage, efflorescence, delamination (peeling), spalling, etc. In addition, this study takes aim at the effect of secure safety, functional maintenance and extension of design lifetime according to build up continuous and systematic data management system.

• The Journal of the Korea Contents Association
• /
• v.16 no.11
• /
• pp.434-443
• /
• 2016

Users can set manually Android phone to do particular tasks on some situations. This type of setting is inconvenient, and also provide with unnecessary services, which don't consider users' situation. In this research, we design and implement a context-aware automatic task setting application. Users can get context-aware service by setting desired tasks based on contexts using this system. We design a language for describing context-action rules, and statically check validity of context-action rules by performing syntax and semantic check.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.5S
• /
• pp.1620-1628
• /
• 2000

Existing internet auction systems have adopted the form which gives a win to the auction bidder who proposes the top bid price for the goods posted on the auction board. But they haven't been satisfying the automatical one-step processing for user's convenience because they must require continuous care of user for bidding and checking as well as neglecting the convenience of user interface while participating in the electronic bidding system. The AuctionBot system of Michigan Univ. is known as the representative internet auction system. It has merit allowing the various kids of bidding. But it does not support automatic a process which can replaces what user has to do using an agent. To improve this kind of user interface, we propose an automatic bidding price strategy algorithm which composes the auction system using agent and design for auto-bidding system using agent so that I can replace user's bidding activity. This mechanism gives an auction system the efficient bidding price strategy.

• Korean Journal of Remote Sensing
• /
• v.19 no.1
• /
• pp.61-70
• /
• 2003

This paper proposes an autonomous approach to localize the center of fiducial marks included in aerial photographs without precise geometric information and human interactions. For this localization, we present a conceptual model based on two assumptions representing symmetric characteristics of fiducial area and fiducial mark. The model makes it possible to locate exact center of a fiducial mark by checking the symmetric characteristics of pixel value distribution around the mark. The proposed approach is composed of three steps: (a) determining the symmetric center of fiducial area, (b) finding the center of a fiducial mark with unit pixel accuracy, and finally (c) localizing the exact center up to sub-pixel accuracy. The symmetric center of the mark is calculated tv successively applying three geometric filters: simplified ${\nabla}^2$G (Laplacian of Gaussian) filter, symmetry enhancement filter, and high pass filter. By introducing a self-diagnosis function based on the self-similarity measurement, a way of rejecting unreliable cases of center calculation is proposed, as well. The experiments were done with respect to 284 samples of fiducial marks composed of RMK- and RC-style ones extracted from 51 scanned aerial photographs. It was evaluated in the visual inspection that the proposed approach had resulted the erroneous identification with respect to only one mark. Although the proposed approach is based on weak constraints, being free from the exact geometric model of the fiducial marks, experimental results showed that the proposed approach is sufficiently robust and reliable.