• Journal of the Korean Society of Safety
• /
• v.25 no.2
• /
• pp.29-34
• /
• 2010

This paper is aimed to develop monitoring software for detecting the characteristics of current and voltage signals for series arc on electric wire. In order to attain this purpose, the characteristics of series arc were analyzed by the current and voltage signals on electric wire which were installed, and also analyzed by the changes of RMS, instantaneous of waveform value in time domain and THD in frequency domain. Monitoring program which analyze the signal was developed by Labview which can analyze in time domain and frequency domain, and save data. Experimental setup for detecting verification of monitoring program was composed loads of a lamp, an electric heater and an electric fan loads which were usually using. Measurement points for detecting verification of monitoring program were selected at both the panel board and the arc generator at the same time. As results of the experiments by monitoring program, the arc current waveform showed the same characteristic in all measurement points of all load. But the arc voltage waveform was different in each measurement point. When arc occurred, the THD of current value increased above 20%. The results of this study will be effectively used in developing the preventive system of electric fire by series arc.

• KIPS Transactions on Software and Data Engineering
• /
• v.7 no.4
• /
• pp.135-144
• /
• 2018

The domestic pigsty environment is highly vulnerable to the spread of respiratory diseases such as foot-and-mouth disease because of the small space. In order to manage this issue, a variety of studies have been conducted to automatically analyze behavior of individual pigs in a pig pen through a video surveillance system using a camera. Even though it is required to correctly segment touching pigs for tracking each pig in complex situations such as aggressive behavior, detecting the correct boundaries among touching pigs using Kinect's depth information of lower accuracy is a challenging issue. In this paper, we propose a segmentation method using motion information of the touching pigs. In addition, our proposed method can be applied for detecting tracking errors in case of tracking individual pigs in the complex environment. In the experimental results, we confirmed that the touching pigs in a pig farm were separated with the accuracy of 86%, and also confirmed that the tracking errors were detected accurately.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.21 no.2
• /
• pp.26-36
• /
• 2013

Purpose of this study is to develop virtual components and environment for developing a controller of an Active Air Suspension System in laboratory that slough off existing development environment using real vehicle test. This paper presents an air spring modeling and analysis of air suspension system for a commercial vehicle. Preferentially, It was performed vehicle test for pneumatic system and an air spring for characteristic analysis of system. Each component of an air spring suspension system was developed through emulations and modeling of system for pressure and height sensors in the basis on test results in SILS environment. Non-linear characteristics of air spring are accounted for using the measured data. Also, pressure and volume relations for vehicle hight control is considered. After performance verification of virtual model was performed, we developed virtual environment based on HILS for an Active Air Suspension System. We studied estimation and verification technology for control algorithm that developed.

• Journal of Korean Institute of Industrial Engineers
• /
• v.39 no.6
• /
• pp.486-497
• /
• 2013

In this paper, we first present an in-depth survey of the research on Verification, Validation and Accreditation (VV&A) applied in various areas. Then we introduce the characteristics of the military and defense Modeling and Simulation (M&S) and propose the direction of method for VV&A with the identified characteristics. The M&S has been widely used in many different applications in the military and defense area including training, analysis, and acquisition. Methods and processes of VV&A have been proposed by researchers and M&S practitioners to guarantee the correctness of the M&S. The idea of applying the formal credibility assessment in VV&A is originated from the Software Engineering Reliability Test and Systems Engineering Development Process. However, the current VV&A techniques and processes proposed in the research community have not utilized the military-and-defense specific characteristics. We identify the characteristics and issues that can be found in the military and defense M&S. Then propose the direction of techniques and methods for VV&A considering the characteristics and issues. Also, possible research direction on the development of VV&A is proposed.

• Journal of KIISE:Software and Applications
• /
• v.30 no.12
• /
• pp.1158-1171
• /
• 2003

The UML is a widely accepted standard in object-oriented modeling. As the UML is semantically rich, we can describe in detail the system that will be developed, but we cannot guarantee the correctness and consistency of the designed model. Therefore, it is important to minimize the error by verifying user models in an early stage. In this paper, we propose a method for verifying the consistency of UML structural diagrams and behavioral diagrams using OCL verification rules and meta-metamodel. The consistency is a nature for checking whether the structural diagrams and behavioral diagrams are coherently designed according to a specific requirement. First we build meta-metamodels of the structural diagram and behavioral diagram that are described with the UML diagrams and the related elements, we derive rules for verifying the consistency from each meta-metamodels, and then formally specify with the language such as OCL for automatic verification. Finally, we verify the usefulness of the rule through a case study.

• Journal of KIISE:Software and Applications
• /
• v.31 no.2
• /
• pp.213-223
• /
• 2004

