Search NASA⌕ Search

SEARCH · Search NASA

Results for “proof”

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 19 records
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Antimicrobial Peptides Can Facilitate Whole Blood Safety from Bacteria: A Proof of Concept

With continuous improvements to blood donor deferrals and the availability of sensitive tests for donation screening for infectious agents, bacterial contamination of whole blood (WB) and blood components stored for transfusion is a rare event. Nonetheless, it still occurs and remains a transfusion-associated risk in terms of septic transfusion reactions (STRs) and transfusion-transmitted bacterial infections with morbidity and mortality outcomes. One of the risk mitigation strategies for bacterial contamination is to implement treatment with currently available proactive pathogen reduction technologies (PRTs) for these transfusion products. Here, as a proof of concept, we tested two recently developed unique cationic antimicrobial peptides (AMPs; D-CONGA and D-CONGA-Q7) for WB safety from bacterial contamination. In this study, WB was inoculated with Escherichia coli and Staphylococcus epidermidis and treated with the two peptides to evaluate their bactericidal efficacy. The results demonstrated that D-CONGA and D-CONGA-Q7 exhibit potent inhibitory activity against the bacteria with a minimal inhibitory concentration (MIC) range of 4–8 and 1–8 μM, respectively, depending on the bacterial species tested. Time-kill kinetics further confirmed that the peptides exhibit bactericidal efficacy at 8 μM by achieving a 5-log 10 reduction (99.999%) of the bacterial load in WB with a time-dependent killing profile. Furthermore, even at 20 μM, the AMPs did not negatively impact hemolysis or hemostatic properties. We have further demonstrated using a cationic exchange resin that the cationic AMPs can be separated and removed from WB after the peptide treatments. During 35-day WB storage at 2–8 °C, 4 μM D-CONGA-Q7 one-time treatment prevented S. epidermidis growth and preserved WB quality and integrity. Overall, the results described here provide the first proof of concept that certain AMPs, such as D-CONGA and D-CONGA-Q7, can facilitate WB safety from bacteria during storage.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2025

On the completeness of contraction map proof method for holographic entropy inequalities

The contraction map proof method is the commonly used method to prove holographic entropy inequalities. Existence of a contraction map corresponding to a holographic entropy inequality is a sufficient condition for its validity. But is it also necessary? In this note, we answer that question in affirmative for all linear holographic entropy inequalities with rational coefficients. We show that the pre-image of a non-contraction map is not a hypercube, but a proper cubical subgraph, and show that this manifests as alterations to the geodesic structure in the bulk, which leads to the violation of inequalities by holographic geometries obeying the RT formula.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

Active control of laser beam pointing for the Zettawatt-Equivalent Ultrashort pulse laser System: a proof-of-principle study with 16-inch optics

We present a proof-of-principle study of active beam-pointing control for the Zettawatt-Equivalent Ultrashort pulse laser System (ZEUS) using a piezo-actuated 16-inch mirror. To the best of our knowledge, this is the largest actively controlled mirror reported in a high-power laser system. A simple proportional feedback control was implemented based on a field-programmable gate array, which reduced the standard deviation of beam-pointing fluctuations by 91% to 0.075 μrad in the horizontal direction and by 78% to 0.25 μrad in the vertical direction. We also demonstrated the elimination of long-term pointing jitter caused by temperature drift using the same apparatus.

laser pointing control↗
DOE OSTI2026

A Proof of the Asymptotic Variance of Path Length Estimators for Single-Collision Monte Carlo Source Iteration in the Thick Diffusion Limit

Here, we prove a theorem relating the variance of path length estimators for single-collision Monte Carlo source iteration to a parameter that becomes infinitesimally small in an important physical regime arising in radiative transfer. In our usage, “single-collision Monte Carlo source iteration” refers to Monte Carlo Boltzmann transport methods in which each Monte Carlo particle history includes no more than a single collision, and the physics of multiple scattering is modeled by lagging the scattering source term and iterating until this term converges. Our theorem can be used to construct variance reduction techniques which improve the order of the estimator variance. This enables calculations that would otherwise require impractically large sample sizes to achieve practical estimator uncertainties. We believe this is the first postulation of a theorem relating estimator variance to a limiting case parameter for single-collision Monte Carlo source iteration, and the first proof of such a theorem. We illustrate the theorem’s value with an example in which the authors of a transport method used the theorem to design a variance reduction technique that improved the uncertainty of their solution by a factor of about 500 for a proxy problem from radiative transfer that contains both optically-thick and optically-thin material.

Mathematics and Computing↗
DOE OSTI2026

A Proof for the Unbiased Nature of Range-Doppler Measurements in Coarse-Resolution Dechirp-on-Receive Feedback Synthetic Aperture Radar Navigation

