Conditional (t, k)-diagnosis under the MM* model

碩士 === 國立中央大學 === 資訊工程學系 === 101 === System-level diagnosis is used to identify faulty processors. Each processor in the system can test its neighboring processors and declare them fault-free or faulty. And (t, k)-diagnosis is an conceptualization of sequential diagnosis. In (t, k)-diagnosis, at lea...

Full description

Bibliographic Details
Main Authors: Shih-ping Huang, 黃詩蘋
Other Authors: Guey-Yun Cheng
Format: Others
Language:zh-TW
Published: 2013
Online Access:http://ndltd.ncl.edu.tw/handle/41510935455489586644
Description
Summary:碩士 === 國立中央大學 === 資訊工程學系 === 101 === System-level diagnosis is used to identify faulty processors. Each processor in the system can test its neighboring processors and declare them fault-free or faulty. And (t, k)-diagnosis is an conceptualization of sequential diagnosis. In (t, k)-diagnosis, at least k faulty processors (or all faulty processors if fewer than k faulty processors remain) are identified and repaired in each iteration provided there are at most t faulty processors. In this paper, it assumes that each processor neighbor to at least one fault-free processor. We prove the conditional (t, k)-diagnosability of the r-regular graph under the MM* model.