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

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

IDS告警融合与关联模型的研究

入侵检测是保障网络安全的重要手段,针对现有入侵检测系统中告警数量多、协调性差等问题,论文提出了一种具有告警融合与关联功能的告警处理系统模型,该模型冗余告警量少、整体检测能力强,并能进行攻击企图的预测,能有效提高入侵检测的效率,有助于进一步增强网络的健壮性。     

基于DTW改进算法的孤立词识别系统的仿真与分析

传统的DTW算法在进行孤立词语音识别时着重于时间规整和语音测度的计算，而没有对数据的可靠性和有效性进行分析。本文提出了一种改进的端点检测算法，并采用一种改进的DTW算法，在计算机上进行了仿真。实验结果表明采用改进后的DTW算法有效的降低了识别时间和存储数据量，提高了系统性能。     

电台节目循环监听与无声报警装置

广播节目播出实行循环监听，对发射机正常播出进行有效监控，是贯彻“安全、优质、不间断”的播出的重要手段。     

AV设备自动切换器

目前,彩电带有AV(音频、视频)输入端子已相当普遍,但许多普通彩电只带一组AV输入端子。可是现在AV器材种类越来越多,如录像机、VCD和DVD影碟机、广播卫星接收调谐器,都要通过电视机或监示器播放图像和伴音。对于外部只有一个AV输入端子的彩电来说,更换AV设备时,     

继电器微机检测装置的软件设计

继电器作为主要电气元件之一，广泛应用于各个领域。对继电器的检测主要包括机械参数和电气参数的检测。电气参数由于其项目多，实现微机测试比较困难，据此，开发了电磁继电器电参数的自动测试装置，本文仅介绍其软件设计。     

差分跳频通信系统的特点及性能

文章介绍了一种新型的短波跳频通信技术——差分跳频,分析了差分跳频技术区别于常规跳频技术的主要特点。针对按序列检测的信号接收方法,对差分跳频通信系统在AWGN信道下的性能进行了理论分析,同时做出相应的计算机仿真,证实了差分跳频通信技术和按序列检测方法的结合,使通信系统在AWGN信道下的性能得到了比较显著的提升。