随着大型复杂装备越来越广泛的应用在各个领域，系统可靠性、可用性和连续性的需求越来越高，它们的运营和维护已经成为了大问题。MBD(基于模型诊断)是近二十年来发展起来的一种智能故障诊断方法，它克服了传统诊断对经验的依赖。本文设计并实现一种基于模型的故障诊断系统，它把诊断划分为模型建立和诊断求解两个阶段：模型建立阶段使用模型描述语言AD2L模型化待诊断系统(设备)，建立其内部结构和行为模型的诊断模型;诊断求解阶段通过冲突识别(求最小冲突集合)和候选产生(求最小碰集)定位可疑部件。以数字电路诊断(如全加器电路)问题为例，系统给出了建模、冲突识别、诊断、故障定位等。实验表明，该诊断系统结果正确、可靠，具备设备独立性。
NETL
