TMAP8 System Design Description

This template follows INL template TEM-140, "IT System Design Description."

Introduction

Many of the phenomena related to tritium transport depend on the solutions of multiple physics models, which can be described by partial differential equations that provide spatially- and temporally-varying values of solution variables. These models for individual physics often depend on each other. TMAP8 relies on the MOOSE framework to solve these physics models, accounting for the couplings that may occur between them. This document describes the system design of TMAP8.

System Purpose

The Software Design Description provided here is description of each object in the system. The pluggable architecture of the underlying framework of TMAP8 makes MOOSE and MOOSE-based applications straightforward to develop as each piece of end-user (developer) code that goes into the system follows a well-defined interface for the underlying systems that those object plug into. These descriptions are provided through developer-supplied "markdown" files that are required for all new objects that are developed as part of TMAP8. More information about the design documentation for MOOSE-based applications like TMAP8 can be found in Documenting MOOSE.

System Scope

TMAP8 is an application for performing system-level, engineering scale (i.e., at the scale of centimeters and meters), and microstructure-scale (i.e., at the scale of microns) mass and thermal transport calculations related to tritium migration. These models often include highly coupled systems of equations related to heat conduction, scalar transport, thermal hydraulics, and mechanics, amongst others. Material models are also included to support these simulations, and they themselves are often dependent on simulation variables: temperature, irradiation flux, etc. While many models within TMAP8 are performed at the system-level or engineering scale, the MultiApp System can be leveraged to allow for multiscale coupling to the micro- and nano-scale species behavior. This allows for higher fidelity modeling.

Dependencies and Limitations

TMAP8 inherits the software dependencies of the MOOSE framework, with no additional dependencies.

Definitions and Acronyms

This section defines, or provides the definition of, all terms and acronyms required to properly understand this specification.

Definitions

  • Pull (Merge) Request: A proposed change to the software (e.g. usually a code change, but may also include documentation, requirements, design, and/or testing).

  • Baseline: A specification or product (e.g., project plan, maintenance and operations (M&O) plan, requirements, or design) that has been formally reviewed and agreed upon, that thereafter serves as the basis for use and further development, and that can be changed only by using an approved change control process (NQA-1, 2009).

  • Validation: Confirmation, through the provision of objective evidence (e.g., acceptance test), that the requirements for a specific intended use or application have been fulfilled (24765:2010(E), 2010).

  • Verification: (1) The process of: evaluating a system or component to determine whether the products of a given development phase satisfy the conditions imposed at the start of that phase. (2) Formal proof of program correctness (e.g., requirements, design, implementation reviews, system tests) (24765:2010(E), 2010).

Acronyms

AcronymDescription
APIApplication Programming Interface
DOEDepartment of Energy
FEfinite element
HITHierarchical Input Text
HPCHigh Performance Computing
I/OInput/Output
INLIdaho National Laboratory
MOOSEMultiphysics Object Oriented Simulation Environment
MPIMessage Passing Interface
SDDSoftware Design Description

Design Stakeholders and Concerns

Design Stakeholders

Stakeholders for TMAP8 include several of the funding sources including Department of Energy (DOE) and INL. However, since TMAP8 is an open-source project, several universities, companies, and foreign governments have an interest in the development and maintenance of the TMAP8 project.

Stakeholder Design Concerns

Concerns from many of the stakeholders are similar. These concerns include correctness, stability, and performance. The mitigation plan for each of these can be addressed. For correctness, TMAP8 development requires either regression or unit testing for all new code added to the repository. The project contains several comparisons against analytical solutions where possible and also other verification methods such as MMS. For stability, TMAP8 maintains multiple branches to incorporate several layers of testing both internally and for dependent applications. Finally, performance tests are also performed as part of the the normal testing suite to monitor code change impacts to performance.

System Design

TMAP8 relies on MOOSE to solve the coupled physics models underlying tritium transport, accounting for the couplings that may occur between them. The design of MOOSE is based on the concept of modular code objects that define all of the aspects of the physics model. TMAP8 follows this design, providing code objects that define specific aspects of the solutions for its physics that derive from the base classes defined by the MOOSE framework and the modules that it depends on.

