Search NASA⌕ Search

SEARCH · Search NASA

Results for “analogical 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 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

ES2Vec: Earth Science Metadata Suggestions and Analogical Reasoning

As the volume of text-based Earth science research grows, it is increasingly possible to discover latent relationships in the literature. However, traditional methodologies are restricted by limited computational capabilities and intractable problem spaces. Advancements in natural language processing (NLP) have allowed us to use an extensive Earth science corpus to create a domain-specific word vector model, Es2Vec, which we have used to surface latent relationships between Earth science concepts and generate improved keyword tags. Earth science metadata keyword assignment is a challenging problem. Dataset curators select appropriate keywords from the Global Change Master Directory (GCMD) set of keywords. The keywords an are integral part of the search and discovery of these datasets. Hence, the selection of keywords is crucial to increasing the discoverability of datasets. Utilizing machine learning techniques, we provide users with automated keyword suggestions to complement manual selection. We trained a machine learning model that leverages the semantic embedding ability of Word2Vec models to process abstracts and suggest relevant keywords. A user interface tool we built to assist data curators in the assignment of such keywords is also described.

word vectors↗
NASA NTRS1972

Reasoning by analogy as an aid to heuristic theorem proving.

When heuristic problem-solving programs are faced with large data bases that contain numbers of facts far in excess of those needed to solve any particular problem, their performance rapidly deteriorates. In this paper, the correspondence between a new unsolved problem and a previously solved analogous problem is computed and invoked to tailor large data bases to manageable sizes. This paper outlines the design of an algorithm for generating and exploiting analogies between theorems posed to a resolution-logic system. These algorithms are believed to be the first computationally feasible development of reasoning by analogy to be applied to heuristic theorem proving.

Kling, R. E.↗
NASA NTRS1986

The Expert Project Management System (EPMS)

Successful project managers (PMs) have been shown to rely on 'intuition,' experience, and analogical reasoning heuristics. For new PMs to be trained and experienced PMs to avoid repeating others' mistakes, it is necessary to make the knowledge and heuristics of successful PMs more widely available. The preparers have evolved a model of PM thought processes over the last decade that is now ready to be implemented as a generic PM aid. This aid consists of a series of 'specialist' expert systems (CRITIC, LIBRARIAN, IDEA MAN, CRAFTSMAN, and WRITER) that communicate with each other via a 'blackboard' architecture. The various specialist expert systems are driven to support PM training and problem solving since any 'answers' they pass to the blackboard are subjected to conflict identification (AGENDA FORMULATOR) and GOAL SETTER inference engines.

Silverman, Barry G.↗
NASA NTRS1994

Craters in aluminum 1100 targets using glass projectiles at 1-7 km/s

We report on impact experiments using soda-lime glass spheres of 3.2 mm diameter and aluminum targets (1100 series). The purpose is to assist in the interpretation of LDEF instruments and in the development of future cosmic-dust collectors in low-Earth orbit. Because such instruments demand understanding of both the cratering and penetration process, we typically employ targets with thicknesses that range from massive, infinite half-space targets, to ultrathin films. This report addresses a subset of cratering experiments that were conducted to fine-tune our understanding of crater morphology as a function of impact velocity. Also, little empirical insight exists about the physical distribution and shock-metamorphism of the impactor residues as a function of encounter speed, despite their recognized significance in the analysis of space-exposed surfaces. Soda-lime glass spheres were chosen as a reasonable analog to extraterrestrial silicates, and aluminum 1100 was chosen for targets, which among the common Al-alloys, best represents the physical properties of high-purity aluminum. These materials complement existing impact studies that typically employed metallic impactors and less ductile Al-alloys. We have completed dimensional analyses of the resulting craters and are in the process of investigating the detailed distribution of the unmelted and melted impactor residues via SEM methods, as well as potential compositional modifications of the projectile melts via electron microprobe.

Bernhard, R. P.↗
NASA NTRS1990

Photodissociation of Cl2O2 in the spring Antarctic lower stratosphere

The likely photodissociation pathways of chlorine peroxide are examined. Reasoning by analogy between hydrogen peroxide and chlorine peroxide, it is shown that photodissociation of chlorine peroxide at wavelengths longer than 250 nm is not likely to give chlorine atoms as a primary product. Reasoning by analogy with molecules whose visible spectra are known, it is concluded that chlorine peroxide is also likely to photodissociate in the visible to give ClO radicals as primary products.

Eberstein, Igor J.↗
NASA NTRS1990

Overcoming rule-based rigidity and connectionist limitations through massively-parallel case-based reasoning

