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 109 records · Page 6

Out-of-Distribution Detection and Radiological Data Monitoring Using Statistical Process Control

Abstract Machine learning (ML) models often fail with data that deviates from their training distribution. This is a significant concern for ML-enabled devices as data drift may lead to unexpected performance. This work introduces a new framework for out of distribution (OOD) detection and data drift monitoring that combines ML and geometric methods with statistical process control (SPC). We investigated different design choices, including methods for extracting feature representations and drift quantification for OOD detection in individual images and as an approach for input data monitoring. We evaluated the framework for both identifying OOD images and demonstrating the ability to detect shifts in data streams over time. We demonstrated a proof-of-concept via the following tasks: 1) differentiating axial vs. non-axial CT images, 2) differentiating CXR vs. other radiographic imaging modalities, and 3) differentiating adult CXR vs. pediatric CXR. For the identification of individual OOD images, our framework achieved high sensitivity in detecting OOD inputs: 0.980 in CT, 0.984 in CXR, and 0.854 in pediatric CXR. Our framework is also adept at monitoring data streams and identifying the time a drift occurred. In our simulations tracking drift over time, it effectively detected a shift from CXR to non-CXR instantly, a transition from axial to non-axial CT within few days, and a drift from adult to pediatric CXRs within a day—all while maintaining a low false positive rate. Through additional experiments, we demonstrate the framework is modality-agnostic and independent from the underlying model structure, making it highly customizable for specific applications and broadly applicable across different imaging modalities and deployed ML models.

Zamzmi, Ghada↗

Constraints on Quantum Gravity

Recently, it has become increasingly clear that there are constraints on the low-energy effective theories of quantum gravity that cannot be captured by the standard Wilsonian paradigm. For gravitational theories in asymptotically anti-de Sitter spacetimes, we can formulate such constraints and aim to prove or falsify them using the AdS/CFT correspondence. I will review the work I did with Daniel Harlow on constraints on symmetries of quantum gravity. I will also discuss more recent progress in this holographic approach, and present the proof that Yifan Wang and I completed this year, which proves and strengthens a part of the Distance Conjecture that I proposed with Cumrun Vafa in 2006.

