Search NASA⌕ Search

SEARCH · Search NASA

Results for “causal 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.

At least 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS2006

A Bayesian Framework for Landing Site Selection During Autonomous Spacecraft Descent

The success of a landed space exploration mission depends largely on the final landing site. Factors influencing site selection include safety, fuel-consumption, and scientific return. This paper addresses the problem of selecting the best available landing site based on these factors in real-time during autonomous spacecraft descent onto a planetary surface. The problem is modeled probabilistically using Bayesian Networks (BNs). BNs provide a means of representing the causal relationships between variables that impact the quality of a landing site. The final landing site is determined via probabilistic reasoning based on terrain safety derived from on-board sensors, available fuel based on spacecraft descent dynamics, and regions of interest defined by mission scientists.

entry, descent, landing (EDL)↗
NASA NTRS2002

Properties of the Residual Stress of the Temporally Filtered Navier-Stokes Equations

The development of a unifying framework among direct numerical simulations, large-eddy simulations, and statistically averaged formulations of the Navier-Stokes equations, is of current interest. Toward that goal, the properties of the residual (subgrid-scale) stress of the temporally filtered Navier-Stokes equations are carefully examined. Causal time-domain filters, parameterized by a temporal filter width 0 less than Delta less than infinity, are considered. For several reasons, the differential forms of such filters are preferred to their corresponding integral forms; among these, storage requirements for differential forms are typically much less than for integral forms and, for some filters, are independent of Delta. The behavior of the residual stress in the limits of both vanishing and in infinite filter widths is examined. It is shown analytically that, in the limit Delta to 0, the residual stress vanishes, in which case the Navier-Stokes equations are recovered from the temporally filtered equations. Alternately, in the limit Delta to infinity, the residual stress is equivalent to the long-time averaged stress, and the Reynolds-averaged Navier-Stokes equations are recovered from the temporally filtered equations. The predicted behavior at the asymptotic limits of filter width is further validated by numerical simulations of the temporally filtered forced, viscous Burger's equation. Finally, finite filter widths are also considered, and a priori analyses of temporal similarity and temporal approximate deconvolution models of the residual stress are conducted.

Pruett, C. D.↗
DOE OSTI2023

Back to the future: Causality on a moving braneworld

Brane observers executing appropriate motion through a partially compactified Lorentz invariant bulk spacetime, such as M 4 × S 1 , can send signals along the brane that are instantaneous or even travel backward in time. Nevertheless, causality in the braneworld remains intact. We establish these results, which follow from superluminal signal propagation reported in Greene et al. [Superluminal propagation on a moving braneworld, Phys. Rev. D 106, 085001 (2022).], through classical analysis and then extend our reasoning by examining quantum mechanical microcausality. Finally, one implication is the capacity for real time communication across arbitrarily large distances.

79 ASTRONOMY AND ASTROPHYSICS↗
NASA NTRS1992

An architecture for the development of real-time fault diagnosis systems using model-based reasoning

Presented here is an architecture for implementing real-time telemetry based diagnostic systems using model-based reasoning. First, we describe Paragon, a knowledge acquisition tool for offline entry and validation of physical system models. Paragon provides domain experts with a structured editing capability to capture the physical component's structure, behavior, and causal relationships. We next describe the architecture of the run time diagnostic system. The diagnostic system, written entirely in Ada, uses the behavioral model developed offline by Paragon to simulate expected component states as reflected in the telemetry stream. The diagnostic algorithm traces causal relationships contained within the model to isolate system faults. Since the diagnostic process relies exclusively on the behavioral model and is implemented without the use of heuristic rules, it can be used to isolate unpredicted faults in a wide variety of systems. Finally, we discuss the implementation of a prototype system constructed using this technique for diagnosing faults in a science instrument. The prototype demonstrates the use of model-based reasoning to develop maintainable systems with greater diagnostic capabilities at a lower cost.

Hall, Gardiner A.↗
NASA NTRS2001

Space Shuttle RTOS Bayesian Network

