【摘要】 采用网格收敛分析和虚构解理论对程序验证进行了理论探索与数值实验研究,并发展完善了该方法。给出了虚构解程序验证中一种比较简单的源项处理方案;给出了虚构解程序验证中气动方程组一种通用的虚构解系数选取方法,最后用虚构解方法对二维结构网格Euler流动计算程序ARC2D进行了验证,并发现了该程序边界条件实现精度与流场内部精度不相匹配问题,并给予了修正,数值实践证明虚构解方法是一种严格稳健有效的程序验证方法,用它完成的程序验证具有较高的可信度。更多还原

【Abstract】 The method of manufactured solution is a recently developed effective code verification method.In the paper,grid convergence study and the method of manufactured solution are combined to investigate the code verification in theory and practice.And a source term simply processing method and general choosing coefficients of manufactured solutions are presented.And lastly ARC2D verification by such method is detailed.During the process the mismatch of accuracy in boundary and internal fluid is found and corrected.The numerical simulation tests shown that the method of manufactured solutions is a rigid,robust and valid code verification method,the code verified by it will have a high credibility.更多还原