TMAP8 provides specialized Kernel classes that compute the contributions from the terms in the partial differential equations for heat conduction, tritium diffusion, surface reactions, and other phenomena. It also provides specialized Material classes that define the constitutive behavior of materials of interest for diffusion, solubility, trapping, resolution, reactivity, permeation, and other physical properties. In addition, it provides miscellaneous BC and InterfaceKernel classes to facilitate various aspects of these simulations, such as plasma exposure, surface reactions, and transfer of species across enclosures, among others. Much of the functionality of TMAP8 is provided by the MOOSE modules that it builds on.

System Structure

TMAP8 relies on the MOOSE framework to provide the core functionality of solving multiphysics problems using the finite element method. It also relies on the MOOSE modules for much of its core functionality. A summary listing of the current modules required for complete TMAP8 operation are shown below:

The structure of TMAP8 is based on defining C++ classes that derive from classes in the MOOSE framework or modules that provide functionality that is specifically tailored to tritium migration problems. By using the interfaces defined in MOOSE base classes for these classes, TMAP8 is able to rely on MOOSE to execute these models at the appropriate times during the simulation and use their results in the desired ways.

Data Design and Control

At a high level, the system is designed to process Hierarchical Input Text (HIT) input files to construct several objects that will constitute an finite element (FE) simulation. Some of the objects in the simulation may in turn load other file-based resources to complete the simulation. Examples include meshes or data files. The system will then assemble systems of equations and solve them using the libraries of the Code Platform. The system can then output the solution in one or more supported output formats commonly used for visualization.

Human-Machine Interface Design

The TMAP8 application is a command-line driven program. All interaction with TMAP8 is ultimately done through the command line. This is typical for HPC applications that use the MPI interface for running on super computing clusters. Optional GUIs may be used to assist in creating input files and launching executables on the command line.

System Design Interface

All external system interaction is performed either through file Input/Output (I/O) or through local Application Programming Interface (API) calls. Neither TMAP8, nor the MOOSE framework, nor the MOOSE modules are designed to interact with any external system directly through remote procedure calls. Any code to code coupling performed using the framework are done directly through API calls either in a static binary or after loading shared libraries.

Security Structure

The TMAP8 application does not require any elevated privileges to operate and does not run any stateful services, daemons or other network programs. Distributed runs rely on the MPI library.

