DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Chwa, Kyung-Yong | - |
dc.contributor.advisor | 좌경룡 | - |
dc.contributor.author | Kim, Hee-Chul | - |
dc.contributor.author | 김희철 | - |
dc.date.accessioned | 2011-12-13T05:22:18Z | - |
dc.date.available | 2011-12-13T05:22:18Z | - |
dc.date.issued | 1987 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=61070&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/32963 | - |
dc.description | 학위논문(박사) - 한국과학기술원 : 전산학과, 1987.8, [ ix, 86 p. ] | - |
dc.description.abstract | Fault diagnosis at the system level is an important aspect in fault-tolerant computing systems consisting of a large number of interconnected processors. In this thesis, we are concerned with fault diagnosis of a system in which each unit is capable of testing other units. As an approach to fault diagnosis in a system, we introduce a problem of determining in a system with $n$ units whether at least one out of given $m(\le{n})$ units can be identified as faulty or fault-free provided the number of faulty units present does not exceed t. We characterize such an identifiable set of m units for $m \le 2$. For the simple characterization of an identifiable set, we propose a new matching, called S-matching, in a digraph as an extension of a matching and develop an algorithm for finding a maximum S-matching in a digraph. This algorithm can be applied to finding a maximum matching in a bipartite graph. The proposed S-matching techniques greatly simplify the characterization of an identifiable set U with $\mid{U} \mid \le 2$. Using the identifiable set U with $\mid{U} \mid \le 2$, we investigate measures of diagnosability such as one-step t-diagnosability, sequential t-diagnosability, t/t-diagnosability and intermittent t-diagnosability. We present simplified characterizations of one-step t-diagnosable systems and t/t-diagnosable systems, and algorithms for determining these diagnosabilities for a given system. For the sequentially t-diagnosable systems which have not been fully characterized, we extend the sufficient conditions by constructing these systems. We also give an alternative characterization of intermittently t-diagnosable systems. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.title | Diagnosability analysis in graph-theoretic modelof computer systems | - |
dc.title.alternative | 컴퓨터 시스템에 대한 그래프 이론적 모델에서의 고장 진단도 분석에 관한 연구 | - |
dc.type | Thesis(Ph.D) | - |
dc.identifier.CNRN | 61070/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000805083 | - |
dc.contributor.localauthor | Chwa, Kyung-Yong | - |
dc.contributor.localauthor | 좌경룡 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.