Search NASASearch

SEARCH · Search NASA

Results for “computational scientific reasoning”

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.

486 records · Page 5

NASA BPS Reduced Gravity Integrated Computational Materials Engineering (ICME) Study

The Biological and Physical Sciences (BPS) Division of NASA’s Science Mission Directorate (SMD), and its predecessors, has sponsored extensive flight and ground experiments yielding benchmark datasets in many materials science research areas including thermophysical properties and solidification microstructure formation and evolution. The subject study sought to motivate and focus BPS’s engagement within the broader Integrated ICME community to understand the phenomena underlying material processing, structure, and properties in the microgravity environment of space and to support future space exploration efforts.

Louise Littles

Remote-Contact Catalysis for Target-Diameter Semiconducting Carbon Nanotube Arrays

Electrostatic catalysis has been an exciting development in chemical synthesis (beyond enzymes catalysis1 ) in recent years, boosting reaction rates and selectively producing certain reaction products2 . Most of the studies to date have been focused on using external electric field (EEF) to rearrange the charge distribution in small molecule reactions such as Diels-Alder addition3 , carbene reaction4 , etc. However, in order for these EEFs to be effective, a field on the order of 1 V/nm (10 MV/cm) is required, and the direction of the EEF has to be aligned with the reaction axis5 . Such a large and oriented EEF will be challenging for large-scale implementation, or materials growth with multiple reaction axis or steps. Here, we demonstrate that the energy band at the tip of an individual single-walled carbon nanotube6 (SWCNT) can be spontaneously shifted in a high-permittivity growth environment, with its other end in contact with a low-work function electrode (e.g., hafnium carbide or titanium carbide7 ). By adjusting the Fermi level at a point where there is a substantial disparity in the density of states (DOS) between semiconducting (s-) and metallic (m-) SWCNTs8 , we achieve effective electrostatic catalysis for s-SWCNT growth assisted by a weak EEF perturbation (200V/cm). This approach enables the production of high-purity (99.92%) s-SWCNT horizontal arrays with narrow diameter distribution (0.95±0.04 nm), targeting the requirement of advanced SWCNT-based electronics for future computing9-11. These findings highlight the potential of electrostatic catalysis in precise materials growth, especially for s-SWCNTs, and pave the way for the development of advanced SWCNT-based electronics12.