Symbol manipulation as used in traditional Artificial Intelligence has been criticized by neural net researchers for being excessively inflexible and sequential. On the other hand, the application of neural net techniques to the types of high-level cognitive processing studied in traditional artificial intelligence presents major problems as well. A promising way out of this impasse is to build neural net models that accomplish massively parallel case-based reasoning. Case-based reasoning, which has received much attention recently, is essentially the same as analogy-based reasoning, and avoids many of the problems leveled at traditional artificial intelligence. Further problems are avoided by doing many strands of case-based reasoning in parallel, and by implementing the whole system as a neural net. In addition, such a system provides an approach to some aspects of the problems of noise, uncertainty and novelty in reasoning systems. The current neural net system (Conposit), which performs standard rule-based reasoning, is being modified into a massively parallel case-based reasoning version.

Barnden, John↗
NASA NTRS1977

Computer considerations for real time simulation of a generalized rotor model

Scaled equations were developed to meet requirements for real time computer simulation of the rotor system research aircraft. These equations form the basis for consideration of both digital and hybrid mechanization for real time simulation. For all digital simulation estimates of the required speed in terms of equivalent operations per second are developed based on the complexity of the equations and the required intergration frame rates. For both conventional hybrid simulation and hybrid simulation using time-shared analog elements the amount of required equipment is estimated along with a consideration of the dynamic errors. Conventional hybrid mechanization using analog simulation of those rotor equations which involve rotor-spin frequencies (this consititutes the bulk of the equations) requires too much analog equipment. Hybrid simulation using time-sharing techniques for the analog elements appears possible with a reasonable amount of analog equipment. All-digital simulation with affordable general-purpose computers is not possible because of speed limitations, but specially configured digital computers do have the required speed and consitute the recommended approach.

Howe, R. M.↗
NASA NTRS1992

High level cognitive information processing in neural networks

Two related research efforts were addressed: (1) high-level connectionist cognitive modeling; and (2) local neural circuit modeling. The goals of the first effort were to develop connectionist models of high-level cognitive processes such as problem solving or natural language understanding, and to understand the computational requirements of such models. The goals of the second effort were to develop biologically-realistic model of local neural circuits, and to understand the computational behavior of such models. In keeping with the nature of NASA's Innovative Research Program, all the work conducted under the grant was highly innovative. For instance, the following ideas, all summarized, are contributions to the study of connectionist/neural networks: (1) the temporal-winner-take-all, relative-position encoding, and pattern-similarity association techniques; (2) the importation of logical combinators into connection; (3) the use of analogy-based reasoning as a bridge across the gap between the traditional symbolic paradigm and the connectionist paradigm; and (4) the application of connectionism to the domain of belief representation/reasoning. The work on local neural circuit modeling also departs significantly from the work of related researchers. In particular, its concentration on low-level neural phenomena that could support high-level cognitive processing is unusual within the area of biological local circuit modeling, and also serves to expand the horizons of the artificial neural net field.

Barnden, John A.↗
NASA NTRS1994

Alkali element depletion by core formation and vaporization on the early Earth

The depletion of Na, K, Rb, and Cs in the Earth's upper mantle and crust relative to their abundances in chondrites is a long standing problem in geochemistry. Here we consider two commonly invoked mechanisms, namely core formation, and vaporization, for producing the observed depletions. Our models predict that a significant percentage of the Earth's bulk alkali element inventory is in the core (30 percent for Na, 52 percent for K, 74 percent for Rb, and 92 percent for Cs). These predictions agree with independent estimates from nebular volatility trends and (for K) from terrestrial heat flow data. Our models also predict that vaporization and thermal escape during planetary accretion are unlikely to produce the observed alkali element depletion pattern. However, loss during the putative giant impact which formed the Moon cannot be ruled out. Experimental, observational, and theoretical tests of our predictions are also described. Alkali element partitioning into the Earth's core was modeled by assuming that alkali element partitioning during core formation on the aubrite parent body (APB) is analogous to that on the early Earth. The analogy is reasonable for three reasons. First, the enstatite meteorites are the only known meteorites with the same oxygen isotope systematics as the Earth-Moon system. Second, the large core size of the Earth and the V depletion in the mantle requires accretion from planetesimals as reduced as the enstatite chondrites. Third, experimental studies of K partitioning between silicate and metal plus sulfide show that more K goes into the metal plus sulfide at higher pressures than at one atmosphere pressure. Thus partitioning in the relatively low pressure natural laboratory of the APB is a good guide to alkali elemental partitioning during the growth of the Earth.

Lodders, K.↗
NASA NTRS2018

Risk Management at NASA and Its Applicability to the Oil and Gas Industry