Requirements Cross-Reference

  • tmap8: Contributing to TMAP8
  • 2.3.1The system shall support HIT formatting on staged MOOSE input files via enforcement of a pre-commit hook, accepting well-formatted files and rejecting poorly-formatted ones.

    Specification(s): hit_format_hook

    Design: Contributing to TMAP8

    Issue(s): #396

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

  • tmap8: EquilibriumBC
  • 2.4.1The system shall compute the equilibrium flux condition between an enclosure and a structure when a field variable is used for the enclosure variable.

    Specification(s): equilibriumBC_field_variable

    Design: EquilibriumBC

    Issue(s): #134

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

  • 2.4.2The system shall error if
    1. the user does not specify a function or a variable for the equilibrium flux boundary condition,
    2. the user does not specify the block to use for the nodal evaluation of equilibrium constant.

    Specification(s): errors/missing_temp, errors/missing_block

    Design: EquilibriumBC

    Issue(s): #134

    Collection(s): FUNCTIONALFAILURE_ANALYSIS

    Type(s): RunException

  • 2.13.1The system shall be able to model diffusion of deuterium in a beryllium sample and generate CSV data output for comparison to experimental results.

    Specification(s): val-2b_heavy_csv

    Design: EquilibriumBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Validation: val-2b

  • 2.13.2The system shall be able to model diffusion of deuterium in a beryllium sample and generate field and material property data output in the Exodus format for comparison to experimental results.

    Specification(s): val-2b_heavy_exodus

    Design: EquilibriumBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Validation: val-2b

  • 2.13.3The system shall be able to model diffusion of deuterium in beryllium sample with a short runtime suitable for regular regression testing.

    Specification(s): val-2b_exodus

    Design: EquilibriumBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Validation: val-2b

  • 2.13.4The system shall be able to model diffusion of deuterium in beryllium sample with a short runtime suitable for regular regression testing and generate CSV data output for comparison to experimental results.

    Specification(s): val-2b_exodus_csv

    Design: EquilibriumBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Validation: val-2b

  • 2.13.5The system shall be able to generate comparison plots between simulated solutions and experimental data of validation case val-2b, modeling diffusion and release of deuterium in a beryllium sample.

    Specification(s): val-2b_comparison

    Design: EquilibriumBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Validation: val-2b

  • 2.16.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

  • 2.16.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

  • 2.16.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

  • 2.16.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

  • 2.16.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

  • 2.16.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

  • 2.16.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

  • 2.16.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

  • 2.16.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

  • 2.16.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

  • 2.16.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

  • 2.21.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

  • 2.21.2The system shall be able to model species diffusion through a structure, originating from a depleting source enclosure to generate CSV data for use in comparisons with the analytic solution.

    Specification(s): ver-1a_csvdiff

    Design: EnclosureSinkScalarKernelPressureReleaseFluxIntegralEquilibriumBC

    Issue(s): #12#75

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1a

  • 2.21.3The system shall be able to model species diffusion through a structure, originating from a depleting source enclosure using component syntax to generate CSV data for use in comparisons with the analytic solution.

    Specification(s): ver-1a-components

    Design: EnclosureSinkScalarKernelPressureReleaseFluxIntegralEquilibriumBC

    Issue(s): #12#75

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1a

  • 2.21.4The 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

  • 2.21.5The 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

  • 2.21.6The 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

  • tmap8: ADMatReactionFlexible
  • 2.9.2The system shall compute the reaction contribution in the material.

    Specification(s): ad_mat_reaction_flexible

    Design: ADMatReactionFlexible

    Issue(s): #23

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

  • 2.32.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

  • 2.32.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

  • 2.32.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

  • 2.32.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

  • 2.32.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

  • 2.32.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

  • 2.32.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

  • 2.33.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

  • 2.33.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

  • 2.33.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

  • 2.36.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

  • 2.36.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

  • 2.37.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

  • 2.37.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

  • 2.38.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

  • 2.38.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

  • 2.39.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

  • 2.39.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

  • 2.40.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

  • 2.40.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

  • 2.41.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

  • 2.41.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

  • 2.47.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

  • 2.47.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

  • 2.47.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

  • 2.47.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

  • 2.48.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

  • 2.48.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

  • 2.48.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

  • 2.48.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

  • tmap8: val-2c
  • 2.14.1The system shall be able to model the Test Cell Release Experiment (val-2c) with immediate T2 injection.

    Specification(s): val-2c_immediate_injection_csv_implicit-euler

    Design: val-2c

    Issue(s): #12#98

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Validation: val-2c

  • 2.14.2The system shall be able to model the Test Cell Release Experiment (val-2c) with immediate T2 injection and properly compute the exodus file.

    Specification(s): val-2c_immediate_injection_exodus_implicit-euler

    Design: val-2c

    Issue(s): #12#98

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Validation: val-2c

  • 2.14.3The system shall be able to model the Test Cell Release Experiment (val-2c) with delayed T2 injection.

    Specification(s): val-2c_delay_csv_implicit-euler

    Design: val-2c

    Issue(s): #12#98

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Validation: val-2c

  • 2.14.4The system shall be able to model the Test Cell Release Experiment (val-2c) with delayed T2 injection and properly compute the exodus file.

    Specification(s): val-2c_delay_exodus_implicit-euler

    Design: val-2c

    Issue(s): #12#98

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Validation: val-2c

  • 2.14.5The system shall be able to model the Test Cell Release Experiment (val-2c) with delayed T2 injection using calibrated model parameters.

    Specification(s): val-2c_delay_calibrated_csv_implicit-euler

    Design: val-2c

    Issue(s): #266

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Validation: val-2c

  • 2.14.6The system shall be able to perform a Parallel Subset Simulation study using a model of the Test Cell Release Experiment (val-2c) with delayed T2 injection.

    Specification(s): val-2c_delay_pss_study_csv

    Design: val-2c

    Issue(s): #266

    Collection(s): FUNCTIONAL

    Type(s): JSONDiff

    Validation: val-2c

  • 2.14.7The system shall be able to generate comparison plots between simulated solutions and experimental data of validation cases val-2c, modeling a Test Cell Release Experiment.

    Specification(s): val-2c_delay_comparison

    Design: val-2c

    Issue(s): #12#98

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Validation: val-2c

  • 2.14.8The system shall be able to model the Test Cell Release Experiment (val-2c) with immediate T2 injection to generate output data for documentation.

    Specification(s): val-2c_immediate_injection_csv_bdf2

    Design: val-2c

    Issue(s): #12#98

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Validation: val-2c

  • 2.14.9The system shall be able to model the Test Cell Release Experiment (val-2c) with delayed T2 injection to generate output data for documentation.

    Specification(s): val-2c_delay_csv_bdf2

    Design: val-2c

    Issue(s): #12#98

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Validation: val-2c

  • 2.14.10The system shall be able to model the Test Cell Release Experiment (val-2c) with delayed T2 injection using calibrated model parameters to generate output data for documentation.

    Specification(s): val-2c_delay_calibrated_csv_bdf2

    Design: val-2c

    Issue(s): #12#98

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Validation: val-2c

  • tmap8: Diffusion
  • 2.22.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

  • 2.22.2The system shall be able to model transient diffusion through a slab with a constant concentration boundary condition as the species source to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1b_csvdiff

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1b

  • 2.22.3The system shall be able to model transient diffusion through a slab with a constant concentration boundary condition as the species source using a Physics and Components syntax.

    Specification(s): ver-1b-components

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1b

  • 2.22.4The system shall be able to model transient diffusion through a slab with a constant concentration boundary condition as the species source using a Physics and Components syntax to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1b-components_csvdiff

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1b

  • 2.22.5The 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

  • 2.22.6The 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

  • 2.22.7The 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

  • 2.22.8The 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

  • 2.23.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

  • 2.23.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

  • 2.23.3The system shall be able to model species permeation into an unloaded portion of a slab from a pre-loaded portion, using a Physics and Components syntax.

    Specification(s): ver-1c-components

    Design: DiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1c

  • 2.23.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 TMAP4 verification case.

    Specification(s): ver-1c_TMAP4_csvdiff

    Design: DiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1c

  • 2.23.5The 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

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

    Specification(s): ver-1c-components_csvdiff

    Design: DiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1c

  • 2.23.7The 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

  • 2.27.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

  • 2.27.2The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source to generate CSV data for use in comparisons with the analytic solution.

    Specification(s): ver-1e_csvdiff

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1e

  • 2.27.3The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, using the shorthand Physics and Components syntax.

    Specification(s): ver-1e-component

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1e

  • 2.27.4The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, using the shorthand Physics and Components syntax to generate CSV data for use in comparisons with the analytic solution.

    Specification(s): ver-1e-component_csvdiff

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1e

  • 2.27.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 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

  • 2.27.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 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

  • 2.27.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 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

  • 2.27.8The 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

  • 2.27.9The 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

  • 2.27.10The 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

  • 2.27.11The 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

  • tmap8: DirichletBC
  • 2.22.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

  • 2.22.2The system shall be able to model transient diffusion through a slab with a constant concentration boundary condition as the species source to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1b_csvdiff

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1b

  • 2.22.3The system shall be able to model transient diffusion through a slab with a constant concentration boundary condition as the species source using a Physics and Components syntax.

    Specification(s): ver-1b-components

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1b

  • 2.22.4The system shall be able to model transient diffusion through a slab with a constant concentration boundary condition as the species source using a Physics and Components syntax to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1b-components_csvdiff

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1b

  • 2.22.5The 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

  • 2.22.6The 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

  • 2.22.7The 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

  • 2.22.8The 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

  • 2.27.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

  • 2.27.2The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source to generate CSV data for use in comparisons with the analytic solution.

    Specification(s): ver-1e_csvdiff

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1e

  • 2.27.3The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, using the shorthand Physics and Components syntax.

    Specification(s): ver-1e-component

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1e

  • 2.27.4The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, using the shorthand Physics and Components syntax to generate CSV data for use in comparisons with the analytic solution.

    Specification(s): ver-1e-component_csvdiff

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1e

  • 2.27.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 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

  • 2.27.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 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

  • 2.27.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 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

  • 2.27.8The 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

  • 2.27.9The 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

  • 2.27.10The 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

  • 2.27.11The 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

  • tmap8: MatReaction
  • 2.34.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: MatReaction

    Issue(s): #148

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1ha

  • 2.34.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: MatReaction

    Issue(s): #148

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1ha

  • 2.35.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: MatReaction

    Issue(s): #148#12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1hb

  • 2.35.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: MatReaction

    Issue(s): #148#12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1hb

  • tmap8: ver-1ja
  • 2.42.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

  • 2.42.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

  • tmap8: ADThermoDiffusion
  • 2.49.1The system shall be able to model species Fickian and Soret diffusion through a semi-infinity layer.

    Specification(s): ver-1l

    Design: ADThermoDiffusion

    Issue(s): #351

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    Verification: ver-1l

  • 2.49.2The system shall be able to model species Fickian and Soret diffusion through a semi-infinity layer to generate CSV data for use in comparisons with the analytic solution.

    Specification(s): ver-1l_csvdiff

    Design: ADThermoDiffusion

    Issue(s): #351

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    Verification: ver-1l

  • 2.49.3The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1l, modeling species Fickian and Soret diffusion through a semi-infinity layer.

    Specification(s): ver-1l_comparison

    Design: ADThermoDiffusion

    Issue(s): #351

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    Verification: ver-1l

