ISBN/价格: | 978-7-118-12847-5:CNY68.00 |
作品语种: | chi eng |
出版国别: | CN 110000 |
题名责任者项: | 计算科学与工程领域的计算机代码验证/.(美)帕特里克·努普(Patrick Knupp),(美)坎比兹·萨拉里(Kambiz Salari)著/.陈江涛,章超,李彬等译 |
出版发行项: | 北京:,国防工业出版社:,2023 |
载体形态项: | 12,120页:;+24cm |
一般附注: | 国家数值风洞工程验证与确认系列译著 CRC Press |
提要文摘: | 本书共十章,介绍了计算机代码验证,包括背景、原理、流程、实施细节和示例。重点阐述了计算机代码验证的一种重要手段,即“基于人造解方法的精度阶验证”。通过求解Burgers方程和Navier-Stokes方程的示例阐明了该方法的优点。 |
并列题名: | Verification of computer codes in computational science and engineering eng |
题名主题: | 程序校验 研究 |
中图分类: | TP311 |
个人名称等同: | 努普 (美) (Knupp, Patrick) 著 |
---|
个人名称等同: | 萨拉里 (美) (Salari, Kambiz) 著 |
个人名称次要: | 陈江涛 译 |
---|
个人名称次要: | 章超 译 |
---|
个人名称次要: | 李彬 译 |
记录来源: | CN LLBF 20241130 |