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

正版保障假一赔十电子发票

31.5 4.6折 68 全新

库存16件

湖北武汉

认证卖家担保交易快速发货售后保障

作者(美) 帕特里克·努普, 坎比兹·萨拉里著

出版社国防工业出版社

ISBN9787118128475

出版时间2023-03

装帧平装

开本其他

定价68元

货号4376053

上书时间2024-12-29

已实名已认证进店收藏店铺

商品描述: 商品简介

本书的主题是如何验证求解偏微分方程的计算机代码。从广义上讲“验证”一词是指,以令人信服的方式证明方程通过代码得到正确地求解。本质上,验证后的代码不含任何导致计算出错的编程漏洞。但更准确地说本书中的代码验证指的是代码精度阶验证，即证明代码的观测精度阶与数值方法的理论精度阶一致。

目录
本书共十章, 全面系统地介绍了计算机代码验证, 包括背景、原理、流程、实施细节和示例。重点阐述了计算机代码验证的一种重要手段, 即“基于人造解方法的精度阶验证”(OVMSP)。通过求解Burgers方程和Navier-Stokes方程的示例阐明了该方法的优点。

— 没有更多了 —