• Journal of the Korea Institute of Military Science and Technology
• /
• v.17 no.1
• /
• pp.108-114
• /
• 2014

This paper describes a method to set an intensity-based initial validation gate for tracking filter while preserves the ability of tracking a target with maximum speed. First, we collected real data set of signal versus distance of an airplane target. And at each data point, we computed maximum distance the target can move. And a function is modeled to expect the maximum moving pixels on the lateral direction based on the intensity of the detected target in IR image sequence. The initial prediction error covariance can be computed using this function to decide the size of the initial validation gate. The simulation results show the proposed method can set the appropriate initial validation gates to track the targets with the maximum speed.

• Korean Journal of Remote Sensing
• /
• v.37 no.3
• /
• pp.649-655
• /
• 2021

This study purposes to cross-validate its performance by applying the optimal seismic vulnerability assessment model based on previous studies conducted in Gyeongju to other regions. The test area was Pohang City, the occurrence site for the 2017 Pohang Earthquake, and the dataset was built the same influencing factors and earthquake-damaged buildings as in the previous studies. The validation dataset was built via random sampling, and the prediction accuracy was derived by applying it to a model based on a random forest (RF) of Gyeongju. The accuracy of the model success and prediction in Gyeongju was 100% and 94.9%, respectively, and as a result of confirming the prediction accuracy by applying the Pohang validation dataset, it appeared as 70.4%.

• Nuclear Engineering and Technology
• /
• v.51 no.6
• /
• pp.1596-1609
• /
• 2019

The fuel rod performance has great importance for the safety and economy of an operating reactor. The fuel rod performance analysis code, which considers the thermal-mechanical response and irradiation effects of fuel rod, is usually developed in order to predict fuel rod performance accurately. The FRIPAC (${\underline{F}}uel$ ${\underline{R}}od$ ${\underline{I}}ntegral$ ${\underline{P}}erformance$ ${\underline{A}}nalysis$ ${\underline{C}}ode$) is such a fuel rod performance analysis code that has been developed recently by China Nuclear Power Technology Research Institute Co. Ltd. The code aims at the computational simulation of the Pressurized Water Reactor fuel rod behavior for both steady-state and power ramp condition. A brief overview of FRIPAC is presented including the computational framework and the main behavioral models. Validation of the code is also presented and it focuses on the fuel rod behavior including fuel center temperature, fission gas release, rod internal pressure/internal void volume, cladding outer diameter and cladding corrosion thickness. The validation is based on experimental data from several international projects. The validation results indicate that FRIPAC is an accurate and reliable fuel rod performance analysis code because of the satisfactory comparison results between the experimental measurements and the code predictions.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.12 no.3
• /
• pp.3-13
• /
• 2002

There are cases that revoke the certification because of disclosure of private key, deprivation of qualification and the expiration of a term of validity on PKI. So, a user has to confirm the public key whether valid or invalid in the certification. There are many methods such as CRL, Delta-CRL, OCSP for the cert-validation of certification. But these methods have many problems, which cause overload traffic on network and the CRL server because of realtime processing for cert-validation of certification. In this paper we proposed cert-validation of certification improvement method based on FM Subcarrier Broadcasting, which solved problems that are data integrity by different time between transmission and receiving for CRL, and overload traffic on network and the CRL server the realtime management.

• Korean Journal of Childcare and Education
• /
• v.18 no.3
• /
• pp.37-59
• /
• 2022

