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 NTRS1988

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↗
NASA NTRS1990

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.↗
NASA NTRS1990

Fuzzy logic in control systems: Fuzzy logic controller. I, II

Recent advances in the theory and applications of fuzzy-logic controllers (FLCs) are examined in an analytical review. The fundamental principles of fuzzy sets and fuzzy logic are recalled; the basic FLC components (fuzzification and defuzzification interfaces, knowledge base, and decision-making logic) are described; and the advantages of FLCs for incorporating expert knowledge into a control system are indicated. Particular attention is given to fuzzy implication functions, the interpretation of sentence connectives (and, also), compositional operators, and inference mechanisms. Applications discussed include the FLC-guided automobile developed by Sugeno and Nishida (1985), FLC hardware systems, FLCs for subway trains and ship-loading cranes, fuzzy-logic chips, and fuzzy computers.

Lee, Chuen Chien↗
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.↗
DOE OSTI2021

Inference of Rock Flow and Mechanical Properties from Injection-Induced Microseismic Events During Geologic CO 2 Storage

Monitoring microseismic activities during CO 2 injection into geologic formations is important for ensuring the safety of the storage operations. The resulting data provide insight into the response of the storage formation to CO 2 injection and can be used to infer the underlying rock flow and mechanical properties. In this paper, assimilation of microseismic data is performed for dynamic characterization of the storage formation by using a stochastic simulation model to forecast the microseismic response of a geologic formation during CO 2 injection. Two modeling approaches are adopted to predict the space-time distribution of the injection-induced microseismicity. The first model is based on pore pressure relaxation assumption, while the second model uses coupled flow and geomechanics simulation to establish the complex physical relation between the storage formation properties and the corresponding microseismic responses during CO 2 injection. The stochastic predictive models in each case are used in ensemble data assimilation frameworks to estimate rock properties from the observed microseismic data. Two data assimilation methods are considered: (i) a new ensemble-based stochastic point process filter (EnPPF) that can directly integrate discrete microseismic events, and (ii) a variant of ensemble smoother, known as the ensemble smoother with multiple data assimilation (ES-MDA), which requires continuous representation of microseismic events for assimilation. The two methods are successfully applied to a geologically realistic model of the Farnsworth Field in Texas, with complex geologic flow units and interacting fault systems.

42 ENGINEERING↗
DOE OSTI2023

Modeling support for the development of material surveillance specimens and procedures

This report describes modeling and simulation activities performed at Argonne National Laboratory supporting the development of passively actuated mechanical test articles for material surveillance in Molten Salt Reactors (MSRs). These test articles are a critical technology in formulating material surveillance programs for future MSRs to monitor the degradation in the structural properties of the materials in critical plant components. The main activity described in this report is the development of a method for inferring the amount of mechanical damage a test article has experienced during some duration of exposure to plant thermal and environmental conditions, using only mechanical test data collected from the test articles before and after exposure. The basic approach is to develop a model of the test article, including a description of mechanical degradation through continuum damage mechanics, and then use this model to cast the problem of inferring mechanical degradation in the test article materials into a shooting problem for a set of ordinary differential equations. We can then solve the shooting problem to determine the amount of damage accumulated in the sample. The report also details a few miscellaneous simulation studies completed at Argonne to support the development of the test articles themselves at Idaho National Laboratory.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
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.↗
DOE OSTI2021

Evolutionary Diversification of Host-Targeted Bartonella Effectors Proteins Derived from a Conserved FicTA Toxin-Antitoxin Module

Proteins containing a FIC domain catalyze AMPylation and other post-translational modifications (PTMs). In bacteria, they are typically part of FicTA toxin-antitoxin modules that control conserved biochemical processes such as topoisomerase activity, but they have also repeatedly diversified into host-targeted virulence factors. Among these, Bartonella effector proteins (Beps) comprise a particularly diverse ensemble of FIC domains that subvert various host cellular functions. However, no comprehensive comparative analysis has been performed to infer molecular mechanisms underlying the biochemical and functional diversification of FIC domains in the vast Bep family. Here, we used X-ray crystallography, structural modelling, and phylogenetic analyses to unravel the expansion and diversification of Bep repertoires that evolved in parallel in three Bartonella lineages from a single ancestral FicTA toxin-antitoxin module. Our analysis is based on 99 non-redundant Bep sequences and nine crystal structures. Inferred from the conservation of the FIC signature motif that comprises the catalytic histidine and residues involved in substrate binding, about half of them represent AMP transferases. A quarter of Beps show a glutamate in a strategic position in the putative substrate binding pocket that would interfere with triphosphate-nucleotide binding but may allow binding of an AMPylated target for deAMPylation or another substrate to catalyze a distinct PTM. The β-hairpin flap that registers the modifiable target segment to the active site exhibits remarkable structural variability. The corresponding sequences form few well-defined groups that may recognize distinct target proteins. The binding of Beps to promiscuous FicA antitoxins is well conserved, indicating a role of the antitoxin to inhibit enzymatic activity or to serve as a chaperone for the FIC domain before translocation of the Bep into host cells. Taken together, our analysis indicates a remarkable functional plasticity of Beps that is mostly brought about by structural changes in the substrate pocket and the target dock. These findings may guide future structure–function analyses of the highly versatile FIC domains.

59 BASIC BIOLOGICAL SCIENCES↗