无线传感网络中云层雷击信号准确检测仿真分析

传统传感网络雷击信号检测方法采用能量块突变检测理论进行采集,存在有限长观测缺陷,无法准确实现雷击信号的检测。提出基于循环谱理论的无线传感网络中云层雷击信号准确检测方法,依据循环谱理论,将有限长观测数据中检测雷击信号的问题看作是二元建设检验,基于雷击信号的特征,通过判断是否存在非零循环频率对雷击信号进行检测。引入检测循环频率的渐近最优检验方法,提出一种可行的循环频率判别方案,获取无线传感网络中云层雷击信号检测方案。仿真实验结果表明,所提方法可有效抑制噪声,在低信噪比下对于雷击信号具有较好的检测性能。     

基于模型检测的机载电子硬件验证方法研究

模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。