計算科學與工程領域的計算機代碼驗證

章代碼驗證導論
第二章數(shù)學模型和數(shù)值算法
2.1 數(shù)學模型
2.2求解微分方程的數(shù)值方法
2.2.1 術語
2.2.2 有限差分示例
2.2.3 數(shù)值問題
2.2.4 代碼精度階驗證
第三章精度階驗證流程(OVMSP)
3.1 靜態(tài)測試
3.2 動態(tài)測試
3.3 精度階驗證流程概述
3.4 詳細流程
3.4.1流程開始(第1步~第3步)
3.4.2 運行測試確定誤差(第4步~第5步)
3.4.3 解釋測試結果(第6步~第10步) ..
3.5小結
第四章 設計覆蓋測試套件
4.1 基本設計問題
4.2 與邊界條件相關的覆蓋問題
4.3 與網(wǎng)格和網(wǎng)格加密相關的覆蓋問題
第五章 確定精確解
5.1 利用正問題獲得精確解
5.2 人造精確解法
5.2.1人造解構建準則
5.2.2 系數(shù)構建方針
5.2.3 示例:人造解構建
5.2.4 輔助條件的處理
5.2.5 源項深度探索
5.2.6 精確解的物理現(xiàn)實·
第六章 精度階驗證流程的益處
6.1 編碼錯誤分類
6.2簡單的偏微分方程代碼
6.3 盲測
第七章相關的代碼開發(fā)活動        
7.1數(shù)值算法開發(fā)
7.2 代碼魯棒性測試
7.3 代碼效率測試
7.4 代碼確認操作
7.5 解驗證
7.6代碼確認
7.7 軟件質量工程
第八章 代碼驗證操作范例
8.1笛卡兒坐標中的Burgers方程(代碼1)
8.1.1 具有Dirichlet 邊界條件的穩(wěn)態(tài)解
8.1.2 具有 Neumann 和 Dirichlet 混合條件的穩(wěn)態(tài)解
8.2曲線坐標中的Burgers方程(代碼2)
8.2.1 穩(wěn)態(tài)解
8.2.2 非穩(wěn)態(tài)解
8.3不可壓縮Navier-Stokes方程(代碼3)
8.4 可壓縮Navier-Stokes方程(代碼4)
第九章 進階主題
9.1 計算機平臺
……
第十章 總結與結論
參考文獻
附錄