With shrinking budgets and the requirements to increase reliability and operational life of the existing orbiter fleet, NASA has proposed various upgrades for the Space Shuttle that are consistent with national space policy. The cockpit avionics upgrade (CAU), a high priority item, has been selected as the next major upgrade. The primary functions of cockpit avionics include flight control, guidance and navigation, communication, and orbiter landing support. Secondary functions include the provision of operational services for non-avionics systems such as data handling for the payloads and caution and warning alerts to the crew. Recently, a process to selection the optimal commercial-off-the-shelf (COTS) real-time operating system (RTOS) for the CAU was conducted by United Space Alliance (USA) Corporation, which is a joint venture between Boeing and Lockheed Martin, the prime contractor for space shuttle operations. In order to independently assess the RTOS selection, NASA has used the Bayesian network-based scoring methodology described in this paper. Our two-stage methodology addresses the issue of RTOS acceptability by incorporating functional, performance and non-functional software measures related to reliability, interoperability, certifiability, efficiency, correctness, business, legal, product history, cost and life cycle. The first stage of the methodology involves obtaining scores for the various measures using a Bayesian network. The Bayesian network incorporates the causal relationships between the various and often competing measures of interest while also assisting the inherently complex decision analysis process with its ability to reason under uncertainty. The structure and selection of prior probabilities for the network is extracted from experts in the field of real-time operating systems. Scores for the various measures are computed using Bayesian probability. In the second stage, multi-criteria trade-off analyses are performed between the scores. Using a prioritization of measures from the decision-maker, trade-offs between the scores are used to rank order the available set of RTOS candidates.

Morris, A. Terry↗
DOE OSTI2023

Comparative Study of High-Resolution LysB29(Nε-myristoyl) des(B30) Insulin Structures Display Novel Dynamic Causal Interrelations in Monomeric-Dimeric Motions

The treatment of insulin-dependent diabetes mellitus is characterized by artificial supplementation of pancreatic β-cell ability to regulate sugar levels in the blood. Even though various insulin analogs are crucial for reasonable glycemic control, understanding the dynamic mechanism of the insulin analogs may help to improve the best-protracted insulin analog to assist people with type 1 diabetes (T1D) to live comfortably while maintaining tight glycemic control. Here, we present the high-resolution crystal structure of NN304, known as insulin detemir, to 1.7 Å resolution at cryogenic temperature. We computationally further investigated our crystal structure’s monomeric-dimeric conformation and dynamic profile by comparing it with a previously available detemir structure (PDB ID: 1XDA). Our structure (PDB ID: 8HGZ), obtained at elevated pH, provides electrostatically triggered minor movements in the equilibrium between alternate conformational substates compared to the previous structure, suggesting it might induce an intermediate state in the dissociation pathway of the insulin detemir’s hexamer:dihexamer equilibrium. Supplemented with orientational cross-correlation analysis by a Gaussian network model (GNM), this alternate oligomeric conformation offers the distinct cooperative motions originated by loose coupling of distant conformational substates of a protracted insulin analog that has not been previously observed.

59 BASIC BIOLOGICAL SCIENCES↗
NASA NTRS1993

Case-based approach to handling aircraft malfunctions

Reasoning about physical systems in operation is a difficult task, and any attempt to automate the process must overcome the problems of modeling normal behavior, diagnosing faults, and predicting future behavior. This paper describes a prototypical case-based reasoner (CBR) that operates in the domain of in-flight fault diagnosis and prognosis of aviation subsystems, particularly jet engines. The reasoner operates on the observation that the ability of a CBR program to reason about physical systems can be significantly enhanced by the addition to the CBR program of a model of the physical system to describe the system's structural, functional, and causal behavior.

Karamouzis, Stamos T.↗
DOE OSTI2023

Operation Optimization using Reinforcement Learning with Integrated Artificial Reasoning Framework

In large and complex systems, operational decision-making requires a systematic analysis with a vast amount of data from both process parameters and component status monitoring. In this paper, we present an integrated artificial reasoning approach for system state transition models that can help operational decision-making with explainable and traceable reasoning. The integrated artificial reasoning framework is a physics-based approach of defining the system structure in a Bayesian network, so we leveraged it in a Markov decision process (MDP) for finding optimal operational solutions. In our proposed framework, the MDP is implemented on a dynamic Bayesian network (DBN), which represents causalities in a system. The multilevel flow modeling was utilized in order to extract these causalities in a more efficient and objective manner. Since multilevel flow modeling is based on the fundamental energy and mass conservation laws, the target system is decomposed into several mass, energy, and information structures, which serve as the basis for a DBN. The MDP consists of the processes of finding a solution for the Bellman equation, which can be derived from the conditional probability equations of the constructed DBN. System operators can capture stochastic system dynamics as multiple subsystem state transitions based on their physical relations and uncertainties coming from the component degradation process or random failures. We analyzed a simplified example system to illustrate finding an optimal operational policy with this approach.

