摘要
针对求解流体力学方程组的高维程序的验证,给出人为构造解方法准则及验证流程,并针对流体力学方程组构造一类光滑人为解。此类人为解的特点是质量守恒方程和能量守恒方程的源项为零,对高维计算程序可以方便地检验数值算法实现过程的缺陷、误差,能严格验证程序的正确性。并将此类人为解应用到二维流体力学PPM程序,进行网格收敛指标验证表明该类人为解能有效地验证程序的正确性。
In this paper, the approach criterion and verification process of artificial constructed solution is presented in light of high-dimensional program verification for solving hydrodynamics equations, a class of smooth artificial solution is constructed aiming at hydrodynamics equations. The characteristic of this class of artificial solution is that the source terms be zero for mass conservation equation and energy conservation equation. For high-dimensional numerical calculation procedure, one can easily test the defects and errors of the numerical algorithm, which will strictly verify the correctness of the program. We have applied this class of artificial solution to PPM of two-dimensional hydrodynamics for gird convergence index verification, which verifies that this class of artificial solution can effectively verify the correctness of the program.
出处
《计算机应用与软件》
CSCD
北大核心
2012年第11期4-7,共4页
Computer Applications and Software
基金
国家自然科学基金项目(11072039)
国家自然科学基金与中物院联合基金项目(NASF-11076015)
关键词
人为构造解
流体程序
验证
Artificial constructed solution Hydrodynamics program Verification