汪恒宇，张信哲，刘久富

(南京航空航天大学 自动化学院，江苏 南京 211106)

故障可诊断性解释了故障诊断深层次的内涵，为从根本上提升控制系统对故障的诊断能力的研究提供了理论依据.对系统可诊断性进行分析，从系统层面对系统结构进行优化，可以提高系统对故障信息获取、分析能力，从而更加有效地提升系统的安全性[1].Hashtrudi等[2]在自动机建模的时延DES背景下介绍了时间可诊断性的概念，在他们的事件中包含一个全局时钟的标记，同时是可以观测的.时间可诊断性要求通用故障的点火fi在至多τi次标记后可以被检测和隔离.TripaKis在[3]中提出了带保护的时延自动机，δ诊断性(基本上和我们的τ诊断性定义是一样的概念的)提出和证明是在区间δ∈Q上PSPACE完全问题.对时间的明确考虑对于运输系统、通信协议、电路、航空系统或实时系统等系统的规范和验证至关重要，是否可以通过观察有限长度的词来重构故障事件的发生.

通信系统在出现故障的时候就会导致数据传输不确定或者不完整，或者还会导致丢失关键信息，同时通信系统存在数据交换复杂，无法全面监测，故障征兆不明显，实际故障数据捕捉存在困难等问题，所以如何快速、可靠地对通信系统进行故障诊断保证数据传输安全完整是一个有待解决的问题[4-5].

早期通信系统的数据分析方法主要依靠人工参照协议规范分析数据的有效性、正确性和数据的逻辑是否正确.近年来各……