语句(逻辑)
计算机科学
编码(集合论)
问题陈述
模型验证
软件工程
系统工程
程序设计语言
数据科学
工程类
管理科学
政治学
集合(抽象数据类型)
法学
作者
Kenneth T. Hu,George Edgar Orient
摘要
This paper describes the challenge problem associated with the 2014 Sandia Verification and Validation (V&V) Challenge Workshop. The problem was developed to highlight core issues in V&V of engineering models. It is intended as an analog to projects currently underway at the Sandia National Laboratories—in other words, a realistic case study in applying V&V methods and integrating information from experimental data and simulations to support decisions. The problem statement includes the data, model, and directions for participants in the challenge. In addition, the workings of the provided code and the “truth model” used to create the data are revealed. The code, data, and truth model are available in this paper.
科研通智能强力驱动
Strongly Powered by AbleSci AI