×
克里斯托弗·罗伊。

计算模拟的代码和解决方案验证程序的审查。 （英语） Zbl 1072.65118号

J.计算。物理学。 205，编号131-156（2005）.
摘要：计算模拟可以定义为任何涉及偏微分方程组数值解的计算机应用。对计算模拟的验证过程进行了概述。验证的两个方面是代码验证和解决方案验证。代码验证是为发现影响数值离散化的编码错误而开发的一组程序。建议采用制造溶液结合精度验证顺序的方法进行代码验证，并对该过程进行了详细描述。解决方案验证用于估计每次计算模拟中出现的数值误差。
讨论了舍入和迭代收敛误差，并研究了估计离散化误差的后验方法。重点是基于Richardson外推的离散化误差估计方法，因为它们同样适用于任何数值方法。涵盖的其他主题包括计算观察到的精度顺序、误差带和网格细化的实际方面。

引用于83文件

理学硕士：

6500万06 含偏微分方程初值和初边值问题的有限差分方法
65G20个 具有自动结果验证的算法
65年20月 数值算法的复杂性和性能
第35季度53 KdV方程（Korteweg-de-Vries方程）
65个M12 含偏微分方程初值和初边值问题数值方法的稳定性和收敛性
65岁15岁 涉及PDE的初值和初边值问题的误差界

关键词：

数值示例;伯格方程;偏微分方程组;计算模拟;代码验证;解决方案验证;汇聚;误差估计;理查森推断;网格细化

软件：

CGM公司
PDF格式BibTeX公司 XML格式引用
\textit{C.J.Roy}，J.计算。物理学。205，第1号，131--156（2005；Zbl 1072.65118）
全文： 内政部

参考文献：

