• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.41 no.3
• /
• pp.175-182
• /
• 2004

There is a growing interest in speaker verification, which verifies someone by his/her voices. There are many speaker vitrification algorithms such as HMM and DTW. However, it is impossible to apply these algorithms to memory limited applications because of large number of feature vectors to register or verify users. In this paper we introduces a speaker verification system using SVM, which needs a little memory usage and computation time. Also we proposed hardware architecture for SVM. Experiments were conducted with Korean database which consists of four-digit strings. Although the error rate of SVM is slightly higher than that of HMM, SVM required much less computation time and small model size.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.36 no.9
• /
• pp.867-873
• /
• 2008

Model based virtual Flight Control System construction is essential for Fly-by-Wire Flight Control System verification & validation(V&V) of concurrent engineering base. We researched the concept of dual-architecture system for virtual system construction, and analyzed Flight Control System that is applied to high altitude long endurance(HAE) UAS. Finally, we constructed the model based virtual Flight Control System with system analysis and achieved system verification about flight critical failure modes. Analysis target is RQ-4A.

• Journal of Information Technology Services
• /
• v.19 no.3
• /
• pp.151-163
• /
• 2020

This paper describes a study on the FRACAS(Failure Reporting Analysis and Corrective Action System)-based dependability control platform for domestic urban railway trains. There are more demands for the verification of the dependability of trains as it becomes a regulation for train manufacturers to verify the dependability recently. Train manufacturers as well as railway operators need a effective FRACAS solution to perform the verification of the dependability. Yet current FRACAS solutions have limitations to support the verification processes effectively. This paper addresses the issues of current FRACAS solutions and suggests a FRACAS framework designed for the domestic urban railway trains. Service failure scenarios are standardized using the proposed availability model to implement a more user-friendly and reliable platform. A new FRACAS-based platform for the dependability control (SCARF^®) has been developed to implement the suggested framework. The detail interfaces and functions of the platform are explained. The SCARF^® platform is expected to engage the increasing demands for the dependability control successfully enhancing the reliability, maintainability, availability and safety of domestic urban railway trains eventually.

• Journal of Ocean Engineering and Technology
• /
• v.27 no.1
• /
• pp.24-30
• /
• 2013

The Korea Navy has been making constant efforts to apply M&S (modeling and simulation) to naval ship development, and the generalization of M&S for ship development is a trend. M&S for ship design is used for the V&V (verification and validation) of its design and operation, including design verification and ergonomic design that considers the crew using the Naval Ship Product Model. In addition, many parts of this M&S are repeatedly accomplished regardless of the kinds of ships. This study aims to standardize M&S, which repeatedly applies similar verifications for operation scenarios. A congestion assessment simulation for the major spaces of ships was the subject of the standardization based on the leading research results of various researchers, and a simulation automation solution was suggested. An information model using XML was proposed through the simulation automation concept, and a prototype system based on it was implemented. The usability was shown through a case study that verified the operability performance of the crew messroom.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.6
• /
• pp.1453-1467
• /
• 1996

A software development process is regarded as the process of building a series of various models. But developers had no method to verify these models which created subjectively. This paper has adopted initiative of verification tools to an early phase of analysis, whereas the existing verification tools have been used for implementations. This paper has defined a constraint language that expresses disciplines suggested in the system has been built upon the constraint language, which is proven to enhance the quality and consistency of models constructed by object model editor.

• Land and Housing Review
• /
• v.11 no.3
• /
• pp.93-101
• /
• 2020

Recently, as a BIM-based construction simulation system, 4D CAD tools using virtual reality (VR) objects are being applied in construction project. In such a system, since the expression of the object is based on VR image, it has a sense of separation from the real environment, thus limiting the use of field engineers. For this reason, there are increasing cases of applying augmented reality (AR) technology to reduce the sense of separation from the field and express realistic VR objects. This study attempts to develop a methodology and BIM module for the pre-construction verification system using AR technology to increase the practical utility of VR-based BIM objects. To this end, authors develop an AR-based drawing verification function and drawing object-based 4D model augmentation function that can increase the practical utility of 2D drawings, and verify the applicability of the system by performing case analysis. Since VR object-based image has a problem of low realism to field engineers, the linking technology between AR object and 4D model is expected to contribute to the expansion of the use of 4D CADsystem in the construction project.

• Journal of KIBIM
• /
• v.11 no.3
• /
• pp.1-11
• /
• 2021

BIM is one of the means of reducing the economic loss caused by design errors. These features of BIM have led to increased use of BIM. With the increasing use of BIM, several studies have been conducted to analyze the performance of BIM. As the importance of BIM staff is emphasized in the performance analysis of BIM, the human resource allocation of BIM staff can become an important research issue. However, there are few studies to measure the workforce effectiveness of BIM staff. Ham et al (2020) measured BIM workforce efficiency using FCFS queue model rules. Since design errors can have different effects on the project depending on the type, there are design errors that must be dealt with first. Therefore, in this study, a priority queue was used to solve design errors with high priority first. The performance of BIM-based design verification was analyzed by quantitatively analyzing the performance of BIM staff when the priority rule was applied to the design error processing sequence.

• Journal of the Korean Society of Systems Engineering
• /
• v.19 no.1
• /
• pp.44-55
• /
• 2023

The defense M&S system, which has been classified as a weapon system between requirements determination and project implementation, is being developed by applying the weapon system development procedure of the Defense Acquisition Program Administration. The M&S system abstracts and models the real world to suit the intended use and proceeds with the process of developing it as a software-oriented system. Overseas, the conceptual model development stage is staged before entering the design stage after the requirements analysis. In addition, each step includes verification and validation processes. In Korea, while establishing and applying the weapon system development procedure based on the SE process, the M&S system is also applied in the same way as the general weapon system, limiting appropriate development outputs and verification and validation. In this study, the system development procedure of the M&S system is established and presented based on the relevant standards and SE process of developed countries.

• Proceedings of the IEEK Conference
• /
• 1998.10a
• /
• pp.1255-1258
• /
• 1998

Hidden Markov Model (HMM) is the most widely used method in speech recognition. In general, HMM parameters are trained to have maximum likelihood (ML) for training data. This method doesn't take account of discrimination to other words. To complement this problem, this paper proposes a word verification method by re-recognition of the recognized word and its similar word using the discriminative function between two words. The similar word is selected by calculating the probability of other words to each HMM. The recognizer haveing discrimination to each word is realized using the weighting to each state and the weighting is calculated by genetic algorithm.

• Proceedings of the KSPS conference
• /
• 2006.05a
• /
• pp.139-142
• /
• 2006

Speaker verification systems can be implemented using speaker adaptation methods if the amount of speech available for each target speaker is too small to train the speaker model. This paper shows experimental results using well-known adaptation methods, namely Maximum A Posteriori (MAP) and Maximum Likelihood Linear Regression (MLLR). Experimental results using Korean speech show that MLLR is more effective than MAP for short enrollment utterances.