Increasing Biological Fidelity of Arctic Greenhouse Gas Emissions from Permafrost to Improve Climate Modeling
Abstract not provided.
Publications
Search results
Jump to search filtersA Coupled Smoothed Particle Hydrodynamics-Finite Volume Approach for Shock Capturing in One-Dimension
Abstract not provided.
SNL ATDM Software Ecosystem Then and Now: Operating Systems and On-Node Runtime
Abstract not provided.
Sensitivity analysis for deep geologic repository simulations in crystalline rock
Abstract not provided.
Versatile Gaussian Process and Bayesian Optimization for Multiscale Computational Materials Science Applications
Abstract not provided.
The multifaceted uncertainty nature of structure-property linkage with crystal plasticity finite element model
Abstract not provided.
Annual status update for OWL
This report represents completion of milestone deliverable M2SF-23SN010309082 Annual Status Update for OWL due on November 30, 2022. It provides the status of fiscal year 2022 (FY2022) updates for the Online Waste Library (OWL).
Q: A Sound Verification Framework for Statecharts and Their Implementations
FTSCS 2022 - Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, co-located with SPLASH 2022
We present Q Framework: a verification framework used at Sandia National Laboratories. Q is a collection of tools used to verify safety and correctness properties of high-consequence embedded systems and captures the structure and compositionality of system specifications written with state machines in order to prove system-level properties about their implementations. Q consists of two main workflows: 1) compilation of temporal properties and state machine models (such as those made with Stateflow) into SMV models and 2) generation of ACSL specifications for the C code implementation of the state machine models. These together prove a refinement relation between the state machine model and its C code implementation, with proofs of properties checked by NuSMV (for SMV models) and Frama-C (for ACSL specifications).
Establishment of the DOE-EM Exoskeleton Testbed
Abstract not provided.
Engineering of Nanoscale Heterogenous Transition Metal Dichalcogenide-Au Interfaces
Abstract not provided.
Automated High-Resolution Tracking of Sea Ice Extent Offshore Oliktok Point, Alaska, using Distributed Acoustic Sensing and Machine Learning
Abstract not provided.
Reconfigurable Unpatterned Metasurfaces via Acoustoelectric Gating of Graphene
Abstract not provided.
Enabling Low-Cost Molten Sodium Batteries Through Engineered Catholyte-Separator Materials Chemistry
Abstract not provided.
Investigation of Iron-and Organic-based Bipolar Redox Molecules for Non-aqueous Flow Batteries
Abstract not provided.
High Performance RF Interposer Fabrication on Glass
Abstract not provided.
Higher Energy Density Mediated Lithium-Sulfur Flow Batteries
Abstract not provided.
Optimizing Copper Deposition in High Aspect Ratio Through Silicon Vias
Abstract not provided.
Metal Hydride Compressor for High-Pressure (875 bar) Hydrogen Delivery
Metal hydride hydrogen compression utilizes a reversible heat-driven interaction of a hydride-forming metal alloy with hydrogen gas. This paper reports on the development of a laboratory scale two-stage Metal Hydride Compressor (MHC) system with a feed pressure of 150 bar delivering high purity H2 gas at outlet pressures up to 875 bar. Stage 1 and stage 2 AB2 metal hydrides are identified based on experimental characterization of the pressure-composition-temperature (PCT) behavior of candidate materials. The selected metal hydrides are each combined with expanded natural graphite, increasing the thermal conductivity of the composites by an order of magnitude. These composites are integrated in two compressor beds with internal heat exchangers that alternate between hydrogenation and dehydrogenation cycles by thermally cycling between 20 °C and 150 °C. The prototype compressor achieved compression of hydrogen from 150 bar to 700 bar with an average flow rate of 33.6 g/hr.
Design of Critical Experiments Targeting Epithermal Cross Sections of Tantalum
Abstract not provided.
The role of oxygen vacancies on DC lifetime and TSDC in Bi(Zn,Ti)O3-BaTiO3 (BZT-BT)
Abstract not provided.
Investigating GeTe as an Ovonic Threshold Switch with Spectroscopic and Electronic Techniques
Abstract not provided.
Quantifying Chlorine Gas Evolution from Mixed-Acid Vanadium Redox Flow Batteries
Abstract not provided.
High Energy X-ray Photoelectron Spectroscopy of COTS Electronics Interfacial Failure Modes
Abstract not provided.
Correlating Solvation Structure and Interphase Chemistry in Emerging Multivalent Battery Electrolytes
Abstract not provided.
High temperature morphology of phenolic resin pyrolysis
Abstract not provided.
Results 201–225 of 2,290