Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “trustworthy”

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

ADEPT: A Pedagogical Framework for Integrating Agentic AI with Deterministic Scientific Workflows

The integration of Large Language Models (LLMs) into scientific research promises to accelerate discovery, yet a significant gap remains between the dynamic reasoning of Artificial Intelligence (AI) agents and the static, deterministic nature of canonical scientific workflows. This paper introduces ADEPT (Agentic Discovery and Exploration Platform for Tools), a reference architecture and pedagogical framework explicitly designed to bridge this gap. ADEPT's primary mission is to provide a transparent, "glass-box" environment where researchers and engineers can learn to effectively wrap established scientific software (e.g., BLAST, Nextflow pipelines) and compose it into reliable, agent-driven workflows. We describe its modular, multi-server architecture, which leverages the Model Context Protocol (MCP) for tool serving, LangGraph for robust agentic orchestration, and a secure nsjail-based sandbox for safe code execution. By prioritizing architectural clarity, safety, and modularity, ADEPT serves as an extensible blueprint for building trustworthy AI-augmented systems and fosters the collaborative development necessary to responsibly employ agentic AI for science. We provide practical examples of how to adapt and extend this framework, highlighting its utility in workforce development and AI-readiness capabilities across research and development projects.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2026

Opportunities in AI/ML for the Rubin LSST Dark Energy Science Collaboration

The Vera C. Rubin Observatory's Legacy Survey of Space and Time (LSST) will produce unprecedented volumes of heterogeneous astronomical data (images, catalogs, and alerts) that challenge traditional analysis pipelines. The LSST Dark Energy Science Collaboration (DESC) aims to derive robust constraints on dark energy and dark matter from these data, requiring methods that are statistically powerful, scalable, and operationally reliable. Artificial intelligence and machine learning (AI/ML) are already embedded across DESC science workflows, from photometric redshifts and transient classification to weak lensing inference and cosmological simulations. Yet their utility for precision cosmology hinges on trustworthy uncertainty quantification, robustness to covariate shift and model misspecification, and reproducible integration within scientific pipelines. This white paper surveys the current landscape of AI/ML across DESC's primary cosmological probes and cross-cutting analyses, revealing that the same core methodologies and fundamental challenges recur across disparate science cases. Since progress on these cross-cutting challenges would benefit multiple probes simultaneously, we identify key methodological research priorities, including Bayesian inference at scale, physics-informed methods, validation frameworks, and active learning for discovery. With an eye on emerging techniques, we also explore the potential of the latest foundation model methodologies and LLM-driven agentic AI systems to reshape DESC workflows, provided their deployment is coupled with rigorous evaluation and governance. Finally, we discuss critical software, computing, data infrastructure, and human capital requirements for the successful deployment of these new methodologies, and consider associated risks and opportunities for broader coordination with external actors.