In feedback synthetic aperture radar (SAR) navigation, observables extracted from SAR range-Doppler images correct position and velocity errors accumulated within an associated navigation system. Unlike most other sensors, which produce measurements without input from a navigation system, SARs require a prior estimate of the radar’s position and velocity to adjust the radar’s matched filter during range-Doppler image formation. Consequently, it is possible for position and velocity errors within a navigation system to manifest as additional errors (biases) in the range-Doppler measurement observables. Prior work has not tackled this possibility in the context of feedback SAR navigation with a dechirp-on-receive radar. This paper offers a proof demonstrating that range-Doppler observables extracted from coarse-resolution vertical SAR images formed with a dechirp-on-receive radar may be safely modeled as unbiased measurements of the radar’s true position and velocity despite the presence of moderate navigation errors.

dechirp-on-receive↗
DOE OSTI2024

Explicit entropic proofs of irreversibility theorems for holographic RG flows

We revisit the existence of monotonic quantities along renormalization group flows using only the Null Energy Condition and the Ryu-Takayanagi formula for the entanglement entropy of field theories with anti-de Sitter gravity duals. In particular, we consider flows within the same dimension and holographically reprove the c-, F -, and a-theorems in dimensions two, three, and four. We focus on the family of maximally spherical entangling surfaces, define a quasi-constant of motion corresponding to the breaking of conformal invariance, and use a properly defined distance between minimal surfaces to construct a holographic c-function that is monotonic along the flow. We then apply our method to the case of flows across dimensions: there, we reprove the monotonicity of flows from AdS D+1 to AdS 3 and prove the novel case of flows from AdS 5 to AdS 4 .

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2026

Preliminary proof-of-concept of real-time divertor heat flux control from infrared cameras with nitrogen injection in the DIII-D tokamak

In future tokamak reactors like ITER and the Fusion Pilot Plant (FPP), real-time feedback control of heat flux to the plasma-facing components (PFC) will be critical for steady-state operation. This work presents the first experimental demonstration of real-time divertor heat flux estimation with infrared thermography and feedback control with impurity seeding on the DIII-D tokamak. The flexible infrastructure of the Plasma Control System (PCS) on DIII-D makes this new capability possible. The PCS software runs on a gateway computer system, and five real-time compute nodes. An array of low latency streaming digitizers from D-TACQ Solutions connects to these real-time computers to collect and process data, and send commands to actuators during plasma discharges. This system handles the signal IO from the tokamak and allows the PCS to utilize the diagnostic data necessary to perform control in real-time. Feedback control on heat flux was accomplished by feeding infrared camera data from the “Infrared TV” (IRTV) camera to a custom-developed User Datagram Protocol (UDP) server. This server transmits infrared data to a newly developed PCS algorithm that estimates the heat flux to PFC. Here, a proportional integral derivative (PID) controller minimizes the error between a heat flux reference and the real-time estimate by injecting nitrogen gas into the divertor.

Algorithm development↗
DOE OSTI2024

Proof-of-concept chemometric approach for environmental forensic sourcing of crude oil samples using SPME-GC-MS

Environmental exposure to crude oil through seepage and spillage poses risks to the immediate environment and the broader ecosystem as areas along the oil distribution path are affected by the influx of crude petroleum as well as the environmental, economic, and civil unrest that accompanies it. There is a large financial burden associated with the lost resources, including the cost of rehabilitation, and the affected sources of revenue for communities affected by oil spills. As such, it is crucial to determine the responsible parties. This work outlines an environmental forensics approach to determining the source of an un-weathered crude oil sample. The researchers employed solid phase microextraction coupled with gas chromatography mass spectrometry (SPME-GC-MS) to capture and analyze the gaseous components emitted by crude oil samples sourced from five locations. Samples were analyzed using Spearman's rank correlation and 3D covariance analysis. Both chemometric approaches yielded optimal performance results with no misclassifications, true positive rate (TPR) = 100 % and false positive rate (FPR) = 0 %. The similarity metrics calculated by each test noted clear delineations between the values of same-source and differently sourced samples. The Spearman's rank correlation test and 3D covariance calculations both demonstrated the ability to correctly identify sample source origin in this dataset. Finally, the authors outline an approach to the future application of these tests and suggest their joint use in future crude oil sourcing endeavors.

3D covariance mapping↗
DOE OSTI2025

Direct Experimental Proof of the Principal Role of Reduced High-Mode Hydrodynamic Mix in Recent Ignition Success on NIF

This Letter details the role of reduced hydrodynamic mix in achieving the first fusion plasma to satisfy the Lawson criterion for ignition. Using novel 3D measurements of the temperature and density of the burning deuterium-tritium plasma across a series of experiments, we demonstrate that hydrodynamic mixing from small-scale capsule defects was a key degradation mechanism inhibiting ignition. A series of five layered deuterium-tritium experiments using 1.9 MJ of laser energy demonstrates a 2 × reduction of the thermonuclear yield when a lower quality capsule, typical of preignition experiments, is used. Radiation hydrodynamic calculations consistent with the observed mix profile show that the mixed fuel’s reduced compression and increased radiative loss explain the yield reduction. Furthermore, a hydroscaling argument suggests that a ∼ 3 MJ laser would be needed to reach ignition with such a capsule, well beyond the current capabilities of high energy laser systems. As such, this Letter gives critical insight into the physics of mix in self-heated fusion plasmas and establishes a foundation to evaluate capsule quality needs of future inertial fusion designs that aim at ignition and high gain.

