Mathematical Theory of Evidence in Navigation

2014 ◽  
pp. 199-208 ◽  
Author(s):  
Włodzimierz Filipowicz
Keyword(s):  
Mathematical Theory ◽  
Theory Of Evidence

Detecting changes of steady states using the mathematical theory of evidence

AIChE Journal ◽  
1987 ◽  
Vol 33 (11) ◽  
pp. 1930-1932 ◽  
Author(s):  
S. Narasimhan ◽  
Chen Shan Kao ◽  
R. S. H. Mah
Keyword(s):  
Mathematical Theory ◽  
Steady States ◽  
Theory Of Evidence

A Mathematical Theory of Evidence.

Biometrics ◽  
1976 ◽  
Vol 32 (3) ◽  
pp. 703 ◽  
Author(s):  
A. F. M. Smith ◽  
Glenn Shafer
Keyword(s):  
Mathematical Theory ◽  
Theory Of Evidence

scholarly journals The Impact of the Reliability of Teleinformation Systems on the Quality of Transmitted Information

2016 ◽  
Vol 39 (1) ◽  
pp. 5-20 ◽  
Author(s):  
Marek Stawowy ◽  
Zbigniew Kasprzyk ◽  
Andrzej Szmigiel
Keyword(s):  
Hybrid Method ◽  
Communication Systems ◽  
Mathematical Theory ◽  
Information Quality ◽  
Serial Links ◽  
Modeling Uncertainty ◽  
Information And Communication ◽  
Theory Of Evidence ◽  
The Impact

Abstract The work describes the impact the reliability of the information quality IQ for information and communication systems. One of the components of IQ is the reliability properties such as relativity, accuracy, timeliness, completeness, consistency, adequacy, accessibility, credibility, congruence. Each of these components of IQ is independent and to properly estimate the value of IQ, use one of the methods of modeling uncertainty. In this article, we used a hybrid method that has been developed jointly by one of the authors. This method is based on the mathematical theory of evidence know as Dempstera-Shafera (DS) theory and serial links of dependent hybrid named IQ (hyb).

scholarly journals Conditional Belief Structures

1988 ◽  
Vol 2 (4) ◽  
pp. 415-433 ◽  
Author(s):  
Jürg Kohlas
Keyword(s):  
Mathematical Theory ◽  
Knowledge Based Systems ◽  
Conditional Belief ◽  
Practical Applications ◽  
Knowledge Based ◽  
Belief Structures ◽  
Modeling Practice ◽  
Theory Of Evidence

The mathematical theory of evidence (Shafer et al. [9]) has recently found much interest as an approach to treat uncertainty in expert and knowledge-based systems. Although the theory is very promising, there are not yet many practical applications. Modeling practice has still to be developed. This is a crucial task in view of facilitating the application of evidential modeling. It is the aim of this paper to discuss an important element of evidential modeling–conditional belief–within the scope of the mathematical theory of evidence.

scholarly journals Program Spectra Analysis with Theory of Evidence

2012 ◽  
Vol 2012 ◽  
pp. 1-12 ◽  
Author(s):  
Rattikorn Hewett
Keyword(s):  
Real World ◽  
Mathematical Theory ◽  
Fault Localization ◽  
Uncertainty Reasoning ◽  
Spectra Analysis ◽  
Program Testing ◽  
Test Execution ◽  
Theory Of Evidence

This paper presents an approach to automatically analyzing program spectra, an execution profile of program testing results for fault localization. Using a mathematical theory of evidence for uncertainty reasoning, the proposed approach estimates the likelihood of faulty locations based on evidence from program spectra. Our approach is theoretically grounded and can be computed online. Therefore, we can predict fault locations immediately after each test execution is completed. We evaluate the approach by comparing its performance with the top three performing fault localizers using a benchmark set of real-world programs. The results show that our approach is at least as effective as others with an average effectiveness (the reduction of the amount of code examined to locate a fault) of 85.6% over 119 versions of the programs. We also study the quantity and quality impacts of program spectra on our approach where the quality refers to the spectra support in identifying that a certain unit is faulty. The results show that the effectiveness of our approach slightly improves with a larger number of failed runs but not with a larger number of passed runs. Program spectra with support quality increases from 1% to 100% improves the approach's effectiveness by 3.29%.

Sign in / Sign up

Export Citation Format

Share Document