Search NASA⌕ Search

SEARCH · Search NASA

Results for “Inference mechanisms”

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 19 records

Ion Sources and Acceleration Mechanisms Inferred from Local Distribution Functions

This study investigates the sources of the ions up the complex and nonisotropic H(+) velocity distribution functions observed by the Geotail spacecraft on May 23, 1995, in the near-Earth magnetotail region and recently reported by Frank et al. [1996]. A distribution function observed by Geotail at -10 R(sub E) downtail is used as input for the large scale kinetic (LSK) technique to follow the trajectories of approximately 90,000 H(+) ions backward in time. Time-dependent magnetic and electric fields are taken from a global magnetohydrodynamic (MHD) simulation of the magnetosphere and its interactions with appropriate solar wind and IMF conditions. The ion population described by the Geotail distribution function was found to consist of a mixture of particles originating from three distinct sources: the ionosphere, the low latitude boundary layer (LLBL), and the high latitude plasma mantle. Ionospheric particles had direct access along field lines to Geotail, and LLBL ions convected adiabatically to the Geotail location. Plasma mantle ions, on the other hand, exhibited two distinct types of behavior. Most near-Earth mantle ions reached Geotail on adiabatic orbits, while distant mantle ions interacted with the current sheet tailward of Geotail and had mostly nonadiabatic orbits. Ions from the ionosphere, the LLBL, and the near-Earth mantle were directly responsible for the well-separated, low energy structures easily discernible in the observed and modeled distribution functions. Distant mantle ions formed the higher energy portion of the Geotail distribution. Thus, we have been successful in extracting useful information about particle sources, their relative contribution to the measured distribution and the acceleration processes that affected particle transport during this time.

Ashour-Abdalla, M.↗

Avionic expert systems

At the heart of any intelligent flight control system, there is a knowledge based expert system. The efficiency of these knowledge bases is one of the major factors in the success of aviation and space control systems. In the future, the speed and the capabilities of the expert system and their underlying data base(s) will be the limiting factors in the ability to build more accurate real time space controllers. A methodology is proposed for design and construction of such expert systems. It is noted that existing expert systems are inefficient (slow) in dealing with nontrivial real world situations that involve a vast collection of data. However, current data bases, which are fast in handling large amounts of data, cannot carry out intelligent tasks normally expected from an expert system. The system presented provides the power of deduction (reasoning) along with the efficient mechanisms for management of large data bases. In the system, both straight forward evaluation procedures and sophisticated inference mechanisms coexist. The design methodology is based on mathematics and logic, which ensures the correctness of the final product.

Golshani, Forouzan↗

Decision Support Systems for Launch and Range Operations Using Jess

The virtual test bed for launch and range operations developed at NASA Ames Research Center consists of various independent expert systems advising on weather effects, toxic gas dispersions and human health risk assessment during space-flight operations. An individual dedicated server supports each expert system and the master system gather information from the dedicated servers to support the launch decision-making process. Since the test bed is based on the web system, reducing network traffic and optimizing the knowledge base is critical to its success of real-time or near real-time operations. Jess, a fast rule engine and powerful scripting environment developed at Sandia National Laboratory has been adopted to build the expert systems providing robustness and scalability. Jess also supports XML representation of knowledge base with forward and backward chaining inference mechanism. Facts added - to working memory during run-time operations facilitates analyses of multiple scenarios. Knowledge base can be distributed with one inference engine performing the inference process. This paper discusses details of the knowledge base and inference engine using Jess for a launch and range virtual test bed.

Thirumalainambi, Rajkumar↗

Single board system for fuzzy inference

The very large scale integration (VLSI) implementation of a fuzzy logic inference mechanism allows the use of rule-based control and decision making in demanding real-time applications. Researchers designed a full custom VLSI inference engine. The chip was fabricated using CMOS technology. The chip consists of 688,000 transistors of which 476,000 are used for RAM memory. The fuzzy logic inference engine board system incorporates the custom designed integrated circuit into a standard VMEbus environment. The Fuzzy Logic system uses Transistor-Transistor Logic (TTL) parts to provide the interface between the Fuzzy chip and a standard, double height VMEbus backplane, allowing the chip to perform application process control through the VMEbus host. High level C language functions hide details of the hardware system interface from the applications level programmer. The first version of the board was installed on a robot at Oak Ridge National Laboratory in January of 1990.

