Search NASA⌕ Search

SEARCH · Search NASA

Results for “evidence theory”

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

Fuzzy sets, rough sets, and modeling evidence: Theory and Application. A Dempster-Shafer based approach to compromise decision making with multiattributes applied to product selection

The Dempster-Shafer theory of evidence is applied to a multiattribute decision making problem whereby the decision maker (DM) must compromise with available alternatives, none of which exactly satisfies his ideal. The decision mechanism is constrained by the uncertainty inherent in the determination of the relative importance of each attribute element and the classification of existing alternatives. The classification of alternatives is addressed through expert evaluation of the degree to which each element is contained in each available alternative. The relative importance of each attribute element is determined through pairwise comparisons of the elements by the decision maker and implementation of a ratio scale quantification method. Then the 'belief' and 'plausibility' that an alternative will satisfy the decision maker's ideal are calculated and combined to rank order the available alternatives. Application to the problem of selecting computer software is given.

Dekorvin, Andre↗

Evidence Theory Representations for Properties Associated With Weak Link/Strong Link Systems, Part 1: Loss of Assured Safety

The use of evidence theory in the analysis of loss of assured safety (LOAS) for weak link (WL)/strong link (SL) systems is introduced and illustrated. Furthermore, article content includes (i) an introduction to evidence theory, (ii) definition of two WLs and two SLs used for illustration, (iii) belief and plausibility for the occurrence of LOAS for a one WL/two SL system, and (iv) a sampling-based procedure for the verification of belief and plausibility calculations. The presented results can be generalized to systems with more than one WL and two SLs.

42 ENGINEERING↗

Evidence Theory Representations for Properties Associated With Weak Link/Strong Link Systems, Part 2: Failure Time and Failure Temperature

The use of evidence theory and associated cumulative plausibility functions (CPFs), cumulative belief functions (CBFs), cumulative distribution functions (CDFs), complementary cumulative plausibility functions (CCPFs), complementary cumulative belief functions (CCBFs), and complementary cumulative distribution functions (CCDFs) in the analysis of loss of assured safety (LOAS) for weak link (WL)/strong link (SL) systems is introduced and illustrated. Article content includes cumulative and complementary cumulative belief, plausibility, and probability for (i) time at which LOAS occurs for a one WL/two SL system, (ii) time at which a two-link system fails, (iii) temperature at which a two-link system fails, and (iv) temperature at which LOAS occurs for a one WL/two SL system. The presented results can be generalized to systems with more than one WL and two SLs.

42 ENGINEERING↗

Evidence Theory Representations for Properties Associated With Weak Link/Strong Link Systems, Part 3: Margins for Failure Time and Failure Temperature

The use of evidence theory and associated cumulative plausibility functions (CPFs), cumulative belief functions (CBFs), cumulative distribution functions (CDFs), complementary cumulative plausibility functions (CCPFs), complementary cumulative belief functions (CCBFs), and complementary cumulative distribution functions (CCDFs) in the analysis of time and temperature margins associated with loss of assured safety (LOAS) for one weak link (WL)/two strong link (SL) systems is illustrated. Article content includes cumulative and complementary cumulative belief, plausibility, and probability for (i) SL/WL failure time margins defined by (time at which SL failure potentially causes LOAS) – (time at which WL failure potentially prevents LOAS), (ii) SL/WL failure temperature margins defined by (the temperature at which SL failure potentially causes LOAS) – (the temperature at which WL failure potentially prevents LOAS), and (iii) SL/SL failure temperature margins defined by (the temperature at which SL failure potentially causes LOAS) – (the temperature of SL whose failure potentially causes LOAS at the time at which WL failure potentially prevents LOAS).

42 ENGINEERING↗

Celestial Topology, Symmetry Theories, and Evidence for a NonSUSY D3‐Brane CFT

Symmetry Theories (SymThs) provide a flexible framework for analyzing the global categorical symmetries of a D -dimensional QFT D in terms of a (D + 1)-dimensional bulk system SymTh D+1 . In QFTs realized via local string backgrounds, these SymThs naturally arise from dimensional reduction of the linking boundary geometry. To track possible time dependent effects we introduce a celestial generalization of the standard “boundary at infinity” of a SymTh. As an application of these considerations we revisit large N quiver gauge theories realized by spacetime filling D3-branes probing a non-supersymmetric orbifold $\mathbb{R}$ 6 /Γ. Comparing the imprint of symmetry breaking on the celestial geometry at small and large ‘t Hooft coupling we find evidence for an intermediate symmetry preserving conformal fixed point.

