计算科学与工程领域的计算机代码验证

定　　价：68 元

• 作者：帕特里克?克努普
• 出版时间：2023/3/16
• ISBN：9787118128475
• 出 版 社：国防工业出版社

• 中图法分类：TP311.1 
• 页码：132
• 版次：1
• 开本：16开

内容简介

本书围绕计算机代码的验证工作，以代码验证的背景和历史发展为切入点，从微分方程出发，提出了一个逐步验证代码精度阶的方法和流程。重点讨论了在验证过程中如何设计一套具有覆盖性的测试相关问题。详细介绍了精度阶验证的有关内容，包括代码验证和解验证、代码确认的区别，人造精确解方法，并给出了精度阶验证的实例。

作者介绍

美国桑迪亚国家实验室技术人员的主要成员和Cubit网格项目的成员。1989年获得新墨西哥大学获得应用数学博士学位。此后，他一直致力于计算科学和工程领域的算法开发，特别是结构和非结构网格生成领域。