Ooguri, Hirosi [California Institute of Technology↗

Boundary Corrections for Kernel Approximation to Differential Operators

The kernel-based approach to operator approximation for partial differential equations has been shown to be unconditionally stable for linear PDEs and numerically exhibit unconditional stability for non-linear PDEs. These methods have the same computational cost as an explicit finite difference scheme but can exhibit order reduction at boundaries. In previous work on periodic domains, order reduction was addressed, yielding high-order accuracy. The issue addressed in this work is the elimination of order reduction of the kernel-based approach for a more general set of boundary conditions. Further, we consider the case of both first and second order operators. To demonstrate the theory, we provide not only the mathematical proofs but also experimental results by applying various boundary conditions to different types of equations. The results agree with the theory, demonstrating a systematic path to high order for kernel-based methods on bounded domains.

97 MATHEMATICS AND COMPUTING↗

Photonuclear production of 225 Ac from 226 Ra targets

Herein we report proof of principal production of 225 Ac via 226 Ra(γ , n) 225 Ra $\overset{^-β}{\rightarrow}$ 225 Ac and subsequent chemical separation via extraction chromatography using BDGA and Ln resins. Irradiation of 0.35 µg 226 Ra with 39 MeV bremsstrahlung end-point energy photons produced 225 Ra and 224 Ra at a rate of 754 and 2215 kBq/g 226 Ra/mA/h, respectively. The production rate of 225 Ac determined at its peak radioactivity was 335 kBq/g 226 Ra/mA/h. Radiochemically pure 225 Ac was isolated with a minimum separation factor of 125,000 for 225 Ac: 226 Ra. In conclusion, these results are promising and lay the foundation for future studies to scale-up production for preclinical quantities of high purity 225 Ac using the 226 Ra(γ , n) 225 Ra $\overset{^-β}{\rightarrow}$ 225 Ac approach.

38 - RADIATION CHEMISTRY, RADIOCHEMISTRY, AND NUCL↗

Enhancing scalability and accuracy of quantum poisson solver

The Poisson equation has many applications across the broad areas of science and engineering. Most quantum algorithms for the Poisson solver presented so far either suffer from lack of accuracy and/or are limited to very small sizes of the problem and thus have no practical usage. In this regard, our previous work showed a proof-of-concept demonstration in advancing quantum Poisson solver algorithm and validated preliminary results for a simple case of 3 x 3 problem. In this work, we delve into comprehensive research details, presenting the results on up to 15 x 15 problems that include step-by-step improvements in Poisson equation solutions, scaling performance, and experimental exploration. In particular, we demonstrate the implementation of eigenvalue amplification by a factor of up to 2 8 , achieving a significant improvement in the accuracy of our quantum Poisson solver and comparing that to the exact solution. Additionally, we present success probability results, highlighting the reliability of our quantum Poisson solver. Moreover, we explore the scaling performance of our algorithm against the circuit depth and width, demonstrating how our approach scales with larger problem sizes and thus further solidifies the practicality of easy adaptation of this algorithm in real-world applications. We also discuss a multilevel strategy for how this algorithm might be further improved to explore much larger problems with greater performance. Finally, through our experiments on the IBM quantum hardware, we conclude that though overall results on the existing NISQ hardware are dominated by the error in the CNOT gates, this work opens a path to realizing a multidimensional Poisson solver on near-term quantum hardware.

97 MATHEMATICS AND COMPUTING↗

Development of 52Mn Labeled Trastuzumab for Extended Time Point PET Imaging of HER2

Abstract Purpose Due to their long circulation time in the blood, monoclonal antibodies (mAbs) such as trastuzumab, are usually radiolabeled with long-lived positron emitters for the development of agents for Positron Emission Tomography (PET) imaging. Manganese-52 ( 52 Mn, t 1/2 = 5.6 d, β + = 29.6%, E(β ave ) = 242 keV) is suitable for imaging at longer time points providing a complementary technique to Zirconium-89 ( 89 Zr, t 1/2 = 3.3 d, β + = 22.7%, E(β ave ) = 396 keV)) because of its long half-life and low positron energy. To exploit these properties, we aimed to investigate suitable bifunctional chelators that could be readily conjugated to antibodies and labeled with 52 Mn under mild conditions using trastuzumab as a proof-of-concept. Procedures Trastuzumab was incubated with S-2-(4-isothiocyanatobenzyl)-1,4,7,10-tetraazacyclododecane tetraacetic acid (p-SCN-Bn-DOTA), 1-Oxa-4,7,10-tetraazacyclododecane-5-S-(4-isothiocyantobenzyl)-4,7,10-triacetic acid (p-SCN-Bn-Oxo-DO3A), and 3,6,9,15-tetraazabicyclo[9.3.1] pentadeca-1(15),11,13-triene-4-S-(4-isothiocyanatobenzyl)-3,6,9-triacetic acid (p-SCN-Bn-PCTA) at a tenfold molar excess. The immunoconjugates were purified, combined with [ 52 Mn]MnCl 2 at different ratios, and the labeling efficiency was assessed by iTLC. The immunoreactive fraction of the radiocomplex was determined through a Lindmo assay. Cell studies were conducted in HER2 + (BT474) and HER2- (MDA-MB-468) cell lines followed by in vivo studies. Results Trastuzumab-Oxo-DO3A was labeled within 30 min at 37 °C with a radiochemical yield (RCY) of 90 ± 1.5% and with the highest specific activity of the chelators investigated of 16.64 MBq/nmol. The labeled compound was purified with a resulting radiochemical purity of > 98% and retained a 67 ± 1.2% immunoreactivity. DOTA and PCTA immunoconjugates resulted in < 50 ± 2.5% (RCY) with similar specific activity. Mouse serum stability studies of [ 52 Mn]Mn-Oxo-DO3A-trastuzumab showed 95% intact complex for over 5 days. Cell uptake studies showed higher uptake in HER2 + (12.51 ± 0.83% /mg) cells compared to HER2- (0.85 ± 0.10%/mg) cells. PET images of mice bearing BT474 tumors showed high tumor uptake that was consistent with the biodistribution (42.02 ± 2.16%ID/g, 14 d) compared to MDA-MB-468 tumors (2.20 ± 0.80%ID/g, 14 d). Additionally, both models exhibited low bone uptake of < 1% ID/g. Conclusion The bifunctional chelator p-SCN-Bn-Oxo-DO3A is promising for the development of 52 Mn radiopharmaceuticals as it was easily conjugated, radiolabeled at mild conditions, and illustrated stability for a prolonged duration both in vitro and in vivo . High-quality PET/CT images of [ 52 Mn]Mn-Oxo-DO3A-trastuzumab were obtained 14 d post-injection. This study illustrates the potential of [ 52 Mn]Mn-Oxo-DO3A for the evaluation of antibodies using PET imaging.

