• The Journal of the Acoustical Society of Korea
• /
• v.19 no.3
• /
• pp.45-50
• /
• 2000

This paper proposes a delta energy method based on Parameter Filtering(PF), which is a speech segmentation algorithm for text dependent speaker verification system over telephone line. Our parametric filter bank adopts a variable bandwidth along with a fixed center frequency. Comparing with other methods, the proposed method turns out very robust to channel noise and background noise. Using this method, we segment an utterance into consecutive subword units, and make models using each subword nit. In terms of EER, the speaker verification system based on whole word model represents 6.1%, whereas the speaker verification system based on subword model represents 4.0%, improving about 2% in EER.

• Korea Trade Review
• /
• v.44 no.2
• /
• pp.203-219
• /
• 2019

Recently, the Trump administration initiated a new United States-Mexico-Canada Agreement (USMCA) that strengthened NAFTA's rules of origin to enhance protectionism while maintaining the framework of trade agreements rather than completely abolishing them. This study focuses on the behavior of firms motivated to influence the government to practice protectionist trade by analyzing the rules of origin verification and adopting the political economics model. This paper explains the process of endogenous determination of the stringency of rules of origin verification as a non-tariff barrier using the lobbying model. Comparative static analysis shows that the more efficient technology a domestic firm has and the more government prefers to raise political contribution, the more is verification likely to be strict. This suggests that a rationale exists to maintain a free trade agreement in the form of the new agreement (USMCA) without abolishing the current NAFTA regime.

• Nuclear Engineering and Technology
• /
• v.54 no.10
• /
• pp.3943-3948
• /
• 2022

Single-photon emission computed tomography is one of the reliable pin-by-pin verification techniques for spent-fuel assemblies. One of the challenges with this technique is to increase the total fuel assembly verification speed while maintaining high verification accuracy. The aim of the present study, therefore, was to develop an artificial intelligence (AI) algorithm-based tomographic image analysis technique for partial-defect verification of fuel assemblies. With the Monte Carlo (MC) simulation technique, a tomographic image dataset consisting of 511 fuel-rod patterns of a 3 × 3 fuel assembly was generated, and with these images, the VGG16, GoogLeNet, and ResNet models were trained. According to an evaluation of these models for different training dataset sizes, the ResNet model showed 100% pattern estimation accuracy. And, based on the different tomographic image qualities, all of the models showed almost 100% pattern estimation accuracy, even for low-quality images with unrecognizable fuel patterns. This study verified that an AI model can be effectively employed for accurate and fast partial-defect verification of fuel assemblies.

• Asian Journal of Business Environment
• /
• v.8 no.4
• /
• pp.17-27
• /
• 2018

Purpose - Current study aimed at investigating the symbolic and evaluation relevance to global luxury brands as the causes of inducing social identity verification, and also explored whether the social identity verification will affect the attitude toward the brands. Research design, data, and methodology - 323 questionaries from Chinese consumers were used to test hypotheses by structural equation model of AMOS 22.0. Results - First, social identity verification positively affected on the brand attitude. Second, both the symbolic relevance and the evaluation relevance positively affected on social identity verification. Third, the mediation roles of social identity verification were identified. Social identity verification played a full mediation role in the effect of the symbolic relevance on the brand attitude, and played a partial mediation role in the effect of the evaluation relevance on the brand attitude. Conclusions - This study could contribute to the advancement of theory concerned with the roles of consumers' social identity verification which induces positive attitude toward the global luxury brands. Global brand managers in China should try to search ways by which consumers can feel both the symbolic relevance and evaluation relevance to their luxury brands, and should make efforts to improve the symbolic relevance and evaluation relevance to their brand.

• Journal of the Korean Society for Railway
• /
• v.7 no.2
• /
• pp.114-119
• /
• 2004

According to the computerization of railway signalling systems. the communication protocol for interface between these systems are required. Therefore the new communication protocol for railway signaling system is required. Generally, there are two verification method for new designed protocol in the industrial and academic fields. One is the laboratory testing method which is very popular and general technique. In our research the comparison between existing and new designed protocol for signaling is described and the verification test results are also represented. From these laboratory test, we are verified the conformance of new designed protocol. Another method is verified by formal method. The format verification method is widely used at safety-critical system design but this approach is nor popular at verification communication protocol. However it is very important to verify the safety of new designed protocol for railway signaling system because signaling systems are very safety-critical systems. So, the methodology for formal verification of designed protocol is also reviews in this paper.

• Journal of Environmental Impact Assessment
• /
• v.17 no.4
• /
• pp.243-253
• /
• 2008

