基于 PMC 模型的条件故障诊断
郭晨;梁家荣;冷明
【期刊名称】《电子学报》 【年(卷),期】2015(000)011
【摘要】系统级故障诊断是保证复杂多处理器系统可靠性的一种重要的手段，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
基于 PMC 模型的条件故障诊断