Aubourg, Eric [APC, Paris] (ORCID:000000025592023X↗
DOE OSTI2026

A PSCAD Library Component Featuring a Reduced-Order IBR Model for EMT-Based Fault Studies

This paper presents a fully implemented inverter reduce-order-model (ROM) in an EMT simulation (PSCAD) library component for direct user utilization in protection studies. The developed inverter ROM has the following features: Equivalent to a full IBR inverter model with positive- and negative-sequence current formulation and representation A python script is developed to fully automate this process, including training data generation, ROM parameter training, updating parameters, and model verification and validation. With this PSCAD ROM library component, protection engineers can utilize a trustworthy, accurate ROM for protection studies in an easy-to-use and streamlined manner.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2026

Data Interfaces for Automated Vehicle Services - A Municipality Perspective

As Automated Vehicle (AV) services proliferate, data sharing between AV operators and municipal agents is assuming greater importance. Information on the dynamic nature of the road system such as incidents to avoid, weather hazards (such as flooding), construction and detours, as well as active safety concerns (e.g. - riots) is important for AV operators. Such information cannot be directly sensed from a vehicle's sensor array, but instead must be communicated in a timely and trustworthy channel. Municipalities are interested in pushing this information to AV operators to support emergency response efforts, reduce traffic in construction zones, and generally improve operation of the system. Similarly, information on vehicle safety such as disengagements, as well as critical information on the use of roadway system (trips, origin and destination patterns) are important performance factors for municipalities to understand utilization and plan for appropriate infrastructure. As mobility shifts to on-demand options, the need for safe and coordinated pick-up and drop-off zones will increase (potentially reducing parking needs). For all of these reasons, communication flows between AV operators and municipalities are becoming increasingly important. This paper investigates the functions, emerging practices and protocols for sharing of such critical data, and identifies gaps in and challenges in existing practices. Additionally, case studies are used to highlight the impacts of data sharing between AV operators and municipalities.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗
NASA NTRS1969

Motivational Correlations of Strategy Choices in the Prisoner's Dilemma Game

The purpose of the present study was to investigate the relationship between the motivational dimensions assessed by the Motivation Analysis Test and prisoner's dilemma game behavior as measured both by the number of competitive strategy choices and the two-stage stochastic variables labelled trustworthiness, forgiveness, repentance, and trust by Rapoport.

Williams, Carl D.↗
NASA NTRS1977

Numerical aerodynamic simulation facility preliminary study, volume 2 and appendices

Data to support results obtained in technology assessment studies are presented. Objectives, starting points, and future study tasks are outlined. Key design issues discussed in appendices include: data allocation, transposition network design, fault tolerance and trustworthiness, logic design, processing element of existing components, number of processors, the host system, alternate data base memory designs, number representation, fast div 521 instruction, architectures, and lockstep array versus synchronizable array machine comparison.

Source record↗
NASA NTRS1986

A potpourri of pristine moon rocks, including a VHK mare basalt and a unique, augite-rich Apollo 17 anorthosite

The anorthosite fragment, 76504,18, the first of the Apollo 17's pristine anorthosites, was found to have: (1) a higher ratio of high-Ca pyroxine to low-Ca pyroxene, (2) higher Na in its plagioclase, (3) higher contents of incompatible elements, and (4) a higher Eu/Al ratio in comparison to ferroan anorthosites. With a parent melt having a negative Eu anomaly, 76504,18 closely resembles a typical mare basalt. This anorthosite was among the latest to be formed by plagioclase flotation above a primordial magmasphere; typical mare basalt regions accumulated at about the same time or even earlier. Another fragment 14181c, a very high potassium basalt, was studied and found to be similar to typical Apollo 14 mare basalt though it has a K/La ratio of 1050. It is suggested that this lithology formed after a normal Apollo 14 mare basaltic melt partially assimilated granite. New data for siderphile elements in Apollo 12 mare basalts indicate that only the lowest of earlier data are trustworthy as being free of laboratory contamination.

Warren, P. H.↗
NASA NTRS1986

Evaluation of competing software reliability predictions

Different software reliability models can produce very different answers when called upon to predict future reliability in a reliability growth context. Users need to know which, if any, of the competing predictions are trustworthy. Some techniques are presented which form the basis of a partial solution to this problem. Rather than attempting to decide which model is generally best, the approach adopted here allows a user to decide upon the most appropriate model for each application.

Abdel-Ghaly, A. A.↗
NASA NTRS1990

What FM can offer DFCS design

The results of aircrafts and spacecrafts flight tests are reported. It is shown that the problems of Digital Flight Control Systems (DFCS) are the problems of systems whose complexity has exceeded the reach of the intellectual tools employed. It is also shown that intuition, experience, and techniques derived from mechanical and analog systems are insufficient for complex, integrated, digital systems. Formal Methods (FM) of computer science can offer DFCS systematic techniques for the construction of trustworthy software, including: techniques for the precise specification of requirements and the development of designs; systematic approaches to the design and structuring of distributed and concurrent systems; fault tolerance algorithms; and systematic methods of testing and analytic methods of verification.

Rushby, John↗
NASA NTRS1991

Saltation threshold detection in a wind tunnel by the measurement of the net electrostatic charge

The Mars surface wind tunnel (MARSWIT) is an open circuit wind tunnel used for aeolian studies and is located inside a large vacuum chamber allowing testing at Martian surface atmospheric pressure. Since direct access is not available to the tunnel during operation at low pressure, a remote method of saltation detection is needed. The bed is observed by means of closed circuit video, but it is often difficult to determine the initiation of threshold. The measurement by means of an electrometer of the net electric charge produced by the saltating particles has provided a reliable means of saltation threshold detection. Saltating particles become charged several ways, both in wind tunnels and in a natural environment. The most significant of these methods are tribo-charging and contact charging, which always occur. Fracture charging may also occur under the high velocities associated with particle transport on Mars or under simulated Martian conditions. Detection in MARSWIT is achieved by allowing the saltating particles to impinge on a planar conducting surface normal to the flow that is connected to ground through a Keithly electrometer. The signal from the electrometer is connected to a strip chart recorder along with the analog signal from the pitot tube transducer that is used to determine the wind velocity in the tunnel. Thus, a record of wind velocity and the initiation of particle saltation is conveniently displayed together. While both positive and negative charges are produced during saltation, this method measures only the net charge; thus the charge may be either positive or negative depending upon the particles being tested, the size and size distribution of the test material, and the wind velocity. This has proven to be a very trustworthy and sensitive method of saltation threshold detection, being especially useful with the smaller sized particles which are the most difficult to observe visually.

Leach, Rodman N.↗
NASA NTRS1930

Aerodynamic theory and test of strut forms. Part I

This report presents the first part of a two part study made under this title. In this part the symmetrical inviscid flow about an empirical strut of high service merit is found by both the Rankine and the Joukowsky methods. The results can be made to agree as closely as wished. Theoretical stream surfaces as well as surfaces of constant speed and pressure in the fluid about the strut are found. The surface pressure computed from the two theories agrees well with the measured pressure on the fore part of the model but not so well on the after part. From the theoretical flow speed the surface friction is computed by an empirical formula. The drag integrated from the friction and measured pressure closely equals the whole measured drag. As the pressure drag and the whole drag are accurately determined, the friction formula also appears trustworthy for such fair shapes. (author)

Smith, R H↗
NASA NTRS1993

Survey of lift-fan aerodynamic technology

Representatives of NASA Ames Research Center asked that a summary of technology appropriate for lift-fan powered short takeoff/vertical landing (STOVL) aircraft be prepared so that new programs could more easily benefit from past research efforts. This paper represents one of six prepared for that purpose. The authors have conducted or supervised the conduct of research on lift-fan powered STOVL designs and some of their important components for decades. This paper will first address aerodynamic modeling requirements for experimental programs to assure realistic, trustworthy results. It will next summarize the results or efforts to develop satisfactory specialized STOVL components such as inlets and flow deflectors. It will also discuss problems with operation near the ground, aerodynamics while under lift-fan power, and aerodynamic prediction techniques. Finally, results of studies to reduce lift-fan noise will be presented. The paper will emphasize results from large scale experiments, where available, for reasons that will be brought out in the discussion. Some work with lift-engine powered STOVL aircraft is also applicable to lift-fan technology and will be presented herein. Small-scale data will be used where necessary to fill gaps.

Hickey, David H.↗
NASA NTRS1992

Instruction set commutivity

We present a state property called congruence and show how it can be used to demonstrate commutivity of instructions in a modern load-store architecture. Our analysis is particularly important in pipelined microprocessors where instructions are frequently reordered to avoid costly delays in execution caused by hazards. Our work has significant implications to safety and security critical applications since reordering can easily change the meaning and an instruction sequence and current techniques are largely ad hoc. Our work is done in a mechanical theorem prover and results in a set of trustworthy rules for instruction reordering. The mechanization makes it practical to analyze the entire instruction set.

Windley, P.↗
NASA NTRS1994

Non-dipolar magnetic field models and patterns of radio emission: Uranus and Neptune compared

The magnetic field geometries of Uranus and Neptune are superficially similar, and are similarly unlike those of other planets: the field strengths are similar, and they contain extraordinarily large non-dipolar components. As a corollary, the best dipolar field models of each of the two planets comprises a dipole that is considerably offset from the planetary center and tilted away from the rotational axis. However, in other respects the best field models of the two planets are quite different. Uranus has a quadrupole model in which all the terms are well determined and in which none of the higher order terms is determined. To represent the magnetometer data acquired during Voyager's Neptune encounter requires a model of order 8 (instead of Uranus' order 2), yet many of the coefficients are poorly determined. A second model, an octupole model comprising the terms up to order three of the order 8 model, has been suggested by the magnetometer team as being useful; its use, however, is limited only to the region outside of about 2R(exp N), whereas planetary radio emissions have their sources well inside this surface. Computer code has been written that permits an analysis of the detailed motion of low energy charged particles moving in general planetary magnetic fields. At Uranus, this code reveals the existence of an isolated region of the inner magnetosphere above the day side in which particles may be trapped, separate from the more general magnetospheric trapping. An examination of the so-call ordinary mode uranian radio emissions leads us to believe that these emissions are in fact extraordinary mode emissions coming from particles trapped in this isolated region. A similar attempt to discover trapping regions at Neptune has proved, unfortunately, to be impossible. This arises from three factors: (1) the computation needed to track particles in an eighth order field is more than an order of magnitude greater than that needed to perform a similar calculation in a quadrupole field, and is beyond the capacity of workstation-class computers; (2) the octupole field model is known to be in error by too large an ammount for it, or any similarly truncated version of the eighth order model, to produce trustworthy results; (3) the eighth order model can, in effect, be infinitely varied without affecting the field strength along the spacecraft trajectory.