conformal field theory↗

Information compression in the context model

The Context Model provides a formal framework for the representation, interpretation, and analysis of vague and uncertain data. The clear semantics of the underlying concepts make it feasible to compare well-known approaches to the modeling of imperfect knowledge like that given in Bayes Theory, Shafer's Evidence Theory, the Transferable Belief Model, and Possibility Theory. In this paper we present the basic ideas of the Context Model and show its applicability as an alternative foundation of Possibility Theory and the epistemic view of fuzzy sets.

Gebhardt, Joerg↗

A special class of planetary collisions - Theory and evidence

Collisions between comparable-sized planetary bodies are a special class of collisions, rarer than other collisions, but producing interesting products, such as unfractured dumbbell-shaped contact binaries, partly brecciated elongated bodies, totally brecciated spheroidal bodies, and perhaps co-orbiting binary pairs or swarms. Qualitative and rough quantitative theories are presented to indicate collision outcomes. Contact binaries or fractured elongated bodies as large as tens or hundreds of kilometers across can be produced - larger than hitherto considered. Lengths about 20 to 200 km are most probable for igneous or ordinary chondritic elongated objects formed by collision, but other lengths could result from tidal evolution of pairs. Though most elongated asteroids are probably collision fragments, as usually assumed, some may instead be accretionary products. Trojan asteroid 624 Hektor is a candidate. Some polymict, genomict, and monomict brecciated meteorites may be better explained by large-scale fragmentation and immediate gravitational re-assembly of parent bodies than by local-scale processes of cratering on parent-body surfaces.

Hartmann, W. K.↗

Instrumentation and robotic image processing using top-down model control

A top-down image processing scheme is described. A three-dimensional model of a robotic working environment, with robot manipulators, workpieces, cameras, and on-the-scene visual enhancements is employed to control and direct the image processing, so that rapid, robust algorithms act in an efficient manner to continually update the model. Only the model parameters are communicated, so that savings in bandwidth are achieved. This image compression by modeling is especially important for control of space telerobotics. The background for this scheme lies in an hypothesis of human vision put forward by the senior author and colleagues almost 20 years ago - the Scanpath Theory. Evidence was obtained that repetitive sequences of saccadic eye movements, the scanpath, acted as the checking phase of visual pattern recognition. Further evidence was obtained that the scanpaths were apparently generated by a cognitive model and not directly by the visual image. This top-down theory of human vision was generalized in some sense to the frame in artificial intelligence. Another source of the concept arose from bioengineering instrumentation for measuring the pupil and eye movements with infrared video cameras and special-purpose hardware.

Stark, Lawrence↗

Comparison of specificity and information for fuzzy domains

This paper demonstrates how an integrated theory can be built on the foundation of possibility theory. Information and uncertainty were considered in 'fuzzy' literature since 1982. Our departing point is the model proposed by Klir for the discrete case. It was elaborated axiomatically by Ramer, who also introduced the continuous model. Specificity as a numerical function was considered mostly within Dempster-Shafer evidence theory. An explicity definition was given first by Yager, who has also introduced it in the context of possibility theory. Axiomatic approach and the continuous model have been developed very recently by Ramer and Yager. They also establish a close analytical correspondence between specificity and information. In literature to date, specificity and uncertainty are defined only for the discrete finite domains, with a sole exception. Our presentation removes these limitations. We define specificity measures for arbitrary measurable domains.

Ramer, Arthur↗

Theoretical frameworks for testing relativistic gravity: A review

Metric theories of gravity are presented, including the definition of metric theory, evidence for its existence, and response of matter to gravity with test body trajectories, gravitational red shift, and stressed matter responses. Parametrized post-Newtonian framework and interpretations are reviewed. Gamma, beta and gamma, and varied other parameters were measured. Deflection of electromagnetic waves, radar time delay, geodetic gyroscope precession, perihelion shifts, and periodic effects in orbits are among various studies carried out for metric theory experimentation.

Thorne, K. S.↗

Application of plausible reasoning to AI-based control systems

Some current approaches to plausible reasoning in artificial intelligence are reviewed and discussed. Some of the most significant recent advances in plausible and approximate reasoning are examined. A synergism among the techniques of uncertainty management is advocated, and brief discussions on the certainty factor approach, probabilistic approach, Dempster-Shafer theory of evidence, possibility theory, linguistic variables, and fuzzy control are presented. Some extensions to these methods are described, and the applications of the methods are considered.

Berenji, Hamid↗

