• Proceedings of the Korea Concrete Institute Conference
• /
• 2004.11a
• /
• pp.501-504
• /
• 2004

This paper proposes degree of hydration based shrinkage prediction model of 40MPa HPC. This model shows degree of hydration which is defined as the ratio between the hydrated cement mass and the initial mass of cement is very closely related to shrinkage deformation. In this study, degree of hydration was determined by CEMHYD-3D program of NIST. Verification of the predicted degree of hydration is performed by comparison between test results of compressive strength and estimated one by CEMHYD-3D. Proposed model is determined by statistical nonlinear analysis using the program Origin of Origin Lab. Co. To get coefficients of the model, drying shrinkage tests of four specimen series were followed with basic material tests. Testes were performed in constant temperature /humidity chamber, with difference moisture curing ages to know initial curing time effect. Verification with another specimen, collected construction field of FCM bridge, was given in the same condition as pre-tested specimens. Finally, all test results were compared to propose degree of hydration based model and other code models; AASHTO, ACI, CEB-FIP, JSCE, etc.

• Journal of Korea Water Resources Association
• /
• v.35 no.3
• /
• pp.261-274
• /
• 2002

The purpose of this study was to develop two dimensional contaminant transport numerical model by finite element method. The developed model system was tested for water quality analysis when contaminants from tributaries and sewage treatment Plants flow into the main river. In this study, the model was to perform calibration for reasonable parameter production and verification for reliability and accuracy. And, the proposed model was applied on the downstream of Han river using calibrated parameters. These results represented real con taminant distribution profile along the channel, and produced the good agreement in comparing calculated vague with measured value.

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

• The Journal of the Acoustical Society of Korea
• /
• v.20 no.2
• /
• pp.27-34
• /
• 2001

Utterance verification is used in variable vocabulary word recognition to reject the word that does not belong to in-vocabulary word or does not belong to correctly recognized word. Utterance verification is an important technology to design a user-friendly speech recognition system. We propose a new utterance verification algorithm for no-training utterance verification system based on the minimum verification error. First, using PBW (Phonetically Balanced Words) DB (445 words), we create no-training anti-phoneme models which include many PLUs(Phoneme Like Units), so anti-phoneme models have the minimum verification error. Then, for OOV (Out-Of-Vocabulary) rejection, the phoneme-based confidence measure which uses the likelihood between phoneme model (null hypothesis) and anti-phoneme model (alternative hypothesis) is normalized by null hypothesis, so the phoneme-based confidence measure tends to be more robust to OOV rejection. And, the word-based confidence measure which uses the phoneme-based confidence measure has been shown to provide improved detection of near-misses in speech recognition as well as better discrimination between in-vocabularys and OOVs. Using our proposed anti-model and confidence measure, we achieve significant performance improvement; CA (Correctly Accept for In-Vocabulary) is about 89％, and CR (Correctly Reject for OOV) is about 90％, improving about 15-21％ in ERR (Error Reduction Rate).

• Proceedings of the Korea Water Resources Association Conference
• /
• 1995.05a
• /
• pp.467-471
• /
• 1995

• Proceedings of the Korea Society for Simulation Conference
• /
• 1998.10a
• /
• pp.100-100
• /
• 1998

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.11-15
• /
• 2000

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.18 no.34
• /
• pp.107-114
• /
• 1995

The objective of this study is to design a one-stage dynamic prediction model with Kalman state space model. For a model verification, it is compared with EWMA(Exponentially Weighed Moving Average) model. The model designed in this research can be extended to process prevention control and quality monitoring.

• Journal of Korea Multimedia Society
• /
• v.11 no.11
• /
• pp.1471-1479
• /
• 2008

In this paper, we propose a technique to improve Out-Of-Vocabulary(OOV) rejection algorithms in variable vocabulary recognition system which is much used in ASR(Automatic Speech Recognition). The rejection system can be classified into two categories by their implementation method, keyword spotting method and utterance verification method. The utterance verification method uses the likelihood ratio of each phoneme Viterbi score relative to anti-phoneme score for deciding OOV. In this paper, we add speaker verification system before utterance verification and calculate an speaker verification probability. The obtained speaker verification probability is applied for determining the proposed variable-confidence threshold. Using the proposed method, we achieve the significant performance improvement; CA(Correctly Accepted for keyword) 94.23%, CR(Correctly Rejected for out-of-vocabulary) 95.11% in office environment, and CA 91.14%, CR 92.74% in noisy environment.

• Journal of the Korea Society for Simulation
• /
• v.18 no.3
• /
• pp.113-122
• /
• 2009

Software is getting more complex due to a variety of requirements that include desired functions and properties. Therefore, verifying and testing the software are complicated problems. Moreover, if the software is already implemented, inserting and deleting tracing/logging code into the source code may cause several problems, such as the code tangling and the code scattering problems. This paper proposes the Aspect DEVS Verification Framework which supports the verification and testing process. The Aspect DEVS Verification Framework utilizes Aspect Oriented Programming features to handle the code tangling and the code scattering problems. By applying aspect oriented features, a user can find and fix the inconsistency between requirement and implementation of a software without suffering the problems. The first step of the verification process is the building aspect code to make a software act as a generator. The second step is developing a requirement specification using DEVS diagrams and implementing it using the DEVSIM++. The final step is comparing the event traces from the software with the possible execution sequences from DEVS model.