|
题名:
|
计算科学与工程领域的计算机代码验证 [ 专著] Ji Suan Ke Xue Yu Gong Cheng Ling Yu De;Di Ji Suan Ji Dai Ma Yan Zheng / (美)帕特里克·努普(Patrick Knupp)，(美)坎比兹·萨拉里(Kambiz Salari)著 , 陈江涛，章超，李彬等译 |
|
ISBN:
|
978-7-118-12847-5 价格： CNY68.00 |
|
语种:
|
chi |
|
载体形态:
|
12,120页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 国防工业出版社 出版日期： 2023 |
|
内容提要:
|
本书共十章，介绍了计算机代码验证，包括背景、原理、流程、实施细节和示例。重点阐述了计算机代码验证的一种重要手段，即“基于人造解方法的精度阶验证”。通过求解Burgers方程和Navier-Stokes方程的示例阐明了该方法的优点。 |
|
主题词:
|
程序校验 研究 |
|
中图分类法:
|
TP311.55 版次： 5 |
|
主要责任者:
|
努普 nu pu 著 |
|
主要责任者:
|
萨拉里 sa la li 著 |
|
次要责任者:
|
陈江涛 chen jiang tao 译 |
|
次要责任者:
|
章超 zhang chao 译 |
|
次要责任者:
|
李彬 li bin 译 |
|
附注:
|
国家数值风洞工程验证与确认系列译著 CRC Press |
|
索书号:
|
3 |