99 GENERAL AND MISCELLANEOUS↗
NASA NTRS2005

PlanWorks: A Debugging Environment for Constraint Based Planning Systems

Numerous planning and scheduling systems employ underlying constraint reasoning systems. Debugging such systems involves the search for errors in model rules, constraint reasoning algorithms, search heuristics, and the problem instance (initial state and goals). In order to effectively find such problems, users must see why each state or action is in a plan by tracking causal chains back to part of the initial problem instance. They must be able to visualize complex relationships among many different entities and distinguish between those entities easily. For example, a variable can be in the scope of several constraints, as well as part of a state or activity in a plan; the activity can arise as a consequence of another activity and a model rule. Finally, they must be able to track each logical inference made during planning. We have developed PlanWorks, a comprehensive system for debugging constraint-based planning and scheduling systems. PlanWorks assumes a strong transaction model of the entire planning process, including adding and removing parts of the constraint network, variable assignment, and constraint propagation. A planner logs all transactions to a relational database that is tailored to support queries for of specialized views to display different forms of data (e.g. constraints, activities, resources, and causal links). PlanWorks was specifically developed for the Extensible Universal Remote Operations Planning Architecture (EUROPA(sub 2)) developed at NASA, but the underlying principles behind PlanWorks make it useful for many constraint-based planning systems. The paper is organized as follows. We first describe some fundamentals of EUROPA(sub 2). We then describe PlanWorks' principal components. We then discuss each component in detail, and then describe inter-component navigation features. We close with a discussion of how PlanWorks is used to find model flaws.

Daley, Patrick↗
NASA NTRS2019

Radar Detection of High Concentrations of Ice Particles - Methodology and Preliminary Flight Test Results

High Ice Water Content (HIWC) has been identified as a primary causal factor in numerous engine events over the past two decades. Previous attempts to develop a remote detection process utilizing modern commercial radars have failed to produce reliable results. This paper discusses the reasons for previous failures and describes a new technique that has shown very encouraging accuracy and range performance without the need for any hardware modifications to industry’s current radar designs. The performance of this new process was evaluated during the joint NASA/FAA HIWC RADAR II Flight Campaign in August of 2018. Results from that evaluation are discussed, along with the potential for commercial application, and development of minimum operational performance standards for a future commercial radar product.

Harrah, Steven D.↗
NASA NTRS1994

Science observed: The mass-extinction debates

The upheaval triggered in 1980 by the Alvarez-Berkeley group impact hypothesis transformed the literature of mass extinctions from an unfocused, sporadic collection of papers that virtually ignored extraterrestrial causes and treated endogenous ones only sparingly better to an integrated, diverse body of literature. Research programs organized seemingly overnight spawned collaborative teams whose members, often from distant, isolated disciplines, redirected their careers in order to address the captivating, high-stakes issues. The initial, generally skeptical, cool reception of the impact hypothesis might have been predicted for any of a number of reasons: such an instantaneous catastrophe contravened earth science's reigning philosophy of uniformitarianism; it was formulated from a form of evidence - siderophile element anomalies - alien to the community charged with its appraisal; it advanced a causal mechanism that was improbable in terms of canonical knowledge; and it was proffered mainly by specialists alien to earth and biological science, especially paleobiology. Early on it became clear that irrespective of which causal hypothesis was chosen, the chosen one would be the strongest predictor of how the chooser would select and apply standards in assessing evidence bearing on all such hypothesis. Less strong correlation also appeared between disciplinary speciality and the assessment of evidence. Such correlations varied with the level of specialization; the most robust correlations appeared in the broadest areas of science practice. The gestalt (mindset) seemingly engendered by the embrace of an extinction hypothesis overrode, or was stronger than, the intellectual predispositions attributable to disciplinary specialty.

Glen, W.↗
DOE OSTI2022

A Qualitative Strategy for Fusion of Physics into Empirical Models for Process Anomaly Detection

