科學(xué)計(jì)算中的確認(rèn)與驗(yàn)證

1 簡介
1．1 建模和仿真的過去與現(xiàn)在
1．2 科學(xué)計(jì)算的可信度
1．3 本書提綱和使用
1．4 參考文獻(xiàn)
第I部分 基本概念
2 基本概念和術(shù)語
2．1 概念和術(shù)語的發(fā)展
2．2 主要術(shù)語和概念
2．3 不確定性的類型和來源
2．4 可量化誤差
2．5 確認(rèn)、驗(yàn)證和預(yù)測的一體化
2．6 參考文獻(xiàn)
3 建模與計(jì)算仿真
3．1 系統(tǒng)規(guī)范的基本原理
3．2 模型和建模的基本原理
3．3 風(fēng)險(xiǎn)和失效
3．4 計(jì)算仿真的階段
3．5 問題舉例：導(dǎo)彈飛行動(dòng)力學(xué)
3．6 參考文獻(xiàn)
第II部分 代碼驗(yàn)證
4 軟件工程
4．1 軟件開發(fā)
4．2 版本控制
4．3 軟件確認(rèn)與驗(yàn)證
4．4 軟件質(zhì)量和可靠性
4．5 可靠性案例研究：T實(shí)驗(yàn)
4．6 大型軟件項(xiàng)目的軟件工程
4．7 參考文獻(xiàn)
5 代碼驗(yàn)證
5．1 代碼驗(yàn)證標(biāo)準(zhǔn)
5．2 定義
5．3 精度階
5．4 系統(tǒng)網(wǎng)格細(xì)化
5．5 階驗(yàn)證程序
5．6 代碼驗(yàn)證的責(zé)任
5．7 參考文獻(xiàn)
6 精確解
6．1 微分方程簡介
6．2 傳統(tǒng)精確解
6．3 虛構(gòu)解方法（MMS）
6．4 物理真實(shí)虛構(gòu)解
6．5 近似解方法
6．6 參考文獻(xiàn)
第III部分 解驗(yàn)證
7 解驗(yàn)證
7．1 解驗(yàn)證的元素
7．2 舍入誤差
7．3 統(tǒng)計(jì)抽樣誤差
7．4 迭代誤差
7．5 數(shù)值誤差與數(shù)字不確定性
7．6 參考文獻(xiàn)
8 離散誤差
8．1 離散過程的元素
8．2 離散誤差的估算方法
8．3 理查德森外推法
8．4 離散誤差估計(jì)量的可靠性
8．5 離散誤差與不確定性
8．6 Roache的網(wǎng)格收斂指標(biāo)（GCI）
8．7 網(wǎng)格細(xì)化問題
8．8 開放研究相關(guān)問題
8．9 參考文獻(xiàn)
9 解自適應(yīng)
9．1 影響離散誤差的因素
9．2 自適應(yīng)標(biāo)準(zhǔn)
9．3 自適應(yīng)方法
9．4 推動(dòng)網(wǎng)格自適應(yīng)的方法的比較
9．5 參考文獻(xiàn)
第IV部分 模型確認(rèn)與預(yù)測
10 模型確認(rèn)的基本原理
10．1 確認(rèn)實(shí)驗(yàn)的原理
10．2 確認(rèn)實(shí)驗(yàn)層次
10．3 示例問題：高超聲速巡航導(dǎo)彈
10．4 確認(rèn)的概念、技術(shù)和實(shí)際難點(diǎn)
10．5 參考文獻(xiàn)
11 確認(rèn)實(shí)驗(yàn)的設(shè)計(jì)與執(zhí)行
11．1 確認(rèn)實(shí)驗(yàn)原則
11．2 確認(rèn)實(shí)驗(yàn)示例：聯(lián)合計(jì)算／實(shí)驗(yàn)空氣動(dòng)力學(xué)計(jì)劃（JCEAP）
11．3 JCEAP實(shí)驗(yàn)測量不確定性估算示例
11．4 JCEAP中計(jì)算———實(shí)驗(yàn)的進(jìn)一步協(xié)同示例
11．5 參考文獻(xiàn)
12 模型精度評(píng)估
12．1 模型精度評(píng)估要素
12．2 參數(shù)估計(jì)方法和驗(yàn)證指標(biāo)
12．3 確認(rèn)指標(biāo)建議特性
12．4 均值比較方法介紹
12．5 使用實(shí)驗(yàn)數(shù)據(jù)插值法進(jìn)行均值比較
12．6 要求實(shí)驗(yàn)數(shù)據(jù)線性回歸的均值比較
12．7 要求實(shí)驗(yàn)數(shù)據(jù)非線性回歸的均值比較
12．8 概率盒比較的確認(rèn)指標(biāo)
12．9 參考文獻(xiàn)
13 預(yù)測能力
13．1 步驟1：識(shí)別不確定性的所有相關(guān)來源
13．2 步驟2：分別描述不確定性來源
13．3 步驟3：估計(jì)數(shù)值解誤差
13．4 步驟4：估計(jì)輸出不確定性
13．5 步驟5：更新模型
13．6 步驟6：執(zhí)行敏感性分析
13．7 示例問題：安全部件加熱
13．8 貝葉斯方法不同于概率界限分析
13．9 參考文獻(xiàn)
第V部分 規(guī)劃、管理和實(shí)施問題
14 建模和仿真工作的規(guī)劃與優(yōu)先排序
14．1 規(guī)劃和優(yōu)先排序的方法論（497）
14．2 現(xiàn)象識(shí)別和排序表（PIRT）
14．3 差距分析過程
14．4 商業(yè)代碼規(guī)劃和優(yōu)先排序
14．5 示例問題：飛機(jī)迫降時(shí)火勢蔓延
14．6 參考文獻(xiàn)
15 建模與仿真工作的成熟度評(píng)估
15．1 成熟度評(píng)估程序調(diào)查
15．2 預(yù)測能力成熟度模型
15．3 PCMM的額外用途
15．4 參考文獻(xiàn)
16 驗(yàn)證、確認(rèn)和不確定性量化的開發(fā)與責(zé)任
16．1 所需的技術(shù)開發(fā)
16．2 員工責(zé)任
16．3 管理措施和責(zé)任
16．4 數(shù)據(jù)庫開發(fā)
16．5 標(biāo)準(zhǔn)開發(fā)
16．6 參考文獻(xiàn)
附錄 重要詞語中英文對(duì)照表