• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -2
• /
• 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.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2019년도 학술발표회
• /
• 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.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 춘계학술대회 논문집
• /
• 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.

• 조명전기설비학회논문지
• /
• 제21권10호
• /
• pp.159-165
• /
• 2007

본 논문에서는 열병합 발전시스템의 특성 실험으로 구한 실측데이터를 이용하여 발전시스템의 모델 파라미터를 결정하는 기법을 제안하였고 이에 대한 타당성을 입증하져다. 제안한 모델은 발전기, 여자시스템, 터빈/조속기를 주로 다루었다. 도출된 파라미터의 타당성을 검토하기 위해서 실측값과 시뮬레이션 결과를 비교하였다. 시뮬레이션 결과를 실측결과와 일치함을 확인하였습니다.

• 한국수자원학회논문집
• /
• 제41권10호
• /
• pp.969-982
• /
• 2008

수문 모형의 발전이 거듭되면서, 최적 수자원의 관리를 위한 적정한 방법으로 인식되고 있다. 특히 수자원관리에 있어서 토지이용 변화 및 기후 변화에 따른 수문학적 영향 평가에 대한 요구가 증가하고 있다. 이 영향들을 평가하기 위해서는 우선 적용된 수문 모형의 강력한 검증이 요구된다. 그리고 수문모형의 적용 시 많은 지점에서 유량이 미 계측 되었거나, 측정된 자료마저 많은 오차를 포함하고 있는 경우가 있기 때문에 모형의 예측 값을 이용하여 수문분석이 이루어지는 경우가 많다. 이와 같은 경우에는 모형 결과 값에 대한 오차를 줄이기 위해서 강력한 모형 검증방법이 요구된다. 본 연구에서는 다른 물리적 특성을 가진 두 유역을 대상에 측정 유량을 통한 SWAT 모형의 검증 방법을 증명하고자 하였다. 이를 위하여, 금강유역에 위치한 수문학적 특징이 상이한 갑천유역과 용담유역을 선정하여, 먼저 갑천유역에 대하여 정밀한 검 보정을 실시하고, 갑천유역에서 개발된 방법론을 용담유역에 적용하여 모형의 검증을 시도하였다. 용담유역에 대하여 SWAT 모형을 적용한 결과 각 소유 역에서 $R_{eff}$는 0.49$\sim$0.85, $R^{2}$는 0.49$\sim$0.84로 모형은 관찰 값을 양호하게 모의하고 있는 것으로 나타났다. 그리고 모의 결과는 첨두유량 값은 다소 과소 산정하였지만, 전체적인 경향 및 기저유출량을 잘 모의하는 것으로 나타났다. 본 연구의 결과로부터 SWAT모형은 향후 토지이용변화 및 기후변화에 따른 유역특성변화 분석에 사용될 수 있을 것으로 판단된다. 하지만, 본 연구에서 사용된 혼용기법의 신뢰성을 높이기 위해서는 향후 추가적인 유역에 대한 방법론의 타당성 검증 절차를 거쳐야 할 것으로 사료된다.

• Journal of the Korean Data and Information Science Society
• /
• 제21권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
• /
• 제15권6호
• /
• pp.1013-1026
• /
• 2008

신용평가모형의 판별력에 대한 적합성 검정방법으로 콜모고로프-스미르노프(K-S) 통계량이 널리 사용되고 있다. K-S 통계량을 통한 모형의 판별력 판단기준으로는 표본수에 의존하는 K-S 검정통계량의 임계값보다 매우 큰 기준인 $0.3{\sim}0.4$의 수준이 일반적으로 적용된다. 본 논문에서는 모의실험을 통해 일반적 판단기준의 타당성을 살펴보았다. 모의실험 결과 국내에서 개발된 대부분의 신용평가모형의 결과를 바탕으로 구한 K-S 통계량은 현재 적용하고 있는 판단기준보다 큰 값을 갖는다는 것을 발견하였다. 따라서 어떠한 신용평가모형 이라도 좋은 판별력을 갖는다고 해석할 수 있다. 본 연구에서는 표본크기와 불량률 그리고 제II종 오류율에 따른 대안적인 임계값을 제안한다.

• Journal of Mechanical Science and Technology
• /
• 제16권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.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2007년도 추계학술대회 논문집
• /
• pp.163-164
• /
• 2007

• Journal of the Korean Data and Information Science Society
• /
• 제28권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.