• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.571-573
• /
• 2004

Speaker verification systems based on multilayer perceptrons (MLPs) have good prospects in reliability and flexibility required as a successful authentication system. However, the poor learning speed of the error backpropagation (EBP) which is representative learning method of MLPs is the major defect to be complemented to achieve real-time user enrollments. In this paper, we implement an MLP-based speaker verification system and apply the existing two methods of the omitting patterns in instant learning (OIL) and the discriminative cohort speakers (DCS) to approach real-time enrollment. An evaluation of the system on a Korean speech database demonstrates the feasibility of the system as a speaker verification system of high performance.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2005.11b
• /
• pp.204-207
• /
• 2005

A reliable and practical finite element modeling technique to predict the lifetime of automotive electronics is important for engineers in reliability. In reliability evaluation on the automotive electronics, most studies rarely used FE model verification process. The material properties and boundary conditions are very important factors in this process to assure the reliability of the automotive electronics. This study aims to develop a better and more accurate FE model in order to predict fatigue life of the automotive electronics using Virtual Qualification lifetime assessment techniques. After conducting the modal analysis by the experiments to grasp a system characteristic, this paper presents material properties and boundary conditions that is obtained by the comparisons of FEA simulation results using DOE technique and the experiment results.

• Women's Health Nursing
• /
• v.16 no.4
• /
• pp.370-380
• /
• 2010

Purpose: The purpose of this study was to develop an uncertainty scale for infertile women. Methods: The process included construction of a conceptual framework, generation of 12items, verification of content validity, selection of secondary items, verification of construct validity and extraction of final items. In order to verify the reliability and validity of the preliminary instrument, data were collected from 50 infertile women in an In Vitro Fertilization (IVF) clinic. Data were analyzed by item analysis, Varimax factor analysis and Cronbach's alpha. Results: There were 10 items in the final instrument categorized into 2 factors labeled as "personal (6 items)" and "relational (4 items)" The total variance explained was 73.36%. The instrument was shown to have good reliability with a Cronbach's alpha of .899. Conclusion: Validity and reliability of the scale were confirmed in this study showing its utility to measure uncertainty for infertile women. The instrument can help understand sterility and accurately measure uncertainty for infertile women. The instrument can also be used to evaluate nursing interventions designed for mitigating uncertainty for infertile women.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.15 no.4
• /
• pp.617-624
• /
• 2020

Due to the rapid development of science technology and the main characteristics of the defense industry, such as long development period, design complexity, high possibility of discontinuing parts due to long life cycle, and small quantity production, it can cause increasing of the inflow possibility of counterfeit electronic parts and deteriorating the reliability of weapons systems. This paper presents the specific criteria for the identification of electronic parts to be verified for mass produced weapons systems after the development is completed, and the identification and verification methods for the inflow of counterfeit electronic components.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.43 no.2 s.344
• /
• pp.96-104
• /
• 2006

This paper presents design methodology, encient verification and implementation of a CAN protocol controller. The design methodology uses a heuristic technique to make the design flexible and cost effective. Using the design methodology, we created architecture for a CAN controller which has flexible and low cost features. For faster time-to-market and reliable operation of the designed CAN protocol controller, we p개posed a three-step verification process which uses three different kinds of verification techniques. The goal of this three-step verification is to reduce the number of test sequences in order to rapidly implement the design without loss of reliability for faster time-to-market. The designed CAN protocol controller was fabricated using a 0.35 micrometer CMOS technology.

• Nuclear Engineering and Technology
• /
• v.46 no.3
• /
• pp.381-386
• /
• 2014

A highly reliable safety class controller for NPPs (Nuclear Power Plants) is mandatory as even a minor malfunction can lead to disastrous consequences for people, the environment or the facility. In order to enhance the reliability of a safety class digital controller for NPPs, we employed a diversity approach, in which a PLC-type controller and a PLD-type controller are to be operated in parallel. We built and used structured testbenches based on the classes supported by UVM for functional verification of the PLD-type controller designed for NPPs. We incorporated a UVM register model into the testbenches in order to increase the controllability and the observability of the DUT(Device Under Test). With the increased testability, we could easily verify the datapaths between I/O ports and the register sets of the DUT, otherwise we had to perform black box tests for the datapaths, which is very cumbersome and time consuming. We were also able to perform constrained random verification very easily and systematically. From the study, we confirmed the various advantages of using the UVM register model in verification such as scalability, reusability and interoperability, and set some design guidelines for verification of the NPP controllers.

• 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.

• MALSORI
• /
• no.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.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.11a
• /
• pp.297-300
• /
• 2003

This paper considers formal verification methods for enhancing software reliability. The formal method verifies that a software is correctly implemented according to its specification by using a mathematical formalism. This paper presents a partial survey on the formal methods and discusses possible applications for the improved software implementation. Finally, some topics are remarked as further studies.

• Journal of the Korean Society of Safety
• /
• v.32 no.4
• /
• pp.7-15
• /
• 2017

International standards such as IEC-61508 and IEC-61511 require Safety Integrity Levels (SILs) for Safety Instrumented Functions (SIFs) in process industries. SIL verification is one of the methods for process safety description. Results of the SIL verification in some cases indicated that several Safety Instrumented Functions (SIFs) do not satisfy the required SIL. This results in some problems in terms of cost and risks to the industries. This study has been performed to improve the reliability of a safety instrumented function (SIF) installed in hydrodesulfurization reactor heater using Partial Stroke Testing (PST). Emergency shutdown system was chosen as an SIF in this study. SIL verification has been performed for cases chosen through the layer of protection analysis method. The probability of failure on demands (PFDs) for SIFs in fault tree analysis was $4.82{\times}10^{-3}$. As a result, the SIFs were unsuitable for the needed RRF, although they were capable of satisfying their target SIL 2. So, different PST intervals from 1 to 4 years were applied to the SIFs. It was found that the PFD of SIFs was $2.13{\times}10^{-3}$ and the RRF was 469 at the PST interval of one year, and this satisfies the RRF requirements in this case. It was also found that shorter interval of PST caused higher reliability of the SIF.