Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “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 343 records · Page 19

Thunderstorm Hypothesis Reasoner

THOR is a knowledge-based system which incorporates techniques from signal processing, pattern recognition, and artificial intelligence (AI) in order to determine the boundary of small thunderstorms which develop and dissipate over the area encompassed by KSC and the Cape Canaveral Air Force Station. THOR interprets electric field mill data (derived from a network of electric field mills) by using heuristics and algorithms about thunderstorms that have been obtained from several domain specialists. THOR generates two forms of output: contour plots which visually describe the electric field activity over the network and a verbal interpretation of the activity. THOR uses signal processing and pattern recognition to detect signatures associated with noise or thunderstorm behavior in a near real time fashion from over 31 electrical field mills. THOR's AI component generates hypotheses identifying areas which are under a threat from storm activity, such as lightning. THOR runs on a VAX/VMS at the Kennedy Space Center. Its software is a coupling of C and FORTRAN programs, several signal processing packages, and an expert system development shell.

Mulvehill, Alice M.↗

Enhancements to the KATE model-based reasoning system

KATE (Knowledge-based Autonomous Test Engineer) is a model-based software system developed in the Artificial Intelligence Laboratory at the Kennedy Space Center for monitoring, fault detection, and control of launch vehicles and ground support systems. This report describes two software efforts which enhance the functionality and usability of KATE. The first addition, a flow solver, adds to KATE a tool for modeling the flow of liquid in a pipe system. The second addition adds support for editing KATE knowledge base files to the Emacs editor. The body of this report discusses design and implementation issues having to do with these two tools. It will be useful to anyone maintaining or extending either the flow solver or the editor enhancements.

Thomas, Stan J.↗

On a production system using default reasoning for pattern classification

This paper addresses an unconventional application of a production system to a problem involving belief specialization. The production system reduces a large quantity of low-level descriptions into just a few higher-level descriptions that encompass the problem space in a more tractable fashion. This classification process utilizes a set of descriptions generated by combining the component hierarchy of a physical system with the semantics of the terminology employed in its operation. The paper describes an application of this process in a program, constructed in C and CLIPS, that classifies signatures of electromechanical system configurations. The program compares two independent classifications, describing the actual and expected system configurations, in order to generate a set of contradictions between the two.

Barry, Matthew R.↗

Application of Fuzzy Reasoning for Filtering and Enhancement of Ultrasonic Images

This paper presents a new type of an adaptive fuzzy operator for detection of isolated abnormalities, and enhancement of raw ultrasonic images. Fuzzy sets used in decision rules are defined for each image based on empirical statistics of the color intensities. Examples of the method are also presented in the paper.

Sacha, J. P.↗

Using Model-Based Reasoning for Autonomous Instrument Operation

Multiprobe missions are an important part of NASA's future: Cluster, Magnetospheric Multi Scale, Global Electrodynamics and Magnetospheric Constellation are representatives from the Sun-Earth Connections Theme. To make such missions robust, reliable, and affordable, ideally the many spacecraft of a constellation must be at least as easy to operate as one spacecraft is today. To support this need for scalability, science instrumentation must become increasingly easy to operate, even as this same instrumentation becomes more capable and advanced. Communication and control resources will be at a premium for future instruments. Many missions will be out of contact with ground operators for extended periods either to reduce operations cost or because of orbits that limit communication to weekly perigee transits. Autonomous capability is necessary if such missions are to effectively achieve their operational objectives. An autonomous system is one that acts given its situation in a mission appropriate manner without external direction to achieve mission goals. To achieve this capability autonomy must be built into the system through judicious design or through a built-in intelligence that recognizes system state and manages system response. To recognize desired or undesired system states, the system must have an implicit or explicit understanding of its expected states given its history and self observations. The systems we are concerned with, science instruments, can have stringent requirements for system state knowledge in addition to requirements driven by health and safety concerns. Without accurate knowledge of the system state, the usefulness of the science instrument may be severely limited. At the same time, health and safety concerns often lead to overly conservative instrument operations further reducing the effectiveness of the instrument. These requirements, coupled with overall mission requirements including lack of communication opportunities and tolerance of environmental hazards, frame the problem of constructing autonomous science instruments. we are developing a model of the Low Energy Neutral Atom instrument (LENA) that is currently flying on board the Imager for Magnetosphere-to-Aurora Global Exploration (IMAGE) spacecraft. LENA is a particle detector that uses high voltage electrostatic optics and time-of-flight mass spectrometry to image neutral atom emissions from the denser regions of the Earth's magnetosphere. As with most spacecraft borne science instruments, phenomena in addition to neutral atoms are detected by LENA. Solar radiation and energetic particles from Earth's radiation belts are of particular concern because they may help generate currents that may compromise LENA's long term performance. An explicit model of the instrument response has been constructed and is currently in use on board IMAGE to dynamically adapt LENA to the presence or absence of energetic background radiations. The components of LENA are common in space science instrumentation, and lessons learned by modelling this system may be applied to other instruments. This work demonstrates that a model-based approach can be used to enhance science instrument effectiveness. Our future work involves the extension of these methods to cover more aspects of LENA operation and the generalization to other space science instrumentation.

