为了使电路故障诊断系统更加智能化、高效化,将基于模型诊断的故障诊断技术应用在智能消防小车电路中。根据小车的系统行为信息对小车进行建模,利用串口模块将描述文件在线输入到计算机中,再根据IsDS算法以及带有终止节点的CSSE-tree算法调用MiniSAT求解器求解诊断结果。实验表明,该系统能够迅速指示故障元件,诊断效率较高,具有较好的应用前景。
开通会员