• Nuclear Engineering and Technology
• /
• 제45권5호
• /
• pp.665-674
• /
• 2013

This paper presents the development and validation methods of the FUTURE (FUel cycle analysis Tool for nUcleaR Energy) code, which was developed for a dynamic material flow evaluation and economic analysis of the nuclear fuel cycle. This code enables an evaluation of a nuclear material flow and its economy for diverse nuclear fuel cycles based on a predictable scenario. The most notable virtue of this FUTURE code, which was developed using C# and MICROSOFT SQL DBMS, is that a program user can design a nuclear fuel cycle process easily using a standard process on the canvas screen through a drag-and-drop method. From the user's point of view, this code is very easy to use thanks to its high flexibility. In addition, the new code also enables the maintenance of data integrity by constructing a database environment of the results of the nuclear fuel cycle analyses.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• pp.1557-1565
• /
• 2009

According to the GM/RT2141, to assess the safety of vehicle, the validated the vehicle dynamic model should be applied. The validation of the vehicle model is against the static test, some kind of vehicle type test results have been used to determine the suspension characteristics and the vehicle dynamic characteristics. To validate the vehicle model and the test results, first the test results has been analysed as to specified the suspension characteristics and than the parameters to related with the test result has to be adjusted to show the same results of the test. In this process the parameters of vehicle model have been determined to show the coherence of the two results of the simulation and the test by trial & error. In this report, the optimization tool has been introduced in this model validation process and shows the efficient and well validated model.

• Nuclear Engineering and Technology
• /
• 제53권1호
• /
• pp.19-29
• /
• 2021

This paper presents the validation of the MCS code for critical safety analysis with burnup credit for the spent fuel casks. The validation process in this work considers five critical benchmark problem sets, which consist of total 80 critical experiments having MOX fuels from the International Criticality Safety Benchmark Evaluation Project (ICSBEP). The similarity analysis with the use of sensitivity and uncertainty tool TSUNAMI in SCALE was used to determine the applicable benchmark experiments corresponding to each spent fuel cask model and then the Upper Safety Limits (USLs) except for the isotopic validation were evaluated following the guidance from NUREG/CR-6698. The validation process in this work was also performed with the MCNP6 for comparison with the results using MCS calculations. The results of this work showed the consistence between MCS and MCNP6 for the MOX fueled criticality benchmarks, thus proving the reliability of the MCS calculations.

• 대한기계학회논문집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 Naval Architecture and Ocean Engineering
• /
• 제5권1호
• /
• pp.147-160
• /
• 2013

System integration is an important element for the construction of naval combat ships. In particular, because impeccable combat system integration together with the sensors and weapons can ensure the combat capability and survivability of the ship, the integrated performance of the combat system should be verified and validated whether or not it fulfills the requirements of the end user. In order to conduct systematic verification and validation, a data analysis tool is requisite. This paper suggests the Data Extraction, Recording and Analysis Tool (DERAT) for the data analysis of the integrated performance of the combat system, including the functional definition, architecture and effectiveness of the DERAT by presenting the test results.

• 인터넷정보학회논문지
• /
• 제10권4호
• /
• pp.105-113
• /
• 2009

특성 모델(Feature Model)은 소프트웨어 제품 라인 개발 시 도메인 공학 단계에서 제품들 사이의 공통점과 차이점을 모델링하는데 널리 사용된다. 특성 모델의 오류 또는 불일치성에 대한 발견 및 수정은 성공적인 소프트웨어 제품 라인 공학을 위해서 필수적이다. 특성 모델의 검증을 효과적으로 수행하기 위해서는 자동화된 도구의 도움이 필요하다. 본 논문에서는 JESS 규칙 기반 시스템을 이용하여 특성 모델의 유효성을 검증하는 기법을 기술하고 이를 이용한 특성 모델 검증 도구를 제안한다. 본 논문의 도구는 특성 모델링 작업 시 실시간으로 특성 모델을 검증하여 오류의 존재 여부와 오류의 원인에 대한 설명을 제공함으로써 오류 없는 특성 모델을 생성할 수 있도록 해 준다. 특성 모델 검증 기법에 규칙 기반 시스템을 이용한 경우는 본 논문이 최초의 시도로 사료된다.

• 한국농공학회논문집
• /
• 제66권1호
• /
• pp.1-13
• /
• 2024

This study assessed the efficacy of improving the accuracy of reservoir water level prediction models by employing automated machine learning models and efficient cross-validation methods for time-series data. Considering the inherent complexity and non-linearity of time-series data related to reservoir water levels, we proposed an optimized approach for model selection and training. The performance of twelve models was evaluated for the Obong Reservoir in Gangneung, Gangwon Province, using the TPOT (Tree-based Pipeline Optimization Tool) and four cross-validation methods, which led to the determination of the optimal pipeline model. The pipeline model consisting of Extra Tree, Stacking Ridge Regression, and Simple Ridge Regression showed outstanding predictive performance for both training and test data, with an R² (Coefficient of determination) and NSE (Nash-Sutcliffe Efficiency) exceeding 0.93. On the other hand, for predictions of water levels 12 hours later, the pipeline model selected through time-series split cross-validation accurately captured the change pattern of time-series water level data during the test period, with an NSE exceeding 0.99. The methodology proposed in this study is expected to greatly contribute to the efficient generation of reservoir water level predictions in regions with high rainfall variability.

• 한국경영과학회지
• /
• 제20권3호
• /
• pp.77-104
• /
• 1995

Intelligent Decision System support the decision analysis process in the managerial problems with decision analytic knowledge as well as domain specific knowledge. Influence Diagram has been one of the major knowledge representation in the intelligent decision system. In the development of intelligent decision system, knowledge acquisition is also known to be difficult. This paper suggests a developing tool using an influence diagram and Verbal Protocol Analysis which facilitates knowledge acquision for intelligent decision system. An ennvironmental decision making problem is used as an illustrative example and validation of the suggested developing tool is discussed. The suggested tool is very flexible to be expanded or applied to similar problems.

• 시스템엔지니어링워크숍
• /
• 통권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.

• 제어로봇시스템학회논문지
• /
• 제12권8호
• /
• pp.834-841
• /
• 2006

Recently, many enterprises are installing AMSs(Automated Manufacturing Systems) for their competitive advantages. As the level of automation increases, proper design and validation of control logic is a imperative task for the successful operation of AMSs. However, current discrete event simulation methods mainly focus on the performance evaluation. As a result, they lack the modeling capabilities for the detail logic of automated manufacturing system controller. Proposed in this paper is a method of validation of the controller logic for automated material handling system using an object-oriented design and simulation. Using this method, FA engineers can validate the controller logic easily in earlier stage of system design, so they can reduce the time for correcting the logic errors and enhance the productivity of control program development Generated simulation model can also be used as a communication tool among FA engineers who have different experiences and disciplines.