Roy 等人在 2004 年发表的这篇论文。人在诠释。J.数字。冰毒。流体 2004；44:599–620 (DOI: 10.1002/d.660) 应该包含您正在寻找的内容：

ftp://ftp.demec.ufpr.br/CFD/bibliografia/erros_numericos/Roy_et_al_2004.pdf

您可以联系作者以获取源术语（及其派生词）的 FORTRAN 代码副本，或使用 Mathematica 等符号操作软件自行生成它们。

同一作者的另一篇论文：

http://www.dept.aoe.vt.edu/~cjroy/Conference-Papers/aiaa2002-3110.pdf

您可以在此存储库中找到有关制造解决方案的信息。特别，

马来亚，尼古拉斯等人。“MASA：使用制造和分析解决方案进行验证的库。” 计算机工程 29.4 (2013): 487-496。

有这个 GitHub 存储库中的代码。

MASA（Manufactured Analytical Solution Abstraction）是一个用 C++（带有 C、python 和 Fortran90 接口）编写的库，它为多维偏微分方程求解器的软件验证提供了一套制造解决方案。示例配方包括：

热方程
拉普拉斯方程
Euler 方程（有和没有热平衡化学）
Navier-Stokes 方程
Reynolds 平均 Navier Stokes 与各种湍流模型