Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Knowledge constraint”

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

Knowledge-based fault monitoring and diagnosis in Space Shuttle propellant loading

The LOX Expert System (LES), now being developed as a tool for the constraint-based monitoring and analysis of propellant loading at the Kennedy Space Center (KSC), is discussed. The loading of LOX at the KSC and its control and monitoring by the Launch Processing System are summarized, and the relevant problem for LES is presented. The LES database is briefly described, and the interaction of LES with KNOBS, a constraint- and frame-oriented knowledge-based system developed as a demonstration system in aid of tactical air mission planning, is the context of launch processing is discussed in detail. The design and fault isolation techniques of LES are also discussed.

Scarl, E. A.↗

Knowledge representation for commonality

Domain-specific knowledge necessary for commonality analysis falls into two general classes: commonality constraints and costing information. Notations for encoding such knowledge should be powerful and flexible and should appeal to the domain expert. The notations employed by the Commonality Analysis Problem Solver (CAPS) analysis tool are described. Examples are given to illustrate the main concepts.

Yeager, Dorian P.↗

Optimizing GRACE/GRACE-FO Data and A priori Hydrological Knowledge for Improved Global Terrestial Water Storage Component Estimates

The comprehensive information of global terrestrial water storage (TWS) components (soil moisture, groundwater, snow, surface water) is essential for effective assessment of water resource availability, climate variation, and disaster mitigation measures. Observational data provided by the Gravity Recovery And Climate Experiment (GRACE) and GRACE Follow-On satellite missions offer global TWS variation (ΔTWS) in terms of an integrated water column. However, GRACE spatial resolution is relatively coarse (i.e., 3°), and the vertically integrated value cannot be separated into ΔTWS components directly. This study demonstrates the feasibility to estimate ΔTWS components at any desired spatial-vertical resolution by effectively maintaining the native resolution of the employed hydrological knowledge. It utilizes a least-squares with constraints (LSC) approach to rigorously incorporate GRACE and GRACE-FO data and a priori hydrological knowledge, with the aim to improve global ΔTWS components’ accuracy and spatial resolution. The 3°×3° GRACE mascon derived ΔTWS data is disaggregated into the 0.5°×0.5° anomalous soil moisture storage (ΔSMS), groundwater storage (ΔGWS), snow water equivalent (ΔSWE), and surface water storage (ΔSWS) based on the covariance information obtained from the Community Atmosphere Biosphere Land Exchange (CABLE) and the PCRaster Global Water Balance (PCR-GLOBWB) models. Evaluation with different ground measurements and satellite products between 2002 and 2019 exhibits significantly improved accuracy in all individual ΔTWS components. This improvement is of particular note in ΔGWS and ΔSWS, where the LSC approach increases the globally averaged correlation values by approximately 0.13 and 0.05, respectively. Reliable prior knowledge leads to a more accurate ΔTWS component estimate, and the use of ensemble-mean knowledge yields the best result.

GRACE↗

Developing Advanced Support Technologies for Planetary Exploration Missions

The United States Vision for Space Exploration calls for sending robots and humans to explore the Earth s moon, the planet Mars, and beyond. The National Aeronautics and Space Administration (NASA) is developing a set of design reference missions that will provide further detail to these plans. Lunar missions are expected to provide a stepping stone, through operational research and evaluation, in developing the knowledge base necessary to send crews on long duration missions to Mars and other distant destinations. The NASA Exploration Systems Directorate (ExSD), in its program of bioastronautics research, manages the development of technologies that maintain human life, health, and performance in space. Using a systems engineering process and risk management methods, ExSD s Human Support Systems (HSS) Program selects and performs research and technology development in several critical areas and transfers the results of its efforts to NASA exploration mission/systems development programs in the form of developed technologies and new knowledge about the capabilities and constraints of systems required to support human existence beyond Low Earth Orbit. HSS efforts include the areas of advanced environmental monitoring and control, extravehicular activity, food technologies, life support systems, space human factors engineering, and systems integration of all these elements. The HSS Program provides a structured set of deliverable products to meet the needs of exploration programs. these products reduce the gaps that exist in our knowledge of and capabilities for human support for long duration, remote space missions. They also reduce the performance gap between the efficiency of current space systems and the greater efficiency that must be achieved to make human planetary exploration missions economically and logistically feasible. In conducting this research and technology development program, it is necessary for HSS technologists and program managers to develop a common currency for decision making and the allocation of funding. A high level assessment is made of both the knowledge gaps and the system performance gaps across the program s technical project portfolio. This allows decision making that assures proper emphasis areas and provides a key measure of annual technological progress, as exploration mission plans continue to mature.

Berdich, Debra P.↗

Developing Advanced Human Support Technologies for Planetary Exploration Missions

