假设 2摇 诊断过程独立:是指按照一定的操 作序列逐个故障的证明过程,直至某个候选故障 被证明是当前故障原因. 尽管对问题做了假设的限制,但是该问题仍 然是一个 NP 难题. 诊断操作之间存在相关性,这 就使得求解诊断的最优操作序列仍然十分困难. 然而,上........