NASA has a world-class capability for quantitatively assessing the risk of highly-complex, isolated engineering structures operated in extremely hostile environments. In particular, the International Space Station (ISS) represents a reasonable risk analog for High Pressure, High Temperature drilling and production operations on deepwater rigs. Through a long-term U.S. Government Interagency Agreement, BSEE has partnered with NASA to modify NASA's Probabilistic Risk Assessment (PRA) capabilities for application to deepwater drilling and production operations. The immediate focus of the activity will be to modify NASA PRA Procedure Guides and Methodology Documents to make them applicable to the Oil &Gas Industry. The next step will be for NASA to produce a PRA for a critical drilling system component, such as a Blowout Preventer (BOP). Subsequent activities will be for NASA and industry partners to jointly develop increasingly complex PRA's that analyze other critical drilling and production system components, including both hardware and human reliability. In the presentation, NASA will provide the objectives, schedule, and current status of its PRA activities for BSEE. Additionally, NASA has a Space Act Agreement with Anadarko Petroleum Corporation to develop a PRA for a generic 20K BOP. NASA will summarize some of the preliminary insights gained to date from that 20K BOP PRA as an example of the distinction between quantitative versus qualitative risk assessment.

PRA↗
NASA NTRS1999

Experiments on Evolving Software Models of Analog Circuits

Analog circuits are of great importance in electronic system design since the world is fundamentally analog in nature. While the amount of digital design activity far outpaces that of analog design, most digital systems require analog modules for interfacing with the external world. It was recently estimated that approximately 60% of digital application- specific integrated circuit designs incorporated analog circuits. With challenging analog circuit design problems and few analog design engineers, there are economic reasons for automating the analog design process, especially time-to-market considerations. Techniques for analog circuit design automation began appearing about two decades ago. These methods incorporated heuristics [6], knowledge bases [1], simulated annealing [5], and other algorithms. Efforts using techniques from evolutionary computation began appearing over the last few years. These include the use of genetic algorithms to select electronic component values (for example, the resistance value of a resistor), to select circuit topologies, and to design amplifiers using a limited set of canned topologies [4]. A genetic programming-based analog circuit design system has been demonstrated in which the circuit sizes, component values, and the circuit topologies are determined automatically [3]. The genetic-algorithm systems typically represent circuit structures as vectors of parameters encoded in binary strings, while the genetic programming system manipulates tree data structures.

Lohn, Jason D.↗
NASA NTRS1990

Bounds on the thermoelastic properties of suspensions of spheres

Results are presented on computations of three-point upper and lower bounds on the effective thermal expansion coefficient, the effective constant-pressure specific heat, and the effective constant-volume specific heat of statistically isotropic suspensions of mutually impenetrable spheres. The effect of polydispersivity in sphere size on the thermoelastic properties is investigated by considering the cases of both equisized and multisized spheres. For reasons of mathematical analogy, the results obtained for the effective thermal expansion coefficient translate immediately into equivalent results for the hygroscopic expansion coefficient.

Torquato, S.↗
NASA NTRS1991

Automatic derivation of formal software specifications from informal descriptions

SPECIFIER, an interactive system which derives formal specifications of data types and programs from their informal descriptions, is described. The process of deriving formal specifications is viewed as a problem-solving process. The system uses common problem-solving techniques such as schemas, analogy, and difference-based reasoning to derive formal specifications. If an informal description is a commonly occurring operation for which the system has a schema, then the formal specification is derived by instantiating the schema. If there is no such schema, SPECIFIER tries to find a previously solved problem which is analogous to the current problem. If the problem found is directly analogous to the current problem, it applies an analogy mapping to obtain a formal specification. On the other hand, if the analogy found is only approximate, it solves the directly analogous part of the problem by analogy and performs difference-based reasoning using the remaining (unmatched) parts to transform the formal specification obtained by analogy to a formal specification for the entire original problem.

Miriyala, Kanth↗
NASA NTRS1973

A description of a general use automated data reduction system

A data system developed for use in tests in arc jet facilities has the flexibility to accommodate various types of data, time resolution, and number of data signals. Data are tape-recorded, because a direct link to the IBM 360/67 computer is prohibited for safety reasons. The system is analogous to manual data reduction to promote user understanding and acceptance. Data computations may be performed in an interactive ('conversational') mode, for minimum delay in data reduction, or by card input. Reduced data are listed and also stored for plotting of further computational use. Operational costs of the system are reasonable, and both large and small data reduction tasks are handled readily.

Wakefield, R. M.↗
NASA NTRS2008

Controller for Driving a Piezoelectric Actuator at Resonance