References

  1. ISO/IEC/IEEE 24765:2010(E). Systems and software engineering—Vocabulary. first edition, December 15 2010.[BibTeX]
  2. ASME NQA-1. ASME NQA-1-2008 with the NQA-1a-2009 addenda: Quality Assurance Requirements for Nuclear Facility Applications. first edition, August 31 2009.[BibTeX]

ActionComponents

Adaptivity

Adaptivity/Indicators

Adaptivity/Markers

Application

AuxKernels

AuxKernels/MatVecRealGradAuxKernel

AuxKernels/MaterialVectorAuxKernel

AuxKernels/MaterialVectorGradAuxKernel

AuxScalarKernels

AuxVariables

AuxVariables/MultiAuxVariables

BCs

BCs/CavityPressure

BCs/CoupledPressure

BCs/InclinedNoDisplacementBC

BCs/Periodic

BCs/Pressure

Bounds

ChainControls

ChemicalComposition

Closures

Components

Constraints

ControlLogic

Controls

Convergence

Correctors

CoupledHeatTransfers

Covariance

DGKernels

Dampers

Debug

Debug/MaterialDerivativeTest

DeprecatedBlock

DiracKernels

Distributions

DomainIntegral

Executioner

Executioner/Adaptivity

Executioner/Predictor

