Search NASA⌕ Search

SEARCH · Search NASA

Results for “Formal analysis”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 217 records · Page 12
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

DeepLynx Ecosystem 2025

Poor data integration and governance continue to plague complex engineering projects, resulting in missed cost, schedule, and performance targets. Departments operate in isolated systems with manual data exchange, creating fragmented information that compounds errors and leads to significant delays and cost overruns. The DeepLynx ecosystem addresses these challenges through an open-source, modular data management platform that transforms fragmented project data into an integrated digital thread. Built on a federated microservice architecture, the ecosystem comprises seven specialized tools centered around DeepLynx Nexus, a unified data catalog with hierarchical organization and graph-based navigation capabilities. The ecosystem includes: DeepLynx Stream for real-time timeseries data ingestion from industrial sources; DeepLynx Ingest for governed data uploads with formal review workflows; DeepLynx Lattice for ontology-based entity and relationship extraction; DeepLynx Run for workflow orchestration and secure AI/ML compute; DeepLynx Visualize for 3D digital twin visualization; and DeepLynx Insight for AI-assisted document analysis with traceable, grounded responses. Deployable in cloud, on-premise, or hybrid environments using containerized Docker applications and Helm charts, the DeepLynx ecosystem provides flexible infrastructure that adapts to organizational requirements. By consolidating project data into a unified data lake with role-based access controls and OAuth2 authentication, DeepLynx enables digital thread and digital twin capabilities that improve decision-making, reduce risk, and support complex engineering workflows throughout the project lifecycle.

42 - ENGINEERING↗
DOE OSTI2022

CyTRICS: Vulnerability Analysis Tailored for Critical Infrastructure

Society and modern life are dependent on critical infrastructure that is composed of expensive, special purpose devices that have long life cycles and may be in use for decades before being replaced. There are an abundance of organizations and individuals doing vulnerability analysis on a variety of systems, but what makes the Cyber Testing for Resilient Industrial Control Systems (CyTRICS) program unique and valuable is its strategic focus on high-priority critical infrastructure, close partnership with vendors, and ability to leverage bills of materials (BOMs) to identify and relate vulnerabilities to affected systems. Creating a bill of materials is a formal way of understanding and documenting the components of a system, including everything from integrated circuits to operating systems to third-party libraries. This is beneficial for connecting known vulnerabilities to affected devices, since vulnerabilities in a specific component are often not mapped to all systems that use that vulnerable component. Additionally, CyTRICS finds novel vulnerabilities through its vulnerability testing process and works closely with vendor partners to provide vulnerability reports so that affected systems can be patched in a timely manner. This presentation will describe the interrelated technical processes CyTRICS uses to create bills of materials and conduct vulnerability analysis.

99 GENERAL AND MISCELLANEOUS↗
DOE OSTI2024

The cluster decomposition of the configurational energy of multicomponent alloys

Abstract The cluster expansion method (CEM) is a widely used lattice-based technique in the study of multicomponent alloys. Despite its prevalent use, a clear understanding of expansion terms is lacking. We present a modern mathematical formalism of the CEM and introduce thecluster decomposition—a unique and basis-independent decomposition for functions of the atomic configuration in a crystal. We identify the cluster decomposition as an invariant ANOVA decomposition; and demonstrate how functional analysis of variance and sensitivity analysis can be used to interpret interactions among species. Furthermore, we show how the mathematical structure of the cluster decomposition enables numerical evaluation that scales with the number of clusters and is independent of the number of species. Overall, our work enables rigorous interpretations of interactions among species, provides opportunities to explore parameter estimation beyond linear regression, introduces a numerical efficient implementation, and enables analysis of cluster expansions based on established mathematical and statistical principles.

Chemistry↗
DOE OSTI2020

Framework for Analysis and Quantification of Wide-Area Control Resilience for Power Systems

