The Diagnosabilities of and Diagnosis Algorithms for Regular Networks under Two Three-Valued Models.

The two three-valued test models of system-level diagnosis, t[x] model and t/x model, are of practical importance in some real situations. This paper addresses the diagnosabilities of regular networks under the two three-valued models as well as the design of the corresponding diagnosis algorithms. First, we derive sufficient conditions for t[x]-diagnosable and t/x-diagnosable regular networks, respectively. Then we propose efficient one-step diagnosis algorithms for diagnosable regular networks under the two three-valued models, respectively.