Executioner/Quadrature

Executioner/TimeIntegrator

Executioner/TimeIntegrators

Executioner/TimeStepper

Executioner/TimeSteppers

Executors

FVBCs

FVICs

FVInterfaceKernels

FVInterpolationMethods

FVKernels

FluidProperties

FluidPropertiesInterrogator

Functions

FunctorMaterials

GlobalParams

GrayDiffuseRadiation

HDGKernels

ICs

ICs/PolycrystalICs

ICs/PolycrystalICs/BicrystalBoundingBoxIC

ICs/PolycrystalICs/BicrystalCircleGrainIC

ICs/PolycrystalICs/PolycrystalColoringIC

ICs/PolycrystalICs/PolycrystalRandomIC

ICs/PolycrystalICs/PolycrystalVoronoiVoidIC

ICs/PolycrystalICs/Tricrystal2CircleGrainsIC

InterfaceKernels

Kernels

Kernels/CHPFCRFFSplitKernel

Kernels/DynamicSolidMechanics

Kernels/DynamicTensorMechanics

Kernels/HHPFCRFFSplitKernel

Kernels/PFCRFFKernel

Kernels/PolycrystalElasticDrivingForce

Kernels/PolycrystalKernel

Kernels/PolycrystalStoredEnergy

Kernels/PoroMechanics

