• 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 Korea Water Resources Association Conference
• /
• 2019.05a
• /
• pp.155-155
• /
• 2019

The Agricultural Policy/Environmental eXtender (APEX) models have been developed for assessing agricultural management efforts and their effects on soil and water at the field scale as well as more complex multi-subarea landscapes, whole farms, and watersheds. National Academy of Agricultural Sciences, Wanju, Korea, has modified a key component of APEX application, named APEX-Paddy for simulating water quality with considering appropriate paddy management practices, such as puddling and flood irrigation management. Calibration and validation are an anticipated step before any model application. Simple techniques are essential to assess whether or not a parameter should be adjusted for calibration. However, very few study has been done to evaluate the ability of APEX-Paddy to simulate the impact of multiple management scenarios on nutrients loss. In this study, the observation data from experimental fields at Iksan in South Kora was used in calibration and evaluation process during 2013-2015. The APEX auto- calibration tool (APEX-CUTE) was used for model calibration and sensitivity analysis. Four quantitative statistics, the coefficient of determination ($R^2$),Nash-Sutcliffe(NSE),percentbias(PBIAS)androotmeansquareerror(RMSE)were used in model evaluation. In this study, the hydrological process of the modified model, APEX-Paddy, is being calibrated and tested in predicting runoff discharge rate and nutrient yield. Field-scale calibration and validation processes are described with an emphasis on essential calibration parameters and direction regarding logical sequences of calibration steps. This study helps to understand the calibration and validation way is further provided for applications of APEX-Paddy at the field scales.

• Proceedings of the KSR Conference
• /
• 2011.05a
• /
• pp.317-325
• /
• 2011

Vehicle model validation for the static vehicle testing has been done by comparison of the simulation results and test results and the parameters of the vehicle model to be used in the simulation have been adjusted to reflect the measured behaviour. The vehicle model fort the simulation should be validated by suitable tests and/or practical experience. The static vehicle test used to validate the vehicle model are the weight measurement, the wheel offloading test, the bogie rotational resistance test and the sway test. Finally, the computer simulation model has been validated and using the validated vehicle model the acceptance of the vehicle safety of the resistance to flange climbing derailment at low speed can be examined.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.21 no.10
• /
• pp.159-165
• /
• 2007

This paper presents a method for the derivation of model parameters of a co-generation system using data measured through on-site generator characteristic testing and validates its model parameters. Dynamic models such as generator, excitation system, and turbine/governor are mainly dealt in this paper. For the purpose of validation of derived model parameters, the measured results are compared with simulation results. The comparisons between measured results and simulation results show good match.

• Journal of Korea Water Resources Association
• /
• v.41 no.10
• /
• pp.969-982
• /
• 2008

As hydrological models have been progressively developed, they are recognized as appropriate tools to manage water resources. Especially, the need to evaluate the effects of landuse and climate change on hydrological phenomena has been increased, which requires powerful validation methods for the hydrological models to be employed. As measured streamflow data at many locations may not be available, or include significant errors in application of hydrological models, streamflow data simulated by models only might be used to conduct hydrological analysis. In many cases, reducing errors in model simulations requires a powerful model validation method. In this research, we demonstrated a validation methodology of SWAT model using observed flow in two basins with different physical characteristics. First, we selected two basins, Gap-cheon basin and Yongdam basin located in the Guem River Basin, showing different hydrological characteristics. Next, the methodology developed to estimate parameter values for the Gap-cheon basin was applied for estimating those for the Yongdam basin without calibration a priori, and sought for validation of the SWAT. Application result with SWAT for Yongdam basin showed $R_{eff}$ ranging from 0.49 to 0.85, and $R^{2}$ from 0.49 to 0.84. As well, comparison of predicted flow and measured flow in each subbasin showed reasonable agreement. Furthermore, the model reproduced the whole trends of measured total flow and low flow, though peak flows were rather underestimated. The results of this study suggest that SWAT can be applied for predicting effects of future climate and landuse changes on flow variability in river basins. However, additional studies are recommended to further verify the validity of the mixed method in other river basins.

• Journal of the Korean Data and Information Science Society
• /
• v.21 no.2
• /
• pp.363-369
• /
• 2010

In this paper we propose a mixed-effects least squares support vector regression (LS-SVR) for longitudinal data. We add a random-effect term in the optimization function of LS-SVR to take random effects into LS-SVR for analyzing longitudinal data. We also present the model selection method that employs generalized cross validation function for choosing the hyper-parameters which affect the performance of the mixed-effects LS-SVR. A simulated example is provided to indicate the usefulness of mixed-effect method for analyzing longitudinal data.

• Communications for Statistical Applications and Methods
• /
• v.15 no.6
• /
• pp.1013-1026
• /
• 2008

Kolmogorov-Smirnov(K-S) statistic has been widely used for the model validation of credit rating models. Validation criteria for the K-S statistic is empirically used at the levels of 0.3 or 0.4 which are much larger than the critical values of K-S test statistic. We examine whether these criteria are reasonable and appropriate through the simulations according to various sample sizes, type II error rates, and the ratio of bads among data. The simulation results say that the currently used validation criteria are too lower than values of K-S statistics obtained from any credit rating models in Korea, so that any credit rating models have good discriminatory power. In this work, alternative criteria of K-S statistic are proposed as critical levels under realistic situations of credit rating models.

• Journal of Mechanical Science and Technology
• /
• v.16 no.12
• /
• pp.1583-1593
• /
• 2002

This paper discusses the model validation and vibration suppression of an AMB flexible rotor via additional LQG controller. The main difficulty in the vibration suppression of the flexible rotor using AMB is to realize a controller that can minimize resonance without injuring the stabilized rigid modes. In order to solve this problem, simple scheme for system modeling and controller design are developed. Firstly, the AMB flexible rotor is stabilized with a PID controller, which leads to a new stable rotor-bearing system. Then, authors propose the model validation procedure using measured open-loop frequency responses to obtain an accurate model of the AMB flexible rotor system. After that, LQG controller with modal weighting is designed to suppress resonances of the stable rotor-bearing system. Due to the poor controllability and observability of flexible modes compared to rigid ones, balancing of two Gramians is prerequisite for the fair LQG controller design. Simulation with step disturbance and experimental results of unbalance response up to 10,000 rpm verified the effectiveness of the proposed scheme.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2007.11a
• /
• pp.163-164
• /
• 2007

• Journal of the Korean Data and Information Science Society
• /
• v.28 no.5
• /
• pp.1167-1177
• /
• 2017

The censored regression using the pseudo-response variable proposed by Buckley and James has been one of the most well-known models. Recently, the varying coefficient regression model has received a great deal of attention as an important tool for modeling. In this paper we propose a censored varying coefficient regression model using Buckley-James method to consider situations where the regression coefficients of the model are not constant but change as the smoothing variables change. By using the formulation of least squares support vector machine (LS-SVM), the coefficient estimators of the proposed model can be easily obtained from simple linear equations. Furthermore, a generalized cross validation function can be easily derived. In this paper, we evaluated the proposed method and demonstrated the adequacy through simulate data sets and real data sets.