• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.4 no.3
• /
• pp.271-276
• /
• 2004

This paper is a research on the dynamic signature verification of error rate which are false rejection rate and false acceptance rate, the size of signature verification engine, the size of the characteristic vectors of a signature, the ability to distinguish similar signatures, the processing speed and so on. Also, we present our efficient user interface and performance results.

• Journal of Information Processing Systems
• /
• v.14 no.4
• /
• pp.807-823
• /
• 2018

Speaker verification system performance depends on the utterance of each speaker. To verify the speaker, important information has to be captured from the utterance. Nowadays under the constraints of limited data, speaker verification has become a challenging task. The testing and training data are in terms of few seconds in limited data. The feature vectors extracted from single frame size and rate (SFSR) analysis is not sufficient for training and testing speakers in speaker verification. This leads to poor speaker modeling during training and may not provide good decision during testing. The problem is to be resolved by increasing feature vectors of training and testing data to the same duration. For that we are using multiple frame size (MFS), multiple frame rate (MFR), and multiple frame size and rate (MFSR) analysis techniques for speaker verification under limited data condition. These analysis techniques relatively extract more feature vector during training and testing and develop improved modeling and testing for limited data. To demonstrate this we have used mel-frequency cepstral coefficients (MFCC) and linear prediction cepstral coefficients (LPCC) as feature. Gaussian mixture model (GMM) and GMM-universal background model (GMM-UBM) are used for modeling the speaker. The database used is NIST-2003. The experimental results indicate that, improved performance of MFS, MFR, and MFSR analysis radically better compared with SFSR analysis. The experimental results show that LPCC based MFSR analysis perform better compared to other analysis techniques and feature extraction techniques.

• Journal of information and communication convergence engineering
• /
• v.8 no.2
• /
• pp.140-144
• /
• 2010

This paper is a research on an evaluating method for the dynamic signature verification system. It is described about various factors such as error rate, the size of signature verification engine, the size of the characteristic vectors of a signature, the ability to distinguish similar signatures, the processing speed of signature verification and so on. This study identifies factors to consider in evaluating signature verification systems comprehensively and objectively without an officially approved signature database, examines the meaning of each of the factors, and proposes criteria for evaluating and analyzing the factors.

• Proceedings of the SAREK Conference
• /
• 2007.11a
• /
• pp.453-458
• /
• 2007

The importance of the evaluation and verification of small-size cogeneration system has been emphasized because there is no KS-code related to the small-size cogeneration system. The evaluation method of small-size engine cogeneration system was investigated by the reference of Japan evaluation code, JIS B-8122 and international standard organization, ISO-8528. Evaluation method was introduced such as start-test, rapid-load-up and rapid-load-down, etc. The evaluation method was applied to the 300kW small-size gas engine cogeneration system newly developed. The precise and strict evaluation and verification of the system will help the developing cogeneration system to optimum condition. It will also be a base document of KS-Code.

• Proceedings of the CALSEC Conference
• /
• 2005.03a
• /
• pp.299-304
• /
• 2005

This paper is a research on the dynamic signature verification of error rate which are false rejection rate and false acceptance rate, the size of signature verification engine, the size of the characteristic vectors of a signature, the ability to distinguish similar signatures, and so on. We suggest feature extraction and comparison method of the signature verification. Also, we have implemented our system with Java technology for more efficient user interfaces and various OS Platforms.

• The Journal of Society for e-Business Studies
• /
• v.10 no.3
• /
• pp.49-65
• /
• 2005

This paper is a research on the dynamic signature verification of error rate which are false rejection rate and false acceptance rate, the size of signature verification engine, the size of the characteristic vectors of a signature, the ability to distinguish similar signatures, and so on. We suggest feature extraction and comparison method of the advanced signature verification. Also, we have implemented web authentication server with Java technology for supporting various OS Platforms and designed for more efficient user interfaces.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.1
• /
• pp.1-8
• /
• 2015

Safety critical systems require exhaustive verification of safety properties, because even a single corner-case fault can cause a critical safety failure. However, existing verification approaches are too costly in terms of time and computational resource required, making it hard to be applied in practice. In this paper, we implemented a tool for minimizing the size of the verification target w.r.t. verification properties to check, based on program slicing technique[1]. The efficacy of program slicing using our tool is demonstrated in a case study with a verification target Trampoline[3], which is an open source automotive operating system compliant with OSEK/VDX[2]. Experiments have shown enhanced performance in verification, with a 71% reduction in the size of the code.

• The Journal of the Acoustical Society of Korea
• /
• v.22 no.5
• /
• pp.383-387
• /
• 2003

This paper deals with the method of speaker verification based on the conventional cohort of fixed size. In particular, a new cohort of variable size, which makes use of the distance between speaker models, is proposed: The density of neighboring speaker models within the fixed distance from each speaker is taken into account in the proposed method. The high density leads to the increase of cohort size, thus improving the speaker verification rate. On the other hand, the low density leads to its decrease, thus reducing the amount of computations. The simulation results show that the proposed method outperforms the conventional one, achieving a reduction in the EER.

• Journal of the Semiconductor & Display Technology
• /
• v.23 no.1
• /
• pp.25-35
• /
• 2024

In the present modern day, as the complexity and size of SoC(System on Chip) increase, the importance of design verification are increasing, Therefore it takes a lot of time to verify the design. There is an emerging need to manage the verification environment faster and more efficiently by reusing the existing verification environment. UVM-based verification is a standardized and highly reliable verification method widely adopted and used in the semiconductor industry. This paper presents a UVM-based verification for the 4 tap equalizer module with a systolic array structure. Through the constraints randomization, it was confirmed that various test scenarios stimulus were generated. In addition, by verifying a simulation comparing the actual DUT outputs with the MATLAB reference outputs, the reuse and efficiency of the UVM test bench could be confirmed.

• Atmosphere
• /
• v.29 no.5
• /
• pp.615-626
• /
• 2019

To find any effects of precipitation climate on the forecast verification methods, we processed the hourly records of precipitation over South Korea. We examined their relationship between the climate and the methods of verification. Precipitation is an intermittent process in South Korea, generally less than an hour or so. Percentile ratio of precipitation period against the entire period of the records is only 14% in the hourly amounts of precipitation. The value of the forecast verification indices heavily depends on the climate of rainfall. The direct comparison of the index values might force us to have a mistaken appraisal on the level of the forecast capability of a weather forecast center. The size of the samples for verification is not crucial as long as it is large enough to satisfy statistical stability. Our conclusion is still temporal rather than conclusive. We may need the amount of precipitation per minute for the confirmation of the present results.