Omweri, James M.↗

Combining 3D printing of copper current collectors and electrophoretic deposition of electrode materials for structural lithium-ion batteries

Serving as a proof of concept, additive manufacturing and electrophoretic deposition are leveraged in this work to enable structural lithium-ion batteries with load-bearing and energy storage dual functionality. The preparation steps of a complex 3D printed copper current collector, involving the formulation of a photocurable resin formulation, as well as the vat photopolymerization process followed by a precursors-based solution soaking step and thermal post-processing are presented. Compression and microhardness testing onto the resulting 3D printed copper current collector are shown to demonstrate adequate mechanical performance. Electrophoretic deposition of graphite as a negative electrode active material and other additives was then performed onto the 3D printed copper collector, with the intention to demonstrate energy storage functionality. Half-cell electrochemical cycling of the 3D multi-material current collector/negative electrode versus lithium metal finally demonstrates that structural battery components can be successfully obtained through this approach.

25 ENERGY STORAGE↗

Direct interpolative construction of the discrete Fourier transform as a matrix product operator

The quantum Fourier transform (QFT), which can be viewed as a reindexing of the discrete Fourier transform (DFT), has been shown to be compressible as a low-rank matrix product operator (MPO) or quantized tensor train (QTT) operator. However, the original proof of this fact does not furnish a construction of the MPO with a guaranteed error bound. Meanwhile, the existing practical construction of this MPO, based on the compression of a quantum circuit, is not as efficient as possible. We present a simple closed-form construction of the QFT MPO using the interpolative decomposition, with guaranteed near-optimal compression error for a given rank. This construction can speed up the application of the QFT and the DFT, respectively, in quantum circuit simulations and QTT applications. We also connect our interpolative construction to the approximate quantum Fourier transform (AQFT) by demonstrating that the AQFT can be viewed as an MPO constructed using a different interpolation scheme.

97 MATHEMATICS AND COMPUTING↗

Fundamental microscopic properties as predictors of large-scale quantities of interest: Validation through grain boundary energy trends

Correlations between fundamental microscopic properties computable from first principles, which we term canonical properties, and complex large-scale quantities of interest (QoIs) provide an avenue to predictive materials discovery. Here, we propose that such correlations can be efficiently discovered through simulations utilizing approximate interatomic potentials (IPs), which serve as an ensemble of “synthetic materials”. As a proof of principle we build a regression model relating canonical properties to the symmetric tilt grain boundary (GB) energy curves in face-centered cubic crystals, characterized by the scaling factor in the universal lattice matching model of Runnels et al. (2016), which we take to be our QoI. Our analysis recovers known correlations of GB energy to other properties and discovers new ones. We also demonstrate, using available density functional theory (DFT) GB energy data, that the regression model constructed from IP data is consistent with DFT results, confirming the assumption that the IPs and DFT belong to same statistical pool and thereby validating the approach. Regression models constructed in this fashion can be used to predict large-scale QoIs based on first-principles data and provide a general method for training IPs for QoIs beyond the scope of first-principles calculations.