To facilitate the automated online monitoring of power plants, a systematic and qualitative strategy for anomaly detection is presented. This strategy is essential to provide credible reasoning on why and when an empirical versus hybrid (i.e., physics-supported) approach should be used and to determine the ideal mix of these two approaches for a defined anomaly detection scope. Empirical methods are usually based on pattern, statistical, and causal inference. Hybrid methods include the use of physics models to train and test data methods, reduce data dimensionality, reduce data-model complexity, augment data, and reduce empirical uncertainty; hybrid methods also include the use of data to tune physics models. The presented strategy is driven by key decision points related to data relevance, simple modeling feasibility, data inference, physics-modeling value, data dimensionality, physics knowledge, method of validation, performance, data availability, and suitability for training and testing, cause-effect, entropy inference, and model fitting. The strategy is demonstrated through a pilot use case for the application of anomaly detection to capture a valve packing leak at the high-pressure coolant injection system of a nuclear power plant.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2024

Further adoption of conservation tillage can increase maize yields in the western US Corn Belt

Conservation tillage can reduce soil erosion, increase soil health, and decrease labor and fuel input costs. Despite these benefits, potential yield impacts remain an important concern for farmers considering adoption. Previous research suggests that conservation tillage is likely to have the largest yield benefits in more arid conditions, but a lack of field-level analyses across climatic, management and soil conditions limits confidence in such predictions. Satellite imagery provides the opportunity to monitor agricultural lands at sub-field resolution across large spatial scales and wide environmental gradients. Here we investigate the maize yield impacts of conservation tillage in the semi-arid western US Corn Belt, using sub-field resolution datasets on tillage practices and crop yields derived from satellite data spanning four states (Nebraska, Kansas, South Dakota, and North Dakota) between 2008 and 2020. On these datasets, we estimate heterogenous yield outcomes for several thousand maize fields across gradients in climate, soil quality and irrigation status by using a causal forests analysis, an adaptation of the random forests machine-learning algorithm for causal inference on observational data. We find that long-term adoption of conservation tillage increased rainfed maize yields by an average of 9.9% in the region. Impacts on irrigated yields were small and not statistically significant. These results, along with an analysis of variables related to greater than average yield benefits, indicate that improved water infiltration and retention are the primary reasons for conservation tillage benefits. Despite yield benefits, many fields estimated to see increased yields under long term low till have not adopted the practice. Therefore, we identify specific counties likely to benefit most from increased levels of adoption. Our results strengthen the understanding of the impacts of conservation agriculture on crop yields and help define environments and counties most likely to benefit from conservation tillage.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS1981

A cloud/particle model of the interstellar medium - Galactic spiral structure

A cloud/particle model for gas flow in galaxies is developed that incorporates cloud-cloud collisions and supernovae as dominant local processes. Cloud-cloud collisions are the main means of dissipation. To counter this dissipation and maintain local dispersion, supernova explosions in the medium administer radial snowplow pushes to all nearby clouds. The causal link between these processes is that cloud-cloud collisions will form stars and that these stars will rapidly become supernovae. The cloud/particle model is tested and used to investigate the gas dynamics and spiral structures in galaxies where these assumptions may be reasonable. Particular attention is given to whether large-scale galactic shock waves, which are thought to underlie the regular well-delineated spiral structure in some galaxies, form and persist in a cloud-supernova dominated interstellar medium; this question is answered in the affirmative.

Levinson, F. H.↗
NASA NTRS2004

Investigation Organizer

Contents include the folloving:Overview of the Application; Input Data; Analytical Process; Tool's Output; and Application of the Results of the Analysis.The tool enables the first element through a Web-based application that can be accessed by distributed teams to store and retrieve any type of digital investigation material in a secure environment. The second is accomplished by making the relationships between information explicit through the use of a semantic network-a structure that literally allows an investigator or team to "connect -the-dots." The third element, the significance of the correlated information, is established through causality and consistency tests using a number of different methods embedded within the tool, including fault trees, event sequences, and other accident models. And finally, the evidence gathered and structured within the tool can be directly, electronically archived to preserve the evidence and investigative reasoning.

Panontin, Tina↗
NASA NTRS2007

Systems Modeling to Implement Integrated System Health Management Capability