Objective: The purpose of this study is to develop and validate a coparenting scales(mother's version) suitable for the Korean situation. Methods: In this study, mothers with one or more children were targeted. First, factor structure and construct validity were verified(N=412), and second, cross-validation and concurrent validity were verified(N=312). Results: The coparenting scale(mother's version) is largely composed of the mother's own coparenting and their spouse's coparenting. First, as a result of performing an exploratory factor analysis, three factors were extracted from the mother's own coparenting and their spouse's coparenting, and they were labeled parenting cooperation, parenting agreement, and parenting sharing. Through confirmatory factor analysis, 13 items were identified with three factors. Second, cross-validation was performed on a new group with confirmatory factor analysis, and as a result, validity was secured by satisfying the model validation criteria. In addition, the correlation between the existing scale and parenting efficacy was significant, thus securing concurrent validity. Conclusion/Implications: Through this study, the coparenting scale(mother's version) that was developed may provide practical guidelines for family coparenting by identifying mothers' perceptions of coparenting, and can be used in parent education and child-rearing policies.

• Nuclear Engineering and Technology
• /
• v.53 no.7
• /
• pp.2151-2161
• /
• 2021

Nuclear data (ND) sensitivity and uncertainty (S/U) quantification in shielding applications is performed using deterministic and probabilistic approaches. In this paper the validation of the newly developed deterministic program package ASUSD (ADVANTG + SUSD3D) is presented. ASUSD was developed with the aim of automating the process of ND S/U while retaining the computational efficiency of the deterministic approach to ND S/U analysis. The paper includes a detailed description of each of the programs contained within ASUSD, the computational workflow and validation results. ASUSD was validated on two shielding benchmark experiments from the Shielding Integral Benchmark Archive and Database (SINBAD) - the fission relevant ASPIS Iron 88 experiment and the fusion relevant Frascati Neutron Generator (FNG) Helium Cooled Pebble Bed (HCPB) Test Blanket Module (TBM) mock-up experiment. The validation process was performed in two stages. Firstly, the Denovo discrete ordinates transport solver was validated as a standalone solver. Secondly, the ASUSD program package as a whole was validated as a ND S/U analysis tool. Both stages of the validation process yielded excellent results, with a maximum difference of 17% in final uncertainties due to ND between ASUSD and the stochastic ND S/U approach. Based on these results, ASUSD has proven to be a user friendly and computationally efficient tool for deterministic ND S/U analysis of shielding geometries.

• Journal of the Korean Society of Systems Engineering
• /
• v.20 no.1
• /
• pp.85-94
• /
• 2024

As systems become more complex today, verifying the safety of complex systems is becoming increasingly important. However, validation activities using actual systems face limitations in terms of time and cost. To overcome these limitations, the functions, characteristics, and operations of physical assets can be implemented in a virtual environment similar to the real world, allowing for validation through simulations under various scenarios. By performing validation in a virtual environment, iterative tests can be conducted through simulations in a realistic virtual environment without physical models during the conceptual design phase. Tests can also be performed under malfunction conditions or extreme conditions. In this study, we introduce a verification method for railway vehicles in a virtual environment and propose a method of applying virtual verification from a life cycle perspective.

• Proceedings of the IEEK Conference
• /
• 2002.07b
• /
• pp.920-923
• /
• 2002

In this paper, we propose Class Diagram With Constraints (CDWC) as an object oriented modeling technique which makes validation possible in software development. CDWC is a simple and basic model for the object oriented analysis, and has a reasonable strictness for software developers. CDWC consists of class diagrams and constraints (invariant and pre/post conditions), using UML and a subset of OCL.. We introduce a method of validation of CDWC using the verification technique of algebraic formal specification language CafeOBJ.

• Proceedings of the Korean Statistical Society Conference
• /
• 2005.05a
• /
• pp.215-219
• /
• 2005

We consider penalized likelihood regression with exponential family responses. Parallel to recent development in Gaussian regression, the fast computation through asymptotically efficient low-dimensional approximations is explored, yielding algorithm that scales much better than the O($n^3$) algorithm for the exact solution. Also customizations of the direct cross-validation strategy for smoothing parameter selection in various distribution families are explored and evaluated.

• Journal of the Korean Data and Information Science Society
• /
• v.6 no.1
• /
• pp.63-71
• /
• 1995

We have consider the study of local influence for smoothing parameter estimates in spline regression model with heteroscedasticity. Practically, generalized cross-validation does not work well in the presence of heteroscedasticity. Thus we have proposed the local influence measure for generalized cross-validation estimates when errors are heteroscedastic. And we have examined effects of diagnostic by above measures through Hyperinflation data.