Kernels/RigidBodyMultiKernel

Kernels/SolidMechanics

Kernels/TensorMechanics

Likelihood

LinearFVBCs

LinearFVKernels

Materials

Mesh

Mesh/BatchMeshGeneratorAction

Mesh/Partitioner

MeshDivisions

MeshModifiers

Modules

Modules/CompressibleNavierStokes

Modules/FluidProperties

Modules/IncompressibleNavierStokes

Modules/NavierStokesFV

Modules/PhaseField

Modules/PhaseField/Conserved

Modules/PhaseField/DisplacementGradients

Modules/PhaseField/EulerAngles2RGB

Modules/PhaseField/GrainGrowth

Modules/PhaseField/GrainGrowthLinearizedInterface

Modules/PhaseField/GrandPotential

Modules/PhaseField/Nonconserved

Modules/SolidProperties

Modules/TensorMechanics

Modules/TensorMechanics/CohesiveZoneMaster

Modules/TensorMechanics/DynamicMaster

Modules/TensorMechanics/GeneralizedPlaneStrain

Modules/TensorMechanics/GlobalStrain

Modules/TensorMechanics/LineElementMaster

Modules/TensorMechanics/Master

Modules/TensorMechanics/MaterialVectorBodyForce

MortarGapHeatTransfer

MultiApps

NEML2

NodalKernels

NodalNormals

Outputs

ParallelAcquisition

ParameterStudy

Physics

Physics/AqueousReactionsEquilibrium

Physics/Diffusion

Physics/Diffusion/ContinuousGalerkin

Physics/Diffusion/FiniteVolume

Physics/HeatConduction

Physics/HeatConduction/FiniteElement

Physics/HeatConduction/FiniteVolume

Physics/MultiSpeciesDiffusion

Physics/MultiSpeciesDiffusion/ContinuousGalerkin

Physics/NavierStokes

Physics/NavierStokes/Flow

Physics/NavierStokes/FlowSegregated

Physics/NavierStokes/FluidHeatTransfer

Physics/NavierStokes/FluidHeatTransferSegregated

Physics/NavierStokes/ScalarTransport

Physics/NavierStokes/ScalarTransportSegregated

Physics/NavierStokes/SolidHeatTransfer

Physics/NavierStokes/Turbulence

Physics/NavierStokes/TurbulenceSegregated

Physics/NavierStokes/TwoPhaseMixture

Physics/NavierStokes/TwoPhaseMixtureSegregated

Physics/SolidMechanics

Physics/SolidMechanics/CohesiveZone

Physics/SolidMechanics/Dynamic

Physics/SolidMechanics/GeneralizedPlaneStrain

Physics/SolidMechanics/GlobalStrain

Physics/SolidMechanics/LineElement

Physics/SolidMechanics/LineElement/QuasiStatic

Physics/SolidMechanics/MaterialVectorBodyForce

Physics/SolidMechanics/QuasiStatic

Physics/SorptionExchange

Physics/SpeciesDiffusion

Physics/SpeciesTrapping

Positions

Postprocessors

Preconditioning

Problem

ProjectedStatefulMaterialStorage

RayBCs

RayKernels

ReactionNetwork

ReactionNetwork/AqueousEquilibriumReactions

ReactionNetwork/SolidKineticReactions

Reporters

Samplers

ScalarKernels

SolidProperties

StochasticTools

Surrogates

ThermalContact

Times

Trainers

Transfers

UserObjects

VariableMappings

Variables

Variables/CHPFCRFFSplitVariables

Variables/HHPFCRFFSplitVariables

Variables/PFCRFFVariables

Variables/PolycrystalVariables

VectorPostprocessors