The purpose of this study was to simulate the reduction effect of soil loss in the Yongdam reservoir watershed using SWAT model. To evaluate accuracy for flow and sediment yield of SWAT model, calibration was performed for the period from Jan. 2002 to Dec. 2003, and the verification for Jan. 2005 to Dec. 2005. The calibration and the verification were carried out using data observed at the Cheoncheon gaging station. The $R^2$ and EI values in terms of a flow were 0.8 and 0.78 respectively for calibration, whereas they for verification were 0.88 and 0.86 respectively. In terms of a sediment yield, they were 0.7 and 0.48 respectively for calibration, whereas for verification were 0.64 and 0.54 respectively. As a results from model simulation, annual mean soil loss rates in terms of forest, paddy and upland were 0.02 ton/ha/yr, 0.15 ton/ha/yr and 7.58 ton/ha/yr, respectively. The results show that the land use type of a upland has more significant impact on a total soil loss as well as a sediment yield than other types of land use. The sediment delivery ratio was determined to be about 0.35. In this study 2 land cover change scenarios for upland area were considered. These scenarios were used an input to SWAT model in order to evaluate their impact on soil loss and sediment delivery. The results show that a reduction of the upland area would reduce the soil loss and sediment yield.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.6
• /
• pp.1393-1401
• /
• 2019

Recently as voice authentication function is installed in the system, it is becoming more important to accurately authenticate speakers. Accordingly, a model for verifying speakers in various ways has been suggested. In this paper, we propose a new method for verifying speaker verification using a Short-time Fourier Transform(STFT). Unlike the existing Mel-Frequency Cepstrum Coefficients(MFCC) extraction method, we used window function with overlap parameter of around 66.1%. In this case, the speech characteristics of the speaker with the temporal characteristics are studied using a deep running model called RNN (Recurrent Neural Network) with LSTM cell. The accuracy of proposed model is around 92.8% and approximately 5.5% higher than that of the existing speaker certification model.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.20 no.1
• /
• pp.113-119
• /
• 2014

Recently, R.O.K. Navy is increasing re-usability of design data and application of M&S(Modeling and Simulation) through the establishment of collaborative product development environment focused on Naval Ship Product Model(NSPM). As a result, the reliability of the result of design is getting better, and furthermore, a study to improve quality of construction through simulation of production/operation is in progress. Accordingly, the database construction of design data and the DB(Database) quality become important, but there was not research related to those or it was just initial state. This paper conducted research about system of the quality verification process of shape elements which compose NSPM based on the quality verification guideline of NSPM as the result of the precedent study. The hull surface was limited as verification object. The study to verify two things that application of basic drawing by the cad model of hull surface, and whether there is error in the geometric quality of cad model was progressed. To achieve this goal, the verification criteria and algorithm were defined and the prototype system which is based on was developed.

• Journal of KIISE:Computing Practices and Letters
• /
• v.12 no.2
• /
• pp.141-148
• /
• 2006

This paper suggests method of safe security S/W by verifying and its result of formal verification tool. We will survey many formal verification tools and compare features of these tools. And we will suggest what tool is appropriate and methodogoly of developing safe security S/W. The Z/EVES is the most appropriate tool. This paper proposes formal verification of ACS by using RoZ tool which is formal verification tool to create UML model. The specification and verification are executed using Z/EVES tool. These procedures can find weak or wrong point of developed S/W.

• Speech Sciences
• /
• v.12 no.3
• /
• pp.105-114
• /
• 2005

It was verified that a speaker verification system improved its performances of EER by regularizing log likelihood ratio, using background speaker models. Recently the wireless mobile phones are becoming more dominant communication terminals than wired phones. So the need for building a speaker verification system on mobile phone is increasing abruptly. Therefore in this paper, we had some experiments to examine the performance of speaker verification based on mobile phone's voices. Especially we are focused on the performance variations in EER(Equal Error Rate) according to several background speaker's characteristics, such as selecting methods(MSC, MIX), number of background speakers, aging factor of speech database. For this, we constructed a speaker verification system that uses GMM(Gaussin Mixture Model) and found that the MIX method is generally superior to another method by about 1.0% EER. In aspect of number of background speakers, EER is decreasing in proportion to the background speakers populations. As the number is increasing as 6, 10 and 16, the EERs are recorded as 13.0%, 12.2%, and 11.6%. An unexpected results are happened in aging effects of the speech database on the performance. EERs are measured as 4%, 12% and 19% for each seasonally recorded databases from session 1 to session 3, respectively, where duration gap between sessions is set by 3 months. Although seasons speech database has 10 speakers and 10 sentences per each, which gives less statistical confidence to results, we confirmed that enrolled speaker models in speaker verification system should be regularly updated using the ongoing claimant's utterances.