Certain and possible rules for decision making using rough set theory extended to fuzzy sets

Uncertainty may be caused by the ambiguity in the terms used to describe a specific situation. It may also be caused by skepticism of rules used to describe a course of action or by missing and/or erroneous data. To deal with uncertainty, techniques other than classical logic need to be developed. Although, statistics may be the best tool available for handling likelihood, it is not always adequate for dealing with knowledge acquisition under uncertainty. Inadequacies caused by estimating probabilities in statistical processes can be alleviated through use of the Dempster-Shafer theory of evidence. Fuzzy set theory is another tool used to deal with uncertainty where ambiguous terms are present. Other methods include rough sets, the theory of endorsements and nonmonotonic logic. J. Grzymala-Busse has defined the concept of lower and upper approximation of a (crisp) set and has used that concept to extract rules from a set of examples. We will define the fuzzy analogs of lower and upper approximations and use these to obtain certain and possible rules from a set of examples where the data is fuzzy. Central to these concepts will be the idea of the degree to which a fuzzy set A is contained in another fuzzy set B, and the degree of intersection of a set A with set B. These concepts will also give meaning to the statement; A implies B. The two meanings will be: (1) if x is certainly in A then it is certainly in B, and (2) if x is possibly in A then it is possibly in B. Next, classification will be looked at and it will be shown that if a classification will be looked at and it will be shown that if a classification is well externally definable then it is well internally definable, and if it is poorly externally definable then it is poorly internally definable, thus generalizing a result of Grzymala-Busse. Finally, some ideas of how to define consensus and group options to form clusters of rules will be given.

Dekorvin, Andre↗

A Foreign Object Damage Event Detector Data Fusion System for Turbofan Engines

A Data Fusion System designed to provide a reliable assessment of the occurrence of Foreign Object Damage (FOD) in a turbofan engine is presented. The FOD-event feature level fusion scheme combines knowledge of shifts in engine gas path performance obtained using a Kalman filter, with bearing accelerometer signal features extracted via wavelet analysis, to positively identify a FOD event. A fuzzy inference system provides basic probability assignments (bpa) based on features extracted from the gas path analysis and bearing accelerometers to a fusion algorithm based on the Dempster-Shafer-Yager Theory of Evidence. Details are provided on the wavelet transforms used to extract the foreign object strike features from the noisy data and on the Kalman filter-based gas path analysis. The system is demonstrated using a turbofan engine combined-effects model (CEM), providing both gas path and rotor dynamic structural response, and is suitable for rapid-prototyping of control and diagnostic systems. The fusion of the disparate data can provide significantly more reliable detection of a FOD event than the use of either method alone. The use of fuzzy inference techniques combined with Dempster-Shafer-Yager Theory of Evidence provides a theoretical justification for drawing conclusions based on imprecise or incomplete data.

Turso, James A.↗

An evidential approach to problem solving when a large number of knowledge systems is available

Some recent problems are no longer formulated in terms of imprecise facts, missing data or inadequate measuring devices. Instead, questions pertaining to knowledge and information itself arise and can be phrased independently of any particular area of knowledge. The problem considered in the present work is how to model a problem solver that is trying to find the answer to some query. The problem solver has access to a large number of knowledge systems that specialize in diverse features. In this context, feature means an indicator of what the possibilities for the answer are. The knowledge systems should not be accessed more than once, in order to have truly independent sources of information. Moreover, these systems are allowed to run in parallel. Since access might be expensive, it is necessary to construct a management policy for accessing these knowledge systems. To help in the access policy, some control knowledge systems are available. Control knowledge systems have knowledge about the performance parameters status of the knowledge systems. In order to carry out the double goal of estimating what units to access and to answer the given query, diverse pieces of evidence must be fused. The Dempster-Shafer Theory of Evidence is used to pool the knowledge bases.

Dekorvin, Andre↗

Extrasolar planetary systems.

The terms 'planet' and 'planet-like objects' are defined. The observational search for extrasolar planetary systems is described, as performable by earthbound optical telescopes, by space probes, by long baseline radio interferometry, and finally by inference from the reception of signals sent by intelligent beings in other worlds. It is shown that any planetary system must be preceded by a rotating disk of gas and dust around a central mass. A brief review of the theories of the formation of the solar system is given, along with a proposed scheme for classification of these theories. The evidence for magnetic activity in the early stages of stellar evolution is presented. The magnetic braking theories of solar and stellar rotation are discussed, and an estimate is made for the frequency of occurrence of planetary systems in the universe.

Huang, S.-S.↗