陈 芳，梁家荣，张 乾

(广西大学 计算机与电子信息学院，南宁 530004)

1 研究背景

蚁群系统是通过对自然界中蚂蚁觅食行为的分析而提出的.蚂蚁之间通过信息素来进行相互联系[1]，即蚂蚁在寻找食物的过程中会产生一种信息素，它的同伴会根据其信息素的多少来选择路径.如果蚂蚁没有产生足够多的信息素，随着时间的流逝，信息素会消失，那么最初蚂蚁的觅食路径也会不复存在[2].反之，如果有许多蚂蚁选择同一条路径，那么这条路径的信息素会增加，从而会驱使更多的蚂蚁选择这条路径，也就是说，信息素最多的路径就是蚂蚁觅食的最短路径[3].

为了保证系统的可靠性，Preparata et al.提出了第一个系统级可诊断模型(PMC模型)[4].基于PMC模型，Maeng和Malek提出了比较模型(也称MM模型)，即借助于图论的思想，用无向图G(V，E)表示多重处理机系统，其中，V表示系统中的结点(处理机)集合，E表示结点(处理机)之间的连通关系，用结点vk比较结点va和vb，当且仅当结点va，vb，vk满足，(va，vk)∈E且(vb，vk)∈E，由此得到的测试结果用ω(vk：va，vb)来表示[5].表1展示了比较模型下结点的比较规则.基于MM模型，Sengupta和Dahbura提出了特殊化的MM模型(MM*模型)，即只要结点是相邻的，那么任意一个结点就需要去测试另外两个结点[6].

随着信息技术的快速发展，传统的故障诊断方法，不能够诊断出大量的故障处理机，且不能有效的将故障处理机替换为无故障的处理机.对于如何高效地解决多重处理机系统在运行过程中的故障诊断问题，学者们相继提出新的策略……