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.↗
DOE OSTI2025

Sharp detection of low-dimensional structure in probability measures via dimensional logarithmic Sobolev inequalities

Identifying low-dimensional structure in high-dimensional probability measures is an essential pre-processing step for efficient sampling. To identify this structure, we approximate the target measure as a perturbation of an arbitrary reference measure along a few directions in $\mathbb{R}^{d}$. These directions are determined by minimizing an upper bound on the Kullback–Leibler (KL) divergence between the target and its approximation. Our contribution improves upon previous works by leveraging dimensional logarithmic Sobolev inequalities to refine the bound on the KL divergence. These inequalities lead to a uniformly tighter bound on the KL divergence, thereby enhancing the identification of the most significant perturbation directions. In particular, when the target and reference are both Gaussian, minimizing the resulting bound is equivalent to minimizing the KL divergence. We further demonstrate the applicability of this analysis to the squared Hellinger distance, where analogous reasoning shows that the dimensional Poincaré inequality offers improved bounds.

Bayesian inference↗
DOE OSTI2023

The Energy and Operational Impacts of Using 0-10V Control for LED Streetlights

LED lighting is becoming widely adopted and displacing most traditional lighting technologies. However, the traditional methods used to control light sources have not seen similar displacement. Lighting systems have historically utilized either a proprietary control method, or one of a handful of standardized methods (e.g., 0-10V, DALI, DMX512). The utility and market success of the standardized methods has been limited for a variety of reasons. Analog 0-10V methods have long been popular due to their simplicity and low cost of implementation and are presently the most commonly available control interface for indoor and outdoor LED products in North America. The emergence of “connected lighting systems” with more modern network interfaces and luminaire-level sensors and intelligence was anticipated by many to mark the beginning of the end of analog control. However, 0-10V interfaces continue to be prevalent with these more “digital” systems. The use of 0-10V methods has significant tradeoffs. 0-10V standards have historically not explicitly defined the relationship between the luminaire input control signal and output luminous flux for the full control signal range. As a result, it is difficult to predict relative luminaire light output and input power at any particular control voltage, and in practice the performance across LED drivers and the luminaires power is inconsistent. While this inconsistency has long been acknowledged by experts in the field, it is not accounted for in standard practice deployment, and end-users continue to regularly see unexpected and undesirable performance. It is hoped that the results from this study will help the lighting industry and standards developing organizations better understand and possibly resolve the shortcomings of 0-10V products, and consider what is best for the industry – additional incremental improvements to this fundamentally limited analog technology, or fully moving on to existing digital approaches, such as DALI D4i, that deliver accurate and consistent dimming performance across all luminaires in the system and thus guarantee the delivery of expected light levels, and energy and cost savings. Recommendations consistent with these goals are made to lighting and driver manufacturers, lighting software developers, standard developing organizations, and system designers and specifiers.

0-10V↗
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.↗
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↗
DOE OSTI2023

Dark matter is the new BBN

Measurements of the primordial element abundances provide us with an important probe of our universe’s early thermal history, allowing us to constrain the expansion rate and composition of our universe as early as ~ 1 s after the Big Bang. Prior to this time, we have essentially no empirical information on which to base any such claims. In this paper, we imagine a future time in which we have not only detected the particles that make up the dark matter, but have measured their mass and annihilation cross section with reasonable precision. In analogy to the light element abundances, the dark matter abundance in this scenario could be used to study and constrain the expansion rate and composition of our universe at the time of dark matter freeze out, which for a standard thermal relic occurs at T f ~ m χ /20, corresponding to t ~ 4 x 10 -10 s x (TeV/m χ ) 2 , many orders of magnitude prior to the onset of Big Bang nucleosynthesis. Here we consider how such measurements could be used to constrain scenarios which feature exotic forms of radiation or matter, a ultralight scalar, or modifications to gravity, each of which have the potential to be much more powerfully probed with dark matter than with the light element abundances.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Acceleration mechanisms of energetic ion debris in laser-driven tin plasma EUV sources

Laser-driven tin plasmas are driving new-generation nanolithography as sources of extreme ultraviolet (EUV) radiation centered at 13.5 nm. A major challenge facing industrial EUV source development is predicting energetic ion debris produced during the plasma expansion that may damage the sensitive EUV channeling multilayer optics. Gaining a detailed understanding of the plasma dynamics and ion acceleration mechanisms in these sources could provide critical insights for designing debris mitigation strategies in future high-power EUV sources. Here, we develop a fully kinetic model of tin-EUV sources using one-dimensional particle-in-cell simulations to study ion debris acceleration, which will be valuable for cross-validation of radiation-hydrodynamic simulations. An inverse-bremsstrahlung heating operator is used to model the interaction of a tin target with an Nd:YAG laser, and thermal conduction is included through a Monte Carlo Coulomb collision operator. While the large-scale evolution is in reasonable agreement with analogous hydrodynamic simulations, the significant timescale for collisional equilibration between electrons and ions allows for the development of prominent two-temperature features. A collimated flow of energetic ions is produced with a spectrum that is significantly enhanced at high energies compared to fluid simulations. The dominant acceleration mechanism is found to be a large-scale electric field supported mainly by the electron pressure gradient, which is enhanced in the kinetic simulations due to the increased electron temperature. We discuss the implications of these results for future modeling of tin-EUV sources and the development of debris mitigation schemes.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
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↗