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

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

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

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

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

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

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

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

AV设备自动切换器

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

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

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

基于有线电视网架构分布式宽带多媒体综合信息服务系统

介绍了有线电视宽带多媒体综合业务平台的建设目标及其业务类型和特点,同时介绍了这个系统的拓扑结构及其主要功能,并对软件模块设计提出要求,因此有利于实现有线电视网络的数字化.     

用CPLD实现SRAM工艺FPGA的安全应用

提出了一种利用CPLD产生的伪随机码来加密SRAM工艺FPGA的方法,并详细介绍了具体的电路和VHDL代码。