Engineering Papers⌕ Search

SEARCH · Engineering Papers

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS1991

Venus tectonics - Initial analysis from Magellan

The styles of lithospheric deformation, the inferred mechanical properties of the lithosphere, and their implications for the tectonic history of Venus are discussed on the basis of radar imaging and altimetry data from Magellan. Observations of the planet plains reveal a superposition of different episodes of deformation and volcanism, strain both distributed and concentrated into zones of extension and shortening, and features reflecting a crustal response to mantle dynamic processes. Lithospheric shortening and crustal thickening are represented by ridge belts and mountain belts. The latter show the evidence for extension and collapse both during and following crustal compression. Venus displays quasi-circular coronae and broad rises with linear rift zones, associated with significant volcanism. Large-offset strike-slip faults have not been observed, although horizontal shear is accommodated across broad zones of crustal shortening. On Venus strain is distributed across zones that are one to a few hundred kilometers wide, and separated by stronger and less deformed blocks hundreds of kilometers in width, as in actively deforming continental regions on earth.

Solomon, Sean C.↗
NASA NTRS1992

A second generation expert system for checking and diagnosing AXAF's electric power system

AXAF - Advanced X-ray Astrophysics Facility - is a third NASA's great space observatory. Each of these observatories is intended to cover different parts of the electromagnetic spectrum (x-ray for AXAF) and to provide high resolution images of celestial sources in our universe. While the spacecraft is in orbit, the electric power system (EPS) performance is monitored via sensors measuring voltages, currents, pressures, and temperatures. The sensor data are sent from the spacecraft to the ground station as telemetry and analyzed on arrival. Monitoring, diagnosis and maintenance of such EPS is an arduous task which requires expertise and constant attention of the ground personnel. To help the ground crew in this task, much of it should be automated and delegated to expert systems, which draw engineer's attention to possible malfunctions and allows him to review the telemetry to determine the source of the trouble, diagnose the suspected fault and to propose a corrective action. Those systems are built on assumptions such as: (1) domain knowledge is available and can be represented as a set of rules; (2) domain knowledge is circumscribed, static, and monotonic; and (3) expert decision making can be emulated by a logical inference mechanism.

Bykat, Alex↗
NASA NTRS1998

Cooperation Among Theorem Provers

This is a final report, which supports NASA's PECSEE (Persistent Cognizant Software Engineering Environment) effort and complements the Kestrel Institute project "Inference System Integration via Logic Morphism". The ultimate purpose of the project is to develop a superior logical inference mechanism by combining the diverse abilities of multiple cooperating theorem provers. In many years of research, a number of powerful theorem-proving systems have arisen with differing capabilities and strengths. Resolution theorem provers (such as Kestrel's KITP or SRI's, SNARK) deal with first-order logic with equality but not the principle of mathematical induction. The Boyer-Moore theorem prover excels at proof by induction but cannot deal with full first-order logic. Both are highly automated but cannot accept user guidance easily. The PVS system (from SRI) in only automatic within decidable theories, but it has well-designed interactive capabilities: furthermore, it includes higher-order logic, not just first-order logic. The NuPRL system from Cornell University and the STeP system from Stanford University have facilities for constructive logic and temporal logic, respectively - both are interactive. It is often suggested - for example, in the anonymous "QED Manifesto"-that we should pool the resources of all these theorem provers into a single system, so that the strengths of one can compensate for the weaknesses of others, and so that effort will not be duplicated. However, there is no straightforward way of doing this, because each system relies on its own language and logic for its success. Thus. SNARK uses ordinary first-order logic with equality, PVS uses higher-order logic. and NuPRL uses constructive logic. The purpose of this project, and the companion project at Kestrel, has been to use the category-theoretic notion of logic morphism to combine systems with different logics and languages. Kestrel's SPECWARE system has been the vehicle for the implementation.

Waldinger, Richard J.↗
NASA NTRS2005

Fatigue Behavior and Deformation Mechanisms in Inconel 718 Superalloy Investigated

