摘要：系统级故障诊断是保证复杂多处理器系统可靠性的一种重要的手段,PMC模型是一种重要的系统级故障诊断模型.本文通过对PMC模型的t条件可诊断性进行分析和论证,首次给出了互测PMC模型的t条件可诊断的充要条件.并通过构建条件故障模式方程组,然后利用自然连接和笛卡尔积等关系代数对条件故障模式方程组进行求解,进而首创了一种便捷的条件故障模式算法.本文最后根据互测PMC模型的t条件可诊断的充要条件进一步给出了一种新型的t条件可诊断判定算法,该算法简单有效.

关键词：条件故障诊断 pmc模型 条件故障模式 t条件可诊断 

单位：广西大学电气工程学院 广西南宁530004 广西大学计算机与电子信息学院 广西南宁530004 井冈山大学电子与信息工程学院 江西吉安343009