Reconstructed Discontinuous Galerkin Verification and Validation Report

Introduction

The VVR for the Reconstructed Discontinuous Galerkin module provides evidence that the Reconstructed Discontinuous Galerkin module fulfills its intended purpose.

Dependencies

The Reconstructed Discontinuous Galerkin module is developed using MOOSE and can itself be based on various MOOSE modules, as such the VVR for the Reconstructed Discontinuous Galerkin module is dependent upon the following documents.

Verification

The following lists all the verification test cases and the associated documentation for the Reconstructed Discontinuous Galerkin module.

  • rdg: Verification
  • 8.12.1The system shall be able to model permeation of Deuterium from a 0.05 mm thick membrane at 825 K to generate CSV data for use in comparisons with the experimental data.

    Specification(s): val-2ea_csvdiff

    Design: MatReactionMatBodyForceEquilibriumBCMatNeumannBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: val-2e

  • 8.12.2The system shall be able to model permeation of Deuterium from a 0.05 mm thick membrane at 825 K.

    Specification(s): val-2ea

    Design: MatReactionMatBodyForceEquilibriumBCMatNeumannBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: val-2e

  • 8.12.3The system shall be able to model permeation of Deuterium from a 0.025 mm thin membrane at 825 K to generate CSV data for use in comparisons with the experimental data.

    Specification(s): val-2eb_csvdiff

    Design: MatReactionMatBodyForceEquilibriumBCMatNeumannBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: val-2e

  • 8.12.4The system shall be able to model permeation of Deuterium from a 0.025 mm thin membrane at 825 K.

    Specification(s): val-2eb

    Design: MatReactionMatBodyForceEquilibriumBCMatNeumannBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: val-2e

  • 8.12.5The system shall be able to model permeation of Deuterium from a 0.025 mm thin membrane at 865 K to generate CSV data for use in comparisons with the experimental data.

    Specification(s): val-2ec_csvdiff

    Design: MatReactionMatBodyForceEquilibriumBCMatNeumannBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: val-2e

  • 8.12.6The system shall be able to model permeation of Deuterium from a 0.025 mm thin membrane at 865 K and generate an exodus file.

    Specification(s): val-2ec

    Design: MatReactionMatBodyForceEquilibriumBCMatNeumannBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: val-2e

  • 8.12.7The system shall be able to model permeation of mixture gas from a 0.025 mm thin membrane at 870 K using lawdep boundary conditions to generate CSV data for use in comparisons with the experimental data.

    Specification(s): val-2ed_csvdiff

    Design: MatReactionMatBodyForceEquilibriumBCMatNeumannBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: val-2e

  • 8.12.8The system shall be able to model permeation of mixture gas with chemical reaction from a 0.025 mm thin membrane at 870 K using lawdep boundary conditions and generate an exodus file.

    Specification(s): val-2ed

    Design: MatReactionMatBodyForceEquilibriumBCMatNeumannBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: val-2e

  • 8.12.9The system shall be able to model permeation of mixture gas from a 0.025 mm thin membrane at 870 K using ratedep boundary conditions to generate CSV data for use in comparisons with the experimental data.

    Specification(s): val-2ee_csvdiff

    Design: MatReactionMatBodyForceEquilibriumBCMatNeumannBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: val-2e

  • 8.12.10The system shall be able to model permeation of mixture gas with chemical reaction from a 0.025 mm thin membrane at 870 K using ratedep boundary conditions and generate an exodus file.

    Specification(s): val-2ee

    Design: MatReactionMatBodyForceEquilibriumBCMatNeumannBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: val-2e

  • 8.12.11The system shall be able to generate comparison plots between the analytical solution and experimental data of validation case 2e, modeling the permeation of Deuterium from a membrane.

    Specification(s): ver-2e_comparison

    Design: MatReactionMatBodyForceEquilibriumBCMatNeumannBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: val-2e

  • 8.14.1The system shall be able to model species diffusion through a structure, originating from a depleting source enclosure.

    Specification(s): ver-1a

    Design: EnclosureSinkScalarKernelPressureReleaseFluxIntegralEquilibriumBC

    Issue(s): #12#75

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1a

  • 8.14.2The system shall be able to model species diffusion through a structure, originating from a depleting source enclosure, with the fine mesh and timestep required to match the analytical solution.

    Specification(s): ver-1a_heavy

    Design: EnclosureSinkScalarKernelPressureReleaseFluxIntegralEquilibriumBC

    Issue(s): #12#75

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1a

  • 8.14.3The system shall be able to model species diffusion through a structure, originating from a depleting source enclosure, with the fine mesh and timestep required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution.

    Specification(s): ver-1a_heavy_csvdiff

    Design: EnclosureSinkScalarKernelPressureReleaseFluxIntegralEquilibriumBC

    Issue(s): #12#75

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1a

  • 8.14.4The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1a, modeling species diffusion through a structure, originating from a depleting source enclosure.

    Specification(s): ver-1a_comparison

    Design: EnclosureSinkScalarKernelPressureReleaseFluxIntegralEquilibriumBC

    Issue(s): #12#75

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1a

  • 8.15.1The system shall be able to model transient diffusion through a slab with a constant concentration boundary condition as the species source.

    Specification(s): ver-1b

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1b

  • 8.15.2The system shall be able to model transient diffusion through a slab with a constant concentration boundary condition as the species source with the fine mesh and time step required to match the analytical solution.

    Specification(s): ver-1b_heavy

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1b

  • 8.15.3The system shall be able to model transient diffusion through a slab with a constant concentration boundary condition as the species source, with the fine mesh and time step required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1b_heavy_csvdiff

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1b

  • 8.15.4The system shall be able to model transient diffusion through a slab with a constant concentration boundary condition as the species source, with the fine mesh and timestep required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution for the profile concentration.

    Specification(s): ver-1b_heavy_lineplot

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1b

  • 8.15.5The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1b, modeling transient diffusion through a slab with a constant concentration boundary condition as the species source.

    Specification(s): ver-1b_comparison

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1b

  • 8.16.1The system shall be able to model species permeation into an unloaded portion of a slab from a pre-loaded portion with boundary conditions consistent with TMAP4.

    Specification(s): ver-1c_TMAP4

    Design: DiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1c

  • 8.16.2The system shall be able to model species permeation into an unloaded portion of a slab from a pre-loaded portion with boundary conditions consistent with TMAP7

    Specification(s): ver-1c_TMAP7

    Design: DiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1c

  • 8.16.3The system shall be able to model species permeation into an unloaded portion of a slab from a pre-loaded portion to generate CSV data for use in comparisons with the analytic solution over time for the TMAP4 verification case.

    Specification(s): ver-1c_TMAP4_csvdiff

    Design: DiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1c

  • 8.16.4The system shall be able to model species permeation into an unloaded portion of a slab from a pre-loaded portion to generate CSV data for use in comparisons with the analytic solution over time for the TMAP7 verification case.

    Specification(s): ver-1c_TMAP7_csvdiff

    Design: DiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1c

  • 8.16.5The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1c, modeling species permeation into an unloaded portion of a slab from a pre-loaded portion for both the TMAP4 and TMAP7 verification cases.

    Specification(s): ver-1c_comparison

    Design: DiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1c

  • 8.17.1The system shall be able to model a breakthrough problem where diffusion is the rate limiting process.

    Specification(s): ver-1d_diffusion_limited

    Design: TrappingNodalKernelReleasingNodalKernel

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1d

  • 8.17.2The system shall be able to model a breakthrough problem where diffusion is the rate limiting process, with the fine mesh and time step required to match the analytical solution for the verification case.

    Specification(s): ver-1d_diffusion_limited_heavy

    Design: TrappingNodalKernelReleasingNodalKernel

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1d

  • 8.17.3The system shall be able to model a breakthrough problem where diffusion is the rate limiting process, with the fine mesh and time step required to match the analytical solution for the verification case and generate CSV data for use in comparisons with the analytic solution.

    Specification(s): ver-1d_diffusion_limited_heavy_csvdiff

    Design: TrappingNodalKernelReleasingNodalKernel

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1d

  • 8.17.4The system shall be able to model a breakthrough problem where trapping is the rate limiting process.

    Specification(s): ver-1d_trapping_limited

    Design: TrappingNodalKernelReleasingNodalKernel

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1d

  • 8.17.5The system shall be able to model a breakthrough problem where trapping is the rate limiting process with the fine mesh and time step required to match the analytical solution for the verification case.

    Specification(s): ver-1d_trapping_limited_heavy

    Design: TrappingNodalKernelReleasingNodalKernel

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1d

  • 8.17.6The system shall be able to model a breakthrough problem where trapping is the rate limiting process with the fine mesh and time step required to match the analytical solution for the verification case and generate CSV data for use in comparisons with the analytic solution.

    Specification(s): ver-1d_trapping_limited_heavy_csvdiff

    Design: TrappingNodalKernelReleasingNodalKernel

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1d

  • 8.17.7The system shall be able to generate comparison plots between the analytical solution and simulated solutions of verification cases 1d, modeling a breakthrough problem where diffusion and trapping are the rate limiting processes.

    Specification(s): ver-1d_comparison

    Design: TrappingNodalKernelReleasingNodalKernel

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1d

  • 8.18.1The system shall be able to model a breakthrough problem of multiple traps.

    Specification(s): ver-1dc_limited

    Design: TrappingNodalKernelReleasingNodalKernel

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1dc

  • 8.18.2The system shall be able to model a breakthrough problem of multiple traps, with the fine mesh and time step required to match the analytical solution for the verification case.

    Specification(s): ver-1dc_limited_heavy

    Design: TrappingNodalKernelReleasingNodalKernel

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1dc

  • 8.18.3The system shall be able to model a breakthrough problem of multiple traps, with the fine mesh and time step required to match the analytical solution for the verification case and generate CSV data for use in comparisons with the analytic solution.

    Specification(s): ver-1dc_limited_heavy_csvdiff

    Design: TrappingNodalKernelReleasingNodalKernel

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1dc

  • 8.18.4The system shall be able to generate comparison plots between the analytical solution and simulated solutions of verification cases 1dc, modeling a breakthrough problem of multiple traps.

    Specification(s): ver-1d_comparison

    Design: TrappingNodalKernelReleasingNodalKernel

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1dc

  • 8.18.5The system shall show second order spatial convergence for a diffusion-trapping-release test case.

    Specification(s): ver-1dc-mms

    Design: TrappingNodalKernelReleasingNodalKernel

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): PythonUnitTest

    Verification: ver-1dc

  • 8.19.1The system shall be able to model a breakthrough problem without traps.

    Specification(s): ver-1dd

    Design: TrappingNodalKernelReleasingNodalKernel

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1dd

  • 8.19.2The system shall be able to model a breakthrough problem without traps, and generate CSV data for use in comparisons with the analytic solution.

    Specification(s): ver-1dd_csvdiff

    Design: TrappingNodalKernelReleasingNodalKernel

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1dd

  • 8.19.3The system shall be able to generate comparison plots between the analytical solution and simulated solutions of verification cases 1dd, modeling a breakthrough problem without traps.

    Specification(s): ver-1d_comparison

    Design: TrappingNodalKernelReleasingNodalKernel

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1dd

  • 8.20.1The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source.

    Specification(s): ver-1e

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1e

  • 8.20.2The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, with the fine mesh and time step required to match the analytical solution for the TMAP4 verification case.

    Specification(s): ver-1e_TMAP4_heavy

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1e

  • 8.20.3The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, with the fine mesh and time step required to match the analytical solution for the TMAP7 verification case.

    Specification(s): ver-1e_TMAP7_heavy

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1e

  • 8.20.4The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, with the fine mesh and time step required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution over time for the TMAP4 verification case.

    Specification(s): ver-1e_TMAP4_heavy_csvdiff

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1e

  • 8.20.5The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, with the fine mesh and time step required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution over time for the TMAP7 verification case.

    Specification(s): ver-1e_TMAP7_heavy_csvdiff

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1e

  • 8.20.6The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, with the fine mesh and timestep required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution for the profile concentration for the TMAP4 verification case.

    Specification(s): ver-1e_TMAP4_heavy_lineplot

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1e

  • 8.20.7The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, with the fine mesh and timestep required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution for the profile concentration for the TMAP7 verification case.

    Specification(s): ver-1e_TMAP7_heavy_lineplot

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1e

  • 8.20.8The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1e, modeling transient diffusion through a composite slab with a constant concentration boundary condition as the species source for both the TMAP4 and TMAP7 verification cases.

    Specification(s): ver-1e_comparison

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1e

  • 8.21.1The system shall be able to model heat conduction in a slab that has heat generation

    Specification(s): ver-1fa

    Design: HeatConductionHeatConductionTimeDerivativeHeatSource

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1fa

  • 8.21.2The system shall be able to model heat conduction in a slab that has heat generation to generate CSV data for use in comparisons with the analytic solution for the profile concentration.

    Specification(s): ver-1fa_lineplot

    Design: HeatConductionHeatConductionTimeDerivativeHeatSource

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1fa

  • 8.21.3The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1fa, to model heat conduction in a slab that has heat generation.

    Specification(s): ver-1fa_comparison

    Design: HeatConductionHeatConductionTimeDerivativeHeatSource

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1fa

  • 8.22.1The system shall be able to model thermal transient in a slab that has temperatures fixed at both the ends

    Specification(s): ver-1fb

    Design: HeatConductionHeatConductionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1fb

  • 8.22.2The system shall be able to model thermal transient in a slab that has temperatures fixed at both the ends to generate CSV data at time of 0.1 s for use in comparison with analytical solution.

    Specification(s): ver-1fb_csvdiff_0pt1sec

    Design: HeatConductionHeatConductionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1fb

  • 8.22.3The system shall be able to model thermal transient in a slab that has temperatures fixed at both the ends to generate CSV data at time of 0.5 s for use in comparison with analytical solution.

    Specification(s): ver-1fb_csvdiff_0pt5sec

    Design: HeatConductionHeatConductionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1fb

  • 8.22.4The system shall be able to model thermal transient in a slab that has temperatures fixed at both the ends to generate CSV data at time of 1.0 s for use in comparison with analytical solution.

    Specification(s): ver-1fb_csvdiff_1pt0sec

    Design: HeatConductionHeatConductionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1fb

  • 8.22.5The system shall be able to model thermal transient in a slab that has temperatures fixed at both the ends to generate CSV data at time of 5.0 s for use in comparison with analytical solution.

    Specification(s): ver-1fb_csvdiff_5pt0sec

    Design: HeatConductionHeatConductionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1fb

  • 8.22.6The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1fb, modeling thermal transient in a slab with fixed temperatures at both the ends.

    Specification(s): ver-1fb_comparison

    Design: HeatConductionHeatConductionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1fb

  • 8.23.1The system shall be able to model conduction in a composite structure with constant surface temperatures.

    Specification(s): ver-1fc

    Design: HeatConductionHeatConductionTimeDerivative

    Issue(s): #12#102

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1fc

  • 8.23.2The system shall be able to model conduction in a composite structure with constant surface temperatures to generate CSV data for use in comparisons with ABAQUS during transient at x=0.09 m.

    Specification(s): ver-1fc_csvdiff_transient

    Design: HeatConductionHeatConductionTimeDerivative

    Issue(s): #12#102

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1fc

  • 8.23.3The system shall be able to model conduction in a composite structure with constant surface temperatures to generate CSV data for use in comparisons with ABAQUS during transient at t=150 s.

    Specification(s): ver-1fc_csvdiff_transient_profile

    Design: HeatConductionHeatConductionTimeDerivative

    Issue(s): #12#102

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1fc

  • 8.23.4The system shall be able to model conduction in a composite structure with constant surface temperatures to generate CSV data for use in comparisons with ABAQUS and an analytical solution at steady state (t=10000 s).

    Specification(s): ver-1fc_csvdiff_steady_state

    Design: HeatConductionHeatConductionTimeDerivative

    Issue(s): #12#102

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1fc

  • 8.23.5The system shall be able to generate comparison plots between the analytical solution, ABAQUS data, and simulated solution of verification case 1fc, modeling conduction in a composite structure with constant surface temperatures.

    Specification(s): ver-1fc_comparison

    Design: HeatConductionHeatConductionTimeDerivative

    Issue(s): #12#102

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1fc

  • 8.24.1The system shall be able to model convective heating.

    Specification(s): ver-1fd

    Design: HeatConductionHeatConductionTimeDerivative

    Issue(s): #12#103

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1fd

  • 8.24.2The system shall be able to model convective heating to generate CSV data for use in comparisons with the analytic solution.

    Specification(s): ver-1fd_csv

    Design: HeatConductionHeatConductionTimeDerivative

    Issue(s): #12#103

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1fd

  • 8.24.3The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1fd, modeling convective heating.

    Specification(s): ver-1fd_comparison

    Design: HeatConductionHeatConductionTimeDerivative

    Issue(s): #12#103

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1fd

  • 8.25.1The system shall be able to model a chemical reaction between two species with the same concentrations and calculate the concentrations of reactants and product as a function of time

    Specification(s): binary_reaction_equal_concentrations

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1g

  • 8.25.2The system shall be able to model a chemical reaction between two species with different concentrations and calculate the concentrations of reactants and product as a function of time using the initial conditions from the TMAP4 case

    Specification(s): binary_reaction_diff_concentrations_TMAP4

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1g

  • 8.25.3The system shall be able to model a chemical reaction between two species with different concentrations and calculate the concentrations of reactants and product as a function of time using the initial conditions from the TMAP7 case

    Specification(s): binary_reaction_diff_concentrations_TMAP7

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1g

  • 8.25.4The system shall be able to model a chemical reaction between two species with the same concentrations and calculate the concentrations of reactants and product as a function of time, to match the analytical solution to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): binary_reaction_equal_concentrations_csv_diff

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1g

  • 8.25.5The system shall be able to model a chemical reaction between two species with different concentrations using the initial conditions from the TMAP4 case and calculate the concentrations of reactants and product as a function of time to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): binary_reaction_diff_concentrations_csv_diff_TMAP4

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1g

  • 8.25.6The system shall be able to model a chemical reaction between two species with different concentrations using the initial conditions from the TMAP7 case and calculate the concentrations of reactants and product as a function of time to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): binary_reaction_diff_concentrations_csv_diff_TMAP7

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1g

  • 8.25.7The system shall be able to generate comparison plots between the analytical solution and simulated solution of a chemical reaction between two species with same or different concentrations, using the initial conditions from both TMAP4 and TMAP7 cases.

    Specification(s): ver-1g_comparison

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1g

  • 8.26.1The system shall be able to model a series of chemical reactions involving three species and calculate the concentrations of each species as a function of time.

    Specification(s): ver-1gc

    Design: ADMatReactionFlexible

    Issue(s): #12#104

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1gc

  • 8.26.2The system shall be able to model a series of chemical reactions involving three species and calculate the concentrations of each species as a function of time and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1gc_csv

    Design: ADMatReactionFlexible

    Issue(s): #12#104

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1gc

  • 8.26.3The system shall be able to generate comparison plots between the analytical solution and simulated solution of a series of chemical reactions involving three species and calculate the concentrations of each species as a function of time and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1gc_comparison

    Design: ADMatReactionFlexible

    Issue(s): #12#104

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1gc

  • 8.27.1The system shall be able to model a convective outflow problem and calculate the pressure and concentration of the gas in the second and third enclosure and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1ha_csv

    Design: ADMatReaction

    Issue(s): #148

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1ha

  • 8.27.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of a convective outflow problem involving three enclosures and calculate the pressure and concentration of the gas in the second and third enclosure.

    Specification(s): ver-1ha_comparison

    Design: ADMatReaction

    Issue(s): #148

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1ha

  • 8.28.1The system shall be able to model a convective outflow problem and calculate the pressure and concentration of tritium and deuterium gas in the first and second enclosure and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1hb_csv

    Design: ADMatReaction

    Issue(s): #148#12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1hb

  • 8.28.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of a convective outflow problem involving two enclosures and two different gases and calculate the pressure and concentration of the gases in the enclosures.

    Specification(s): ver-1hb_comparison

    Design: ADMatReaction

    Issue(s): #148#12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1hb

  • 8.29.1The system shall be able to model a equilibration problem on a reactive surface with equal starting pressures in ratedep condition and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1ia_csv

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1ia

  • 8.29.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of a equilibration on a reactive surface with equal starting pressures in ratedep condition

    Specification(s): ver-1ia_comparison

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1ia

  • 8.30.1The system shall be able to model a equilibration problem on a reactive surface with unequal starting pressures in ratedep condition and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1ib_csv

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1ib

  • 8.30.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of a equilibration on a reactive surface in ratedep condition with unequal starting pressures.

    Specification(s): ver-1ib_comparison

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1ib

  • 8.31.1The system shall be able to model a equilibration problem on a reactive surface in surfdep conditions with low barrier energy and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1ic_csv

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1ic

  • 8.31.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of a equilibration on a reactive surface in surfdep condition with low barrier energy.

    Specification(s): ver-1ic_comparison

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1ic

  • 8.32.1The system shall be able to model a equilibration problem on a reactive surface in surfdep conditions with high barrier energy and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1id_csv

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1id

  • 8.32.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of a equilibration on a reactive surface in surfdep condition with high barrier energy.

    Specification(s): ver-1id_comparison

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1id

  • 8.33.1The system shall be able to model a equilibration problem on a reactive surface in lawdep condition with equal starting pressures and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1ie_csv

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1ie

  • 8.33.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of a equilibration on a reactive surface in lawdep condition with equal starting pressures.

    Specification(s): ver-1ie_comparison

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1ie

  • 8.34.1The system shall be able to model a equilibration problem on a reactive surface in lawdep condition with unequal starting pressures and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1if_csv

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1if

  • 8.34.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of a equilibration on a reactive surface in lawdep condition with unequal starting pressures.

    Specification(s): ver-1if_comparison

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1if

  • 8.35.1The system shall be able to model decay of tritium and associated growth of helium in a diffusion segment and generate CSV data for use in comparisons with the analytic solution.

    Specification(s): ver-1ja_csvdiff

    Design: ver-1jaMatReaction

    Issue(s): #145#12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1ja

  • 8.35.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1ja, which models decay of tritium and associated growth of helium in a diffusion segment.

    Specification(s): ver-1ja_comparison

    Design: ver-1jaMatReaction

    Issue(s): #145#12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1ja

  • 8.36.1The system shall be able to model decay of tritium and associated growth of He in a diffusion segment with distributed traps, with the fine mesh and timestep required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution.

    Specification(s): ver-1jb_csvdiff

    Design: ver-1jbMatReactionMatDiffusionScaledCoupledTimeDerivativeTrappingNodalKernelReleasingNodalKernel

    Issue(s): #145#12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1jb

  • 8.36.2The system shall be able to model decay of tritium and associated growth of He in a diffusion segment with distributed traps and output the profiles of concentrations.

    Specification(s): ver-1jb_csvdiff_profile

    Design: ver-1jbMatReactionMatDiffusionScaledCoupledTimeDerivativeTrappingNodalKernelReleasingNodalKernel

    Issue(s): #145#12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1jb

  • 8.36.3The system shall be able to model decay of tritium and associated growth of He in a diffusion segment with distributed traps with equivalent initial mobile and trapped tritium concentration, with the fine mesh and timestep required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution.

    Specification(s): ver-1jb_csvdiff_equivalent_concentrations

    Design: ver-1jbMatReactionMatDiffusionScaledCoupledTimeDerivativeTrappingNodalKernelReleasingNodalKernel

    Issue(s): #145#12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1jb

  • 8.36.4The system shall be able to model decay of tritium and associated growth of He in a diffusion segment with distributed traps with equivalent initial mobile and trapped tritium concentration and output the profiles of concentrations.

    Specification(s): ver-1jb_csvdiff_profile_equivalent_concentrations

    Design: ver-1jbMatReactionMatDiffusionScaledCoupledTimeDerivativeTrappingNodalKernelReleasingNodalKernel

    Issue(s): #145#12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1jb

  • 8.36.5The system shall be able to generate comparison plots between the analytical solution and simulated solution when modeling decay of tritium and associated growth of He in a diffusion segment with distributed traps.

    Specification(s): ver-1jb_comparison

    Design: ver-1jbMatReactionMatDiffusionScaledCoupledTimeDerivativeTrappingNodalKernelReleasingNodalKernel

    Issue(s): #145#12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1jb

  • 8.37.1The system shall be able to model a tritium volumetric source in one enclosure

    Specification(s): ver-1ka_csv

    Design: ODETimeDerivativeParsedODEKernel

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1ka

  • 8.37.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1ka, modeling a tritium volumetric source in one enclosure.

    Specification(s): ver-1ka_comparison

    Design: ODETimeDerivativeParsedODEKernel

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1ka

  • 8.38.1The system shall be able to model the diffusion of T2 across a membrane separating two enclosures in accordance with Henry’s law without any concentration jump at the interface.

    Specification(s): ver-1kb_csv_without_concentration_jump

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1kb

  • 8.38.2The system shall be able to model the diffusion of T2 across a membrane separating two enclosures in accordance with Henry’s law with a concentration jump at the interface.

    Specification(s): ver-1kb_csv_concentration_jump

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1kb

  • 8.38.3The system shall be able to model the diffusion of T2 across a membrane separating two enclosures in accordance with Henry’s law with a concentration jump at the interface

    Specification(s): ver-1kb_exodus_concentration_jump

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1kb

  • 8.38.4The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1kb, modeling a diffusion across a membrane separating two enclosures in accordance with Henry’s law.

    Specification(s): ver-1kb_comparison

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1kb

  • 8.39.1The system shall be able to model the diffusion of T2 across a membrane separating two enclosures in accordance with Sieverts’ law with a concentration jump at the interface.

    Specification(s): ver-1kc-1_csv

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1kc-1

  • 8.39.2The system shall be able to model the diffusion of T2 across a membrane separating two enclosures in accordance with Sieverts’ law with a concentration jump at the interface with a fine mesh and tight tolerances for higher accuracy.

    Specification(s): ver-1kc-1_csv_heavy

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1kc-1

  • 8.39.3The system shall be able to model the diffusion of T2 across a membrane separating two enclosures in accordance with Sieverts’ law with a concentration jump at the interface with a fine mesh and tight tolerances for higher accuracy and generate an exodus file.

    Specification(s): ver-1kc-1_exodus_heavy

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1kc-1

  • 8.39.4The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1kc-1, modeling a diffusion across a membrane separating two enclosures in accordance with Sieverts’ law.

    Specification(s): ver-1kc-1_comparison

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1kc-1

  • 8.40.1The system shall be able to model the diffusion of T2, H2 and HT across a membrane separating two enclosures in accordance with Sieverts’ law with a concentration jump at the interface.

    Specification(s): ver-1kc-2_csv

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivativeADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1kc-2

  • 8.40.2The system shall be able to model the diffusion of T2, H2 and HT across a membrane separating two enclosures in accordance with Sieverts’ law with a concentration jump at the interface with tight tolerances for higher accuracy.

    Specification(s): ver-1kc-2_csv_heavy

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivativeADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1kc-2

  • 8.40.3The system shall be able to model the diffusion of T2, H2 and HT across a membrane separating two enclosures in accordance with Sieverts’ law with a concentration jump at the interface and generate an exodus file with tight tolerances for higher accuracy.

    Specification(s): ver-1kc-2_exodus_heavy

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivativeADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1kc-2

  • 8.40.4The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1kc-2, modeling a diffusion across a membrane separating two enclosures in accordance with Sieverts’ law.

    Specification(s): ver-1kc-2_comparison

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivativeADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1kc-2

  • 8.41.1The system shall be able to model the diffusion of T2, H2 and HT across a membrane separating two enclosures in accordance with Sieverts’ law with a concentration jump at the interface and a T2 volumetric source term.

    Specification(s): ver-1kd_csv

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivativeADMatReactionFlexibleBodyForce

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1kd

  • 8.41.2The system shall be able to model the diffusion of T2, H2 and HT across a membrane separating two enclosures in accordance with Sieverts’ law with a concentration jump at the interface and a T2 volumetric source term with tight tolerances for higher accuracy.

    Specification(s): ver-1kd_csv_heavy

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivativeADMatReactionFlexibleBodyForce

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1kd

  • 8.41.3The system shall be able to model the diffusion of T2, H2 and HT across a membrane separating two enclosures in accordance with Sieverts’ law with a concentration jump at the interface and a T2 volumetric source term and generate an exodus file with tight tolerances for higher accuracy.

    Specification(s): ver-1kd_exodus_heavy

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivativeADMatReactionFlexibleBodyForce

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1kd

  • 8.41.4The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1kd, modeling a diffusion across a membrane separating two enclosures in accordance with Sieverts’ law and a T2 volumetric source term.

    Specification(s): ver-1kd_comparison

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivativeADMatReactionFlexibleBodyForce

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1kd

Validation

The following lists all the validation test cases and the associated documentation for the Reconstructed Discontinuous Galerkin module.