电子学报
電子學報
전자학보
Acta Electronica Sinica
2015年
11期
2331-2337
,共7页
条件故障诊断%PMC 模型%条件故障模式%t 条件可诊断
條件故障診斷%PMC 模型%條件故障模式%t 條件可診斷
조건고장진단%PMC 모형%조건고장모식%t 조건가진단
conditional fault diagnosis%the preparata metze chien (PMC)model%conditional fault model%t-conditional di-agnosable
系统级故障诊断是保证复杂多处理器系统可靠性的一种重要的手段,PMC 模型是一种重要的系统级故障诊断模型。本文通过对 PMC 模型的 t 条件可诊断性进行分析和论证,首次给出了互测 PMC 模型的 t 条件可诊断的充要条件。并通过构建条件故障模式方程组,然后利用自然连接和笛卡尔积等关系代数对条件故障模式方程组进行求解,进而首创了一种便捷的条件故障模式算法。本文最后根据互测 PMC 模型的 t 条件可诊断的充要条件进一步给出了一种新型的 t 条件可诊断判定算法,该算法简单有效。
繫統級故障診斷是保證複雜多處理器繫統可靠性的一種重要的手段,PMC 模型是一種重要的繫統級故障診斷模型。本文通過對 PMC 模型的 t 條件可診斷性進行分析和論證,首次給齣瞭互測 PMC 模型的 t 條件可診斷的充要條件。併通過構建條件故障模式方程組,然後利用自然連接和笛卡爾積等關繫代數對條件故障模式方程組進行求解,進而首創瞭一種便捷的條件故障模式算法。本文最後根據互測 PMC 模型的 t 條件可診斷的充要條件進一步給齣瞭一種新型的 t 條件可診斷判定算法,該算法簡單有效。
계통급고장진단시보증복잡다처리기계통가고성적일충중요적수단,PMC 모형시일충중요적계통급고장진단모형。본문통과대 PMC 모형적 t 조건가진단성진행분석화론증,수차급출료호측 PMC 모형적 t 조건가진단적충요조건。병통과구건조건고장모식방정조,연후이용자연련접화적잡이적등관계대수대조건고장모식방정조진행구해,진이수창료일충편첩적조건고장모식산법。본문최후근거호측 PMC 모형적 t 조건가진단적충요조건진일보급출료일충신형적 t 조건가진단판정산법,해산법간단유효。
System-level fault diagnosis is an important means to ensure the reliability of a complex multiprocessor system. The PMC model is regarded as an important system-level diagnosis model.By analyzing and demonstrating the properties of t-con-ditional diagnosable system under the PMC model,this paper first introduces a necessary and sufficient condition of t-conditional di-agnosable system under the PMC model,constructs conditional fault model equations,and then solves the conditional fault model e-quations by using relational algebra such as natural join and cartesian product,so that a fast and convenient conditional fault model algorithm is proposed.Finally,according to the necessary and sufficient condition of t-conditional diagnosable system under the PMC model,this paper proposes a new t-conditional diagnosable decision algorithm which is simple and effective.