基于有限自动机模型的间歇故障诊断方法研究

摘要

现有基于模型的诊断通常将系统状态划分为正常和(永久)故障.航空、航天等领域电子产品的故障通常是间歇的,将间歇故障误诊为永久故障将引发虚警、不可复现和重测合格等问题.为了研究现代大型复杂系统的故障诊断,本文提出采用有限自动机进行系统建模,并对故障事件进行评估使之可观的思想,首先介绍了包含永久故障和间歇故障的系统自动机模型的构建;同时,引入标识的概念,给出了表征系统状态变化规律的标识函数;在此基础上,介绍了系统诊断器的构建;最后,给出了系统自动机和诊断器构建步骤和方法.