Cummins柴油机故障诊断系统诊断模块设计

故障诊断模块是Cummins柴油机故障诊断系统的重要组成部分,文中针对其功能,提出了设计思路,并运用Visual B实现,对于研制Cummins柴油机故障诊断专家系统具有重要作用。