High-energy-density plasmas↗
DOE OSTI2026

Deploying MARTe2 and MDSplus for Scalable Real-Time Control Systems: A Proof-of-Concept for the SMART Tokamak

The SMART tokamak is a spherical tokamak with flexible shaping that will need a modular and high-performance real-time control system. This work presents the implementation and validation of the MARTe2 framework at the Princeton Plasma Physics Laboratory (PPPL) as a testbed for supporting SMART (University of Seville, Spain). The system integrates MARTe2, MDSplus for data archiving, and user datagram protocol (UDP)-based communication with both synthetic and physical devices. A deterministic control loop was developed using custom control algorithms, showing the system’s ability to operate under strict real-time constraints. The resulting framework is scalable, maintainable, and adaptable to experimental tokamaks like SMART.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2025

Bridging the Gap Between Astronomical Datasets: From Proof-of-Concept to AI Model Deployment with Domain Adaptation

Artificial Intelligence is transforming astrophysics, from studying stars and galaxies to analyzing cosmic large-scale structures. However, a critical challenge arises when AI models trained on simulations or past observational data are applied to new observation— leading to domain shifts, reduced robustness, and increased uncertainty of model predictions. This talk will explore these issues, highlighting examples such as galaxy morphology classification and cosmological parameter inference, where AI struggles to adapt across different datasets. We will discuss domain adaptation as a strategy to improve model generalization and mitigate biases—essential for making AI-driven discoveries reliable. Notably, these challenges extend beyond astrophysics, affecting AI applications across physics and other scientific domains. Addressing them is essential for maximizing AI’s impact in advancing scientific research.

Ćiprijanović, Aleksandra [Fermilab]↗
DOE OSTI2024

Modeling and Proof-of-Concept of a Blackbody-Based Calibration Method in the InfraBREAD Detector

The Broadband Reflector Experiment for Axion Detection (BREAD) is an ongoing collaboration searching for the conversion of yet undiscovered axion-like dark matter particles to photons in the presence of a magnetic field. InfraBREAD, a pilot experiment realization of BREAD, uses a superconducting nanowire single photon detector (SNSPD), a high-efficiency and low-noise device, to specifically detect infrared-range photons produced by $\mathcal{O}$(eV) axion-like particles. The unique BREAD coaxial reflector setup allows for the focusing of converted signal photons to a 1mm $\times$ 1mm SNSPD. However, when the detector is cooled to cryogenic temperatures during operation, uneven thermal contraction of reflector components may lead to a small shift in the location of the focal spot. A novel calibration method using blackbody radiation is proposed to locate the true focal spot of the detector \textit{in situ}. Through ray tracing simulations done in FRED Optical Engineering Software, this method is demonstrated to locate the focus to within $\SI{50}{\micro\metre}$ in the axial dimension. Additionally, it is demonstrated that the blackbody photon source used in this calibration must be at a temperature of at least $\SI{15}{\kelvin}$ to $\SI{40}{\kelvin}$, depending on the sensitivity of the SNSPD.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2024

Proof-of-Concept for Sensor Modeling in MOOSE for the Design of Autonomous Nuclear Reactor Control

Autonomous operation is essential for the deployment of microreactors and fission batteries, both in terrestrial and space applications. However, prototypes of microreactors and fission batteries do not exist yet, and even the design space has not been narrowed down conclusively, making the instrumentation and control system design difficult. For this reason, there is a need for flexible computational capabilities to create a numerical stand-in of potential microreactor and fission battery designs. The latter can be used to design and test control strategies to support autonomous operations. In this paper, we describe the initial implementation of a pluggable sensor system for the easy implementation of realistic sensor models in the multiphysics object-oriented simulation environment (MOOSE) framework. This new capability will enable MOOSE users to create a numerical stand-in of microreactors and fission batteries, ultimately allowing them to easily test new control algorithms, and instrumentation strategies for advanced systems in the design phase

22 - GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2024

Proof-of-Concept for Sensor Modeling in MOOSE for the Design of Autonomous Nuclear Reactor Control

Autonomous operation is essential for the deployment of microreactors and fission batteries, both in terrestrial and space applications. For this reason, recent studies have investigated autonomous control by using adaptive model predictive control and multi-objective optimization for heat pipe–cooled microreactors under normal and heat pipe failure conditions. However, prototypes of microreactors and fission batteries do not exist yet, and even the design space has not been narrowed down conclusively, making the instrumentation and control system design difficult. For this reason, there is a need for flexible computational capabilities to create a numerical stand-in of potential microreactor and fission battery designs. The latter can be used to design and test control strategies to support autonomous operations. In this poster, we describe the initial implementation of a pluggable sensor system for the easy implementation of realistic sensor models in the multiphysics object-oriented simulation environment (MOOSE) framework. This new capability will enable MOOSE users to create a numerical stand-in of microreactors and fission batteries, ultimately allowing them to easily test new control algorithms, and instrumentation strategies for advanced systems in the design phase.

22 - GENERAL STUDIES OF NUCLEAR REACTORS↗