Wide-area control helps damp the inter-area oscillations in modern power systems. However, compared to traditional local control, it is more vulnerable to cyber attacks due to its dependence on remote real-time-communicated measurements. In this paper, a formal mathematical framework for analyzing resilience of various wide-area controllers under adversarial scenarios is proposed. A novel resilience index based on the $\H_2$ norm of the post-attack closed-loop system is defined. Computation of such an index is, in general, challenging due to the combinatorial nature of the attack profiles and the bilinear nature of the problem. To address these difficulties, a gradient-based path-following-like solution is developed in this paper to solve a relaxed version of the original non-convex problem. Case studies on IEEE 39-bus system are performed to demonstrate the usage of the proposed framework.

Marinovici, Laurentiu D.↗
DOE OSTI2020

Exact restoration of Galilei invariance in density functional calculations with quantum Monte Carlo

We investigate some aspects of the connection between mean-field and ab-initio calculations for any-nucleon systems employing the Gogny effective interaction. In particular, we present variational Monte Carlo calculations of 4 He and 16 O, for which we extended the formalism of the linear method to the case of a density-dependent Hamiltonian. Monte Carlo calculations using an uncorrelated basis reduce to Hartree-Fock ones, but Galilean invariance can be preserved, contrary to the usual treatment. An analysis of the results obtained with the Gogny force when used in conjunction with correlated wave functions has also been performed. Here, the calculations show the collapse of the deuteron, leading to a set of unphysical predictions for the structure of heavier nuclei. This behavior remarks the different role of the Gogny effective interaction as compared to bare interactions typically used in fully microscopic calculations.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2024

Drop Analysis of Department of Energy Standard Canister with Fort Saint Vrain SNF

DOE manages over 300 types of SNF, most of which are located at the INL site. The Idaho Cleanup Project and INL are collaborating on the Road-Ready Capability Demonstration Project, which will develop and demonstrate the designs, technology, processes, and regulatory framework for packaging DOE-managed SNF at the INL site for ?road-ready dry storage?. ?Road-ready dry storage? is a SNF management concept where SNF is packaged into dry and sealed canisters, which are then placed in on-site storage in anticipation of later transportation. The forward-looking goal of the Demonstration is establishing the foundation for a large-scale road-ready dry storage program at the INL site. The Demonstration will first package Fort Saint Vrain SNF currently stored at INL into several DOE Standard Canisters. These Standard Canisters will then be loaded into another commercial transportation or storage containment system (e.g., storage cask or transportation package). The Standard Canister is a class of standardized canisters designed for containing the large variety of DOE-managed SNF during interim storage, transportation and/or disposal at a geological repository. One critical aspect of road-ready dry storage is the ability to license the DOE Standard Canisters and its associated transportation package to 10 CFR 71. Depending on the SNF and transportation strategy, the Standard Canisters may have to maintain structural integrity under normal conditions of transport and hypothetical accident scenarios (i.e., drop events). The Standard Canisters have been tested and analyzed under various SNF loading configurations and accident drop events in support of the Idaho Spent Fuel Facility and other DOE programs. However, no analysis has been completed to support the recent Demonstration. This analysis will consider the Ø0.5 m × 5.1 m Standard Canister under drop scenario(s) considered in previous INL tests and analyses, including the 9 m drop at 80 degree off vertical. However, this analysis will consider the more recent Fort Saint Vrain loading configurations proposed for the Demonstration. This analysis will performed using strain-based acceptance criteria established by the American Society of Mechanical Engineers Boiler and Pressure Vessel Code, Section III, Division 3. It will be compared to previous analyses and form the foundation of further formal calculations that will be used to support licensing efforts of the road-ready dry storage system at INL.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2022

A dispersive analysis of $$\varvec{\eta '\rightarrow \pi ^+\pi ^-\gamma }$$ and $$\varvec{\eta '\rightarrow \ell ^+\ell ^-\gamma }$$