Symon, James R.↗

Microstructural Constraints on the Formation of Diamond in Ureilites, the Case from the Kenna Meteorite

The origin of diamonds in ureilitic meteorites, a major family of ultramafic achondrites, has long been debated, with various formation mechanisms inferred, including: 1) shock conversion of preexisting graphite due to a hypervelocity impact on the ureilite parent body; 2) vapor deposition during condensation of the solar nebula; or 3) static transformation in the mantle of a large planetesimal (>1000 km in diameter). The Kenna ureilite is a 10.9 kg stone that was found in Kansas in 1972 and is dominantly composed of olivine and pigeonite (68% and 22% modal abundance, respectively), together with minor metal and carbon-rich regions. Within the carbon-rich domains researchers have identified microdiamonds up to ~10 µm in size. Due to the proximity of the extremely hard microdiamonds with soft graphite and moderately hard silicates, achieving an appropriately flat surface for electron backscatter diffraction (EBSD) analysis has proved challenging. We have, therefore, employed a Hitachi ArBlade 5000 broad beam Ar ion milling system to prepare a sample with an adequate surface uniformity. The ion milling dramatically improved indexing of the EBSD patterns and facilitated high-resolution microstructural analysis of the carbon-rich domains. The carbon-bearing regions occur as tabular domains between polygonal olivine and pigeonite, and are composed of aggregates of micrometer-scale diamond with intermediate graphite, oxides and metal grains. Within the microdiamonds, {111} twins are abundant, many of which form ragged lamellae consistent with mechanical twinning. The microdiamond assemblages appear to pseudomorph tabular graphite habits, which together with the abundant deformation twins, supports a shock transformation mechanism for microdiamond formation within the Kenna meteorite. To compliment the EBSD microstructural analyses, coordinated laser Raman, focused ion beam/transmission electron microscopy imaging and diffraction data, and NanoSIMS N and C tomographic isotopic imaging will be collected. These data will provide further constraints on the formation of diamonds within ureilites.

Timmons M Erickson↗

Coordinated Microstructural and Isotopic Characterization of Diamond Inclusions within the Kenna Ureilite

Introduction: The origin of diamonds in ureilitic meteorites, a major family of ultramafic achondrites, has long been debated, with various formation mechanisms inferred, including: 1) shock conversion of preexisting graphite due to a hypervelocity impact on the ureilite parent body [e.g., 1]; 2) vapor deposition during condensation of the solar nebula [e.g., 2]; or 3) static transformation in the mantle of a large planetesimal (>1000 km in diameter) [e.g., 3]. The Kenna ureilite is a 10.9 kg stone that was found in Kansas in 1972 and is dominantly composed of olivine and pigeonite (68% and 22% modal abundance, respectively), together with minor metal and carbon-rich regions. Within the carbon-rich domains researchers have identified microdiamonds up to ~10 µm in size [4]. Methods: Due to the proximity of the extremely hard microdiamonds with soft graphite and moderately hard silicates, achieving an appropriately flat surface for electron backscatter diffraction (EBSD) analysis has proven challenging. We have, therefore, employed a Hitachi ArBlade 5000 broad beam Ar ion milling system to prepare a sample with an adequately uniform surface flatness across the various minerals. The ion milling dramatically im-proved indexing of the EBSD patterns and facilitated high-resolution microstructural analysis of the carbon-rich domains. After microstructural EBSD analyses using an Oxford Symmetry detector we collected coordinated hy-perspectral cathodoluminescence (CL) analyses using a Gatan Monarc system mounted on a JEOL 7900F field emission (FE) scanning electron microscope at NASA Johnson Space Center. A focused ion beam (FIB) foil was extracted from a region of interest and analyzed using a JEOL 2500 FE scanning transmission electron microscope (STEM). In situ carbon and nitrogen isotopic analyses were collected from diamond-bearing domains using a Cameca NanoSIMS 50L at NASA JSC. Results: The carbon rich regions occur as tabular domains between polygonal olivine and pigeonite, and are composed of aggregates of micrometer-scale diamond with intermediate graphite, oxides and metal grains. Within the microdiamonds, {111} twins are abundant, many of which form ragged lamellae consistent with mechanical twinning. The microdiamond assemblages appear to pseudomorph tabular graphite habits, which together with the abundant deformation twins, support a shock transformation mechanism for microdiamond formation within the Kenna meteorite. Further supporting this observation, the diamond laths show close alignment of <111> and <110> between domains, consistent with a solid-state transformation from graphite along <0001> and <1-210>, respec-tively [5]. A FIB foil was extracted from a region with mechanical twins, and high resolution STEM analyses reveal cross-cutting veins of graphite and oriented kamacite crystals together with additional sets of {111} nano-twins formed in at least three orientations. Isotopic analyses of C and N reveal sector zoning patterns [cf. 3] that are unre-lated to the diamond substructure identified by EBSD yet consistent with hyperspectral CL images. Conclusions: These data provide new constraints on microdiamond formation within ureilites. The microdia-monds exhibit orientation variants defined by aligned <111> and <110> axes consistent with inherited crystallo-graphic orientations from transformation of a single hexagonal graphite parent crystal [5]. Crosscutting the micro-diamonds are veins of graphite and kamacite, together with additional {111} nanotwins. Taken together these data suggest that microdiamonds from ureilites formed from a solid state, diffusionless transformation from graphite, likely associated with a major shock event, which was subject to subsequent reversion either during decompression or a later deformation event. The N and C isotopic sector zoning is unrelated to diamond microstructures and likely reflects inheritance from the parent graphite crystal.