Johnson, Mike↗

The Development of the TRMM Mission and the Reasons for its Scientific Success

A short history of the development of the TRMM mission will be described focusing on the development of the science requirements, the close collaboration between the U.S. and Japan, and the technological and scientific success of the mission. The initial TRMM science workshop was held in 1986 and with the science requirements derived from that start a set of instruments were developed to measure tropical precipitation for the first mission with that parameter as the principal focus. Implementation of the mission concept was carried out by through close cooperation between U.S. and Japanese scientists, engineers and managers. The Tropical Rainfall Measuring Mission (TRMM) has now completed three years in orbit. A short summary of research highlights will be presented and these successes will be traced back to the scientific and programmatic approaches used to develop and manage the mission. Plans for a Global Precipitation Mission (GPM) based on the successful approach used for TRMM will also be outlined.

Kakar, Ramesh↗

Fast Context Switching in Real-Time Propositional Reasoning

The trend to increasingly capable and affordable control processors has generated an explosion of embedded real-time gadgets that serve almost every function imaginable. The daunting task of programming these gadgets is greatly alleviated with real-time deductive engines that perform all execution and monitoring functions from a single core model, Fast response times are achieved using an incremental propositional deductive database (an LTMS). Ideally the cost of an LTMS's incremental update should be linear in the number of labels that change between successive contexts. Unfortunately an LTMS can expend a significant percentage of its time working on labels that remain constant between contexts. This is caused by the LTMS's conservative approach: a context switch first removes all consequences of deleted clauses, whether or not those consequences hold in the new context. This paper presents a more aggressive incremental TMS, called the ITMS, that avoids processing a significant number of these consequences that are unchanged. Our empirical evaluation for spacecraft control shows that the overhead of processing unchanged consequences can be reduced by a factor of seven.

Nayak, P. Pandurang↗

The Recent Mars Global Warming (MGW) and/or South Pole Advance (SPA) Hypothesis: Global Geological Evidence and Reasons Why Gullies Could Still be Forming Today

Hundreds of modern striped valleys, rock glaciers, debris-covered glaciers, and cryokarstic features localized in a strict latitude/altitude domain show a clear morphological and environmental continuum best explained by a recent climate change. Additional information is contained in the original extended abstract.

Cabrol, Nathalie A.↗

Teamwork Reasoning and Multi-Satellite Missions

NASA is rapidly moving towards the use of spatially distributed multiple satellites operating in near Earth orbit and Deep Space. Effective operation of such multi-satellite constellations raises many key research issues. In particular, the satellites will be required to cooperate with each other as a team that must achieve common objectives with a high degree of autonomy from ground based operations. The multi-agent research community has made considerable progress in investigating the challenges of realizing such teamwork. In this report, we discuss some of the teamwork issues that will be faced by multi-satellite operations. The basis of the discussion is a particular proposed mission, the Magnetospheric MultiScale mission to explore Earth's magnetosphere. We describe this mission and then consider how multi-agent technologies might be applied in the design and operation of these missions. We consider the potential benefits of these technologies as well as the research challenges that will be raised in applying them to NASA multi-satellite missions. We conclude with some recommendations for future work.

Marsella, Stacy C.↗

Binarization of Gray-Scaled Digital Images Via Fuzzy Reasoning

