Academic Knowledge Archives of Gunma Institutes >
群馬大学(Gunma University) >
50 工学研究科 >
5007 情報工学専攻 >
学術雑誌論文 >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10087/2975
|
Title: | (t, k)-diagnosable system: A generalization of the PMC models |
Authors: | Araki, Toru Shibata, Yukio |
Issue Date: | Jul-2003 |
Publisher: | Institute of Electrical and Electronics Engineers |
Citation: | IEEE Transactions on Computers 52(7) 971-975 (2003) |
Abstract: | ln this paper, we introduce a new model for diagnosable systems called (t, k)-diagnosable system which guarantees that at least k faulty units (processors) in a system are detected provided that the number of faulty units does not exceed t. This system includes classical one-step diagnosable systems and sequentially diagnosable systems. We prove a necessary and sufficient condition for (t, k)-diagnosable system, and discuss a lower bound for diagnosability. Finally, we deal with a relation between (t, k)-diagnosability and diagnosability of classical basic models. |
URI: | http://hdl.handle.net/10087/2975 |
ISSN: | 0018-9340 |
Appears in Collections: | 学術雑誌論文
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|