In this paper, we propose a new face detection method for real-time applications. It is based on the template-matching and appearance-based method. At first, we apply Min-max normalization with histogram equalization to the input image according to the variation of intensity. By applying the PCA transform to both the input image and template, PC components are obtained and they are applied to the LDA transform. Then, we estimate the distances between the input image and template, and we select one region which has the smallest distance. SVM is used for final decision whether the candidate face region is a real face or not. Since we detect a face region not the full region but within the $\pm$12 search window, our method shows a good speed and detection rate. Through the experiments with 6 category input videos, our algorithm shows the better performance than the existing methods that use only the PCA transform. and the PCA and LDA transform.

• Journal of the Korea Society of Computer and Information
• /
• v.25 no.4
• /
• pp.47-53
• /
• 2020

Blockchain is a distributed shared ledger that transparently manages information through verification and agreement between nodes connected to a distributed network. Recently, cases of data management among authorized agencies based on private blockchain are increasing. In this paper, we investigated the application cases and technical processes of PBFT, the representative consensus algorithm of private blockchain, and proposed a modified PBFT algorithm that enables efficient consensus by simplifying duplicate verification and consensus processes that occur during PBFT processing. The algorithm proposed in this paper goes through the process of selecting a delegation node through an authoritative node and can increase the safety of the delegation node selection process by considering an efficient re-election algorithm for candidate nodes. By utilizing this research, it is possible to reduce the burden on the network communication cost of the consensus process and effectively process the final consensus process between nodes.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.20 no.12
• /
• pp.136-144
• /
• 2021

The purpose of this study was to develop and verify a precision transmission error measurement system for a gear pair. The transmission error measurement system of the gear pair was developed as a measurement unit, signal processing unit, and signal analysis unit. The angular displacement for calculating the transmission error of the gear pair was measured using an encoder. The signal amplification, interpolation, and transmission error calculation of the measured angular displacement were conducted using a field-programmable gate array (FPGA) and a real-time processor. A high-pass filter (HPF) was applied to the calculated transmission error from the real-time processor. The transmission error measurement test was conducted using a gearbox, including the master gear pair. The same test was repeated three times in the clockwise and counterclockwise directions, respectively, according to the load conditions (0 - 200 N·m). The results of the gear transmission error tests showed similar tendencies, thereby confirming the stability of the system. The measured transmission error was verified by comparing it with the transmission error analyzed using commercial software. The verification showed a slight difference in the transmission error between the methods. In a future study, the measurement and analysis method of the developed precision transmission error measurement system in this study may possibly be used for gear design.

• Journal of Positioning, Navigation, and Timing
• /
• v.12 no.2
• /
• pp.185-200
• /
• 2023

The Korea Augmentation Satellite System (KASS) is the first satellite navigation enhancement system in Korea developed in compliance with international standards. Technologies accumulated during the development process should be spread to industries such as academia and serve as the basis for developing the domestic satellite navigation field. This paper introduces the development process from design to implementation, testing, and verification of KASS control systems (KCS). First, development standards, milestones, requirements, and interface standards are presented as KCS development methods, and major functional design, physical design, and hardware/software implementation are described based on the allocated requirements. Subsequently, the verification environment, procedures, and results of the development product are covered and the developed operational and maintenance procedures are described. In addition, based on the experience gained through the development, suggestions were made for beneficial technology development and organization when promoting satellite navigation projects in the future. Since this work has important historical value for the development of domestic satellite navigation, it is expected that the development results will be shared with academia and industry in the future and be used as basic data for similar development.

• The Research Journal of the Costume Culture
• /
• v.31 no.3
• /
• pp.330-345
• /
• 2023

This study aimed to categorize consumers using super app functional characteristics to identify demographic differences, and analyze shopping orientations by consumer type. This data can be used by fashion and beauty companies for product planning and marketing strategies. To categorize super app consumers, data were analyzed with SPSS v.26.0 software using frequency, factor, reliability K-mean cluster, and distributed analyses, one-way-ANOVAs, and Scheffe verification. Cross-analysis was conducted to correlate super app consumer types with demographic characteristics. One-way-ANOVAs and Scheffe verification were used to analyze the differences in shopping preferences between super app consumer groups. As a result of our analyses, super app consumers were classified into four types: the ration type, the low-use type, the multifunction type, and the habit type. There were statistically significant differences between these types in age, occupation, marital status, average monthly household income, and shopping impact factors. Five super app user shopping orientations were identified: brand pursuit, pleasure pursuit, trend pursuit, risk perception, and economic orientation. The differences in the preferred orientation between super app consumer types were found to be statistically significant. The majority of respondents were multifunction type consumers. This group used the super app most frequently and effectively. They also demonstrated the highest scores for all five of the shopping orientations. The classification of consumer types in this study will allow the fashion and beauty industries to utilize super apps for more targeted product design and marketing.