Ureilite↗

Variational deep learning of equilibrium transition path ensembles

Here, we present a time-dependent variational method to learn the mechanisms of equilibrium reactive processes and efficiently evaluate their rates within a transition path ensemble. This approach builds off of the variational path sampling methodology by approximating the time-dependent commitment probability within a neural network ansatz. The reaction mechanisms inferred through this approach are elucidated by a novel decomposition of the rate in terms of the components of a stochastic path action conditioned on a transition. This decomposition affords an ability to resolve the typical contribution of each reactive mode and their couplings to the rare event. The associated rate evaluation is variational and systematically improvable through the development of a cumulant expansion. We demonstrate this method in both over- and under-damped stochastic equations of motion, in low-dimensional model systems, and in the isomerization of a solvated alanine dipeptide. In all examples, we find that we can obtain quantitatively accurate estimates of the rates of the reactive events with minimal trajectory statistics and gain unique insights into transitions through the analysis of their commitment probability.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Radiation-pressure-driven mass loss from quasi-stellar objects.

It is shown that radiation pressure acting on the material in the outer envelopes of QSOs will cause mass outflow unless the mass M of the QSO exceeds a critical value Ms. If the QSOs are at cosmological distances, Ms is on the order of 10 to 100 billion solar masses, and otherwise scales according to intrinsic luminosity. Radiation-pressure-driven mass loss could be responsible for the absorption-line spectra observed in many QSOs. If so, the presence of blueshifted absorption lines in some but not all QSOs indicates that typically M is of the same order as Ms. It is also suggested that under radiative acceleration certain ratios of emission-line to absorption-line redshifts may be preferred as a result of a line-locking mechanism. Inferences are made concerning the magnitude of the gravitational component of the redshift. Possible tests of various aspects of the model are discussed.

Mushotzky, R. F.↗

Description of an experimental expert system flight status monitor

This paper describes an experimental version of an expert system flight status monitor being developed at the Dryden Flight Research Facility of the NASA Ames Research Center. This experimental expert system flight status monitor (ESSFSM) is supported by a specialized knowledge acquisition tool that provides the user with a powerful and easy-to-use documentation and rule construction tool. The EESFSM is designed to be a testbed for concepts in rules, inference mechanisms, and knowledge structures to be used in a real-time expert system flight status monitor that will monitor the health and status of the flight control system of state-of-the-art, high-performance, research aircraft.

Duke, E. L.↗

An engineering approach to the use of expert systems technology in avionics applications

The concept of using a knowledge compiler to transform the knowledge base and inference mechanism of an expert system into a conventional program is presented. The need to accommodate real-time systems requirements in applications such as embedded avionics is outlined. Expert systems and a brief comparison of expert systems and conventional programs are reviewed. Avionics applications of expert systems are discussed before the discussions of applying the proposed concept to example systems using forward and backward chaining.

