• 시스템엔지니어링워크숍
• /
• 통권1호
• /
• pp.9-14
• /
• 2003

The paper aims at presenting a systematic approach process and a method of requirement validation and system verification. Validation is applied during concept development to ensure conceptual validity, requirements validity, and design validity. Verification work is applied subsequent to the design work on test articles and early production items to produce evidence that the design solutions do, in fact, satisfy th requirements. In this paper, we present a requirements validation model and a system verification model. This models are applied to the development of TTX(Tilting Train Express)system with systems engineering tool, CORE.

• 품질경영학회지
• /
• 제50권4호
• /
• pp.831-842
• /
• 2022

Purpose: This study carried out the Quality by Design (QbD)6σ process to verify the effectiveness and equivalence of the finished D-antigen quantitative test method, and compared the OFAT-based method validation and test result acceptance criteria with the Analytical Quality by Design (AQbD)-based method validation and test method. This is a study on how to reduce the risk of delay in permit change by increasing the reliability of permit data in the existing method by statistically analyzing the results. Methods: With the QbD6σ process, the effectiveness and equivalence of the D-antigen quantitative test method were verified with the data of the existing test method and the new test method. Results: Method validation tests are performed based on AQbD. Critical Method Parameters are identified through risk assessment, and single/combined actions are verified by designing and performing tests for Critical Method Parameters (analysis of variance, full factorial design method). Method validation can be effectively accomplished with the QbD6σ process. Conclusion: The use of QbD6σ can be used to achieve satisfactory results for both pharmaceutical companies and regulators by using appropriate statistical analytical methods for method validation as required by regulatory agencies.

• 공학교육연구
• /
• 제18권6호
• /
• pp.24-31
• /
• 2015

The purpose of this study is to develop the model of course evaluation design for CEA(Course-Embedded Assessment), which is focused on course level for assessment reliability. This study was conducted by the process of model development and validation according to Richey & Klein(2007)'s model development methodology. The model of this study was comprised with the three steps of learning objectives based on course outcome, assessment design and goal achievement analysis of course, which were explained by specific design principles. Also, this model was validated by two steps, which one was on the inner validation and the other was the outer validation(Richey & Klein, 2007). Considerations for designing the model of course evaluation have been suggested and a few implications were discussed.

• 대한기계학회논문집A
• /
• 제36권8호
• /
• pp.873-879
• /
• 2012

메타모델은 설계 프레임워크 안에서 높은 효율성과 우수한 예측 능력, 타 프로그램과 쉬운 연동성 때문에 공학분야에서 지난 10 년간 최적설계 기법들과 함께 발전해왔다. 메타모델을 구성하기 위해서는 실험계획법, 메타모델링 기법, 검증법과 같은 절차가 요구된다. 검증법은 메타모델의 정확성을 판단하기 때문에 순차적 크리깅 메타모델에서 정확한 크리깅 메타모델을 구성하기 위한 표본점의 개수를 결정한다. 크리깅 메타모델과 같은 보간모델은 표본점에서의 응답을 항상 지나기 때문에 기존 방법으로 메타모델의 정확성을 판단하기 위해서는 추가적인 해석이나 메타모델의 재구성이 요구된다. 본 연구에서는 이러한 추가적인 해석과 메타모델의 재구성을 요구하지 않는 메타모델의 해석적 민감도를 이용하는 민감도 검증법을 제안한다. 14 개의 2 차원 수학예제와 공학예제를 이용하여 이 방법의 타당성을 검증한다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.126-131
• /
• 2007

Design for automatic coupler system of Korean Tilting Train eXpress is described. In order to carry out validation & verification activities for system design, test condition is taken into account at collision speed of 10km/h, which is required in Safety Notice for rolling stock vehicle. The study aims at safety validation between a coupler and car body including design verification for a coupler through the identifying of system design and the evaluating of test results.

• Journal of Hydrospace Technology
• /
• 제2권1호
• /
• pp.55-64
• /
• 1996

Herein a review is made on the validation problem of numerical codes applied to floating offshore structures. Since the dynamic behaviour of offshore floating structures in water waves is in general complex and nonlinear, a numerical approach seems to be promising. However, numerical codes are likely involved with uncertainties and they at the present status show apparent scatterness in typical bechmark tests, particularly in second-order wave forces. Convergence test is the minimum requirement for the validation of numerical codes. Some other practical check points are introduced to clarify the potential error sources. It is concluded that a standard procedure for validation must be urgently established sothat numerical methods can safely be used as a rational design tool.