Evans, D. R.↗
NASA NTRS1994

A Modular, Portable Model of Image Fidelity

There is a persistent need for a trustworthy model of perceptual image fidelity, especially in applications such as image compression and display design. A fidelity model provides a measure of the visual discriminability of two images. Ahumada has previously shown that the existing fidelity models may be categorized according to their inclusion of various canonical properties, such as a contrast sensitivity function, spatial frequency channels, etc. This suggests that research would be aided by the availability of a modular model, in which these components could be easily inserted or removed. A further impediment to research in this area has been that most models are written in low-level languages and are consequently large, non-portable, and difficult to understand, modify, and maintain. We therefore believe research would also be aided by models written in high-level languages. To serve both of these purposes, and to honor our conference host for his lifetime dedication to the problem of image quality. Global brightness and its effect on perceptual image quality. We offer a modular model written in the high-level language Mathematica. We will demonstrate this model and show how it may be modified.

Watson, Andrew B.↗
NASA NTRS2002

Fast Bound Methods for Large Scale Simulation with Application for Engineering Optimization

In this work, we have focused on fast bound methods for large scale simulation with application for engineering optimization. The emphasis is on the development of techniques that provide both very fast turnaround and a certificate of Fidelity; these attributes ensure that the results are indeed relevant to - and trustworthy within - the engineering context. The bound methodology which underlies this work has many different instantiations: finite element approximation; iterative solution techniques; and reduced-basis (parameter) approximation. In this grant we have, in fact, treated all three, but most of our effort has been concentrated on the first and third. We describe these below briefly - but with a pointer to an Appendix which describes, in some detail, the current "state of the art."

Patera, Anthony T.↗
NASA NTRS1995

Metrics and Benchmarks for Visualization

What is a "good" visualization? How can the quality of a visualization be measured? How can one tell whether one visualization is "better" than another? I claim that the true quality of a visualization can only be measured in the context of a particular purpose. The same image generated from the same data may be excellent for one purpose and abysmal for another. A good measure of visualization quality will correspond to the performance of users in accomplishing the intended purpose, so the "gold standard" is user testing. As a user of visualization software (or at least a consultant to such users) I don't expect visualization software to have been tested in this way for every possible use. In fact, scientific visualization (as distinct from more "production oriented" uses of visualization) will continually encounter new data, new questions and new purposes; user testing can never keep up. User need software they can trust, and advice on appropriate visualizations of particular purposes. Considering the following four processes, and their impact on visualization trustworthiness, reveals important work needed to create worthwhile metrics and benchmarks for visualization. These four processes are (1) complete system testing (user-in-loop), (2) software testing, (3) software design and (4) information dissemination. Additional information is contained in the original extended abstract.

Uselton, Samuel P.↗