A digital control system based partly on an extremum-seeking control algorithm tracks the changing resonance frequency of a piezoelectric actuator or an electrically similar electromechanical device that is driven by a sinusoidal excitation signal and is required to be maintained at or near resonance in the presence of uncertain, changing external loads and disturbances. Somewhat more specifically, on the basis of measurements of the performance of the actuator, this system repeatedly estimates the resonance frequency and alters the excitation frequency as needed to keep it at or near the resonance frequency. In the original application for which this controller was developed, the piezoelectric actuator is part of an ultrasonic/sonic drill/corer. Going beyond this application, the underlying principles of design and operation are generally applicable to tracking changing resonance frequencies of heavily perturbed harmonic oscillators. Resonance-frequency-tracking analog electronic circuits are commercially available, but are not adequate for the present purpose for several reasons: The input/output characteristics of analog circuits tend to drift, often necessitating recalibration, especially whenever the same controller is used in driving a different resonator. In the case of an actuator in a system that has multiple modes characterized by different resonance frequencies, an analog controller can tune erroneously to one of the higher-frequency modes. The lack of programmability of analog controllers is problematic when faults occur, and is especially problematic for preventing tuning to a higher-frequency mode. In contrast, a digital controller can be programmed to restrict itself to a specified frequency range and to maintain stability even when the affected resonator is driven at high power and subjected to uncertain disturbances and variable loads. The present digital control system (see figure) is implemented by means of an algorithm that comprises three main subalgorithms: a hill-climbing control algorithm, an estimation-based extremum-seeking control (ESC) algorithm, and a supervisory algorithm. The hill-climbing algorithm is useful for coarse tracking to find and remain within the vicinity of the resonance. The ESC algorithm is not capable of coarse resonance tracking, but is capable of fine resonance tracking once the estimates of parameters generated by the hill-climbing algorithm have converged sufficiently. On the basis of the parameter-estimation errors, the supervisory algorithm switches operation to whichever of the other two algorithms performs best at a given time.

Aldrich, Jack↗
NASA NTRS1984

The composition of interstellar grain mantles

The molecular composition of interstellar grain mantles was calculated employing gas phase and grain surface reactions. The calculated mixtures consist mainly of H2O, H2CO, N2, CO, O2, CO2, H2O2, NH3, and their deuterated counterparts in varying ratios. The exact compositions depend strongly on the physical conditions in the gas phase. The calculated mixtures were compared to the observations by using laboratory spectra of grain mantle analogs. The two agree reasonably except for the strength of the 6.8 micron band.

Tielens, Alexander G. G. M.↗
NASA NTRS1991

The potential scale of aeolian structures on Venus

Simulations of the Venusian aeolian environment with the Venus Wind Tunnel have shown that microdunes are formed during the entrainment of sand-sized material. These structures are several tens of centimeters long (2-3 cm high) and combine the morphological and behavioral characteristics of both full-scale terrestrial dunes and current ripples formed in subaqueous environments. Their similarity to both reflects the fact that the Venusian atmosphere has a density intermediate between air and water. Although the development of microdunes in the wind tunnel experiments was limited by tunnel dimensions, it is possible to make some predictions about their potential size on Venus, and the potential size of related aeolian structures. Microdunes are fluid-filled structures (as are dunes and current ripples) and as such have no theoretical upper limit to their size from a fluid dynamics viewpoint. Limitations to size observed in subaqueous structures are set by, for example, water depth; limitations to the size of dunes are set by, for example, sand supply. It is therefore reasonable to suppose that the microdunes on Venus could evolve into much larger features than those observed in experiments. In addition, the researchers note that current ripples (which are closely related to microdunes) are often found in association with giant ripples that have dimensions similar to aeolian dunes. Thus, it may be reasonable to assume that analogous large scale structures occur on Venus. Both (terrestrial) aeolian and subaqueous environments generate structures in excess of one hundred meters in wavelength. Such dimensions may therefore be applicable to Venusian bedforms. Analysis of Magellan data may resolve the issue.

Marshall, J. R.↗
NASA NTRS1984

The composition of interstellar grain mantles

The molecular composition of interstellar grain mantles employing gas phase as well as grain surface reactions is studied. The calculated mixtures consist mainly of the molecules H2O, H2CO, N2, CO, O2, CO2, H2O2, NH3, and their deuterated counterparts in varying ratios. The exact compositions depend strongly on the physical conditions in the gas phase. The calculated mixtures are compared to the observations by using laboratory spectra of grain mantle analogs. The two are in reasonable agreement except for the strength of the 6.8-micrometers band. A possible solution for this discrepancy is discussed. Finally, future observations are suggested which may shed further light on the composition of interstellar grain mantles.

Tielens, Alexander G. G. M.↗