掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
公路車寶典(ZINN的公路車維修與保養秘籍)
-
>
晶體管電路設計(下)
-
>
基于個性化設計策略的智能交通系統關鍵技術
-
>
花樣百出:貴州少數民族圖案填色
-
>
山東教育出版社有限公司技術轉移與技術創新歷史叢書中國高等技術教育的蘇化(1949—1961)以北京地區為中心
-
>
鐵路機車概要.交流傳動內燃.電力機車
-
>
利維坦的道德困境:早期現代政治哲學的問題與脈絡
計算科學與工程領域的計算機代碼驗證 版權信息
- ISBN：9787118128475
- 條形碼：9787118128475 ; 978-7-118-12847-5
- 裝幀：平裝-膠訂
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
計算科學與工程領域的計算機代碼驗證 內容簡介
本書圍繞計算機代碼的驗證工作，以代碼驗證的背景和歷史發展為切入點，從微分方程出發，提出了一個逐步驗證代碼精度階的方法和流程。重點討論了在驗證過程中如何設計一套具有覆蓋性的測試相關問題。詳細介紹了精度階驗證的有關內容，包括代碼驗證和解驗證、代碼確認的區別，人造準確解方法，并給出了精度階驗證的實例。
計算科學與工程領域的計算機代碼驗證 目錄
章代碼驗證導論
第二章數學模型和數值算法
2.1 數學模型
2.2求解微分方程的數值方法
2.2.1 術語
2.2.2 有限差分示例
2.2.3 數值問題
2.2.4 代碼精度階驗證
第三章精度階驗證流程(OVMSP)
3.1 靜態測試
3.2 動態測試
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 與網格和網格加密相關的覆蓋問題
第五章
確定精確解
5.1 利用正問題獲得精確解
5.2 人造精確解法
5.2.1人造解構建準則
5.2.2 系數構建方針
5.2.3 示例:人造解構建
5.2.4 輔助條件的處理
5.2.5 源項深度探索
5.2.6 精確解的物理現實·
第六章
精度階驗證流程的益處
6.1 編碼錯誤分類
6.2簡單的偏微分方程代碼
6.3 盲測
第七章相關的代碼開發活動
7.1數值算法開發
7.2 代碼魯棒性測試
7.3 代碼效率測試
7.4 代碼確認操作
7.5 解驗證
7.6代碼確認
7.7 軟件質量工程
第八章
代碼驗證操作范例
8.1笛卡兒坐標中的Burgers方程(代碼1)
8.1.1 具有Dirichlet 邊界條件的穩態解
8.1.2 具有 Neumann 和 Dirichlet 混合條件的穩態解
8.2曲線坐標中的Burgers方程(代碼2)
8.2.1 穩態解
8.2.2 非穩態解
8.3不可壓縮Navier-Stokes方程(代碼3)
8.4 可壓縮Navier-Stokes方程(代碼4)
第九章
進階主題
9.1 計算機平臺
……
第十章
總結與結論
參考文獻
附錄
展開全部
書友推薦
- >
伊索寓言-世界文學名著典藏-全譯本
- >
煙與鏡
- >
名家帶你讀魯迅:朝花夕拾
- >
有舍有得是人生
- >
上帝之肋:男人的真實旅程
- >
龍榆生：詞曲概論/大家小書
- >
小考拉的故事-套裝共3冊
- >
自卑與超越
本類暢銷