36 MATERIALS SCIENCE↗

Uncovering grain and subgrain microstructure at the scale of additive manufacturing melt tracks with a scalable cellular automaton solidification model

Metal additive manufacturing, characterized by rapid solidification, yields refined grains with a distinctive cellular subgrain microstructure that plays a pivotal role in determining material properties. Due to the significant computational expense demanded to simulate the required physics with submicron spatial resolution, their numerical simulations have been limited to proof-of-concept studies to either 2D or small subregions of a melt pool. In this study, an open-source, scalable, solidification code, muMatScale, based on the cellular automaton method, has been developed to predict the grain and the underlying subgrain microstructure over an entire melt pool. The model incorporates flexible parallelization schemes, utilizing MPI and OpenMP GPU Offloading, in addition to appropriate multi-physics specific to non-equilibrium rapid solidification in AM. The impact of nucleation parameters on grain microstructures was investigated with a focus on grain size variations and morphology transitions. With selected nucleation parameters, the simulation predicted the grain size, subgrain morphology, crystallographic orientation, and microsegregation aligned with experimental measurements. The model demonstrates that epitaxial grain growth is a dominant factor at the melt pool boundary, influencing grain size variation under different grain sizes in the build plate while maintaining consistent primary dendrite arm spacing under identical thermal conditions. Here, the highly efficient numerical model enables large-scale simulations with a spatial resolution of 100 nm or less, unveiling unprecedented insights into thermal and solutal diffusion driven grain growth, and the subgrains with microsegregation within grains in 3D across scales. muMatScale will enable the linking of submicron length-scale microstructure to part-level material behavior by investigating fundamental solidification problems at the intercellular scale in many-track and many-layer builds.

36 MATERIALS SCIENCE↗

On the convergence of the fixed point method for solving neutron transport alpha eigenvalue problems

It was shown that the Fixed Point Method (also known as the Rayleigh Quotient Method) is several times faster than the Critical Search Method for solving neutron transport alpha eigenvalue problems. It was also shown that the Fixed Point Method is able to determine the alpha eigenvalues of sub-critical systems that are beyond the reach of the Critical Search Method. Despite these significant advances, the Fixed Point Method remains an unproven algorithm. Here, this report provides a proof.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Carbon nanotube coated metal mesh: Bridging nanoscale and macroscale

A novel hybrid structure has been developed by growing carbon nanotubes (CNTs) on a metal mesh that functions as a literally unlimitedly extendable backbone. This hybrid material structure provides a new approach of extending CNTs’ advantageous properties such as ultrahigh thermal and electrical conductivities, high sensitivity to gases, and distinctive wettability for different liquids with chemical inertness to macroscale—otherwise available only in nano- and microscales. In this feasibility work, CNTs were grown on a Type 316 stainless steel (SS) mesh by self-catalytical chemical vapor deposition (CVD) without the need of an externally added catalyst or catalyst support. For the radially aligned and entangled CNT forest on the SS mesh, the average CNT diameter is around 50 nm, while the length varies from 20 to 25 µm. High-resolution transmission electron microscopy analysis revealed the multiwall structure of the CNTs with >30 rolled-up graphitic sheets. Raman spectra of the CNTs showed a dominant G band, indicating a well-ordered graphitic nanostructure. Being highly hydrophobic with a water contact angle of ∼145° and oleophilic, the CNT-coated SS mesh could be used in fluid separation and organic contaminant removal from water. Moreover, CNTs are recognized for their exceptional thermal conductivity and the CNT-coated mesh offers a supportive structure with directly connected CNTs for efficient heat transfer. Proof of concept has been achieved for the CNT-coated mesh’s potentials as a liquid filter and an thermal interface material (TIM). Specifically, the CNT-coated mesh demonstrated the capability of capturing water from a water-organic mixture with a 100 % efficiency while allowing organic liquids to pass through the filter. Furthermore, when used as a TIM, the CNT-coated mesh reduced the interfacial thermal impedance by >30 %.