The nickel-base superalloy Inconel 718 (IN 718) is used as a structural material for a variety of components in the space shuttle main engine (SSME) and accounts for more than half of the total weight of this engine. IN 718 is the bill-of-material for the pressure vessels of nickel-hydrogen batteries for the space station. In the case of the space shuttle main engine, structural components are typically subjected to startup and shutdown load transients and occasional overloads in addition to high-frequency vibratory loads from routine operation. The nickel-hydrogen battery cells are prooftested before service and are subjected to fluctuating pressure loads during operation. In both of these applications, the structural material is subjected to a monotonic load initially, which is subsequently followed by fatigue. To assess the life of these structural components, it is necessary to determine the influence of a prior monotonic load on the subsequent fatigue life of the superalloy. An insight into the underlying deformation and damage mechanisms is also required to properly account for the interaction between the prior monotonic load and the subsequent fatigue loading. An experimental investigation was conducted to establish the effect of prior monotonic straining on the subsequent fatigue behavior of wrought, double-aged, IN 718 at room temperature. First, monotonic strain tests and fully-reversed, strain-controlled fatigue tests were conducted on uniform-gage-section IN 718 specimens. Next, fully reversed fatigue tests were conducted under strain control on specimens that were monotonically strained in tension. Results from this investigation indicated that prior monotonic straining reduced the fatigue resistance of the superalloy particularly at the lowest strain range. Some of the tested specimens were sectioned and examined by transmission electron microscopy to reveal typical microstructures as well as the active deformation and damage mechanisms under each of the loading conditions. In monotonically strained specimens, deformation during the subsequent fatigue loading was mainly confined to the deformation bands initiated during the prior monotonic straining. This can cause dislocations to move more readily along the previously activated deformation bands and to pile up near grain boundaries, eventually making the grain boundaries susceptible to fatigue crack initiation. The mechanisms inferred from the microstructural investigation were extremely valuable in interpreting the influence of prior monotonic straining on the subsequent fatigue life of Inconel 718 superalloy.

Source record↗
NASA NTRS2012

Explanation Capabilities for Behavior-Based Robot Control

A recent study that evaluated issues associated with remote interaction with an autonomous vehicle within the framework of grounding found that missing contextual information led to uncertainty in the interpretation of collected data, and so introduced errors into the command logic of the vehicle. As the vehicles became more autonomous through the activation of additional capabilities, more errors were made. This is an inefficient use of the platform, since the behavior of remotely located autonomous vehicles didn't coincide with the "mental models" of human operators. One of the conclusions of the study was that there should be a way for the autonomous vehicles to describe what action they choose and why. Robotic agents with enough self-awareness to dynamically adjust the information conveyed back to the Operations Center based on a detail level component analysis of requests could provide this description capability. One way to accomplish this is to map the behavior base of the robot into a formal mathematical framework called a cost-calculus. A cost-calculus uses composition operators to build up sequences of behaviors that can then be compared to what is observed using well-known inference mechanisms.

Huntsberger, Terrance L.↗
NASA NTRS2009

The Phoenix Mars Lander Robotic Arm

The Phoenix Mars Lander Robotic Arm (RA) has operated for over 150 sols since the Lander touched down on the north polar region of Mars on May 25, 2008. During its mission it has dug numerous trenches in the Martian regolith, acquired samples of Martian dry and icy soil, and delivered them to the Thermal Evolved Gas Analyzer (TEGA) and the Microscopy, Electrochemistry, and Conductivity Analyzer (MECA). The RA inserted the Thermal and Electrical Conductivity Probe (TECP) into the Martian regolith and positioned it at various heights above the surface for relative humidity measurements. The RA was used to point the Robotic Arm Camera to take images of the surface, trenches, samples within the scoop, and other objects of scientific interest within its workspace. Data from the RA sensors during trenching, scraping, and trench cave-in experiments have been used to infer mechanical properties of the Martian soil. This paper describes the design and operations of the RA as a critical component of the Phoenix Mars Lander necessary to achieve the scientific goals of the mission.

