掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
公路車寶典(ZINN的公路車維修與保養(yǎng)秘籍)
-
>
晶體管電路設(shè)計(下)
-
>
基于個性化設(shè)計策略的智能交通系統(tǒng)關(guān)鍵技術(shù)
-
>
花樣百出:貴州少數(shù)民族圖案填色
-
>
山東教育出版社有限公司技術(shù)轉(zhuǎn)移與技術(shù)創(chuàng)新歷史叢書中國高等技術(shù)教育的蘇化(1949—1961)以北京地區(qū)為中心
-
>
鐵路機(jī)車概要.交流傳動內(nèi)燃.電力機(jī)車
-
>
利維坦的道德困境:早期現(xiàn)代政治哲學(xué)的問題與脈絡(luò)
計算科學(xué)與工程領(lǐng)域的計算機(jī)代碼驗證 版權(quán)信息
- ISBN：9787118128475
- 條形碼：9787118128475 ; 978-7-118-12847-5
- 裝幀：平裝-膠訂
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
計算科學(xué)與工程領(lǐng)域的計算機(jī)代碼驗證 內(nèi)容簡介
本書圍繞計算機(jī)代碼的驗證工作，以代碼驗證的背景和歷史發(fā)展為切入點，從微分方程出發(fā)，提出了一個逐步驗證代碼精度階的方法和流程。重點討論了在驗證過程中如何設(shè)計一套具有覆蓋性的測試相關(guān)問題。詳細(xì)介紹了精度階驗證的有關(guān)內(nèi)容，包括代碼驗證和解驗證、代碼確認(rèn)的區(qū)別，人造準(zhǔn)確解方法，并給出了精度階驗證的實例。
計算科學(xué)與工程領(lǐng)域的計算機(jī)代碼驗證 目錄
章代碼驗證導(dǎo)論
第二章數(shù)學(xué)模型和數(shù)值算法
2.1 數(shù)學(xué)模型
2.2求解微分方程的數(shù)值方法
2.2.1 術(shù)語
2.2.2 有限差分示例
2.2.3 數(shù)值問題
2.2.4 代碼精度階驗證
第三章精度階驗證流程(OVMSP)
3.1 靜態(tài)測試
3.2 動態(tài)測試
3.3 精度階驗證流程概述
3.4 詳細(xì)流程
3.4.1流程開始(第1步~第3步)
3.4.2 運行測試確定誤差(第4步~第5步)
3.4.3 解釋測試結(jié)果(第6步~第10步) ..
3.5小結(jié)
第四章
設(shè)計覆蓋測試套件
4.1 基本設(shè)計問題
4.2 與邊界條件相關(guān)的覆蓋問題
4.3 與網(wǎng)格和網(wǎng)格加密相關(guān)的覆蓋問題
第五章
確定精確解
5.1 利用正問題獲得精確解
5.2 人造精確解法
5.2.1人造解構(gòu)建準(zhǔn)則
5.2.2 系數(shù)構(gòu)建方針
5.2.3 示例:人造解構(gòu)建
5.2.4 輔助條件的處理
5.2.5 源項深度探索
5.2.6 精確解的物理現(xiàn)實·
第六章
精度階驗證流程的益處
6.1 編碼錯誤分類
6.2簡單的偏微分方程代碼
6.3 盲測
第七章相關(guān)的代碼開發(fā)活動
7.1數(shù)值算法開發(fā)
7.2 代碼魯棒性測試
7.3 代碼效率測試
7.4 代碼確認(rèn)操作
7.5 解驗證
7.6代碼確認(rèn)
7.7 軟件質(zhì)量工程
第八章
代碼驗證操作范例
8.1笛卡兒坐標(biāo)中的Burgers方程(代碼1)
8.1.1 具有Dirichlet 邊界條件的穩(wěn)態(tài)解
8.1.2 具有 Neumann 和 Dirichlet 混合條件的穩(wěn)態(tài)解
8.2曲線坐標(biāo)中的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)
第九章
進(jìn)階主題
9.1 計算機(jī)平臺
……
第十章
總結(jié)與結(jié)論
參考文獻(xiàn)
附錄
展開全部
書友推薦
- >
名家?guī)阕x魯迅:朝花夕拾
- >
經(jīng)典常談
- >
苦雨齋序跋文-周作人自編集
- >
唐代進(jìn)士錄
- >
上帝之肋:男人的真實旅程
- >
羅曼·羅蘭讀書隨筆-精裝
- >
回憶愛瑪儂
- >
姑媽的寶刀
本類暢銷
