• 대한음성학회지:말소리
• /
• 제51호
• /
• pp.71-84
• /
• 2004

In this paper, we propose the automatic speech database verification method(or called automatic verification) based on confidence measure for a large speech database. This method verifies the consistency between given transcription and speech using the confidence measure. The automatic verification process consists of two stages : the word-level likelihood computation stage and multi-level likelihood ratio computation stage. In the word-level likelihood computation stage, we calculate the word-level likelihood using the viterbi decoding algorithm and make the segment information. In the multi-level likelihood ratio computation stage, we calculate the word-level and the phone-level likelihood ratio based on confidence measure with anti-phone model. By automatic verification, we have achieved about 61% error reduction. And also we can reduce the verification time from 1 month in manual to 1-2 days in automatic.

• 반도체디스플레이기술학회지
• /
• 제16권2호
• /
• pp.1-8
• /
• 2017

The visual inspection of electronic parts consists of two steps: automatic visual inspection and verification inspection. In the stage of a verification inspection, the human inspector sequentially inspects all the areas which detected in the automatic inspection. In this study, we propose an algorithm to determine the order of verification inspection by Bayes inference well known in the field of machine learning. This is a method of prioritizing a region estimated to have a high probability of defect using experience data of past inspection. This algorithm was applied to the visual inspection of ultraviolet filters to verify its effectiveness. As a result of the comparison experiment, it was confirmed that the verification inspection can be completed 30% of the conventional method by adapting proposed algorithm.

• 한국통신학회논문지
• /
• 제21권7호
• /
• pp.1642-1653
• /
• 1996

This paper covers feature extraction for automatic handwritten signature verification. Several major feature selection techniques are investigated from a practical perspective to realise an optimal signature verification system, and customised feature set selection based on set-on-set distance measurement is presented. The experimental results have proved the proposed methods to be efficient, offering considerably improved verification performance compared to conventional methods. Also, they dramatically reduce the processing complexity in the verification system.

• 한국컴퓨터정보학회논문지
• /
• 제20권10호
• /
• pp.15-21
• /
• 2015

In this paper, we propose a stable automatic signature verification algorithm applicable to various smart devices. The proposed algorithm uses real and forgery data all together, which can improve the verification rate dramatically. As a tool for signature acquisition in a smart device, two applications, one using touch with a finger and the other using a pressure-sensing-stylus pen, are developed. The verification core is based on SVM and some modifications are made to include the characteristics of signatures. As shown in experimental results, the minimum error rate was 1.84% in the SVM based method, which can easily defeat 4.38% error rate with the previous parametric approach. Even more, 2.43% error rate was achieved with the features excluding pressure-related features, better than the previous approach including pressure-related features and only about 0.6% more error than the best result, which means that the proposed algorithm can be applied to a smart device with or without pressure-sensing-stylus pens and used for security purposes.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2003년도 추계학술대회 및 정기총회
• /
• pp.135-138
• /
• 2003

This paper considers a verification problem on EJB(Enterprise JavaBeans). We select SPIN as a automatic verification tool and consider an instance management specification of CMP(Container Managed-Persistence) entity bean. By showing the verification procedure, we can conclude that SPH can be used to verify EJB systems.

• 한국산업정보학회논문지
• /
• 제25권4호
• /
• pp.17-27
• /
• 2020

본 논문에서는 무기체계 양산에 활용되는 자동시험장비 (Automatic Test Equipment: ATE)의 유효성 입증을 위한 검증 방안을 제안하였다. 검증되지 않은 시험장비의 시험 데이터는 신뢰성이 미흡하여 객관적인 자료로써 활용이 제한되므로 ATE를 활용한 시험대상품의 품질 수준을 확보하기 위해서 시험장비의 검증이 필수적이다. 제시된 방법을 통해 전술정보통신체계 ATE에 적용하여 검증 결과를 확인하고 유효성 입증 결과를 기술한다.

• 대한의용생체공학회:의공학회지
• /
• 제22권3호
• /
• pp.269-273
• /
• 2001

Proper determination of pacing threshold is important for patient safety and pacemaker longevity. In general, cardiac muscle contractions caused by pacing pulses are verified by observing the morphology of surface ECG displayed on a monitor. In this study, a method of automatic pacing threshold determination based on morphological difference between intrinsic and paced ECGs was developed. First, characteristics of intrinsic ECG and paced ECG were analyzed in time and frequency domain and a proper discrimination parameter was extracted. Then, the automatic capture verification method based on the parameter was developed and applied to 23 pacemaker patients. The selected parameter was the area of ventricular depolarization wave during 80ms after pacing stimulus. It was found that the method was reliable and effective in identifying paced ECG and, thereby, determing a proper pacing threshold.

• 대한음성학회지:말소리
• /
• 제43호
• /
• pp.45-55
• /
• 2002

High reliability of automatic speaker recognition regardless of voice conditions is necessary for forensic application. Audio recordings in real cases are not consistent in voice conditions, such as duration, time interval of recording, given text or conversational speech, transmission channel, etc. In this study the variation of verification error rate of ASR system with the voice conditions was investigated. As a result in order to decrease both false rejection rate and false acception rate, the various voices should be used for training and the duration of train voices should be longer than the test voices.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.126-131
• /
• 2007

Design for automatic coupler system of Korean Tilting Train eXpress is described. In order to carry out validation & verification activities for system design, test condition is taken into account at collision speed of 10km/h, which is required in Safety Notice for rolling stock vehicle. The study aims at safety validation between a coupler and car body including design verification for a coupler through the identifying of system design and the evaluating of test results.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권3호
• /
• pp.1284-1297
• /
• 2019

The network environment is presently becoming very increased. Accordingly, the study of traffic classification for network management is becoming difficult. Automatic signature extraction system is a hot topic in the field of traffic classification research. However, existing automatic payload signature generation systems suffer problems such as semi-automatic system, generating of disposable signatures, generating of false-positive signatures and signatures are not kept up to date. Therefore, we provide a fully automatic signature update system that automatically performs all the processes, such as traffic collection, signature generation, signature management and signature verification. The step of traffic collection automatically collects ground-truth traffic through the traffic measurement agent (TMA) and traffic management server (TMS). The step of signature management removes unnecessary signatures. The step of signature generation generates new signatures. Finally, the step of signature verification removes the false-positive signatures. The proposed system can solve the problems of existing systems. The result of this system to a campus network showed that, in the case of four applications, high recall values and low false-positive rates can be maintained.