Abstract We present a dispersive representation of the $$\eta '$$ η ′ transition form factor that allows one to account, in a consistent way, for the effects of $$\rho $$ ρ – $$\omega $$ ω mixing in both the isoscalar and the isovector contributions. Using this formalism, we analyze recent data on $$\eta '\rightarrow \pi ^+\pi ^-\gamma $$ η ′ → π + π - γ to constrain the isovector part of the form factor, individually and in combination with data for the pion vector form factor, which suggests a tension in the $$\rho $$ ρ – $$\omega $$ ω mixing parameter. As a first application, we use our results, in combination with the most recent input for the isoscalar part of the form factor, to predict the corresponding spectrum of $$\eta '\rightarrow \ell ^+\ell ^-\gamma $$ η ′ → ℓ + ℓ - γ , in particular we find the slope parameter $$b_{\eta '}=1.455(24)\,\text {GeV}^{-2}$$ b η ′ = 1.455 ( 24 ) GeV - 2 . With forthcoming data on the latter process, our results establish the necessary framework to improve the evaluation of the $$\eta '$$ η ′ -pole contribution to the anomalous magnetic moment of the muon using experimental input from both $$\eta '$$ η ′ decay channels.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2024

CloudZero Phase 2 Technical Report

Expand upon the successful Phase 1 net zero cloud test proof of concept by moving actual OT systems to the cloud and proving cloud feasibility to support various OT technologies such as IoT, Machine Learning, etc. Explore threat analysis when these technologies are moved to the cloud. A detailed analysis in NREL ARIES Cyber Range will be used to conduct deeper analysis of cloud suitability to support OT and net zero system operations in a higher fidelity representative environment. Outputs will identify, quantify, and document the results and cyber security risks associated with the move of these OT technologies in a formal delivered report. Programmatic Benefits: Identify cloud integration challenges for energy systems characterize the cloud threat space, contribute to policy and standards discussions, empower the sector to change their cloud culture where appropriate.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2024

Optimizing Batch Crystallization with Model-based Design of Experiments

Poster for Foundations of Computer Aided Process Design (FOCAPD) 2024 describing the formality of model-based design of experiments for batch crystallization. This paper focuses on the implementation of model-based design of experiments for parameter precision, enabled by Pyomo.DoE, a package in Python. Specifically, this work outlines an identifiability analysis for the estimability of the model parameters in a batch crystallization system.

Lynch, Hailey↗
DOE OSTI2024

Systematic Study of Solid-State U(VI) Photoreactivity: Long-Lived Radicalization and Electron Transfer in Uranyl Tetrachloride

Reported are the syntheses, structural characterizations and luminescence properties of three novel [UO 2 Cl 4 ] 2- bearing compounds containing substituted 1,1’-dialkyl-4,4’-bipyridinum dications (i.e. viologens). These compounds undergo photoinduced luminescence quenching upon exposure to UV radiation. Further, this reactivity is concurrent with two phenomena: radicalization of the uranyl tetrachloride anion and photoelectron transfer to the viologen which constitutes the formal transfer of one electron from the [UO 2 Cl 4 ] 2- to the viologen species. This behavior is elucidated using electron paramagnetic resonance (EPR) spectroscopy and further probed through a series of characterization and computational techniques including Rehm-Weller analysis, time-dependent density functional theory (TD-DFT), and density of states (DOS). This work provides a systematic study of the photoreactivity of the uranyl unit in the solid state, an under-described aspect of fundamental uranyl chemistry.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2023

Multiscale Reactive Model for 1,3,5-Triamino-2,4,6-trinitrobenzene Inferred by Reactive MD Simulations and Unsupervised Learning

When high-energy-density materials are subjected to thermal or mechanical insults at extreme conditions (shock loading), a coupled response between the thermo-mechanical and chemical behaviors is systematically induced. Herein we develop a reaction model for the fast chemistry of 1,3,5-triamino-2,4,6-trinitrobenzene (TATB) at the mesoscopic scale, where the chemical behavior is determined by underlying microscopic reactive simulations. The slow carbon cluster formation is not discussed in the present work. All-atom reactive molecular dynamics (MD) simulations are performed with the ReaxFF potential, and a reduced-order chemical kinetics model for TATB is fitted to isothermal and adiabatic simulations of single crystal chemical decomposition. Unsupervised machine learning techniques based on non-negative matrix factorization are applied to MD trajectories to model the decomposition kinetics of TATB in terms of a four-component model. The associated heats of reaction are fit to the temperature evolution from adiabatic decomposition trajectories. Using a chemical species analysis, we show that non-negative matrix factorization captures the main chemical decomposition steps of TATB and provides an accurate estimation of their evolution with temperature. The final analytical formulation, coupled to a diffusion term, is incorporated into a continuum formalism, and simulation results are compared one-to-one against MD simulations of 1D reaction propagation along different crystallographic directions and with different initial temperatures. A good agreement is found for both the temporal and spatial evolution of the temperature field.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2025