Duke, E. L.↗

Reasoning about procedural knowledge

A crucial aspect of automated reasoning about space operations is that knowledge of the problem domain is often procedural in nature - that is, the knowledge is often in the form of sequences of actions or procedures for achieving given goals or reacting to certain situations. In this paper a system is described that explicitly represents and reasons about procedural knowledge. The knowledge representation used is sufficiently rich to describe the effects of arbitrary sequences of tests and actions, and the inference mechanism provides a means for directly using this knowledge to reach desired operational goals. Furthermore, the representation has a declarative semantics that provides for incremental changes to the system, rich explanatory capabilities, and verifiability. The approach also provides a mechanism for reasoning about the use of this knowledge, thus enabling the system to choose effectively between alternative courses of action.

Georgeff, M. P.↗

The nature and evaluation of commercial expert system building tools, revision 1

This memorandum reviews the factors that constitute an Expert System Building Tool (ESBT) and evaluates current tools in terms of these factors. Evaluation of these tools is based on their structure and their alternative forms of knowledge representation, inference mechanisms and developer end-user interfaces. Next, functional capabilities, such as diagnosis and design, are related to alternative forms of mechanization. The characteristics and capabilities of existing commercial tools are then reviewed in terms of these criteria.

Gevarter, William B.↗

The nature and evaluation of commercial expert system building tools

This memorandum reviews the factors that constitute an Expert System Building Tool (ESBT) and evaluates current tools in terms of these factors. Evaluation of these tools is based on their structure and their alternative forms of knowledge representation, inference mechanisms and developer/end-user interfaces. Next, functional capabilities, such as diagnosis and design, are related to alternative forms of mechanization. The characteristics and capabilities of existing commercial tools are then reviewed in terms of these criteria.

Gevarter, William B.↗

Development of a coupled expert system for the spacecraft attitude control problem

A majority of the current expert systems focus on the symbolic-oriented logic and inference mechanisms of artificial intelligence (AI). Common rule-based systems employ empirical associations and are not well suited to deal with problems often arising in engineering. Described is a prototype expert system which combines both symbolic and numeric computing. The expert system's configuration is presented and its application to a spacecraft attitude control problem is discussed.

Kawamura, K.↗

Commercial Expert-System-Building Software Tools

Report evaluates commercially-available expert-system-building tools in terms of structures, representations of knowledge, inference mechanisms, interfaces with developers and end users, and capabilities of performing such functions as diagnosis and design. Software tools commercialized derivatives of artificial-intelligence systems developed by researchers at universities and research organizations. Reducing time to develop expert system by order of magnitude compared to that required with such traditional artificial development languages as LISP. Table lists 20 such tools, rating attributes as strong, fair, programmable by user, or having no capability in various criteria.

Gevarter, William B.↗

A parallel expert system for the control of a robotic air vehicle

Expert systems can be used to govern the intelligent control of vehicles, for example the Robotic Air Vehicle (RAV). Due to the nature of the RAV system the associated expert system needs to perform in a demanding real-time environment. The use of a parallel processing capability to support the associated expert system's computational requirement is critical in this application. Thus, algorithms for parallel real-time expert systems must be designed, analyzed, and synthesized. The design process incorporates a consideration of the rule-set/face-set size along with representation issues. These issues are looked at in reference to information movement and various inference mechanisms. Also examined is the process involved with transporting the RAV expert system functions from the TI Explorer, where they are implemented in the Automated Reasoning Tool (ART), to the iPSC Hypercube, where the system is synthesized using Concurrent Common LISP (CCLISP). The transformation process for the ART to CCLISP conversion is described. The performance characteristics of the parallel implementation of these expert systems on the iPSC Hypercube are compared to the TI Explorer implementation.

Shakley, Donald↗

Using Expert Systems For Computational Tasks

Transformation technique enables inefficient expert systems to run in real time. Paper suggests use of knowledge compiler to transform knowledge base and inference mechanism of expert-system computer program into conventional computer program. Main benefit, faster execution and reduced processing demands. In avionic systems, transformation reduces need for special-purpose computers.

Duke, Eugene L.↗