• The Journal of the Acoustical Society of Korea
• /
• v.19 no.5
• /
• pp.20-26
• /
• 2000

In speaker verification system the HMM(hidden Markov model) parameter updating using small amount of data and the priori threshold decision are crucial factor for dealing with long-term variability in people voices. In the paper we present the speaker model updating technique which can be adaptable to the session-to-intra speaker variability and the priori threshold determining technique. The proposed technique decreases verification error rates which the session-to-session intra-speaker variability can bring by adapting new speech data to speaker model parameter through Baum Welch re-estimation. And in this study the proposed priori threshold determining technique is decided by a hybrid score measurement which combines the world model based technique and the cohen model based technique together. The results show that the proposed technique can lead a better performance and the difference of performance is small between the posteriori threshold decision based approach and the proposed priori threshold decision based approach.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.358-362
• /
• 2004

Verification and testing are complementary techniques that are used to increase the level of confidence in the correct functioning of communication systems as prescribed by their specifications. This paper presents an experience of model checking for a formal railway signaling protocol specified in LTS (Labeled Transition System). This formal approach checks deadlock, livelock and reachability for the state and action to verify whether properties expressed in modal logic are true on specifications. We also propose a formal method for semi-automated test case generation for a railway signaling protocol described in I/O FSM (Input/Output Finite State Machine). This enables the generation of more complete and consistent test sequence for conformance testing. The above functions are implemented by C++ language and included within RSPVTE (Railway Signaling Protocol Verification and Testing Environment).

• Plant Journal
• /
• v.13 no.2
• /
• pp.39-45
• /
• 2017

This paper is a study on FEED validation model that can be used in the bidding stage of small utility equipment in offshore plant industry using system engineering technique. Currently, domestic marine plant equipment industry companies are faced with the financial risk of project execution as they enter marine plant. The major cause was the insufficient ability to verify the FEED output from the contractor (Engineering or Procurement and Construction) of the equipment manufacturer (COMPANY or EPC). Therefore, we propose FEED design verification method that simplifies the system engineering method that sequentially applies requirements analysis, function, performance analysis and physical architecture building process. Also, we verified the suitability of the developed model by comparing the results of applying the developed FEED verification model and the verification method that depends on the existing experience for the small utility equipment (Air Compressor).

• Journal of information and communication convergence engineering
• /
• v.8 no.3
• /
• pp.251-257
• /
• 2010

The realization of u-City is coming near in some local governments by applying various city services, namely, u-City services to the city construction field to improve competitiveness of the city. But it is a reality that some local governments are experiencing many trial and errors in application of the u-City service in addition to the problem posing that the u-City service is not considering characteristics of development or application environment of an individual city. The present research proposes a service model for on-site application of the u-City service to solve this problem. The proposed model suggests a method for specifically conceptualizing and objectifying the on-site application that the existing concept-oriented model or an architecture-oriented model, etc. didn't provide. The verification system on effectiveness or effects of the u-City service model to remove ambiguity on the u-City service especially. The verification system of the u-City service model grasps the technology, function, procedure and target, etc. that the u-City service contains, evaluates whether the model satisfies conditions that the model should have, and secures objectivity and predictability of the u-City service model through confirmation on propriety, implementation and effectiveness, etc.

• Atmosphere
• /
• v.22 no.3
• /
• pp.345-356
• /
• 2012

The UK Met Office Unified Model at the KMA has been operationally utilized as the next generation numerical prediction system since 2010 after it was first introduced in May, 2008. Researches need to be carried out regarding various physical processes inside the model in order to improve the predictability of the newly introduced Unified Model. We first performed a preliminary experiment for the domain ($170{\times}170$, 10 km, 38 layers) smaller than that of the operating system using the version 7.4 of the UM local model to optimize its physical processes. The result showed that about 7~8% of the improvement ratio was found at each stage by integrating four factors (u, v, th, q), and the final improvement ratio was 25%. Verification was carried out for one month of August, 2008 by applying the optimized combination to the domain identical to the operating system, and the result showed that the precipitation verification score (ETS, equitable threat score) was improved by 9%, approximately.

• Nuclear Engineering and Technology
• /
• v.51 no.5
• /
• pp.1231-1240
• /
• 2019