A new fast-computational technique based on fuzzy entropy measure has been developed to find an optimal binary image threshold. In this method, the image pixel membership functions are dependent on the threshold value and reflect the distribution of pixel values in two classes; thus, this technique minimizes the classification error. This new method is compared with two of the best-known threshold selection techniques, Otsu and Huang-Wang. The performance of the proposed method supersedes the performance of Huang-Wang and Otsu methods when the image consists of textured background and poor printing quality. The three methods perform well but yield different binarization approaches if the background and foreground of the image have well-separated gray-level ranges.

Dominquez, Jesus A.↗

Dynamic Constraint Satisfaction with Reasonable Global Constraints

Previously studied theoretical frameworks for dynamic constraint satisfaction problems (DCSPs) employ a small set of primitive operators to modify a problem instance. They do not address the desire to model problems using sophisticated global constraints, and do not address efficiency questions related to incremental constraint enforcement. In this paper, we extend a DCSP framework to incorporate global constraints with flexible scope. A simple approach to incremental propagation after scope modification can be inefficient under some circumstances. We characterize the cases when this inefficiency can occur, and discuss two ways to alleviate this problem: adding rejection variables to the scope of flexible constraints, and adding new features to constraints that permit increased control over incremental propagation.

Frank, Jeremy↗

Binarization of Gray-Scaled Digital Images Via Fuzzy Reasoning

A new fast-computational technique based on fuzzy entropy measure has been developed to find an optimal binary image threshold. In this method, the image pixel membership functions are dependent on the threshold value and reflect the distribution of pixel values in two classes; thus, this technique minimizes the classification error. This new method is compared with two of the best-known threshold selection techniques, Otsu and Huang-Wang. The performance of the proposed method supersedes the performance of Huang- Wang and Otsu methods when the image consists of textured background and poor printing quality. The three methods perform well but yield different binarization approaches if the background and foreground of the image have well-separated gray-level ranges.

Dominquez, Jesus A.↗

Evidence of pathogenic microbes in the International Space Station drinking water: reason for concern?

Molecular analyses were carried out on four preflight and six postflight International Space Station (ISS)-associated potable water samples at various stages of purification, storage, and transport, to ascertain their associated microbial diversities and overall microbial burdens. Following DNA extraction, PCR amplification, and molecular cloning procedures, rDNA sequences closely related to pathogenic species of Acidovorax, Afipia, Brevundimonas, Propionibacterium, Serratia, and others were recovered in varying abundance. Retrieval of sequences arising from the iodine (biocide)-reducing Delftia acidovorans in postflight waters is also of concern. Total microbial burdens of ISS potable waters were derived from data generated by an ATP-based enumeration procedure, with results ranging from 0 to 4.9 x 10(4) cells/ml. Regardless of innate biases in sample collection and analysis, such circumstantial evidence for the presence of viable, intact pathogenic cells should not be taken lightly. Implementation of new cultivation approaches and/or viability-based assays are requisite to confirm such an occurrence.

STS-113 Shuttle Project↗

Constraint-based Temporal Reasoning with Preferences

Often we need to work in scenarios where events happen over time and preferences are associated to event distances and durations. Soft temporal constraints allow one to describe in a natural way problems arising in such scenarios. In general, solving soft temporal problems require exponential time in the worst case, but there are interesting subclasses of problems which are polynomially solvable. In this paper we identify one of such subclasses giving tractability results. Moreover, we describe two solvers for this class of soft temporal problems, and we show some experimental results. The random generator used to build the problems on which tests are performed is also described. We also compare the two solvers highlighting the tradeoff between performance and robustness. Sometimes, however, temporal local preferences are difficult to set, and it may be easier instead to associate preferences to some complete solutions of the problem. To model everything in a uniform way via local preferences only, and also to take advantage of the existing constraint solvers which exploit only local preferences, we show that machine learning techniques can be useful in this respect. In particular, we present a learning module based on a gradient descent technique which induces local temporal preferences from global ones. We also show the behavior of the learning module on randomly-generated examples.

Khatib, Lina↗

Reasoning abstractly about resources

r describes a way to schedule high level activities before distributing them across multiple rovers in order to coordinate the resultant use of shared resources regardless of how each rover decides how to perform its activities. We present an algorithm for summarizing the metric resource requirements of an abstract activity based n the resource usages of its potential refinements.

abstraction planning rovers multiple agents↗