The Community for Technology Leaders
Green Image
Issue No. 12 - December (1996 vol. 45)
ISSN: 0018-9340
pp: 1435-1438
<p><b>Abstract</b>—Prior research has extended the classical PMC (or Symmetric Invalidation) Model to incorporate a priori weights or probabilities associated with units. We consider a similar extension to the BGM (or Asymmetric Invalidation) Model. In contrast to the PMC model, where deciding the weighted diagnosability number is co-NP complete, we show that the diagnosability number in the weighted BGM model can be obtained in O(<it>m</it><super>2</super>) time, where <it>m</it> is the number of tests in the system. We also show that diagnosis in this weighted model can be performed in O(<it>T</it>(<it>n</it>)) time, where <it>n</it> is the number of units in the system and <tmath>$T(n) \approx n^{2.376}$</tmath> is the amount of time needed to multiply two <it>n</it> by <it>n</it> matrices.</p>
Asymmetric invalidation, weighted diagnosability, diagnosis, PMC model, BGM model.
Vijay Raghavan, "Weighted Diagnosis with Asymmetric Invalidation", IEEE Transactions on Computers, vol. 45, no. , pp. 1435-1438, December 1996, doi:10.1109/12.545973
99 ms
(Ver 3.3 (11022016))