Bonitz, Robert↗
NASA NTRS1987

The mechanisms of temporal inference

The properties of a temporal language are determined by its constituent elements: the temporal objects which it can represent, the attributes of those objects, the relationships between them, the axioms which define the default relationships, and the rules which define the statements that can be formulated. The methods of inference which can be applied to a temporal language are derived in part from a small number of axioms which define the meaning of equality and order and how those relationships can be propagated. More complex inferences involve detailed analysis of the stated relationships. Perhaps the most challenging area of temporal inference is reasoning over disjunctive temporal constraints. Simple forms of disjunction do not sufficiently increase the expressive power of a language while unrestricted use of disjunction makes the analysis NP-hard. In many cases a set of disjunctive constraints can be converted to disjunctive normal form and familiar methods of inference can be applied to the conjunctive sub-expressions. This process itself is NP-hard but it is made more tractable by careful expansion of a tree-structured search space.

Fox, B. R.↗
NASA NTRS2006

Exploring the Connection Between Sampling Problems in Bayesian Inference and Statistical Mechanics

The Bayesian and statistical mechanical communities often share the same objective in their work - estimating and integrating probability distribution functions (pdfs) describing stochastic systems, models or processes. Frequently, these pdfs are complex functions of random variables exhibiting multiple, well separated local minima. Conventional strategies for sampling such pdfs are inefficient, sometimes leading to an apparent non-ergodic behavior. Several recently developed techniques for handling this problem have been successfully applied in statistical mechanics. In the multicanonical and Wang-Landau Monte Carlo (MC) methods, the correct pdfs are recovered from uniform sampling of the parameter space by iteratively establishing proper weighting factors connecting these distributions. Trivial generalizations allow for sampling from any chosen pdf. The closely related transition matrix method relies on estimating transition probabilities between different states. All these methods proved to generate estimates of pdfs with high statistical accuracy. In another MC technique, parallel tempering, several random walks, each corresponding to a different value of a parameter (e.g. "temperature"), are generated and occasionally exchanged using the Metropolis criterion. This method can be considered as a statistically correct version of simulated annealing. An alternative approach is to represent the set of independent variables as a Hamiltonian system. Considerab!e progress has been made in understanding how to ensure that the system obeys the equipartition theorem or, equivalently, that coupling between the variables is correctly described. Then a host of techniques developed for dynamical systems can be used. Among them, probably the most powerful is the Adaptive Biasing Force method, in which thermodynamic integration and biased sampling are combined to yield very efficient estimates of pdfs. The third class of methods deals with transitions between states described by rate constants. These problems are isomorphic with chemical kinetics problems. Recently, several efficient techniques for this purpose have been developed based on the approach originally proposed by Gillespie. Although the utility of the techniques mentioned above for Bayesian problems has not been determined, further research along these lines is warranted

Pohorille, Andrew↗
NASA NTRS1976

Ring current loss mechanisms and composition as inferred from equatorial pitch angle distributions observed during a storm recovery phase

