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 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Hydrochlorination of Uranium Dioxide in a Molten Salt Mixture - Phase 1: Tube Furnace Cross Flow Experiments

In 2023, Metatomic® Inc., a South Carolina based company, was awarded a Gateway for Advanced Innovation in Nuclear (GAIN) research voucher for a proposed series of experiments aimed at demonstrating the viability of a spent nuclear fuel (SNF) recycling process patented by Met atomic® Inc. For the GAIN voucher, Metatomic® Inc. selected Savannah River National Laboratory (SRNL) as a partner in executing the proposed proof-of-concept experiments. This report outlines the proof-of-concept experiments performed by SRNL for Metatomic® Inc. during Phase 1 (of 2) experimentation. The Phase 1 hydrochlorination experiments consisted of weighing UO2 into alumina crucibles with a eutectic mixture of NaCl and CsCl, heating the uranium/salt mixture to a varied temperature (550, 650, or 750 °C), and flowing anhydrous hydrogen chloride (AHCl) gas across the surface of the uranium-bearing molten salt mixture. The hydrochlorination process conditions were maintained for 4-5 hours and the percent conversion for each batch of UO2 was determined using a suite of analytical characterization techniques. The degree of UO2 conversion was found to be greatest at the highest tested temperature, ultimately achieving 32.9% conversion of UO2 to water soluble uranium-chloro species (e.g., UO2Cl2, UCl4) after exposure to AHCl for 4.25 hours at 750 °C.