• International Journal of Aeronautical and Space Sciences
• /
• 제18권1호
• /
• pp.154-164
• /
• 2017

This work conducts a validation study for the XH-59A helicopter using a rigid coaxial rotor system in order to establish the techniques of the conceptual design and performance analysis for the lift-offset compound rotorcraft. As a tool for conceptual design and performance analysis, NDARC (NASA Design and Analysis of Rotorcraft) is used for the present study. An assumed mission profile is considered for the conceptual design of the XH-59A. As a validation result of the design, the dimensions and weight of the XH-59A are appropriately designed when compared to the target values since the relative error is less than 0.5%. Then, performance analyses are conducted for the designed XH-59A model with and without auxiliary propulsion in hover and forward flight conditions. The present analyses show good validity since the prediction results compare well with both the flight test and previous analyses. Therefore, the techniques for the conceptual design and performance analysis of the lift-offset compound helicopter are overall considered to be appropriately established. In addition, this study investigates the influence of the lift-offset on the rotor effective lift-to-drag ratio of the XH-59A helicopter with auxiliary propulsion. As a result, the improvement of the rotor effective lift-to-drag ratio can be obtained by appropriately increasing the lift-offset in high-speed flight.

• 인터넷정보학회논문지
• /
• 제17권5호
• /
• pp.43-49
• /
• 2016

This paper presents a workflow validation method for data-intensive graphical workflow models using real-time workflow tracing mode on data-intensive workflow designer. In order to model and validate workflows, we try to divide as modes have editable mode and tracing mode on data-intensive workflow designer. We could design data-intensive workflow using drag and drop in editable-mode, otherwise we could not design but view and trace workflow model in tracing mode. We would like to focus on tracing-mode for workflow validation, and describe how to use workflow tracing on data-intensive workflow model designer. Especially, it is support data centered operation about control logics and exchange variables on workflow runtime for workflow tracing.

• 대한기계학회논문집A
• /
• 제31권1호
• /
• pp.55-61
• /
• 2007

Recently simulation model becomes an essential tool for analysis and design of a system but it is often expensive and time consuming as it becomes complicate to achieve reliable results. Therefore, high-fidelity simulation model needs to be replaced by an approximate model, the so-called metamodel. Metamodeling techniques include 3 components of sampling, metamodel and validation. Cross-validation approach has been proposed to provide sequnatially new sample point based on cross-validation error but it is very expensive because cross-validation must be evaluated at each stage. To enhance the cross-validation of metamodel, sequential sampling method using candidate points and representative cross-validation is proposed in this paper. The candidate and representative cross-validation approach of sequential sampling is illustrated for two-dimensional domain. To verify the performance of the suggested sampling technique, we compare the accuracy of the metamodels for various mathematical functions with that obtained by conventional sequential sampling strategies such as maximum distance, mean squared error, and maximum entropy sequential samplings. Through this research we team that the proposed approach is computationally inexpensive and provides good prediction performance.

• International Journal of Computer Science & Network Security
• /
• 제21권12spc호
• /
• pp.549-555
• /
• 2021

Machine Learning(ML) splits data into 3 parts, which are usually 60% for training, 20% for validation, and 20% for testing. It just splits quantitatively instead of selecting each set of data by a criterion, which is very important concept for the adequacy of test data. ML measures a model's accuracy by applying a set of validation data, and revises the model until the validation accuracy reaches on a certain level. After the validation process, the complete model is tested with the set of test data, which are not seen by the model yet. If the set of test data covers the model's attributes well, the test accuracy will be close to the validation accuracy of the model. To make sure that ML's set of test data works adequately, we design an experiment and see if the test accuracy of model is always close to its validation adequacy as expected. The experiment builds 100 different SVM models for each of six data sets published in UCI ML repository. From the test accuracy and its validation accuracy of 600 cases, we find some unexpected cases, where the test accuracy is very different from its validation accuracy. Consequently, it is not always true that ML's set of test data is adequate to assure a model's quality.