Uncertainty Quantification/Verification & Validation Seminar Series (Internal at Sandia)

This seminar series is sponsored by ASC Uncertainty Quantification Methods Development project. The purpose of these seminars is to foster communication between researchers and applications teams in the areas of UQ/V&V, make people aware of tools and resources that are available, provide a forum for creative discussion about ways to approach problems, identify gaps in our current practices, present current work, and discuss how to more broadly implement the QMU (quantification of margins and uncertainties) mandate.

Previous Seminars

1–6, 7–11

Seminar 15

What's it Worth to SNL? Prioritizing Component Test Projects Using QMU and Decision Analysis

During this time of declining budgets, we must optimize the few investment dollars available to maximize value to the weapon system. The lack of a profit motive means that Net Present Value (the common measure of value in industry) is not an applicable measure for Sandia. Recognizing that the value of testing lies in improved confidence that the weapon system will work, this approach leverages quantified margins and uncertainty around the reliability estimates to quantify the reduction in risk that Sandia gains by executing IDL projects (different component testing projects). By doing so, we can measure our improved confidence and thus the relative value gained by executing each test program. We demonstrate this approach with a simple example of using risk based valuation within a decision analysis context to establish the relative value of proposed IDL projects."

Speaker: John Lorio, SNL Dept. 2111
Date/Time: Thursday, January 8, 2:00-3:00 (NM), 1:00-2:00 (CA)
Location: 836/104A (Sandia NM), Building 915, Room S145 (CA)

Seminar 14

BRACES: Bayesian Reliability Analysis for Complex Engineered Systems

Nuclear weapons testing is a key application area at Sandia. Weapons are complex systems of interconnected components for which reliability is of paramount importance, and the processes for estimating this reliability quantitatively are extraordinarily complicated. While these estimation processes use analytical methods that incorporate data acquired through an array of testing procedures, there is significant pressure to reduce the costs of testing while maintaining the integrity of the stockpile. Moreover, a reliability estimate is just that, an estimate, particularly for systems for which it is impractical, or impossible, to perform sufficient classical tests, to ensure a specified level of confidence. In these cases, it is relevant to establish a formal process for assessing the uncertainty in the estimate itself. Both of these aspects motivate our attempt to investigate alternatives to our current practices in weapons testing and reliability assessment.

In this talk, we describe novel mathematical strategies, based on structured probabilistic models, for testing our systems. We propose to use these strategies to assess the impact of various combinations of subsystem- and component-level tests on overall system reliability, and its associated uncertainty due to epistemological realities. We will also consider the problem of predicting future reliability given time-dependent data. The Bayesian approach of Martz-Waller will first be extended to testing regimes where continuous data, e.g., voltage, are collected in addition to that collected in traditional, and simpler,“pass-fail” tests. This approach will be extended further to accommodate time-dependent systems; our goal is to handle predictions in an environment where aging may be important. Finally, we will extend this approach to more general network-class applications for which certain components may exist in, or directly affect, multiple systems. Exact, or approximate, inference algorithms will allow probability distributions characterizing reliability to be updated through and across systems. This ability is crucial for estimating the uncertainty in an overall system reliability estimate. Our construction will, for the first time, enable the formulation of optimization questions concerning the best testing strategies and the relative importance of each individual test on the overall reliability and uncertainty estimates.
We present some numerical results and suggest possible extensions to other applications. ipsum dolor sit amet, contuer adiping elit, sed diam nonummy nibh euismod.

Lorem ipsum dolor sit amed sed diam nonummy nibh euismod tincidunt ut. Duis autem vel eum iriure et accumsan et odio qui blandit praesent luptatum augue duis dolore te feugait nulla facilisi.

Speaker: Paul Boggs, SNL Dept. 8961
Date/Time: Tuesday, November 11, 2:00-3:00 (NM), 1:00-2:00 (CA)
Location: CSRI room 90 (Sandia NM), Building 915, Room S145 (CA)

Seminar 13

Title: Verification for ALEGRA using magnetized shock hydrodynamics problems

Two classical verification problems from shock hydrodynamics are adapted for verification in the context of ideal magnetohydrodynamics (MHD) by introducing strong transverse magnetic fields, and simulated using the finite element Lagrange-remap MHD code ALEGRA for purposes of rigorous code verification. The concern in these verification tests is that inconsistencies related to energy advection are inherent in Lagrange-remap formulations for MHD, such that conservation of the kinetic and magnetic components of the energy may not be maintained. Hence, total energy conservation may also not be maintained. MHD shock propagation may therefore not be treated consistently in Lagrange-remap schemes, as errors in energy conservation are known to result in unphysical shock wave speeds and post-shock states.

That kinetic energy is not conserved in Lagrange-remap schemes is well known, and the correction of DeBar has been shown to eliminate the resulting errors. Here, the consequences of the failure to conserve magnetic energy are revealed using order verification in the two magnetized shock-hydrodynamics problems. Further, a magnetic analog to the DeBar correction is proposed and its accuracy evaluated using this verification testbed. Results indicate that only when the total energy is conserved, by implementing both the kinetic and magnetic components of the DeBar correction, can simulations in Lagrange-remap formulation capture MHD shock propagation accurately. Additional insight is provided by the verification results, regarding the implementation of the DeBar correction and the advection scheme.

Speaker: John Niederhaus, Dept. 1431

Date/Time: Monday, October 13 2:00-3:00 (NM), 1:00-2:00 (CA)

Location: Building 899 (JCEL) room 1811 (Sandia NM), Building 915, Room S145 (CA)

Seminar 12

Title: Impact of Coding Mistakes on Numerical Error and Uncertainty in Solutions to PDEs

Impact of Coding Mistakes on Numerical Error and Uncertainty in Solutions to PDEs, by Patrick M. Knupp, Curtis C. Ober*, Ryan B. Bond

We investigated one source of uncertainty, the numerical error (NE), which is the difference between the numerical solution and the exact solution to the PDE. NE arises from four sources of error within a numerical calculation: (1) discretization error (DE), (2) roundoff error (RE), (3) incomplete iterative convergence error (IICE), and (4) implementation correctness error (ICE). ICE arises from the presence of coding mistakes (bugs) that prevent the correct numerical solution from being computed.

The main purpose of this study was to obtain some insight into the magnitude and effects of coding mistakes (ICE) on the numerical error, sensitivities and uncertainties in the solutions to PDEs. A simple 1D PDE was used in the investigation to circumvent difficulties in using large complex applications, to make use of an exact solution, and to better relate the impact of ICE to the quantities of interest. Using simple 'typo'-type mistakes, this study illustrates many common problems caused by coding mistakes and how they effect the numerical error and uncertainty. From solutions that blow up, to converging to an incorrect answer, the simple-model problem demonstrates how insidious some of the coding mistakes can be. Leading to the concern that it can be worse for our complex-physics applications!

Speaker: Curtis Ober, Dept. 1433

Date/Time: Tuesday, September 16 2:00-3:00 (NM), 1:00-2:00 (CA)

Location: Building 899 (JCEL) room 1811 (Sandia NM), Building 915, Room S101 (CA)

Previous Seminars

1–6, 7–11