暂无评论
图文详情
- ISBN:9787118128475
- 装帧:平装-胶订
- 册数:暂无
- 重量:暂无
- 开本:其他
- 页数:132
- 出版时间:2023-03-01
- 条形码: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 计算机平台
……
第十章
总结与结论
参考文献
附录
展开全部
本类五星书
浏览历史
本类畅销
-
港口文化
¥19.2¥60.0 -
黑科技驱动世界的100项技术
¥20.9¥69.8 -
世界桥梁趣谈
¥10.6¥28.0 -
环境保护辞典
¥14.4¥45.0 -
电子操作工必读
¥2.3¥8.0 -
宣纸制造
¥6.4¥20.0 -
检测与计量研究
¥21.0¥70.0 -
ABAQUS 在水力压裂模拟中的应用
¥196.9¥358.0 -
服装材料的选用与性能分析
¥16.6¥52.0 -
服装结构制图
¥13.3¥39.0 -
人居生态学
¥48.5¥99.0 -
梦圆天路-纵览中国载人航天工程
¥12.8¥40.0 -
戈壁天港-走进载人航天发射场
¥12.2¥38.0 -
服装制作基本技能
¥4.9¥10.0 -
环境影响评价技术方法基础过关800题(2024年版)
¥45.6¥57.0 -
消防安全管理技术(第二版)
¥41.8¥58.0 -
电工基础
¥6.2¥14.5 -
金属材料力学性能检测技术与应用
¥36.8¥49.0 -
煤矿全员素质提升丛书:煤矿企业从业人员安全生产应知应会手册
¥54.6¥78.0 -
煤矿安全生产应急管理.井工
¥47.6¥68.0