GridLAB-D Technical Support Document: Residential Equivalent Thermal Parameter Model

GridLAB-D is a power distribution systems simulation and analysis tool developed by Pacific Northwest National Laboratory. Although GridLAB-D and its underlying residential load model has been used in a variety of power systems analyses, comprehensive documentation of the derivation of the residential house model has not been formally published. The purpose of this technical support document is to serve as a comprehensive resource for the thermal dynamics modeling and house definition implemented in GridLAB-D. It covers model derivation, parameter definitions, and implementation steps in the codebase.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2023

Decision Support Tool for Solar Energy Cybersecurity Policy and Regulation

The Decision Support Tool helps users address four discrete challenges: (1) complex requirements of relevant codes and standards, (2) technical complexity of solar assets, (3) undefined cyber risk severity, and (4) unclear roles and responsibilities. Content includes an analysis of cyber vulnerability risks, a decision support resource for policymakers to mitigate cyber risks to solar photovoltaic systems, and background resources for informing policy development. A key component of this tool is the Probable Risk Assessment (PRA), based on established, formal variables, models, and consequences, which helps users understand the determined risk and assigned ownership of the physical components. It helps states draw logical lines between vulnerabilities and mitigative solutions, of which some have been further detailed as Cybersecurity Advisory Team for State Solar (CATSS) tools.

14 SOLAR ENERGY↗
DOE OSTI2022

Access to Ru(IV)–Ru(V) and Ru(V)–Ru(VI) Redox in Layered Li 7 RuO 6 via Intercalation Reactions

The push to increase the capacity of oxides to store charge as Li-ion battery cathodes has challenged our knowledge of the boundaries of redox chemistry and its relationship to the atomic structure. Layered phases with Ru are now classical models in the quest for refined theories. Current understanding dictates that the highest formal state that can be reached in them is Ru(V), after which activity centered at the oxide anions is triggered. Yet, this picture is challenged by this investigation of the intercalation chemistry of Li 7 RuO 6 . Coupling structural and spectroscopic analysis with computational simulations, we show that Li 7 RuO 6 is capable of highly reversible lithiation to Li 8 RuO 6 through the Ru(V)/Ru(IV) redox couple. Further, Li 7 RuO 6 can also undergo anodic Li deintercalation, showing clear evidence of the reversible formation of Ru(VI) with octahedral coordination, an unusual state that is not accessible in other layered oxides. The results highlight the versatility of the Ru-O bond to undergo distinct redox transitions depending on the specific layered arrangements. They enrich our understanding of redox chemistry in solids while underscoring the need for descriptions of charge compensation that reflect the nuance of covalent interactions.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2020

EFT validity issues in Vector Boson Scattering processes

Vector Boson Scattering (VBS) processes are regarded as the best lab to study the $VVVV$ quartic couplings, where $V = W, Z$. Such studies are carried in the framework of Effective Field Theories (EFT), but the EFT formalism is often not used in a fully consistent way. We discuss the limitations of the EFT approach to describe New Physics effects in VBS data. We argue that the "clipping" technique is the most theory-motivated way to do data analysis in the EFT language and discuss first results from an analysis of CMS Run 2 data on the $WZ$ and same-sign $WW$ process, with and without "clipping" implemented.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2020

Angular Correlation Function Estimators Accounting for Contamination from Probabilistic Distance Measurements