Carbon nanotubes (CNTS)↗

Improved titanium-44 purification process for establishing a high apparent molar activity titanium-44/scandium-44 generator

44 Sc-radiopharmaceuticals are gaining more interest but still lack availability. The proof of principle of a 44 Ti/ 44 Sc generator, which can produce 44 Sc daily, has been established but with some limitations and drawbacks. Despite recent advances, separation of 44 Ti from massive quantities of scandium target material is still cumbersome. Here, in this work, the improved radiochemical separation of 44 Ti from residual scandium target material was carried out by precipitation of Sc with fluoride ions. Furthermore, two approaches were used to set up a high apparent molar activity small-scale generator. The first method relied on extraction chromatography for fine purification using a DGA resin, followed by loading of the purified 44 Ti onto a ZR resin column. In the second method, 44 Ti was loaded on the ZR resin directly after the precipitation step. This second method was used to set up a generator of 370 kBq and evaluate by radiolabeling. An apparent molar activity of 2 MBq/nmol was obtained for the radiolabeling with DOTA, the most common and suitable chelate for scandium. This result is comparable with previously published data on 44m/44 Sc.

44Sc↗

Time-resolved electrical potential pump – X-ray photoelectron spectroscopy probe developments for investigating dynamic processes occurring at electrochemical interfaces

Electrode–electrolyte interfaces are of critical importance in several fields, including renewable energy, corrosion, and environmental chemistry. However, investigating these interfaces under operational conditions poses considerable challenges due to the limitations of the instrumentation employed. While recent advancements in in situ and operando techniques have enhanced our comprehension of the steady-state properties of solid-liquid interfaces, the dynamic behaviors of these systems remain inadequately explored. This study introduces a time-resolved X-ray photoelectron spectroscopy (XPS) technique designed to capture transient reaction intermediates and charging dynamics at electrified interfaces. The presented proof-of-principle study demonstrates that electrochemical processes, represented by an equivalent electrical circuit (EEC) model, can be probed and understood using square wave voltage pulses of a potentiostat synchronized to the modified data acquisition of an XPS setup. This method offers a valuable alternative to traditional pump–probe techniques, facilitating the investigation of a broader range of electrochemical systems. A dedicated software package for analyzing time- and energy-resolved XPS with a focus on extracting parameters of the EEC is geared towards benchmarking different EECs in future real-world electrochemical experiments.

Electrochemistry↗

Mitigating municipal solid waste fouling in biofuel conversion via screw surface modifications

Here, municipal solid waste (MSW)'s 40–60 % carbon content makes it a feedstock for biofuel production via pyrolysis. One challenge in the conversion process is MSW fouling due to thermal decomposition. The accumulated deposit on the injection screw often leads to plugging and constriction. This study examined the morphology and composition of the MSW fouling deposit and conducted a thermal simulation to understand the temperature gradience of the injection screw. Surface modifications including smoothening and anti-adhesion coating were proposed for the injection screw to address the deposit problem. For evaluating the candidate mitigations, a bench-scale fouling test was developed with the gas environment, temperature, and sliding speed relevant to the contact interface between the MSW particles and the screw. Results suggested that a smoother screw surface could reduce the grip and a non-metallic coating with a lower surface energy could decrease adhesion, consequently leading to less fouling. Specifically, reducing the roughness from 2 to 0.6 and then to 0.2 μm proportionally decreased the amount of deposit, and the diamond-like-carbon, CrN, and NiCr–CrC composite coatings effectively hindered the fouling process. This study provides fundamental insights into the MSW fouling and proof-of-concept of potential mitigations through the screw surface modification.

