登入帳戶  | 訂單查詢  | 購物車/收銀台( 0 ) | 在線留言板  | 付款方式  | 聯絡我們  | 運費計算  | 幫助中心 |  加入書簽
會員登入 新註冊 | 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌 香港/國際用戶
最新/最熱/最齊全的簡體書網 品種:超過100萬種書,正品正价,放心網購,悭钱省心 送貨:速遞 / EMS,時效:出貨後2-3日

2024年04月出版新書

2024年03月出版新書

2024年02月出版新書

2024年01月出版新書

2023年12月出版新書

2023年11月出版新書

2023年10月出版新書

2023年09月出版新書

2023年08月出版新書

2023年07月出版新書

2023年06月出版新書

2023年05月出版新書

2023年04月出版新書

2023年03月出版新書

『簡體書』计算科学与工程领域的计算机代码验证

書城自編碼: 3859627
分類: 簡體書→大陸圖書→工業技術一般工业技术
作者: 帕特里克·克努普 著
國際書號(ISBN): 9787118128475
出版社: 国防工业出版社
出版日期: 2023-03-01

頁數/字數: /
書度/開本: 16开 釘裝: 平装

售價:NT$ 394

我要買

share:

** 我創建的書架 **
未登入.



新書推薦:
矿王谷的黎明:塞拉俱乐部诉莫顿案与美国环境法的转变(精装典藏版)
《 矿王谷的黎明:塞拉俱乐部诉莫顿案与美国环境法的转变(精装典藏版) 》

售價:NT$ 498.0
索恩丛书·我们如何成为今天的我们:德意志民族简史
《 索恩丛书·我们如何成为今天的我们:德意志民族简史 》

售價:NT$ 386.0
技术与德国 : 1800年至今
《 技术与德国 : 1800年至今 》

售價:NT$ 493.0
重返冰河时代:发现史前世界
《 重返冰河时代:发现史前世界 》

售價:NT$ 605.0
拉夫尔
《 拉夫尔 》

售價:NT$ 437.0
羞耻:规训的情感
《 羞耻:规训的情感 》

售價:NT$ 409.0
经济巨擘:思想碰撞与传承(精装典藏版)
《 经济巨擘:思想碰撞与传承(精装典藏版) 》

售價:NT$ 498.0
一如既往
《 一如既往 》

售價:NT$ 386.0

建議一齊購買:

+

NT$ 554
《 新材料与碳中和 》
+

NT$ 974
《 TIA博途软件与西门子S7-1500 PLC编程从零基础到项目实战 》
+

NT$ 394
《 自动检测技术及仪表控制系统(张毅)(第四版) 》
+

NT$ 510
《 能源与电力分析年度报告系列 2022 国内外能源电力企业数字化转型分析报告 》
+

NT$ 468
《 EPLAN电气设计从入门到精通 》
+

NT$ 1148
《 MySQL学习手册(第二版) 》
內容簡介:
本书的主题是如何验证求解偏微分方程的计算机代码。从广义上讲“验证”一词是指,以令人信服的方式证明方程通过代码得到正确地求解。本质上,验证后的代码不含任何导致计算出错的编程漏洞。但更准确地说本书中的代码验证指的是代码精度阶验证,即证明代码的观测精度阶与数值方法的理论精度阶一致。
目錄
章代码验证导论
第二章数学模型和数值算法
2.1 数学模型
2.2求解微分方程的数值方法
2.2.1 术语
2.2.2 有限差分示例
2.2.3 数值问题
2.2.4 代码精度阶验证
第三章精度阶验证流程(OVMSP)
3.1 静态测试
3.2 动态测试
3.3 精度阶验证流程概述
3.4 详细流程
3.4.1流程开始(第1步~第3步)
3.4.2 运行测试确定误差(第4步~第5步)
3.4.3 解释测试结果(第6步~第10步) ..
3.5小结
第四章设计覆盖测试套件
4.1 基本设计问题
4.2 与边界条件相关的覆盖问题
4.3 与网格和网格加密相关的覆盖问题
第五章确定精确解
5.1 利用正问题获得精确解
5.2 人造精确解法
5.2.1人造解构建准则
5.2.2 系数构建方针
5.2.3 示例:人造解构建
5.2.4 辅助条件的处理
5.2.5 源项深度探索
5.2.6 精确解的物理现实·
第六章精度阶验证流程的益处
6.1 编码错误分类
6.2简单的偏微分方程代码
6.3 盲测
第七章相关的代码开发活动
7.1数值算法开发
7.2 代码鲁棒性测试
7.3 代码效率测试
7.4 代码确认操作
7.5 解验证
7.6代码确认
7.7 软件质量工程
第八章代码验证操作范例
8.1笛卡儿坐标中的Burgers方程(代码1)
8.1.1 具有Dirichlet 边界条件的稳态解
8.1.2 具有 Neumann 和 Dirichlet 混合条件的稳态解
8.2曲线坐标中的Burgers方程(代码2)
8.2.1 稳态解
8.2.2 非稳态解
8.3不可压缩Navier-Stokes方程(代码3)
8.4 可压缩Navier-Stokes方程(代码4)
第九章进阶主题
9.1 计算机平台
……
第十章总结与结论
参考文献
附录

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 香港用户  | 台灣用户 | 海外用户
megBook.com.tw
Copyright (C) 2013 - 2024 (香港)大書城有限公司 All Rights Reserved.