Cardinal Verification and Validation Report
Introduction
The VVR for Cardinal provides evidence that Cardinal fulfills its intended purpose.
Dependencies
The Cardinal application is developed using MOOSE and is based on various modules, as such the VVR for Cardinal is dependent upon the following documents.
- Framework Verification and Validation Report
- Fluid Properties Verification and Validation Report
- Heat Transfer Verification and Validation Report
- Navier Stokes Verification and Validation Report
- Reactor Verification and Validation Report
- Ray Tracing Verification and Validation Report
- Solid Mechanics Verification and Validation Report
- Solid Properties Verification and Validation Report
- Stochastic Tools Verification and Validation Report
- SubChannel Verification and Validation Report
- Thermal Hydraulics Verification and Validation Report
Verification
The following lists all the verification test cases and the associated documentation for Cardinal.
- cardinal: Verification
- 1.30.1The system shall compute the backward-facing-step skin-friction coefficient and compare it against reference experimental data.
Specification(s): bfs
Design: NekRSProblemNekRSMeshNekTimeStepperNekSideIntegral
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Backward-Facing Step
- 1.31.1The system shall compute the velocity error norms for the manufactured channel-flow solution on an unrotated mesh.
Specification(s): channel_cimode1
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Stokes Flow
- 1.31.2The system shall compute the velocity error norms for the manufactured channel-flow solution on a rotated mesh.
Specification(s): channel_cimode2
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Stokes Flow
- 1.32.1The system shall compute the velocity and temperature error norms for the manufactured conjugate heat-transfer solution without characteristic subcycling.
Specification(s): conj_ht_cimode1
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Conjugate Heat Transfer
- 1.32.2The system shall compute the velocity and temperature error norms for the manufactured conjugate heat-transfer solution using characteristic subcycling.
Specification(s): conj_ht_cimode2
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Conjugate Heat Transfer
- 1.33.1The system shall compute the Ethier velocity, pressure, temperature, and passive-scalar error norms using a block velocity solver with characteristic subcycling.
Specification(s): ethier_cimode2
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeIntegralNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Ethier Flow
- 1.33.2The system shall compute the Ethier velocity, pressure, temperature, and passive-scalar error norms using projection initial guesses and the SEMFEM pressure preconditioner.
Specification(s): ethier_cimode3
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeIntegralNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Ethier Flow
- 1.33.3The system shall compute the Ethier velocity, pressure, temperature, and passive-scalar error norms over an extended simulation using a block velocity solver, characteristic subcycling, and projection initial guesses.
Specification(s): ethier_cimode4
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeIntegralNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Ethier Flow
- 1.33.4The system shall compute the Ethier velocity, pressure, temperature, and passive-scalar error norms on a moving mesh using a block velocity solver without characteristic subcycling.
Specification(s): ethier_cimode5
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeIntegralNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Ethier Flow
- 1.33.5The system shall compute the Ethier velocity, pressure, temperature, and passive-scalar error norms on a moving mesh using a block velocity solver with characteristic subcycling.
Specification(s): ethier_cimode6
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeIntegralNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Ethier Flow
- 1.33.6The system shall compute the Ethier velocity, pressure, temperature, and passive-scalar error norms using projection initial guesses and a Jacobi pressure preconditioner.
Specification(s): ethier_cimode7
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeIntegralNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Ethier Flow
- 1.33.7The system shall compute the Ethier velocity, pressure, temperature, and passive-scalar error norms using adaptive time stepping with a prescribed target Courant number.
Specification(s): ethier_cimode8
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeIntegralNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Ethier Flow
- 1.33.8The system shall compute the Ethier velocity, pressure, temperature, and passive-scalar error norms using convective advection, a block velocity solver, characteristic subcycling, and a projection pressure initial guess.
Specification(s): ethier_cimode9
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeIntegralNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Ethier Flow
- 1.33.9The system shall compute the Ethier velocity, pressure, temperature, and passive-scalar error norms using convective advection, a block velocity solver, and a projection pressure initial guess.
Specification(s): ethier_cimode10
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeIntegralNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Ethier Flow
- 1.33.10The system shall compute the Ethier velocity, pressure, temperature, and passive-scalar error norms using a block velocity solver and a Chebyshev-accelerated multigrid pressure smoother.
Specification(s): ethier_cimode11
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeIntegralNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Ethier Flow
- 1.33.11The system shall compute the Ethier velocity, pressure, and passive-scalar error norms with the temperature solver disabled.
Specification(s): ethier_cimode12
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeIntegralNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Ethier Flow
- 1.33.12The system shall compute the Ethier passive-scalar error norm in a scalar-only simulation.
Specification(s): ethier_cimode13
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeIntegralNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Ethier Flow
- 1.33.13The system shall compute the Ethier velocity, pressure, temperature, and passive-scalar error norms using a block velocity solver and an additive overlapping Schwarz multigrid pressure smoother.
Specification(s): ethier_cimode14
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeIntegralNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Ethier Flow
- 1.34.1The system shall compute the wall shear stress for non-dimensional turbulent channel flow using the k-tau RANS model and compare it against the reference value.
Specification(s): ktau_channel_nonDimensional
Design: NekRSProblemNekRSMeshNekTimeStepperNekViscousSurfaceForceNekSideIntegral
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Turbulent Channel Flow (RANS)
- 1.34.2The system shall compute the wall shear stress for dimensional turbulent channel flow using the k-tau RANS model and compare it against the reference value.
Specification(s): ktau_channel_dimensional
Design: NekRSProblemNekRSMeshNekTimeStepperNekViscousSurfaceForceNekSideIntegral
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Turbulent Channel Flow (RANS)
- 1.35.1The system shall compute the velocity, temperature, and passive-scalar error norms for the manufactured low-Mach-flow solution without characteristic subcycling.
Specification(s): low_mach_cimode1
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Low-Mach Compressible Flow
- 1.35.2The system shall compute the velocity, temperature, and passive-scalar error norms for the manufactured low-Mach-flow solution using characteristic subcycling.
Specification(s): low_mach_cimode2
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Low-Mach Compressible Flow
- 1.36.1The system shall compute the average temperature, volume, thermodynamic pressure, and thermodynamic-pressure time derivative for an isentropically compressing and expanding cylinder using prescribed mesh motion.
Specification(s): mv_cyl_cimode1
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeAverageNekVolumeIntegralNekSideIntegral
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Moving Cylinder (Low-Mach)
- 1.36.2The system shall compute the average temperature, volume, thermodynamic pressure, and thermodynamic-pressure time derivative for an isentropically compressing and expanding cylinder using characteristic subcycling.
Specification(s): mv_cyl_cimode2
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeAverageNekVolumeIntegralNekSideIntegral
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Moving Cylinder (Low-Mach)
- 1.36.3The system shall compute the average temperature, volume, thermodynamic pressure, and thermodynamic-pressure time derivative for an isentropically compressing and expanding cylinder using characteristic subcycling and a projection-initialized mesh-velocity solver.
Specification(s): mv_cyl_cimode3
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeAverageNekVolumeIntegralNekSideIntegral
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Moving Cylinder (Low-Mach)
- 1.36.4The system shall compute the average temperature, volume, thermodynamic pressure, and thermodynamic-pressure time derivative for a rotated, isentropically compressing and expanding cylinder using prescribed mesh motion.
Specification(s): mv_cyl_cimode5
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeAverageNekVolumeIntegralNekSideIntegral
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Moving Cylinder (Low-Mach)
- 1.36.5The system shall compute the average temperature, volume, thermodynamic pressure, and thermodynamic-pressure time derivative for a rotated, isentropically compressing and expanding cylinder using a projection-initialized mesh-velocity solver.
Specification(s): mv_cyl_cimode6
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeAverageNekVolumeIntegralNekSideIntegral
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Moving Cylinder (Low-Mach)
- 1.37.1The system shall compute the periodic-hill skin friction coefficient using the k-tau SST model and compare it against reference LES data.
Specification(s): periodic_hill_k_tau_sst
Design: NekRSProblemNekRSMeshNekTimeStepperNekSideIntegral
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Periodic Hill Flow (RANS and Hybrid RANS/LES)
- 1.37.2The system shall compute the periodic-hill skin friction coefficient using the k-tau SST-DDES model and compare it against reference LES data.
Specification(s): periodic_hill_k_tau_sst_ddes
Design: NekRSProblemNekRSMeshNekTimeStepperNekSideIntegral
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Periodic Hill Flow (RANS and Hybrid RANS/LES)
- 1.37.3The system shall compute the periodic-hill skin friction coefficient using the k-tau SST-IDDES model and compare it against reference LES data.
Specification(s): periodic_hill_k_tau_sst_iddes
Design: NekRSProblemNekRSMeshNekTimeStepperNekSideIntegral
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Periodic Hill Flow (RANS and Hybrid RANS/LES)
- 1.38.1The system shall compute the time-averaged volumetric Nusselt number for Rayleigh-Benard convection and compare it against the reference value.
Specification(s): rbc
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeIntegral
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Rayleigh–BĂ©nard Convection
- 1.39.1The system shall compute the velocity error norms for the shear-layer channel solution on an unrotated mesh.
Specification(s): shl_channel_cimode1
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Poiseuille Flow (Traction Boundaries)
- 1.39.2The system shall compute the velocity error norms for the shear-layer channel solution on a rotated mesh.
Specification(s): shl_channel_cimode2
Design: NekRSProblemNekRSMeshNekTimeStepperNekVolumeNorm
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Poiseuille Flow (Traction Boundaries)
- 1.40.1The system shall be able to solve laminar natural convection in 2D square cavity
Specification(s): squareCavity
Design: NekRSProblemNekRSMeshNekTimeStepperNekHeatFluxIntegral
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Laminar natural convection in a 2-D square cavity
- 1.41.1The system shall compute the friction velocity for fully developed turbulent flow in a periodic pipe and compare it against reference data.
Specification(s): turb_pipe_periodic
Design: NekRSProblemNekRSMeshNekTimeStepperNekViscousSurfaceForceNekSideIntegral
Issue(s): #950
Collection(s): FUNCTIONAL
Type(s): CSVDiff
Verification: Turbulent Pipe Flow (LES)
Validation
The following lists all the validation test cases and the associated documentation for Cardinal.
No test cases of this type exist for this application, beyond those of its dependencies.