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