计算科学与工程领域的计算机代码验证
①全新正版，现货速发，7天无理由退换货②天津、成都、无锡、广东等多仓就近发货，订单最迟48小时内发出③无法指定快递④可开电子发票，不清楚的请咨询客服。
￥ 35.7 5.3折 ￥ 68 全新
仅1件
作者帕特里克？克努普|译者:陈江涛
出版社国防工业
ISBN9787118128475
出版时间2023-03
装帧平装
开本其他
定价68元
货号31739564
上书时间2024-10-13
- 在售商品 暂无
- 平均发货时间 17小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 商品描述
-
商品简介
本书的主题是如何验证求解偏微分方程的计算机代码。从广义上讲“验证”一词是指,以令人信服的方式证明方程通过代码得到正确地求解。本质上,验证后的代码不含任何导致计算出错的编程漏洞。但更准确地说本书中的代码验证指的是代码精度阶验证，即证明代码的观测精度阶与数值方法的理论精度阶一致。
作者简介
美国桑迪亚国家实验室技术人员的主要成员和Cubit网格项目的成员。1989年获得新墨西哥大学获得应用数学博士学位。此后，他一直致力于计算科学和工程领域的算法开发，特别是结构和非结构网格生成领域。
目录
第一章 代码验证导论
第二章 数学模型和数值算法
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）
内容摘要
本书围绕计算机代码的验证工作，以代码验证的背景和历史发展为切入点，从微分方程出发，提出了一个逐步验证代码精度阶的方法和流程。重点讨论了在验证过程中如何设计一套具有覆盖性的测试相关问题。详细介绍了精度阶验证的有关内容，包括代码验证和解验证、代码确认的区别，人造精确解方法，并给出了精度阶验证的实例。
相关推荐
-
计算科学与工程领域的计算机代码验证
全新济宁
￥ 27.18
-
计算科学与工程领域的计算机代码验证
全新天津
￥ 27.05
-
计算科学与工程领域的计算机代码验
全新嘉兴
￥ 38.70
-
计算科学与工程领域的计算机代码验证
全新武汉
￥ 31.45
-
计算科学与工程领域的计算机代码验证
全新天津
￥ 43.70
-
计算科学与工程领域的计算机代码验证
全新武汉
￥ 31.72
-
计算科学与工程领域的计算机代码验证
全新无锡
￥ 50.66
-
计算科学与工程领域的计算机代码验证
全新成都
￥ 43.81
-
计算科学与工程领域的计算机代码验证
全新南昌
￥ 42.31
-
计算科学与工程领域的计算机代码验证
全新天津
￥ 30.07
— 没有更多了 —
以下为对购买帮助不大的评价