Nguyen, Vinh T. [Savannah River National Laborator↗
DOE OSTI2025

Adapting C 4 photosynthesis to atmospheric change and increasing productivity by elevating Rubisco content in sorghum and sugarcane

Meta-analyses and theory show that with rising atmospheric [CO 2 ], Rubisco has become the greatest limitation to light-saturated leaf CO 2 assimilation rates (A sat ) in C 4 crops. So would transgenically increasing Rubisco increase A sat and result in increased productivity in the field? Here, we successfully overexpressed the Rubisco small subunit (RbcS) with Rubisco accumulation factor 1 (Raf1) in both sorghum and sugarcane, resulting in significant increases in Rubisco content of 13 to 25% and up to 90% respectively. A sat increased 12 to 15% and Rubisco enzyme activity ~40% in three independent transgenic events of both species. Sorghum plants also showed increased speeds of photosynthetic induction and decreased bundle sheath leakiness. These improvements translated into average increases of 15.5% in biomass in field-grown sorghum and a 37 to 81% increase in greenhouse-grown sugarcane. This suggests a potential opportunity to achieve substantial increases in productivity of this key economically important clade of C 4 crops, future proofing their value under global atmospheric change.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2024

A Privacy-Preserving Cyber Threat Intelligence Sharing System

Cyber Threat Intelligence (CTI) is a key resource for developing defensive strategies against potential cyber adversaries. Entities typically access CTI through open-source platforms, national agencies, or specialized commercial services. However, the bi-directional exchange of CTI is hindered by organizational trust boundaries, which complicate the sharing processes between entities and CTI providers. Centralized CTI services benefit from receiving suspicious cyber observables such as IP addresses, domain names, and email addresses from various entities. The aggregation allows for the correlation of widespread adversarial activities to enhance the alert and response mechanisms across the network of involved parties. Despite these benefits, openly sharing such observables incurs potential legal, regulatory, and reputational risks for the disclosing entities.This paper introduces a system designed to facilitate the secure exchange of cyber observables across trust boundaries without compromising the anonymity of the sharing entities. Here, we propose an architecture that leverages common web protocols alongside zero-knowledge proofs to authenticate members while maintaining anonymity. Additionally, we outline a privacy model tailored for STIX (Structured Threat Information eXpression) cyber observables to minimize the risk of inadvertently disclosing private information. Through our threat models, we assess the privacy implications of our proposed system and demonstrate its potential to enhance collaborative cyber defense efforts without exposing entities to undue risk.

BBS+ Signatures↗
DOE OSTI2024

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation

Industrial control systems (ICSs) increasingly rely on digital technologies vulnerable to cyber attacks. Cyber attackers can infiltrate ICSs and execute malicious actions. Individually, each action seems innocuous. But taken together, they cause the system to enter an unsafe state. These attacks have resulted in dramatic consequences such as physical damage, economic loss, and environmental catastrophes. This paper introduces a methodology that restricts actions using protocols. These protocols only allow safe actions to execute. Protocols are written in a domain specific language we have embedded in an interactive theorem prover (ITP). The ITP enables formal, machine-checked proofs to ensure protocols maintain safety properties. We use dynamic attestation to ensure ICSs conform to their protocol even if an adversary compromises a component. Since protocol conformance prevents unsafe actions, the previously mentioned cyber attacks become impossible. We demonstrate the effectiveness of our methodology using an example from the Fischertechnik Industry 4.0 platform. We measure dynamic attestation's impact on latency and throughput. Our approach is a starting point for studying how to combine formal methods and protocol design to thwart attacks intended to cripple ICSs.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

Formation of Composite SiC/SiC Joints by Embedded Wire Chemical Vapor Deposition

The joining of ceramic monoliths or composites to date has primarily been limited to the formation of brittle monolithic joints using heterogeneous (dissimilar) materials, similar to brazing in metals. The development of a damage-tolerant joint layer by SiC fiber reinforcements is demonstrated here. Tube workpieces made of SiC fiber-SiC matrix composite are joined using a nonwoven SiC fiber mat densified by embedded wire chemical vapor deposition (EWCVD), creating a fiber-reinforced weld-like joint by homogeneous joining. EWCVD uses a localized heating method to target deposition and growth to the joint region specifically, while minimizing thermal damage to the surrounding composite tube material. X-ray computed tomography (XCT) is used to nondestructively characterize as-made joints for relative density, adhesion, and composition. In situ XCT analysis during mechanical testing revealed crack deflections in the bonding layer, which indicates a toughening mechanism typical of ceramic matrix composite phase. Gas permeation testing of these proof-of-concept composite joints identified relatively high leak rates in comparison to fully coated SiC/SiC composite tube workpieces. In conclusion, the novelty of the composite joining method and current technology challenges, including gas permeability, are discussed in comparison with traditional ceramic joints and materials.

SiC↗
DOE OSTI2025

Unusually Strong Near‐Infrared Photoluminescence of Highly Transparent Bulk InSe Flakes

Abstract Bulk γ‐InSe has a direct bandgap of 1.24 eV, which corresponds to near infrared wavelengths ( λ = 1.0 µm) useful in optoelectronic applications from biometric detectors to silicon photonics. However, its potential for optoelectronic applications is largely untapped due in part to the lack of quantitative studies of its optical properties. Here, the unusually low absorptance and high photoluminescence quantum efficiency of single‐crystalline InSe flakes with thickness in the hundreds of nanometers are studied. InSe emits brightly at room temperature from its direct bandgap with a peak photoluminescence quantum yield (PLQY) of 20%, despite displaying indirect bandgap like low absorption coefficient due to the symmetry of its crystal structure. By performing pump‐dependent PLQY measurements, the radiative and nonradiative recombination coefficients are extracted, including the Shockley‐Read‐Hall and Auger coefficients. Finally, a proof‐of‐concept alternating current electroluminescent device at low temperature is demonstrated to show the promise of InSe in optoelectronic technology such as highly transparent, bright NIR light sources.

Geng, Jamie↗
DOE OSTI2024

Actuating Liquid Crystals Rapidly and Reversibly by Using Chemical Catalysis

Abstract Microtubules and catalytic motor proteins underlie the microscale actuation of living materials, and they have been used in reconstituted systems to harness chemical energy to drive new states of organization of soft matter (e.g., liquid crystals (LCs)). Such materials, however, are fragile and challenging to translate to technological contexts. Rapid (sub‐second) and reversible changes in the orientations of LCs at room temperature using reactions between gaseous hydrogen and oxygen that are catalyzed by Pd/Au surfaces are reported. Surface chemical analysis and computational chemistry studies confirm that dissociative adsorption of H 2 on the Pd/Au films reduces preadsorbed O and generates 1 ML of adsorbed H, driving nitrile‐containing LCs from a perpendicular to a planar orientation. Subsequent exposure to O 2 leads to oxidation of the adsorbed H, reformation of adsorbed O on the Pd/Au surface, and a return of the LC to its initial orientation. The roles of surface composition and reaction kinetics in determining the LC dynamics are described along with a proof‐of‐concept demonstration of microactuation of beads. These results provide fresh ideas for utilizing chemical energy and catalysis to reversibly actuate functional LCs on the microscale.

Chemistry↗
DOE OSTI2026

Ultrafast (1‐5 sec) Lamination of Perovskite Solar Cells With Self‐Encapsulation Using Rapid Joule Heating

Perovskite solar cells (PSCs) are traditionally fabricated using sequential layer‐by‐layer deposition, in which each layer of the device is processed on top of the preceding layer. This constrains the processing techniques and selection of transport layer materials that can be used in the solar cell. To overcome these challenges, two half‐cells can be processed independently and then diffusion‐bonded through a lamination process. However, current lamination processes for perovskite solar cells suffer from relatively long process times, which can limit throughput when moving toward high‐volume manufacturing. In this study, a custom platform was designed for rapid‐joule heating of perovskite materials and devices. This enabled more than a 99% reduction in lamination time from 26 min to 1 s. Perovskite samples that were laminated in 1 s exhibited comparable values of percent bonded area, interfacial toughness, grain domain size, and X‐ray diffraction spectra to those laminated in greater than 10 min. As a proof‐of‐concept, 18.3% efficient devices were successfully laminated in 5 s. A transient heat transfer model was developed to describe the relationship between the perovskite temperature and the electrical power supplied to the heaters, establishing a baseline for predicting processing conditions in large‐scale manufacturing systems. Ultra‐fast lamination provides a pathway toward scalable roll‐to‐roll or sheet‐to‐sheet manufacturing of PSCs.

heat transfer↗
DOE OSTI2024

Frequency‐Locked Wireless Multifunctional Surface Acoustic Wave Sensors

Abstract Surface acoustic waves (SAWs) have shown great potential for developing sensors for structural health monitoring (SHM) and lab‐on‐a‐chip (LOC) applications. Existing SAW sensors mainly rely on measuring the frequency shifts of high‐frequency (e.g., >0.1 GHz) resonance peaks. This study presents frequency‐locked wireless multifunctional SAW sensors that enable multiple wireless sensing functions, including strain sensing, temperature measurement, water presence detection, and vibration sensing. These sensors leverage SAW resonators on piezoelectric chips, inductive coupling‐based wireless power transmission, and, particularly, a frequency‐locked wireless sensing mechanism that works at low frequencies (e.g., <0.1 GHz). This mechanism locks the input frequency on the slope of a sensor's reflection spectrum and monitors the reflection signal's amplitude change induced by the changes of sensing parameters. The proof‐of‐concept experiments show that these wireless sensors can operate in a low‐power active mode for on‐demand wireless strain measurement, temperature sensing, and water presence detection. Moreover, these sensors can operate in a power‐free passive mode for vibration sensing, with results that agree well with laser vibrometer measurements. It is anticipated that the designs and mechanisms of the frequency‐locked wireless SAW sensors will inspire researchers to develop future wireless multifunctional sensors for SHM and LOC applications.

Bo, Luyu↗
DOE OSTI2025

Contaminant Investigation and Pre‐Processing Opportunities for Textile‐To‐Textile Recycling

Millions of metric tons of textiles are landfilled or incinerated each year in the United States, with less than 1% of textiles recycled into new clothing or fabrics. To counter this trend, a growing number of companies and researchers are exploring how a circular economy can be applied to support textile‐to‐textile recycling. A significant barrier they face comes down to quickly and efficiently extracting pure feedstock material from post‐consumer garments that feature a mix of natural and synthetic fibers. Textile recyclers prefer pure feedstocks, as working with mixed sources typically means lower throughput, higher risk of equipment failure, and diminished business margins. To facilitate a circular economy for textiles, methods, and technologies are needed that can efficiently separate out materials and contaminants from end‐of‐life textiles to increase the flow of pure feedstocks to recyclers. This paper summarizes findings from interviews with a cross section of textile recyclers and from a review of literature to define basic feedstock requirements. In addition to our qualitative research, we deconstruct a bale of post‐consumer textiles and analyze them using computer‐vision imaging, Fourier transform infrared spectroscopy (FTIR), and machine learning. The resulting data are used to set system‐level design inputs for an automated contaminant removal system to process post‐consumer clothing into appropriate feedstocks for recycling. To set the system's levels for automated real‐time near‐infrared analysis, we identify the minimum percentage of primary material that any single garment in a load of used clothing must contain for the average of the full output stream to meet the target purity levels of recyclers. Here, the envisioned automated system can also address undesirable trace materials that might contaminate the processed stream by using imaging cameras coupled with artificial intelligence to identify sections of clothing for de‐trimming. Proof‐of‐concept machine learning algorithms are evaluated to locate and identify trims or garment areas with hidden contaminant materials. Integrating these methods into automated textile cutting systems can provide a cost‐effective means for increasing feedstock purity from used clothing, which can advance circularity for textiles by helping recyclers to reach production volumes and quality targets that were not possible solely with manual dismantling operations.

Parsons, Ryan [Rochester Institute of Technology, ↗
DOE OSTI2024

In Situ Alloying Enabled by Active Liquid Metal Filler for Self‐Healing Composite Polymer Electrolytes

Abstract Solid inorganics, known for kinetically inhibiting polymer crystallization and enhancing ionic conductivity, have attracted significant attention in solid polymer electrolytes. However, current composite polymer electrolytes (CPEs) are still facing challenges in Li metal batteries, falling short of inhibiting severe dendritic growth and resulting in very limited cycling life. This study introduces Ga 62.5 In 21.5 Sn 16 (Galinstan) liquid metal (LM) as an active liquid alternative to conventional passive solid fillers, aiming at realizing self‐healing protection against dendrite problems. Compared to solid inorganics, for example silica, LM droplets could more significantly reduce polymer crystallinity and enhance Li‐ion conductivity due to their liquid nature, especially at temperatures below the polymer melting point. More importantly, LMs are unraveled as dynamic chemical traps, which are capable of blocking and consuming lithium dendrites upon contact via in situ alloying during battery operation and further inhibiting dendritic growth due to the lower deposition energy barrier of the formed Li‐LM alloy. As a proof of concept, by strategically designing an asymmetric CPE with the active LM filling, a solid‐state Li/LiFePO 4 battery achieves promising full‐cell functionality with notable rate performance and stable cycle life. This active filler‐mediated self‐healing approach could bring new insights into the battery design in versatile solid‐state systems.

Wu, Kai↗
DOE OSTI2025

Leveraging Electrons for Electrochemical CO 2 Capture Using a Hemi‐Labile Iron Complex

Climate change, driven by anthropogenic carbon emissions, demands urgent action to prevent a 2050 tipping point. With CO 2 levels at 427 ppm (50% above pre-industrial levels), deploying energy-efficient carbon capture technologies is crucial. Electrochemical carbon capture processes that have been touted to have the potential to meet these needs rely on the applied cell voltage, and electron utilization (CO 2 molecules separated per electron), which has generally been asserted to have a theoretical limit of one. Here, we introduce an electron-leveraging strategy to enhance electron utilization beyond this limit to 1.43 by employing Fe-EDDHA, a redox-active coordination complex having a ligand with multiple hemi-labile coordination sites. The reversibility and robustness of the system were enabled by the efficient prevention of CO 2 reduction upon the introduction of nicotinamide as a guardian of the iron(2+) center. The proof-of-concept cyclic system exhibits a minimum operational energy of 22.6 kJ e mol −1 and an average of 63.7 kJ e mol −1 over 29 cycles, using a simulated flue gas (15% CO 2 ). Our electron-leveraging strategy holds promise for advancing energy-efficient electrochemical carbon capture technologies, and offers an alternative to prevalent redox potential shifting methods proposed to mitigate undesired electron transfer reactions in redox-active materials across diverse operational conditions.

carbon storage↗
DOE OSTI2024

Designer Fluorescent Redoxmer Self‐Reports Side Reactions in Nonaqueous Redox Flow Batteries

The state of health (SOH) is a critical measure for evaluating and predicting performance of redox flow batteries (RFBs). However, diagnosing SOH of RFBs is often challenging due to the overwhelming complexity of the electrolytes and associated electrochemical reactions. Designing active molecules or redoxmers that can autonomously exhibit property changes upon specific stimuli may provide a viable way for early diagnosis of SOH. Herein, a dimerized redoxmer, DGL-N-CH 3 , was designed and synthesized by linking blue-green fluorescent monomers through a diglycolamide linker. While DGL-N-CH 3 still maintains similar electrochemical behavior and strong fluorescence, we observe a unique side reaction when cycling DGL-N-CH 3 in H-cells, which leads to a side product, NHCH 3 -BzNSN via linker cleavage. Interestingly, NHCH 3 -BzNSN also emits fluorescence but at a longer wavelength. By taking advantage of this unique fluorescent change that corresponds to the growth of NHCH 3 -BzNSN, we successfully established the capacity decay of DGL-N-CH 3 H-cell cycling, exemplifying a proof-of-concept self-reporting redoxmer design towards in situ SOH monitoring.

25 ENERGY STORAGE↗
DOE OSTI2024

Acetaminophen production in the edible, filamentous cyanobacterium Arthrospira platensis

Abstract Spirulina is the common name for the edible, nonheterocystous, filamentous cyanobacteriumArthrospira platensisthat is grown industrially as a food supplement, animal feedstock, and pigment source. Although there are many applications for engineering this organism, until recently no genetic tools or reproducible transformation methods have been published. While recent work showed the production of a diversity of proteins inA. platensis, including single‐domain antibodies for oral delivery, there remains a need for a modular, characterized genetic toolkit. Here, we independently establish a reproducible method for the transformation ofA. platensisand engineer this bacterium to produce acetaminophen as proof‐of‐concept for small molecule production in an edible host. This work opensA. platensisto the wider scientific community for future engineering as a functional food for nutritional enhancement, modification of organoleptic traits, and production of pharmaceuticals for oral delivery.

Biotechnology & Applied Microbiology↗
DOE OSTI2025

Developing Digital Twin Visualizations: A Methodology and Case Study on Chemical Separation Processing

As advances in digital engineering continue to push the technological boundaries, digital twin (DT) visualizations for diagnostics and safeguards advancement become much more feasible and practical. DTs generate large and complex data streams that require effective user interfaces to provide monitoring and diagnostic capabilities. Unfortunately, while these frameworks exist, there is not much research on the systematic documentation of human–computer interaction (HCI) for DT visualization. This work presents a dual-mode visualization methodology (two dimensional [2D] graphical user interface dashboard and 3D mixed reality) designed to support diagnostic tasks in DT systems and building on a validated framework and applying established HCI principles. The methodology is demonstrated through a case study of aqueous processing at Idaho National Laboratory, using experimental data from the chemical solvent extraction runs. Our interfaces display real-time alerts and monitoring to inform users of safeguards anomalies. The interfaces use immersive 3D mixed-reality visualization for further system and experiment investigation. This work demonstrates how the systematic application of HCI principles can inform DT visualization design for diagnostic and safeguards applications. While formal user evaluation studies remain as future work, this paper documents the systematic design methodology and demonstrates a proof-of-concept implementation.

3D visualization↗
DOE OSTI2025

A Rapid, Sustainable, One‐step Mechanochemical Strategy for Synthesizing Gold Nanoparticle‐Doped Covalent Organic Frameworks

Doping gold nanoparticles within covalent organic frameworks (AuNPs@COFs) has garnered enormous momentum due to their unique properties and broad applications. Nevertheless, prevailing multi-step synthesis is plagued with low time efficiency, eco-unfriendliness, and tedious protocols. Herein, we introduce a rapid, sustainable, scalable, one-step mechanochemical strategy for synthesizing up to four AuNPs-doped COFs via steel ball milling within an hour under ambient conditions. This approach overcomes the synthetic barriers of conventional multi-step solution-based methods, such as extended reaction times (5 days), milligram scale, the use of toxic solvents, elevated temperatures, and reliance on external reducing agents. One exemplary AuNPs@COF (AuNPs@DMTP-TPB) exhibits high crystallinity, porosity, small AuNP size, and uniform dispersion (5.4±0.6 nm), surpassing its counterpart synthesized via multi-step solution-based methods (6.4±1.1 nm). Notably, the gram-scale synthesis of AuNPs@DMTP-TPB can be successfully achieved. Control experiments suggest that the in situ formation of AuNPs is attributed to the galvanic reduction of gold precursor by stainless steel apparatus. As a proof-of-concept catalytic application, AuNPs@DMTP-TPB demonstrates remarkable catalytic activity and recyclability for the aqueous reduction of 4-nitrophenol under ambient conditions. This study provides an environmentally benign and fast pathway to synthesize AuNPs@COFs via mechanochemistry for the first time, opening tremendous possibilities for heterogeneous catalysis and beyond.

Nailwal, Yogendra↗
DOE OSTI2025

Selective Recovery of Critical Minerals from Simulated Electronic Wastes Via Reaction‐Diffusion Coupling

Abstract Atom‐ and energy‐efficient chemical separations are urgently needed to meet the surging demand for critical materials that has strained supply chains and threatened environmental damage. In this study, we used reaction‐diffusion coupling to separate iron, neodymium, and dysprosium ions from model feedstocks of permanent magnets, which are typically found in electronic wastes. Feedstock solutions were placed in contact with a hydrogel loaded with potassium hydroxide and/or dibutyl phosphate, resulting in complex precipitation patterns as the various metal ions diffused into the reaction medium. Specifically, we observed the precipitation of up to 40 mM of iron from the feedstock, followed by the enrichment of 73 % dysprosium, and the extraction of >95 % neodymium product at a further distance from the solution‐gel interface. We designed a series of experiments and simulations to determine the relevant ion diffusivities, D Nd =5.4×10 −10 and D Dy =5.1×10 −10 m 2 /s, and precipitation rates, k Nd =1.0×10 −5 and k Dy =5.0×10 −3 m 9 mol −3 s −1 , which enabled a numerical model to be established for predicting the distribution of products in the reaction medium. Our proof‐of‐concept study validates reaction‐diffusion coupling as an effective and versatile approach for critical materials separations, without relying on ligands, membranes, resins, or other specialty chemicals.

Wang, Qingpu [Physical and Computational Sciences ↗
DOE OSTI2024

HL-2A's ELM cycle simulations by integrating BOUT++'s drift MHD and transport code

A new integrating model has been developed to couple tokamak edge multiscale magnetohydrodynamic (MHD) events and transport simulations, such as edge-localized mode (ELM) cycles. As a proof of principle, we first start from a set of three-field two-fluid model equations, which includes the pressure, current, and vorticity. Here, the equations are separated into the slowly evolving part of the axisymmetric component by taking a time average of the axisymmetric component. The time-averaged fluxes, which are quadratic in fluctuating quantities, act as driven terms for the time-averaged axisymmetric quantities that determine the plasma transport, and therefore the large-scale evolution of the plasma profiles. Then the HL-2A's ELM cycles are simulated using the model. Good agreements of ELM size and pedestal recovery time have been achieved for the solutions obtained from the coupled simulation compared with experiment. For one ELM cycle simulation, the coupled code can achieve a speedup of a factor of up to 30 over standalone code.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