The United States Vision for Space Exploration calls for sending robots and humans to explore the Earth's moon, the planet Mars, and beyond. The National Aeronautics and Space Administration (NASA) is developing a set of design reference missions that will provide further detail to these plans. Lunar missions are expected to provide a stepping stone, through operational research and evaluation, in developing the knowledge base necessary to send crews on long duration missions to Mars and other distant destinations. The NASA Exploration Systems Directorate (ExSD), in its program of bioastronautics research, manages the development of technologies that maintain human life, health, and performance in space. Using a system engineering process and risk management methods, ExSD's Human Support Systems (HSS) Program selects and performs research and technology development in several critical areas and transfers the results of its efforts to NASA exploration mission/systems development programs in the form of developed technologies and new knowledge about the capabilities and constraints of systems required to support human existence beyond Low Earth Orbit. HSS efforts include the areas of advanced environmental monitoring and control, extravehicular activity, food technologies, life support systems, space human factors engineering, and systems integration of all these elements. The HSS Program provides a structured set of deliverable products to meet the needs of exploration programs. These products reduce the gaps that exist in our knowledge of and capabilities for human support for long duration, remote space missions. They also reduce the performance gap between the efficiency of current space systems and the greater efficiency that must be achieved to make human planetary exploration missions economically and logistically feasible. In conducting this research and technology development program, it is necessary for HSS technologists and program managers to develop a common currency for decision making and the allocation of funding. A high level assessment is made of both the knowledge gaps and the system performance gaps across the program s technical project portfolio. This allows decision making that assures proper emphasis areas and provides a key measure of annual technological progress, as exploration mission plans continue to mature.

Berdich, Debra P.↗

Knowledge representation by connection matrices: A method for the on-board implementation of large expert systems

Extremely large knowledge sources and efficient knowledge access characterizing future real-life artificial intelligence applications represent crucial requirements for on-board artificial intelligence systems due to obvious computer time and storage constraints on spacecraft. A type of knowledge representation and corresponding reasoning mechanism is proposed which is particularly suited for the efficient processing of such large knowledge bases in expert systems.

Kellner, A.↗

Trimodal interpretation of constraints for planning

Constraints are used in the CAMPS knowledge based planning system to represent those propositions that must be true for a plan to be acceptable. CAMPS introduces the make-mode for interpreting a constraint. Given an unsatisfied constraint, make evaluation mode suggests planning actions which, if taken, would result in a modified plan in which the constraint in question may be satisfied. These suggested planning actions, termed delta-tuples, are the raw material of intelligent plan repair. They are used both in debugging an almost-right plan and in replanning due to changing situations. Given a defective plan in which some set of constraints are violated, a problem solving strategy selects one or more constraints as a focus of attention. These selected constraints are evaluated in the make-mode to produce delta-tuples. The problem solving strategy then reviews the delta-tuples according to its application and problem-specific criteria to find the most acceptable change in terms of success likelihood and plan disruption. Finally, the problem solving strategy makes the suggested alteration to the plan and then rechecks constraints to find any unexpected consequences.

Krieger, David↗

What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems

Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we investigate "what sensing actions tell us", i.e., what an agent comes to know indirectly from the outcome of a sensing action, given knowledge of its actions and state constraints that hold in the world. To this end, we propose a formalization of the notion of testing within a dialect of the situation calculus that includes knowledge and sensing actions. Realizing this formalization requires addressing the ramification problem for sensing actions. We formalize simple tests as sensing actions. Complex tests are expressed in the logic programming language Golog. We examine what it means to perform a test, and how the outcome of a test affects an agent's state of knowledge. Finally, we propose automated reasoning techniques for test generation and complex-test verification, under certain restrictions. The work presented in this paper is relevant to a number of application domains including diagnostic problem solving, natural language understanding, plan recognition, and active vision.

McIlraith, Sheila↗

MARIKA - A model revision system using qualitative analysis of simulations

This paper describes portions of a novel system called MARIKA (Model Analysis and Revision of Implicit Key Assumptions) to automatically revise a model of the normal human orientation system. The revision is based on analysis of discrepancies between experimental results and computer simulations. The discrepancies are calculated from qualitative analysis of quantitative simulations. The experimental and simulated time series are first discretized in time segments. Each segment is then approximated by linear combinations of simple shapes. The domain theory and knowledge are represented as a constraint network. Incompatibilities detected during constraint propagation within the network yield both parameter and structural model alterations. Interestingly, MARIKA diagnosed a data set from the Massachusetts Eye and Ear Infirmary Vestibular Laboratory as abnormal though the data was tagged as normal. Published results from other laboratories confirmed the finding. These encouraging results could lead to a useful clinical vestibular tool and to a scientific discovery system for space vestibular adaptation.

Groleau, Nicolas↗

Natural Laminar Flow Design for Wings with Moderate Sweep