ISHM capability includes: detection of anomalies, diagnosis of causes of anomalies, prediction of future anomalies, and user interfaces that enable integrated awareness (past, present, and future) by users. This is achieved by focused management of data, information and knowledge (DIaK) that will likely be distributed across networks. Management of DIaK implies storage, sharing (timely availability), maintaining, evolving, and processing. Processing of DIaK encapsulates strategies, methodologies, algorithms, etc. focused on achieving high ISHM Functional Capability Level (FCL). High FCL means a high degree of success in detecting anomalies, diagnosing causes, predicting future anomalies, and enabling health integrated awareness by the user. A model that enables ISHM capability, and hence, DIaK management, is denominated the ISHM Model of the System (IMS). We describe aspects of the IMS that focus on processing of DIaK. Strategies, methodologies, and algorithms require proper context. We describe an approach to define and use contexts, implementation in an object-oriented software environment (G2), and validation using actual test data from a methane thruster test program at NASA SSC. Context is linked to existence of relationships among elements of a system. For example, the context to use a strategy to detect leak is to identify closed subsystems (e.g. bounded by closed valves and by tanks) that include pressure sensors, and check if the pressure is changing. We call these subsystems Pressurizable Subsystems. If pressure changes are detected, then all members of the closed subsystem become suspect of leakage. In this case, the context is defined by identifying a subsystem that is suitable for applying a strategy. Contexts are defined in many ways. Often, a context is defined by relationships of function (e.g. liquid flow, maintaining pressure, etc.), form (e.g. part of the same component, connected to other components, etc.), or space (e.g. physically close, touching the same common element, etc.). The context might be defined dynamically (if conditions for the context appear and disappear dynamically) or statically. Although this approach is akin to case-based reasoning, we are implementing it using a software environment that embodies tools to define and manage relationships (of any nature) among objects in a very intuitive manner. Context for higher level inferences (that use detected anomalies or events), primarily for diagnosis and prognosis, are related to causal relationships. This is useful to develop root-cause analysis trees showing an event linked to its possible causes and effects. The innovation pertaining to RCA trees encompasses use of previously defined subsystems as well as individual elements in the tree. This approach allows more powerful implementations of RCA capability in object-oriented environments. For example, if a pressurizable subsystem is leaking, its root-cause representation within an RCA tree will show that the cause is that all elements of that subsystem are suspect of leak. Such a tree would apply to all instances of leak-events detected and all elements in all pressurizable subsystems in the system. Example subsystems in our environment to build IMS include: Pressurizable Subsystem, Fluid-Fill Subsystem, Flow-Thru-Valve Subsystem, and Fluid Supply Subsystem. The software environment for IMS is designed to potentially allow definition of any relationship suitable to create a context to achieve ISHM capability.

Figueroa, Jorge F.↗
NASA NTRS2000

Significant Findings: Tracking the SeaWiFS Record with a Coupled Physical/Biogeochemical/Radiative Model of the Global Oceans

The Sea-Viewing Wide Field-of-view Sensor (SeaWiFS) has observed 2.5 years of routine global chlorophyll observations from space. The mission was launched into a record El Nino event, which eventually gave way to one of the most intensive and longest-lasting La Nina events ever recorded. The SeaWiFS chlorophyll record captured the response of ocean phytoplankton to these significant events in the tropical Indo-Pacific basins, but also indicated significant interannual variability unrelated to the El Nino/La Nina events. This included large variability in the North Atlantic and Pacific basins, in the North Central and equatorial Atlantic, and milder patterns in the North Central Pacific. This SeaWiFS record was tracked with a coupled physical/biogeochemical/radiative model of the global oceans using near-real-time forcing data such as wind stresses, sea surface temperatures, and sea ice. This provided an opportunity to offer physically and biogeochemically meaningful explanations of the variability observed in the SeaWiFS data set, since the causal mechanisms and interrelationships of the model are completely understood. The coupled model was able to represent the seasonal distributions of chlorophyll during the SeaWiFS era, and was capable of differentiating among the widely different processes and dynamics occurring in the global oceans. The model was also reasonably successful in representing the interannual signal, especially when it was large, such as, the El Nino and La Nina events in the tropical Pacific and Indian Oceans. The model provided different phytoplankton group responses for the different events in these regions: diatoms were predominant in the tropical Pacific during the La Nina but other groups were predominant during El Nino. The opposite condition occurred in the tropical Indian Ocean. Both situations were due to the different responses of the basins to El Nino. The interannual variability in the North Atlantic, which was exhibited in SeaWiFS data as a decline in the spring/summer bloom in 1999 relative to 1998, resulted in the model from a more slowly shoaling mixed layer, allowing herbivore populations to keep pace with increasing phytoplankton populations. However, several aspects of the interannual cycle were not well-represented by the model. Explanations ranged from inherent model deficiencies, to monthly averaging of forcing fields, to biases in SeaWiFS atmospheric correction procedures.

Watson, Gregg W.↗