SEARCH · Search NASA

Results for “ACAS Xu”

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.

SourceResearch connectionFrom yearThrough year

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

3 records

All sources NASA NTRS DOE OSTI

DOE OSTI2023

Architecture-Preserving Provable Repair of Deep Neural Networks

Deep neural networks (DNNs) are becoming increasingly important components of software, and are considered the state-of-the-art solution for a number of problems, such as image recognition. However, DNNs are far from infallible, and incorrect behavior of DNNs can have disastrous real-world consequences. This paper addresses the problem of architecture-preserving V-polytope provable repair of DNNs. A V-polytope defines a convex bounded polytope using its vertex representation. V-polytope provable repair guarantees that the repaired DNN satisfies the given specification on the infinite set of points in the given V-polytope. An architecture-preserving repair only modifies the parameters of the DNN, without modifying its architecture. The repair has the flexibility to modify multiple layers of the DNN, and runs in polynomial time. It supports DNNs with activation functions that have some linear pieces, as well as fully-connected, convolutional, pooling and residual layers. To the best our knowledge, this is the first provable repair approach that has all of these features. We implement our approach in a tool called APRNN. Using MNIST, ImageNet, and ACAS Xu DNNs, we show that it has better efficiency, scalability, and generalization compared to PRDNN and REASSURE, prior provable repair methods that are not architecture preserving.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2018

Evolution of short- and medium-range order in the melt-quenching amorphization of Ge 2 Sb 2 Te 5

Phase-change memory takes advantage of the fast phase transition between amorphous and crystalline phases of phase-change materials (e.g.,Ge 2 Sb 2 Te 5 or GST). To date, while the “SET” process (crystallization of GST glass) has been intensively studied, studies on the “RESET” process (melt-quenching amorphization of GST) are still limited. Here, we explore the structural changes of GST upon rapid cooling by ab initio molecular dynamics simulations and atomistic cluster alignment (ACA) analysis. Different from other methods which only focus on the nearest bonding atoms, the ACA method can study both the short- and medium-range order clusters containing atoms beyond the first-neighboring shell and enables us to explore the changes of cluster structures in a larger scale. The results reveal that low-coordinated octahedral clusters tend to become high-coordinated ones, and Ge-centered octahedral structures change to tetrahedrons whereas Sb-centered tetrahedrons transform to octahedral structures during the amorphization process. Interestingly, tetrahedrons show aggregation in liquid and supercooled liquid in contrast to 6-fold octahedrons which present notable aggregation in amorphous GST. Furthermore, our study showed that wrong bonds (Ge–Ge, Sb–Sb, Ge–Sb and Te–Te bonds) can promote the formation of large rings, and irreducible rings tend to separate into smaller and larger rings as the temperature is decreased. Our conclusions provide useful insights into the formation process and the structure of amorphous GST, which is valuable for facilitating the application of phase change materials.

36 MATERIALS SCIENCE↗

DOE OSTI2025

Shell Thickness and Heterogeneity Dependence of Triplet Energy Transfer between Core–Shell Quantum Dots and Adsorbed Molecules

Quantum dot (QD)-sensitized triplet energy transfer (TET) has found promising applications in photon upconversion and photocatalysis. However, the underlying mechanism of TET in the QD-acceptor complex remains unclear despite the well-developed TET theory for the molecular donor–acceptor systems. Herein, the coupling strength of TET from CdSe/CdS core–shell QDs to 9-anthracene carboxylic acid (ACA) was studied by measuring the TET rate as a function of shell thickness with time-resolved photoluminescence. The change of TET-coupling strength with increasing shell thickness was further compared to those of electron and hole transfers from QDs so that we could test whether QD-sensitized TET is mediated by the charge transfer virtual state and can be considered as simultaneous electron and hole transfers as in molecular donor–acceptor systems. The measured coupling strength of TET from the CdSe/CdS QD decreases exponentially with the CdS shell thickness r: |V|(r) = |V|(0)e –βr , with an exponential decay factor β of 0.19 Å –1 , which is smaller than the sum of the measured decay factors for electron transfer to methyl viologen (0.18 Å –1 ) and hole transfer to phenothiazine (0.29 Å –1 ) from the same QD. This inconsistency is explained by the broadening of QD shell thicknesses in the distance dependence study, which significantly modifies the TET-coupling strength and driving force, resulting in a shallower distance dependence of the TET rate constants. This study sheds light on the fundamental mechanisms of QD-sensitized TET reactions.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