A new method for the aerodynamic design of wings with natural laminar flow is under development at the NASA Langley Research Center. The approach involves the addition of new flow constraints to an existing knowledge-based design module for use with advanced flow solvers. The uniqueness of the new approach lies in the tailoring of target pressure distributions to achieve laminar flow on transonic wings with leading-edge sweeps and Reynolds numbers typical of current transports. The method is demonstrated on the Common Research Model configuration at critical N-factor levels representative of both flight and high-Reynolds number wind tunnel turbulence levels. The design results for the flight conditions matched the target extent of laminar flow very well. The design at wind tunnel conditions raised some design issues that prompted further improvements in the method, but overall has given promising results.

Campbell, Richard L.↗

Future of the Search for Life: Workshop Report

The 2-week, virtual Future of the Search for Life science and engineering workshop brought together more than 100 scientists, engineers, and technologists in March and April 2022 to provide their expert opinion on the interconnections between life-detection science and technology. Participants identified the advances in measurement and sampling technologies they believed to be necessary to perform in situ searches for life elsewhere in our Solar System, 20 years or more in the future. Among suggested measurements for these searches, those pertaining to three potential indicators of life termed “dynamic disequilibrium,” “catalysis,” and “informational polymers” were identified as particularly promising avenues for further exploration. For these three indicators, small breakout groups of participants identified measurement needs and knowledge gaps, along with corresponding constraints on sample handling (acquisition and processing) approaches for a variety of environments on Enceladus, Europa, Mars, and Titan. Despite the diversity of these environments, sample processing approaches all tend to be more complex than those that have been implemented on missions or envisioned for mission concepts to date. The approaches considered by workshop breakout groups progress from nondestructive to destructive measurement techniques, and most involve the need for fluid (especially liquid) sample processing. Sample processing needs were identified as technology gaps. These gaps include technology and associated sampling strategies that allow the preservation of the thermal, mechanical, and chemical integrity of the samples upon acquisition; and to optimize the sample information obtained by operating suites of instruments on common samples. Crucially, the interplay between science-driven life-detection strategies and their technological implementation highlights the need for an unprecedented level of payload integration and extensive collaboration between scientists and engineers, starting from concept formulation through mission deployment of life-detection instruments and sample processing systems.

Marc Neveu↗

Real-time fuzzy inference based robot path planning

This project addresses the problem of adaptive trajectory generation for a robot arm. Conventional trajectory generation involves computing a path in real time to minimize a performance measure such as expended energy. This method can be computationally intensive, and it may yield poor results if the trajectory is weakly constrained. Typically some implicit constraints are known, but cannot be encoded analytically. The alternative approach used here is to formulate domain-specific knowledge, including implicit and ill-defined constraints, in terms of fuzzy rules. These rules utilize linguistic terms to relate input variables to output variables. Since the fuzzy rulebase is determined off-line, only high-level, computationally light processing is required in real time. Potential applications for adaptive trajectory generation include missile guidance and various sophisticated robot control tasks, such as automotive assembly, high speed electrical parts insertion, stepper alignment, and motion control for high speed parcel transfer systems.

Pacini, Peter J.↗

Uncertainty management by relaxation of conflicting constraints in production process scheduling

Mathematical-analytical methods as used in Operations Research approaches are often insufficient for scheduling problems. This is due to three reasons: the combinatorial complexity of the search space, conflicting objectives for production optimization, and the uncertainty in the production process. Knowledge-based techniques, especially approximate reasoning and constraint relaxation, are promising ways to overcome these problems. A case study from an industrial CIM environment, namely high-grade steel production, is presented to demonstrate how knowledge-based scheduling with the desired capabilities could work. By using fuzzy set theory, the applied knowledge representation technique covers the uncertainty inherent in the problem domain. Based on this knowledge representation, a classification of jobs according to their importance is defined which is then used for the straightforward generation of a schedule. A control strategy which comprises organizational, spatial, temporal, and chemical constraints is introduced. The strategy supports the dynamic relaxation of conflicting constraints in order to improve tentative schedules.

Dorn, Juergen↗

Constraint-based evaluation of sequential procedures

Constraining the operation of an agent requires knowledge of the restrictions to physical and temporal capabilities of that agent, as well as an inherent understanding of the desires being processed by that agent. Usually a set of constraints are available that must be adhered to in order to foster safe operations. In the worst case, violation of a constraint may be cause to terminate operation. If the agent is carrying out a plan, then a method for predicting the agent's desires, and therefore possible constraint violations, is required. The conceptualization of constraint-based reasoning used herein assumes that a system knows how to select a constraint for application as well as how to apply that constraint once it is selected. The application of constraint-based reasoning for evaluating certain kinds of plans known as sequential procedures is discussed. By decomposing these plans, it is possible to apply context dependent constraints in production system fashion without incorporating knowledge of the original planning process.