[1] 计算流体动力学模拟验证和验证指南，美国航空航天研究所，AIAA G-077-1998，弗吉尼亚州雷斯顿，1998年；计算流体动力学模拟验证和验证指南，美国航空航天研究所，AIAA G-077-1998，弗吉尼亚州雷斯顿，1998·Zbl 0973.70001号
[2] Roache，P.J.，《计算科学与工程中的验证与确认》（1998年），Hermosa出版社：新墨西哥HermosaPublishers出版社
[3] 克努普，P。；Salari，K.，（Rosen，K.H.，《计算科学与工程中的计算机代码验证》（2003），查普曼和霍尔/CRC：查普曼与霍尔/CRC博卡拉顿，佛罗里达州）·Zbl 1025.68022号
[4] Christensen，M.J。；Thayer，R.H.，《软件工程最佳实践项目经理指南》（2001），IEEE计算机学会：IEEE计算机协会，加利福尼亚州洛斯阿拉米托斯
[5] Purdy，G.N.，CVS袖珍参考（2003），O’Reilly and Associates
[6] 安德森，D.A。；Tannehill，J.C.（坦内希尔，J.C.）。；Pletcher，R.H.，《计算流体力学与传热》（1984），半球出版公司：半球出版公司，纽约，第70-77页·Zbl 0569.76001号
[7] Roache，P.J。；斯坦伯格，S.，《符号操纵和计算流体动力学》，AIAA J.，22，10，1390-1394（1984）·Zbl 0547.76007号
[8] P.J.Roache，P.M.Knupp，S.Steinberg，R.L.Blaine，地下水流量基准测试案例的经验，见：I.Celik，C.J.Freitas（编辑），计算流体动力学基准测试案例，ASME FED 93，书号H00598，1990年，第49-56页；P.J.Roache，P.M.Knupp，S.Steinberg，R.L.Blaine，地下水流量基准测试案例的经验，见：I.Celik，C.J.Freitas（编辑），计算流体动力学基准测试案例，ASME FED 93，书号H00598，1990年，第49-56页
[9] Oberkampf，W.L。；Blottner，F.G.，《计算流体动力学代码验证和验证中的问题》，AIAA J.，36，5，687-695（1998），（另见W.L.Oberkampf，F.G.Blottner和D.P.Aeschliman，《计算流动力学代码验证/验证的方法》，AIAA1995年论文95-2226）
[10] K.Salari，P.Knupp，通过制造溶液的方法进行代码验证，SAND 2000-1444，Sandia国家实验室，新墨西哥州阿尔伯克基，2000年；K.Salari，P.Knupp，通过制造溶液的方法进行代码验证，SAND 2000-1444，Sandia国家实验室，新墨西哥州阿尔伯克基，2000年
[11] Roache，P.J.，《通过制造溶液的方法进行代码验证》，J.Fluids Eng.，124，1，4-10（2002）
[12] 罗伊·C·J。；尼尔森，C.C。；史密斯，T.M。；Ober，C.C.，《使用制造溶液的方法验证Euler/Navier-Stokes代码》，国际期刊编号。方法。流体，44，6，599-620（2004）·Zbl 1067.76580号
[13] T.G.Trucano，M.M.Pilch，W.L.Oberkampf，“关于代码比较在验证和确认中的作用”，SAND 2003-2752，Sandia国家实验室，新墨西哥州阿尔伯克基，2003年；T.G.Trucano，M.M.Pilch，W.L.Oberkampf，“关于代码比较在验证和确认中的作用”，SAND 2003-2752，新墨西哥州阿尔伯克基Sandia国家实验室，2003
[14] 罗伊，C.J。；Blottner，F.G.，高超声速过渡流的单方程和双方程湍流模型评估，《航天器火箭杂志》，38，5，699-710（2001）
[15] 罗伊·C·J。；Blottner，F.G.，《湍流模型验证方法：在高超音速流动中的应用》，《航天器火箭杂志》，40，3，313-325（2003）
[16] Ferziger，J.H。；Peric，M.，《CFD中数值误差的进一步讨论》，国际期刊《数值》。方法。流体，23，12，1263-1274（1996）·Zbl 0892.76073号
[17] J.R.Stewart，预测模型的后验误差估计，在可预测性要素研讨会上的演讲，约翰霍普金斯大学，马里兰州巴尔的摩，2003年11月13-14日；J.R.Stewart，预测模型的后验误差估计，在可预测性要素研讨会上的演讲，约翰霍普金斯大学，马里兰州巴尔的摩，2003年11月13-14日
[18] 齐恩基维茨，O.C。；Zhu，J.Z.，超收敛补丁恢复和后验误差估计，第2部分：误差估计和自适应性，国际数值杂志。方法。工程师，33，1365-1382（1992）·Zbl 0769.73085号
[19] Z.Zhang，A.Naga，无网格梯度恢复方法，第一部分：超收敛性，研究报告#2，韦恩州立大学数学系，2002年；Z.Zhang，A.Naga，无网格梯度恢复方法，第一部分：超收敛性，研究报告#2，韦恩州立大学数学系，2002
[20] 埃里克森，K。；Johnson，C.，非线性抛物型问题的误差估计和自动时间步长控制，SIAM J.Numer。分析。，24, 1, 12-23 (1987) ·Zbl 0618.65104号
[21] 巴布斯卡，I。；Miller，A.，有限元法中的后处理方法。第3部分：后验误差估计和自适应网格选择，国际期刊Numer。方法。工程师，20，12，2311-2324（1984）·Zbl 0571.73074号
[22] 巴思·T·J。；Larson，M.G.，非结构化网格上高阶godunov有限体积方法的后验误差估计，（Herbin，R.；Kroner，D.，《复杂应用的有限体积III》（2002），HERMES Science Publishing Ltd：HERMES科学出版有限公司伦敦），41-63·Zbl 1062.65092号
[23] 安斯沃思，M。；Oden，J.T.，《有限元分析中的后验误差估计》（2000），威利出版社，纽约·Zbl 1008.65076号
[24] Babuska，I.，《有限元计算中的精度估计和自适应精化》（1986年），威利出版社，纽约·Zbl 0663.65001号
[25] Richardson，L.F.，《涉及微分方程的物理问题有限差分的近似算术解及其在砌石坝应力中的应用》，Trans。皇家学会（Ser.London）。A、 210、307-357（1910）
[26] Richardson，L.F.，《限额的递延方法》，Trans。皇家学会（Ser.London）。A、 226229-361（1927年）
[27] Roache，P.J.，《透视：网格细化研究的统一报告方法》，J.Fluids Eng.，116，405-413（1994）
[28] C.J.Roy，混合阶数值格式的网格收敛误差分析，AIAA论文2001-26062001；C.J.Roy，混合阶数值格式的网格收敛误差分析，AIAA论文2001-26062001
[29] L.Eca，M.Hoekstra，《CFD应用验证程序评估》，载于：第24届海军流体动力学研讨会，日本福冈，2002年7月8日至13日；L.Eca，M.Hoekstra，《CFD应用验证程序评估》，载于：第24届海军流体动力学研讨会，日本福冈，2002年7月8日至13日·Zbl 1349.76604号
[30] 卡达法尔赫，J。；Perez-Segarra，C.D。；R领事。；Oliva，A.，《稳态流体流动和传热有限体积计算的验证》，《流体工程杂志》，24，11-21（2002）
[31] D.Pelletier，P.J.Roache，《计算传热的验证与确认》（第13章），载于：W.J.Minkowycz，E.M.Sparrow，J.Y.Murthy（编辑），《数值传热手册》，第二版，John Wiley and Sons，Inc.，新泽西州霍博肯，2005年；D.Pelletier，P.J.Roache，《计算传热的验证与验证》（第13章），载于：W.J.Minkowycz，E.M.Sparrow，J.Y.Murthy（编辑），《数值传热手册》，第二版，John Wiley and Sons，Inc.，新泽西州霍博肯，2005年
[32] Tautges，T.J.，CGM：网格生成、分析和其他应用的几何接口，《工程计算机》，17，3，299-314（2001）·Zbl 0983.68561号
[33] 木匠，M.H。；Casper，J.H.，《两个空间维度中冲击捕捉的准确性》，AIAA J.，37，9，1072-1079（1999）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。