ITR/AP: A COMPUTATIONAL INFRASTRUCTURE FOR RELIABLE COMPUTER SIMULATIONS

ITR/AP：可靠计算机模拟的计算基础设施

• 批准号: 0205181
• 负责人: J. Tinsley Oden
• 金额: $ 55万
• 依托单位: University of Texas at Austin
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2002
• 资助国家: 美国
• 起止时间: 2002-09-15 至 2005-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0205181&HistoricalAwards=false
• 关键词: ITR; AP; COMPUTATIONAL; INFRASTRUCTURE; RELIABLE

EIA-0205181 J. Tinsley Oden University of Texas, Austin ITR/AP: A COMPILATION INFRASTRUCTURE FOR RELIABLE COMPUTER SIMULATIONSThe research of this project will develop mathematical and computational processes for validation analogous to those used for verification and evaluate these processes by actual and computational experiments. At the core of the proposed integrated framework for verification and validation lies the concept of hierarchical modeling. Hierarchical modeling is a systematic coarsening of mathematical models from a base model which is known a priori to contain all of the information, which can be extracted from a given experiment to within quantifiable bounds. The goal is to determine, by introducing approximations into the base model, the computationally simplest model which contains the information content of the experiment. This process requires an ability to evaluate the error introduced by each approximation to the base model, a capability for capturing the semantic content of both models and experiments, a capability for comparing the information content of the experiments and simulations and a capability for implementing a family of computational systems implementing the sequence of models so that the conceptual process can be realized and evaluated.

EIA-0205181 J. Tinsley Oden 德克萨斯大学奥斯汀分校 ITR/AP：可靠计算机模拟的编译基础设施 该项目的研究将开发用于验证的数学和计算过程，类似于用于验证的过程，并通过实际和计算实验评估这些过程。 所提出的验证和确认集成框架的核心是分层建模的概念。 分层建模是对基础模型的数学模型的系统粗化，该基础模型已知包含所有信息，这些信息可以从给定的实验中提取到可量化的范围内。 目标是通过在基本模型中引入近似值来确定包含实验信息内容的计算最简单的模型。 此过程需要能够评估每个近似值对基本模型引入的误差，捕获模型和实验的语义内容的能力，比较实验和模拟的信息内容的能力以及实现系列的能力实现模型序列的计算系统，以便可以实现和评估概念过程。