With the advent of surveys containing millions to billions of galaxies, it is imperative to develop analysis techniques that utilize the available statistical power. In galaxy clustering, even small sample contamination arising from distance uncertainties can lead to large artifacts, which the standard estimator for two-point correlation functions does not account for. We first introduce a formalism, termed decontamination, that corrects for sample contamination by utilizing the observed cross-correlations in the contaminated samples; this corrects any correlation function estimator for contamination. Using this formalism, we present a new estimator that uses the standard estimator to measure correlation functions in the contaminated samples but then corrects for contamination. We also introduce a weighted estimator that assigns each galaxy a weight in each redshift bin based on its probability of being in that bin. We demonstrate that these estimators effectively recover the true correlation functions and their covariance matrices. Our estimators can correct for sample contamination caused by misclassification between object types as well as photometric redshifts; they should be particularly helpful for studies of galaxy evolution and baryonic acoustic oscillations, where forward modeling the clustering signal using the contaminated redshift distribution is undesirable.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2021

Dynamic Building Load Control to Facilitate High Penetration of Solar Photovoltaic Generation (Final Technical Report)

Solar photovoltaic (PV) resources are the most common form of distributed generation in residential and commercial customer premises within electric distribution networks. A higher penetration of PV generation in distribution circuits will impose challenges on maintaining service voltages within the range of industry standards, power quality, and power flow. Buildings consume 74% of the electricity produced in the United States, and a significant portion of the building load is dispatchable, making them responsive to electrical grid needs. Oak Ridge National Laboratory—in collaboration with Southern Company; the University of Tennessee, Knoxville; and the Georgia Institute of Technology—is examining the PV integration issues in distribution-level electrical grids and developing integrated demand-side control and communication systems to enable responsive loads. The proposed responsive loads mechanism performs renewable generation following to increase the penetration of solar PV within each feeder. The specific objectives of this project are to (1) examine distribution-level PV integration scenarios to understand requirements, (2) undertake an end-to-end simulation-based design of a distributed control strategy of loads geographically near the PV generation asset to minimize the effect on the distribution feeder, (3) deploy and demonstrate the control technology developed in partnership with utilities, and (4) perform a scalability analysis at the utility scale. This 3-year integrated project aims to develop, demonstrate, and validate demand-side control technology to enable increased the penetration of renewables while mitigating challenges that arise due to their intermittency. Activities in Budget Period (BP) 1 focused on a literature review and the formal design of a control system for integrating local distribution with generation and loads. The team used modeling and simulation to evaluate the impact of varying buildings loads, variable PV generation, and power flow dynamics on the distribution circuit. The dynamic models developed in BP 1 were used in BP 2 to develop a model-based control design and a test bed. The test bed has enabled the simulation-based testing and comparison of different control designs and formulations applied to different configurations of the distribution grid, PVs, and building loads. The control approaches developed in BP 2 were implemented in BP 3 in the form of hardware deployed at the Central Baptist Church (CBC) in Knoxville, Tennessee, for testing and evaluation. The outcome of this project was the development and demonstration of open-source, low-cost, low-touch sensing and control retrofits to distributed PV generation and building loads that, in a coordinated fashion, provide the load-shaping response needed to integrate high levels of renewable penetration. This research addresses the target metrics by dynamically controlling a load with solar generation variability to minimize the extent of two-way power flow, enhance reliability, facilitate high PV penetration (>100% of peak load in a line segment), and generate scalable software and hardware solutions adaptable to any penetration levels. The research and development activities are focused and designed to be impactful within the relevant 2020 targets time frame.An accurate open-source integration simulation framework for end-to-end control design was developed and deployed at the CBC facility for testing and evaluation. This final report provides a detailed review of the technical results achieved during this 3-year integrated project. A novel spectral analysis of PV data is demonstrated to derive the requirements of the control design. A detailed simulation-based analysis of PV integration at increasing penetration levels is presented using 1 year of PV data to demonstrate the impact on the distribution circuits. Two different control strategies were developed and demonstrated via simulation to track variable PV generation with adaptive load dispatch. The report concludes with a summary of accomplishments and recommendations for a path forward.

14 SOLAR ENERGY↗