09 BIOMASS FUELS↗

Synthesis and characterization of photo-cross-linkable quince seed-based hydrogels for soft tissue engineering applications

The convenience, versatility, and biocompatibility of photocrosslinkable hydrogel precursors make them promising candidates for developing tissue engineering scaffolds. However, the current library of photosensitive materials is limited. This study reports, for the first time, the modification of quince seed mucilage (QS) with glycidyl methacrylate (GM), resulting in the synthesis of methacrylated QS (QSGM). The chemical composition and structure of QS were analyzed. The effects of reaction time, temperature, QS concentration, and GM/QS ratio on the degree of methacrylation, as well as the physicochemical, rheological, mechanical, and biological properties of the synthesized materials were explored. Chemical characterization using 1H NMR and FTIR confirmed the successful methacrylation of QS. Hydrogels fabricated from QSGMs at a 0.5 wt% concentration exhibited high swelling ratios of 320 to 580 g/g, and compressive strengths between 0.6 ± 0.1 and 1.2 ± 0.3 kPa. No significant changes in the rheological properties of hydrogel precursors were observed. Moreover, QSGM-based hydrogels supported cell encapsulation for 14 days with minimal cytotoxicity and immune cell activation. Finally, as a proof of concept, the potential use of QSGM for 3D printing was demonstrated. Overall, the results highlight the significant potential of QSGMs as a biomaterial of choice for soft tissue engineering applications.

3D printing↗

Mechanochemical synthesis of hydraulically reactive calcium silicate minerals via thermally-assisted mechanical grinding

This study explores a thermally assisted mechanochemical approach alternative to conventional cement synthesis as a potential to produce hydraulically reactive calcium silicate phases. Ball milling of mixed CaO/SiO 2 feedstocks at temperature ranges 100-300 °C increases the formation of the Ca-O-Si bonds and precursor reactivity. Spectroscopic analyses (FTIR, MAS-NMR, UV-Vis DRS) indicate increasing amorphization with milling temperature, attributed to improved mixing and thermally assisted diffusion. Upon hydration, all treated samples exhibit exothermic heat release, with the sample prepared at 300 °C showing the most pronounced reactivity. Thermal analysis reveals weight loss consistent with C-S-H formation, confirming cement-like behavior. In summary, moderate thermal input during milling promotes structural activation and enhances downstream hydraulic reactivity, providing a proof-of-concept for energy-reduced cement precursor processing.

Alite↗

Current activated reactive ultrafast joining (CARUJ) of silicon carbide

In this work we propose and demonstrate a novel approach for rapid fabrication of ceramic-ceramic joint assemblies, using sintered Silicon Carbide (SiC) as an initial example. Current Activated Reactive Ultrafast Joining (CARUJ) utilizes resistive heating of carbon-based materials to apply localized heat at or around the joint zone at heating rates of 101– 103 °C/min. CARUJ is used to fabricate SiC-SiC joints with a Si-SiC interface using minimal pressure (1–2 MPa) at time scales considerably shorter (several minutes opposed to hours) than conventional approaches for similar systems. The reaction of an interfacial precursor based on elemental silicon and carbon leads to in-situ SiC formation to produce a continuous and dense bond in a single step. Measured average joint strengths of roughly 15 MPa are achieved when tested in single lap offset (SLO) compressive shear. Optional additions of refractory metals such as molybdenum can be utilized to introduce secondary inclusions such as MoSi 2 within the joint interface. We further demonstrate SiC-SiC joining using Active Brazing Alloys (ABA) and proof of concept joining of tubular geometries. The localized and rapid heat application realizes a versatile material joining technique that could be extended for joining components at the plant site.

36 MATERIALS SCIENCE↗