Wang, Jiangtao [Department of Electrical Engineeri

SHARP: Automated Monitoring of Spacecraft Health and Status

This paper briefly describes the spacecraft and ground systems monitoring process at the Jet Propulsion Laboratory and highlights some difficulties associated with the existing technology used in mission operations. A new automated system based on artificial intelligence technology is described which seeks to overcome many of these limitations. The system, called the Spacecraft Health Automated Reasoning Prototype (SHARP), is designed to automate health and status analysis for multi-mission spacecraft and ground data systems operations. The SHARP system has proved to be effective for detecting and analyzing potential spacecraft and ground systems problems by performing real-time analysis of spacecraft and ground data systems engineering telemetry. Telecommunications link analysis of the Voyager 2 spacecraft was the initial focus for evaluation of the system in a real-time operations setting during the Voyager spacecraft encounter with Neptune in August, 1989. The SHARP system will be delivered to the JPL Space Flight Operations Center for regular use by planetary flight projects, including the Galileo and Magellan spacecraft, and will also be applied to monitoring and control applications in the Deep Space Network's Network Operations Control Center.

David J Atkinson

Classical-Quantum Algorithm for Solving Stochastic Programs

Stochastic programming provides a rigorous mathematical framework for making decisions under uncertainty in a risk-aware manner. Two-stage stochastic programming is, perhaps, the simplest form of this framework. Here the first-stage variables represent decisions that must be made "here and now" in the face of uncertainty, while the second-stage variables are decisions made after uncertain events. However, the broad adoption of stochastic programming has been hindered by computational challenges caused by the two-stage stochastic programming formulation which requires solving an ensemble of optimization problems. Using quantum amplitude estimation (QAE), quantum computers have shown the theoretic ability to compute expectations with Monte-Carlo methods with quadratically fewer samples than classical methods. In this work, we present a quantum algorithm for computing the expectation term using QAE for given first-stage decisions. Further, we detail methods of computing gradient information from the quantum calculation enabling the application of classical gradient-based optimization techniques. The result is a classical-quantum hybrid method of solving two-stage stochastic programs. These techniques are demonstrated with computational experiments based an engineering optimization problem.

97 MATHEMATICS AND COMPUTING

Astrophysical science with a spaceborne photometric telescope

The FRESIP Project (FRequency of Earth-Sized Inner Planets) is currently under study at NASA Ames Research Center. The goal of FRESIP is the measurement of the frequency of Earth-sized extra-solar planets in inner orbits via the photometric signature of a transit event. This will be accomplished with a spaceborne telescope/photometer capable of photometric precision of two parts in 100,000 at a magnitude of m(sub v) = 12.5. To achieve the maximum scientific value from the FRESIP mission, an astrophysical science workshop was held at the SETI Institute in Mountain View, California, November 11-12, 1993. Workshop participants were invited as experts in their field of astrophysical research and discussed the astrophysical science that can be achieved within the context of the FRESIP mission.

Granados, Arno F.

Computational Fluid Dynamics at the Lewis Research Center: An Overview

Lewis is a multidisciplinary Center with strong research and development programs in aeronautical and space propulsion, power, space communications, space experiments and materials. Computational fluid dynamics (CFD) is playing an important and growing role in most of these areas. Described here is how CFD is integrated into these programs and highlights elements of the CFD activities. Examples are presented of codes developed to predict flow fields in advanced propulsion systems and several of the code validation experiments are described. The CFD effort at Lewis ranges from basic research on new and improved algorithms through code development to the application of these codes to specific engineering problems. Because of the substantial improvement in CFD's predictive capability, its use at Lewis is on a steep growth path, spreading rapidly into new areas which had not traditionally taken advantage of the techniques of numerical simulation. Multidisciplinary codes and the future direction of CFD at Lewis are discussed.

Robert M Stubbs

Implementation of A Self-Controlling Heater

Temperature control of radiation sensors, targets, and other critical components is a common requirement in modern scientific instruments. Conventional control systems use a heater and a temperature sensor mounted on the body to be controlled. For proportional control, the sensor provides feedback to circuitry which drives the heater with an amount of power proportional to the temperature error. It is impractical or undesirable to mount both a heater and a sensor on certain components such as ultra-small parts or thin filaments. In principle, a variable current through the element is used for heating, and the change in voltage drop due to the element's temperature coefficient is separated and used to monitor or control its own temperature. Since there are no thermal propagation delays between heater and sensor, such control systems are exceptionally stable.

Maxwell G Strange

Pioneer Odyssey

The success of Pioneer 11 in repeating an encounter with the giant planet Jupiter and producing unique images of the north polar regions of the planet necessitated an updating of SP-349. Additional material has been added to the descriptive material about the flight of the spacecraft in Chapter 5. The following chapter, describing the results of the two missions, has been completely updated in the light of further interpretations of the Pioneer 10 data coupled with the new data from Pioneer 11. An additional Chapter 9 has been added to provide a selection of the better images obtained by Pioneer 11. This chapter also includes images of the four Galilean satellites. The bibliography has been updated to include scientific papers published since the original edition.

Jupiter (Planet)

Revealing the evolution of order in materials microstructures using multi-modal computer vision

The development of high-performance materials for microelectronics, energy storage, and extreme environments depends on our ability to describe and direct property-defining microstructural order. Our present understanding is typically derived from laborious manual analysis of imaging and spectroscopy data, which is difficult to scale, challenging to reproduce, and lacks the ability to reveal latent associations needed for mechanistic models. Here, we demonstrate a multi-modal machine learning (ML) approach to describe order from electron microscopy analysis of the complex oxide La 1−x Sr x FeO 3 . We construct a hybrid pipeline based on fully and semi-supervised classification, allowing us to evaluate both the characteristics of each data modality and the value each modality adds to the ensemble. We observe distinct differences in the performance of uni- and multi-modal models, from which we draw general lessons in describing crystal order using computer vision.

36 MATERIALS SCIENCE

Wild Blue Yonder Propulsion Schemes

This paper will include a discussion of the ORION concept, several gaseous core nuclear rockets, thermonuclear propulsion utilizing superconducting magnets, and finally a lightweight radioisotope power generation system for electric propulsion. With the exception of the latter concept, all of these schemes have much in common. The initial vehicle weights would be very large - on the order of several million pounds. The payload fractions are high - on the order of 25 to 50 percent of the takeoff weight - for near Earth missions. The development problems would be severe, and, correspondingly, the development costs would be extreme - on the order of many billions of dollars. In addition, the launching problems from Earth would be fantastic - with nuclear radiation hazards and political overtones added for good measure. However, the reward for success would be great. One can contemplate large payload fractions propelled on space missions - with thrust-to-weight ratios, at least in some cases, greater than unity and with specific impulses of several thousand seconds. The mission transportation costs would run in terms of dollars per pound of payload with clear opportunities for reasonable manned expeditions across the solar system. This is the carrot that leads the endorsement of such gigantic projects.

John C Evvard

Advanced Materials for the Lunar Surface: Multiscale Computational Design of Refractory Alloys and Carbides

Emerging operational environments, such as the lunar surface, present novel challenges for NASA and drive the need for advanced materials in applications like fission surface power systems. To address these demands, computational materials science is rapidly evolving to augment or replace costly and hazardous empirical testing. Although materials selection at NASA remains predominantly experimentally driven, advanced simulation methodologies are being steadily integrated into the engineering lifecycle. This work details the application of multiscale simulation techniques—including first-principles calculations, CALPHAD, dislocation dynamics, and molecular dynamics—at NASA's Ames Research Center to evaluate advanced materials for extreme environments. First, we present contributions to the Space Nuclear Propulsion Project. Be-cause propellant channel coatings in nuclear thermal rockets must withstand high-pressure, high-temperature hydro-gen, optimizing these materials is critical. First-principles calculations were employed to establish a rigorous quantitative and qualitative understanding of the behavior of the refractory carbides ZrC, NbC, and their mixtures in high-enthalpy hydrogen environments. This necessitated the generation of high-fidelity thermodynamic models for both stoichiometric and carbon-depleted carbides, both with and without the presence of hydrogen. Furthermore, we highlight efforts under the Refractory Alloy Additive Manufacturing Build Optimization (RAAMBO) project, where existing and novel alloy compositions were assessed for additive manufacturing printability and subsequent performance in applications such as heat pipes and rocket nozzle extensions. This was accomplished through a comprehensive multiscale simulation framework that bridged the gap from the nanometer to the millimeter scale. Across both initiatives, rigorous validation against empirical data was prioritized. By systematically employing a verified and validated computational frame-work, we demonstrate how simulation effectively supports multidisciplinary engineering efforts, builds project-wide confidence, and drives critical materials development.

computational materials

Using scalable computer vision to automate high-throughput semiconductor characterization

Abstract High-throughput materials synthesis methods, crucial for discovering novel functional materials, face a bottleneck in property characterization. These high-throughput synthesis tools produce 10 4 samples per hour using ink-based deposition while most characterization methods are either slow (conventional rates of 10 1 samples per hour) or rigid (e.g., designed for standard thin films), resulting in a bottleneck. To address this, we propose automated characterization (autocharacterization) tools that leverage adaptive computer vision for an 85x faster throughput compared to non-automated workflows. Our tools include a generalizable composition mapping tool and two scalable autocharacterization algorithms that: (1) autonomously compute the band gaps of 200 compositions in 6 minutes, and (2) autonomously compute the environmental stability of 200 compositions in 20 minutes, achieving 98.5% and 96.9% accuracy, respectively, when benchmarked against domain expert manual evaluation. These tools, demonstrated on the formamidinium (FA) and methylammonium (MA) mixed-cation perovskite system FA 1−x MA x PbI 3 , 0 ≤ x ≤ 1, significantly accelerate the characterization process, synchronizing it closer to the rate of high-throughput synthesis.

Science & Technology - Other Topics

Polynomial-time preparation of low-temperature Gibbs states for two-dimensional toric code

In this work, we propose a polynomial-time algorithm for preparing the Gibbs state of the two-dimensional toric code Hamiltonian at any temperature, starting from any initial state, significantly improving upon prior estimates that suggested exponential scaling with inverse temperature. We prove that fast mixing at low temperature for the two-dimensional toric code can be achieved by augmenting local jump operators with simple global jump operators, which enable efficient transitions between logical sectors. To establish tight lower bounds on the spectral gap, we introduce a new reduction method that eventually maps the problem to estimating the spectral gap of a perturbed graph Laplacian on a stair graph. Our proof also shows that the Lindblad dynamics with a digitally implemented low-temperature local Davies generator is able to efficiently drive the quantum state toward the ground state manifold.

97 MATHEMATICS AND COMPUTING

A Case Study of View-Factor Rectification Procedures for Diffuse-Gray Radiation Enclosure Computations

The view factors which are used in diffuse-gray radiation enclosure calculations are often computed by approximate numerical integrations. These approximately calculated view factors will usually not satisfy the important physical constraints of reciprocity and closure. In this paper several view-factor rectification algorithms are reviewed and a rectification algorithm based on a least-squares numerical filtering scheme is proposed with both weighted and unweighted classes. A Monte-Carlo investigation is undertaken to study the propagation of view-factor and surface-area uncertainties into the heat transfer results of the diffuse-gray enclosure calculations. It is found that the weighted least-squares algorithm is vastly superior to the other rectification schemes for the reduction of the heat-flux sensitivities to view-factor uncertainties. In a sample problem, which has proven to be very sensitive to uncertainties in view factor, the heat transfer calculations with weighted least-squares rectified view factors are very good with an original view-factor matrix computed to only one-digit accuracy. All of the algorithms had roughly equivalent effects on the reduction in sensitivity to area uncertainty in this case study.

Robert P Taylor

Knowledge-guided learning with curated prior genetic biomarkers for robust model interpretation

Abstract Motivation Knowledge-guided learning offers effective and robust model training strategies in data-scarce settings by incorporating established domain knowledge, thereby enhancing generalization, robustness, and interpretability. By contrast, conventional deep learning approaches rely purely on data-driven learning, which can limit robust model interpretability, particularly in high-dimensional settings with limited size samples. In computational biology, knowledge-guided learning has primarily leveraged network- and structural-based knowledge, leading to biologically interpretable representations and enhanced predictive performance compared to conventional approaches. However, curated biomarkers, one of the most accessible forms of biological knowledge, remain largely unexplored within knowledge-guided paradigms. Results In this study, we propose a model-agnostic training paradigm, Biomarker-driven Explainable Prior-guided Learning (BioExPL), that can be applied to any neural networks that incorporates curated prior knowledge. BioExPL enforces neural networks to reflect curated biomarker priors in their latent representations through a novel knowledge-alignment loss. BioExPL consistently demonstrated significantly improved predictive performance and enhanced model interpretability with minimized computational overhead in simulation studies and intensive experiments on multiple cancer datasets. BioExPL not only integrates prior curated knowledge into the model but also accurately identifies unknown associated signals additionally. BioExPL is model-agnostic and domain-independent, enabling its integration into diverse neural network architectures. Availability and implementation The open-source is publicly available at: https://github.com/datax-lab/BioExPL.

Baek, Beomsu [Department of Computer Science, Univ