虚构解方法相关论文
采用网格收敛分析和虚构解理论对程序验证进行了理论探索与数值实验研究，并发展完善了该方法。给出了虚构解程序验证中一种比较简单......
对求解偏微分方程问题的程序的严格验证,一直以来由于其精确解有限,较难进行,针对这种情况,本文给出了一种新的程序验证方法,虚构......
