计算科学与工程领域的计算机代码验证
正版保障 假一赔十 可开发票
￥ 32.91 4.8折 ￥ 68 全新
仅1件
广东广州
认证卖家担保交易快速发货售后保障
作者(美)帕特里克·努普(Patrick Knupp), (美)坎比兹·萨拉里(Kambiz Salari)著
出版社国防工业出版社
ISBN9787118128475
出版时间2023-03
装帧平装
开本16开
定价68元
货号12566970
上书时间2024-11-16
商品详情
- 品相描述：全新
- 商品描述
-
商品简介
本书的主题是如何验证求解偏微分方程的计算机代码。从广义上讲“验证”一词是指,以令人信服的方式证明方程通过代码得到正确地求解。本质上,验证后的代码不含任何导致计算出错的编程漏洞。但更准确地说本书中的代码验证指的是代码精度阶验证，即证明代码的观测精度阶与数值方法的理论精度阶一致。
目录
第一章代码验证导论
第二章数学模型和数值算法
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小结
第四章设计覆盖测试套件
……
精彩内容
代码验证是确保科学计算代码中没有影响数值解精度的编程错误的必经途径。本书共十章,全面系统地介绍了计算机代码验证，包括背景、原理、流程、实施细节和示例。重点阐述了计算机代码验证的一种重要手段，即“基于人造解方法的精度阶验证”(OVMSP)。通过求解Burgers方程和Navier-Slokes方程的示例阐明了该方法的优点。本书面向计算科学和工程领域计算机代码的开发者和测试者,特别是徵分方程模拟软件的研发人员，为其进行代码验证提供规范的实施准则和切实可行的操作指导。
— 没有更多了 —
以下为对购买帮助不大的评价