Explorer 45 measurements of pitch angle distributions (PAD's) of ring current ions were examined for evidence of charge exchange or pitch-angle diffusion as loss mechanisms for the ring current during a storm recovery phase. The observed rounding of the PAD's above a minimum parallel energy is seen as resulting from pitch angle diffusion driven by resonant interactions with ion cyclotron waves. Calculations of growth rates using observed ion fluxes and PAD's have shown that ion cyclotron waves can be significantly amplified by the ring current plasma. However, wave growth off the equator must be taken into account in order to understand the time evolution of the observed PAD's. Isotropic distributions at lower energies remain isotropic at L-values between 3 and 4 despite the presence of charge exchange losses. An explanation for this apparent inconsistency may be that ring current is dominated by some ion species other than protons during recovery phase.

Lyons, L. R.↗
NASA NTRS2001

Eruption Mechanisms for Loki, Io: Inferences Based on Galileo and Groundbased Data

A wealth of data about Loki, the most powerful volcano on Io, has been collected and here, we try to begin synthesis of these data. These data suggest periodic lava lake overturn. Further, these eruptions may be truly periodic, and therefore predictable. Additional information is contained in the original extended abstract.

Rathbun, J. A.↗
NASA NTRS2012

The Cosmic History of Hot Gas Cooling and Radio AGN Activity in Massive Early-Type Galaxies

We study the X-ray properties of 393 optically selected early-type galaxies (ETGs) over the redshift range of z approx equals 0.0-1.2 in the Chandra Deep Fields. To measure the average X-ray properties of the ETG population, we use X-ray stacking analyses with a subset of 158 passive ETGs (148 of which were individually undetected in X-ray). This ETG subset was constructed to span the redshift ranges of z = 0.1-1.2 in the approx equals 4 Ms CDF-S and approx equals 2 Ms CDF-N and z = 0.1-0.6 in the approx equals 250 ks E-CDF-S where the contribution from individually undetected AGNs is expected to be negligible in our stacking. We find that 55 of the ETGs are detected individually in the X-rays, and 12 of these galaxies have properties consistent with being passive hot-gas dominated systems (i.e., systems not dominated by an X-ray bright Active Galactic Nucleus; AGN). On the basis of our analyses, we find little evolution in the mean 0.5-2 keY to B-band luminosity ratio (L(sub x) /L(sub Beta) varies as [1 +z]) since z approx equals 1.2, implying that some heating mechanism prevents the gas from cooling in these systems. We consider that feedback from radio-mode AGN activity could be responsible for heating the gas. We select radio AGNs in the ETG population using their far-infrared/radio flux ratio. Our radio observations allow us to constrain the duty cycle history of radio AGN activity in our ETG sample. We estimate that if scaling relations between radio and mechanical power hold out to z approx equals 1.2 for the ETG population being studied here, the average mechanical power from AGN activity is a factor of approx equals1.4 -- 2.6 times larger than the average radiative cooling power from hot gas over the redshift range z approx equals 0-1.2. The excess of inferred AGN mechanical power from these ETGs is consistent with that found in the local Universe for similar types of galaxies.

Danielson, A. L. R.↗
NASA NTRS1988

Geodetic Measurement of Deformation East of the San Andreas Fault in Central California

Triangulation and trilateration data from two geodetic networks located between the western edge of the Great Valley and the San Andreas fault have been used to calculate shear strain rates in the Diablo Range and to estimate the slip rate along the Calaveras and Paicines faults in Central California. Within the Diablo Range the average shear strain rate was determined for the time period between 1962 and 1982 to be 0.15 + or - 0.08 microrad/yr, with the orientation of the most compressive strain at N 16 deg E + or - 14 deg. The orientation of the principal compressive strain predicted from the azimuth of the major structures in the region is N 25 deg E. It is inferred that the measured strain is due to compression across the folds of this area: the average shear straining corresponds to a relative shortening rate of 4.5 + or - 2.4 mm/yr. From an examination of wellbore breakout orientations and the azimuths of P-axes from earthquake focal mechanisms the inferred orientation of maximum compressive stress was found to be similar to the direction of maximum compressive strain implied by the trend of local fold structures. Results do not support the hypothesis of uniform fault-normal compression within the Coast Ranges. From trilateration measurements made between 1972 and 1987 on lines that are within 10 km of the San Andreas fault, a slip rate of 10 to 12 mm/yr was calculated for the Calaveras-Paicines fault south of Hollister. The slip rate of the Paicines fault decreases to 4 mm/yr near Bitter.

Sauber, Jeanne M.↗
NASA NTRS1981

Mechanism of parallel electric fields inferred from observations

Data from various experiments of the Atmosphere Explorer satellites are analyzed to test their consistency with the model of single-particle linear acceleration through a static parallel potential drop. Theoretical current/voltage and energy flux/voltage relations are applied to the data to predict the densities of source current carriers above the acceleration region for upward Birkeland currents. Comparison of these model predictions with simultaneous electron data indicates that the observed field-aligned potential drops are consistent with direct acceleration in the absence of anomalous resistivity.

Yeh, H.-C.↗
NASA NTRS1986

Program for Experimentation With Expert Systems

CERBERUS is forward-chaining, knowledge-based system program useful for experimentation with expert systems. Inference-engine mechanism performs deductions according to user-supplied rule set. Information stored in intermediate area, and user interrogated only when no applicable data found in storage. Each assertion posed by CERBERUS answered with certainty ranging from 0 to 100 percent. Rule processor stops investigating applicable rules when goal reaches certainty of 95 percent or higher. Capable of operating for wide variety of domains. Sample rule files included for animal identification, pixel classification in image processing, and rudimentary car repair for novice mechanic. User supplies set of end goals or actions. System complexity decided by user's rule file. CERBERUS written in FORTRAN 77.

Engle, S. W.↗
NASA NTRS1987

Precipitation factors leading to arc cloud formation

The combined efforts of three graduate students and the principal investigator are presented. Satellite observations and interpretation have become increasingly important in the areas of weather research and operational forecasting. One reason is that geostationary satellite imagery is the only meteorological observing tool that can follow the evolution of clouds from the synoptic scale down to the cumulas scale. Therefore, it can depict atmospheric activity which is up to two orders of magnitude smaller than can be resolved by conventional meteorological observations. This unique ability of the satellite provides the meteorologist a mechanism to infer weather events down to the mesoscale. This evolution is the subject of this report.

Brundidge, Kenneth C.↗
NASA NTRS1992

Knowledge representation requirements for model sharing between model-based reasoning and simulation in process flow domains

The paper examines the requirements for the reuse of computational models employed in model-based reasoning (MBR) to support automated inference about mechanisms. Areas in which the theory of MBR is not yet completely adequate for using the information that simulations can yield are identified, and recent work in these areas is reviewed. It is argued that using MBR along with simulations forces the use of specific fault models. Fault models are used so that a particular fault can be instantiated into the model and run. This in turn implies that the component specification language needs to be capable of encoding any fault that might need to be sensed or diagnosed. It also means that the simulation code must anticipate all these faults at the component level.

Throop, David R.↗
NASA NTRS2011

Spatial Distribution of Volcanic Hotspots and Paterae on Io: Implications for Tidal Heating Models and Magmatic Pathways

Io, the innermost of Jupiter's Galilean satellites, is the most volcanically active body in the Solar. System. Io's global mean heat flow is approximately 2 W/square m, which is approximately 20 times larger than on Earth. High surface temperatures concentrate within "hotspots" and, to date, 172 Ionian hotspots have been identified by spacecraft and Earth-based telescopes. The Laplace resonance between Io, Europa, and Ganymede maintains these satellites in noncircular orbits and causes displacement of their tidal bulges as the overhead position of Jupiter changes for each moon. Gravitational interactions between Jupiter and Io dominate the orbital evolution of the Laplacian system and generate enormous heat within to as tidal energy is dissipated. If this energy were transferred out of Io at the same rate as it is generated, then the associated surface heat flux would be 2.24 +/- 0.45 W/square m. This estimate is in good agreement with observed global heat flow, but to better constrain tidal dissipation mechanisms and infer how thermal energy is transferred to Io's surface, it is critical to closely examine the spatial distribution of volcanic features. End-member tidal dissipation models either consider that heating occurs completely in the mantle, or completely in the asthenosphere. Mixed models typically favor one-third mantle and two-thirds asthenosphere heating. Recent models also consider the effects of mantle-asthenosphere boundary permeability and asthenospheric instabilities. Deep-mantle heating models predict maximum surface heat flux near the poles, whereas asthenosphere heating models predict maxima near the equator-particularly in the Sub-Jovian and Anti-Jovian hemispheres, with smaller maxima occurring at orbit tangent longitudes. Previous studies have examined the global distribution of Ionian hotspots and patera (i.e., irregular or complex craters with scalloped edges that are generally interpreted to be volcanic calderas), but in this study, we combine a new geospatial analysis technique with an improved hotspot and paterae database .

Hamilton, C. W.↗