New methodology for verification of finite volume computational methods using unstructured
grids is presented. The discretization-order properties are studied in computational …

Verification of codes that numerically approximate solutions of partial differential equations
consists in demonstrating that the code is free of coding errors and is capable, given …

We investigate the possibility of using nominally second-order-accurate techniques for
resolving flow about solid boundaries as a means of improving accuracy and reducing grid …

随着计算机技术的飞速进步, 计算流体力学得到迅猛发展, 数值计算虽能够快速得到离散结果,
但是数值结果的正确性与精度则需要通过严谨的方法来进行验证和确认. 制造解方法和网格收敛 …

A detailed code verification study of a finite volume Computational Fluid Dynamics (CFDs)
code using the Method of Manufactured Solutions is presented. The correctness of the code …

The accurate modeling of electromagnetic penetration is an important topic in computational
electromagnetics. Electromagnetic penetration occurs through intentional or inadvertent …

Code verification is the process of ensuring, to the extent possible, that there are no
algorithm deficiencies and coding mistakes (bugs) in a scientific computing simulation …

The study of hypersonic flows and their underlying aerothermochemical reactions is
particularly important in the design and analysis of vehicles exiting and reentering Earth's …

Though the method-of-moments implementation of the electric-field integral equation plays
an important role in computational electromagnetics, it provides many code-verification …

In this paper we introduce the Manufactured Analytical Solution Abstraction (MASA) library
for applying the method of manufactured solutions to the verification of software used for …