Barry, Matthew R.↗

Constraints on Mantle Plume Melting Conditions in the Martian Mantle Based on Improved Melting Phase Relationships of Olivine-Phyric Shergottite Yamato 980459

Martian meteorite Yamato 980459 (hereafter Y98) is an olivine-phyric shergottite that has been interpreted as closely approximating a martian mantle melt [1-4], making it an important constraint on adiabatic decompression melting models. It has long been recognized that low pressure melting of the Y98 composition occurs at extremely high temperatures relative to martian basalts (1430 degC at 1 bar), which caused great difficulties in a previous attempt to explain Y98 magma generation via a mantle plume model [2]. However, previous studies of the phase diagram were limited to pressures of 2 GPa and less [2, 5], whereas decompression melting in the present-day martian mantle occurs at pressures of 3-7 GPa, with the shallow boundary of the melt production zone occurring just below the base of the thermal lithosphere [6]. Recent experimental work has now extended our knowledge of the Y98 melting phase relationships to 8 GPa. In light of this improved petrological knowledge, we are therefore reassessing the constraints that Y98 imposes on melting conditions in martian mantle plumes. Two recently discovered olivine- phyric shergottites, Northwest Africa (NWA) 5789 and NWA 6234, may also be primary melts from the martian mantle [7, 8]. However, these latter meteorites have not been the subject of detailed experimental petrology studies, so we focus here on Y98.

Kiefer, Walter S.↗

Constraining Venus and Mars Internal Structures from the Gravity Response to Atmospheric Loading

The gravity fields of celestial bodies that possess an atmosphere are periodically perturbed by the redistribution of fluid mass associated with the atmospheric dynamics. A component of this perturbation is due to the gravitational response of the body to the deformation of its surface induced by the atmospheric pressure loading. The magnitude of this effect depends on the relation between the loading and the response in terms of geopotential variations measured by the load Love numbers. In this work, we simulate and analyze the gravity field generated by the atmospheres of Venus and Mars by accounting for different models of their internal structure. By precisely characterizing the phenomena that drive the mass transportation in the atmosphere through general circulation models, we determine the effect of the interior structure on the response to the atmospheric loading. An accurate estimation of the time-varying gravity field, which measures the atmospheric contribution, may provide significant constraints on the interior structure through the measurement of the load Love numbers. A combined determination of tidal and load Love numbers would enhance our knowledge of the interior of planetary bodies, providing further geophysical constraints in the inversion of internal structure models.The gravity fields of celestial bodies that possess an atmosphere are periodically perturbed by the redistribution of fluid mass associated with the atmospheric dynamics. A component of this perturbation is due to the gravitational response of the body to the deformation of its surface induced by the atmospheric pressure loading. The magnitude of this effect depends on the relation between the loading and the response in terms of geopotential variations measured by the load Love numbers. In this work, we simulate and analyze the gravity field generated by the atmospheres of Venus and Mars by accounting for different models of their internal structure. By precisely characterizing the phenomena that drive the mass transportation in the atmosphere through general circulation models, we determine the effect of the interior structure on the response to the atmospheric loading. An accurate estimation of the time-varying gravity field, which measures the atmospheric contribution, may provide significant constraints on the interior structure through the measurement of the load Love numbers. A combined determination of tidal and load Love numbers would enhance our knowledge of the interior of planetary bodies, providing further geophysical constraints in the inversion of internal structure models.

Mars↗

ATOS-1: Designing the infrastructure for an advanced spacecraft operations system

The space industry has identified the need to use artificial intelligence and knowledge based system techniques as integrated, central, symbolic processing components of future mission design, support and operations systems. Various practical and commercial constraints require that off-the-shelf applications, and their knowledge bases, are reused where appropriate and that different mission contractors, potentially using different KBS technologies, can provide application and knowledge sub-modules of an overall integrated system. In order to achieve this integration, which we call knowledge sharing and distributed reasoning, there needs to be agreement on knowledge representations, knowledge interchange-formats, knowledge level communications protocols, and ontology. Research indicates that the latter is most important, providing the applications with a common conceptualization of the domain, in our case spacecraft operations, mission design, and planning. Agreement on ontology permits applications that employ different knowledge representations to interwork through mediators which we refer to as knowledge agents. This creates the illusion of a shared model without the constraints, both technical and commercial, that occur in centralized or uniform architectures. This paper explains how these matters are being addressed within the ATOS program at ESOC, using techniques which draw upon ideas and standards emerging from the DARPA Knowledge Sharing Effort. In particular, we explain how the project is developing an electronic Ontology of Spacecraft Operations and how this can be used as an enabling component within space support systems that employ advanced software engineering. We indicate our hope and expectation that the core ontology developed in ATOS, will permit the full development of standards for such systems throughout the space industry.

Poulter, K. J.↗