Unlike land-based nuclear power plants, a marine or floating reactor is affected by external forces due to ocean conditions. These external forces can cause additional accelerations and affect each system and equipment of the marine reactor. Therefore, in designing a marine reactor and evaluating its performance and stability, a thermal hydraulic safety analysis code is necessary to consider the thermal hydrodynamic effects of ship motion. MARS, which is a reactor system analysis code, includes a dynamic motion model that can simulate the thermal-hydraulic phenomena under three-dimensional motion by calculating the body force term included in the momentum equation. In this study, it was verified that the dynamic motion model can simulate fluid motion with reasonable accuracy using conceptual problems. In addition, two modifications were made to the dynamic motion model; first, a user-supplied table to simulate a realistic ship motion was implemented, and second, the flow regime map determination algorithm was improved by calculating the volume inclination information at every time step if the dynamic motion model was activated. With these modifications, MARS could simulate the thermal-hydraulic phenomena under ocean motion more realistically.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.23 no.1
• /
• pp.43-65
• /
• 1998

This paper develops a two-echelon inventory model with time-weighted partial backorders. The presented model assumed to follow continuous review (Q. r) policy for both the retailers and the central warehouse under stochastic demand. A heuristic method to find an optimum-tending solution for total variable system cost per year incurred at the central warehouse and retailers in a system is suggested. To show the usefulness of the above model, numericla examples are illustrated for verification and validation purpose.

• Journal of Korean Institute of Industrial Engineers
• /
• v.36 no.3
• /
• pp.176-185
• /
• 2010

As long as the information systems are spread out, various efforts are being attempted to get the effective results by the system. As a result, a new management strategy has been appeared, referred to as "collaboration", and it is necessary to use a right methodology for modeling collaborative processes accordingly. Even though many modeling methodologies such as IDEF3, Petri-Nets, UML, and ARIS have been widely used for modeling processes, they are inadequate for clearly representing collaborative processes. Some researchers, therefore, have suggested new modeling methodologies for describing collaborative processes including CPM (collaborative process modeling). In this paper, we introduce an extended version of CPM method (i.e., exCPM) as a tool for modeling collaborative works after analyzing advantages and disadvantages of aforementioned methodologies. One of distinct characteristics of exCPM is that model verification is possible by transforming the exCPM models into Petri-Nets models. We also demonstrate transformation of an exCPM model in this paper with case studies for model verification.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.17 no.2
• /
• pp.626-643
• /
• 2023

As mobile forensics has emerged as an essential technique, the demand for technology development, education and training is increasing, wherein images are used. Academic societies in South Korea and national institutions in the US and the UK are leading the Mobile Forensic Image development. However, compared with disks, images developed in a mobile environment are few cases and have less active research, causing a waste of time, money, and manpower. Mobile Forensic Images are also difficult to trust owing to insufficient verification processes. Additionally, in South Korea, there are legal issues involving the Telecommunications Business Act and the Act on the Protection and Use of Location Information. Therefore, in this study, we requested a review of a standard model for the development of Mobile Forensic Image from experts and designed an 11-step development model. The steps of the model are as follows: a. setting of design directions, b. scenario design, c. selection of analysis techniques, d. review of legal issues, e. creation of virtual information, f. configuring system settings, g. performing imaging as per scenarios, h. Developing a checklist, i. internal verification, j. external verification, and k. confirmation of validity. Finally, we identified the differences between the mobile and disk environments and discussed the institutional efforts of South Korea. This study will also provide a guideline for the development of professional quality verification and proficiency tests as well as technology and talent-nurturing tools. We propose a method that can be used as a guide to secure pan-national trust in forensic examiners and tools. We expect this study to strengthen the mobile forensics capabilities of forensic examiners and researchers. This research will be used for the verification and evaluation of individuals and institutions, contributing to national security, eventually.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.5 no.2
• /
• pp.67-76
• /
• 2010

Although both functional verification and performance evaluation are necessary for the development of effective and reliable communication systems, they have been often performed independently; by functional modeling with formal language tools and by performance modeling with professional network performance evaluation tools, respectively. Separate and repeated modeling of one system, however, would often result in cost increase and inconsistency between the models. This paper proposes an integrated model design approach in order to overcome this problem that evaluates the performance of a communication protocol designed in SDL with SDL-OPNET model conversion. The proposed technique generates OPNET skeleton code from Tau-generated C code of the SDL model by analyzing the relations between SDL and OPNET models. IEEE 802.2 LLC protocol was used as an example of model conversion to show the applicability and effectiveness of the proposed technique.