• 한국시뮬레이션학회논문지
• /
• 제1권1호
• /
• pp.77-86
• /
• 1992

In this paper, we study validation test methods of DEVSA(Descrete Event system Specification) models using SPN(Stochastic Petri Net) models. We discuss conventional validation test methods, by which DEVS models can be transformed to SPN models, by reviewing the features of DEVS model. Based on the model transformation method, we define a new homogeneous function for validation test and suggest a new validation test method of DEVS models using the property of SPN models and the new homogeneous function.

• Industrial Engineering and Management Systems
• /
• 제8권2호
• /
• pp.101-108
• /
• 2009

Biclustering is a method to extract subsets of objects and features from a dataset which are characterized in some way. In contrast to traditional clustering algorithms which group objects similar in a whole feature set, biclustering methods find groups of objects which have similar values or patterns in some features. Both in clustering and biclustering, validating how much the result is informative or reliable is a very important task. Whereas validation methods of cluster solutions have been studied actively, there are only few measures to validate bicluster solutions. Furthermore, the existing validation methods of bicluster solutions have some critical problems to be used in general cases. In this paper, we review several well-known validation measures for cluster and bicluster solutions and discuss their limitations. Then, we propose several improved validation indices as modified versions of existing ones.

• Toxicological Research
• /
• 제32권1호
• /
• pp.9-14
• /
• 2016

The National Toxicology Program Interagency Center for the Evaluation of Alternative Toxicological Methods (NICEATM) provides validation support for US Federal agencies and the US Tox21 interagency consortium, an interagency collaboration that is using high throughput screening (HTS) and other advanced approaches to better understand and predict chemical hazards to humans and the environment. The use of HTS data from assays relevant to the estrogen receptor signaling data pathway is used as an example of how HTS data can be combined with computational modeling to meet the needs of US agencies. As brief summary of US efforts in the areas of biologics testing, acute toxicity, and skin sensitization will also be provided.

• Journal of the Korean Data and Information Science Society
• /
• 제23권4호
• /
• pp.765-775
• /
• 2012

교차타당성은 커널추정량의 평활모수인 띠폭의 선택 방법으로 흔히 활용되고 있다. 연속인 확률밀도함수의 커널추정량의 띠폭 선택으로 널리 쓰이는 교차타당성 방법으로는 최대가능도교차타당성과 더불어 최소제곱교차타당성과 편의교차타당성이 있다. 확률밀도함수가 하나의 불연속점을 가질 때, Huh (2012)는 불연속점 추정을 위한 커널추정량의 띠폭 선택으로 최대가능도교차타당성을 이용한 방법을 제시하였다. 본 연구에서는 Huh (2012)에 의해 최대가능도교차타당성으로 제안된 띠폭선택의 방법과 같이 한쪽방향커널함수를 이용한 최소제곱교차타당성과 편의교차타당성으로 띠폭 선택 방법을 제시하고, 이들 띠폭 선택 방법들과 Huh (2012)의 최대가능도교차타당성을 이용한 띠폭 선택 방법을 모의실험을 통하여 비교연구 하고자 한다.

• 응용통계연구
• /
• 제25권1호
• /
• pp.139-152
• /
• 2012

집단 약동학 모형 추정의 결과는 환자에게 투약학 약물의 용량결정에 직접적 영향을 미치므로 추정 모형에 대한 타당도와 적합도의 검증이 중요하다. 본 논문에서는 다양한 집단 약동학 모형 적합도 검증을 위한 방법들을 비교, 분석하고 실제 임상자료를 이용하여 최적의 집단 약동학 모형을 찾고 이에 대하여 다양한 타당도, 적합도 검정을 실시하여 모형을 진단해 본다.

• 품질경영학회지
• /
• 제41권3호
• /
• pp.423-432
• /
• 2013

Purpose: A Study on the application of quality management system specification to production validation and audit in military airworthiness certification. Methods: Aircraft quality management system specification for quality assurance and production validation and audit requirements were examined to verify. Also, the system for domestic and foreign production certification were investigated. Results: Production validation and audit criteria for military aircraft by applying methods suggested Aircraft Certifications Systems Evaluation Program(ACSEP). ACSEP evaluation of the items, some items were complementary and not applied. Conclusion: As a way to ensure the safety of aircraft, confirm the correction of Production validation & audit criteria and rulemaking is necessary and how to manage for Critical Safety Item(CSI) is a need to improve.

• Journal of Digestive Cancer Research
• /
• 제11권3호
• /
• pp.157-164
• /
• 2023

Prediction is a significant topic in clinical research. The development and validation of a prediction model has been increasingly published in clinical research. In this review, we investigated analytical methods and validation schemes for a clinical prediction model used in digestive cancer research. Deep learning and logistic regression, with split-sample validation as an internal or external validation, were the most commonly used methods. Furthermore, we briefly introduced and summarized the advantages and disadvantages of each method. Finally, we discussed several points to consider when conducting prediction model studies.

• Communications for Statistical Applications and Methods
• /
• 제5권2호
• /
• pp.277-285
• /
• 1998

The smoothing parameter $\lambda$ in smoothing spline regression is usually selected by minimizing cross-validation (CV) or generalized cross-validation (GCV). But, simple CV or GCV is poor candidate for estimating prediction error. We defined MGCV (Multifold Generalized Cross-validation) as a criterion for selecting smoothing parameter in smoothing spline regression. This is a version of cross-validation using $leave-\kappa-out$ method. Some numerical results comparing MGCV and GCV are done.

• 한국멀티미디어학회논문지
• /
• 제24권10호
• /
• pp.1403-1413
• /
• 2021

In this paper, we investigate automated data validation techniques for artificial intelligence training, and also disclose open-source frameworks, such as Google's TensorFlow Data Validation (TFDV), that support automated data validation in the AI model development process. We also introduce an experimental study using public data sets to demonstrate the effectiveness of the open-source data validation framework. In particular, we presents experimental results of the data validation functions for schema testing and discuss the limitations of the current open-source frameworks for semantic data. Last, we introduce the latest studies for the semantic data validation using machine learning techniques.

• Journal of Pharmaceutical Investigation
• /
• 제21권3호
• /
• pp.179-188
• /
• 1991

An HPLC assay method of a drug to be applied to the pharmacokinetic studies of the drug should be completely validated. The validation process for an HPLC assay method in a biological sample was discussed using the data obtained from the development of HPLC method for the simultaneous quantitation of verapamil and norverapamil in human serum. The validation criteria included were specificity, linearity, accuracy, precision, sensitivity, recovery, drug stability, and ruggedness of an assay method.