软件功能安全验证活动的应用

软件功能安全验证活动对提高安全关键系统的安全性具有重要作用,它贯穿于软件安全生命周期的各个阶段。通过对各阶段输出文档的审查和分析,可尽早发现软件问题,降低软件修复成本。完整的问题闭环处理流程可有效解决软件验证活动中发现的问题,给出各方均满意的处理结果。     

军用软件过程质量度量实施方法研究

针对我军软件装备研制过程质量量化管理的需要,对军用软件过程质量度量与评价方法进行了研究,提供了度量构造、度量数据采集、度量结果分析与评价活动准则,建立了军用软件过程质量度量与评价体系,并指导其实施。     

基于FPGA的多通道数据采集控制器设计与实现

为增强通用计算机数据采集(DAQ)控制系统的实时性能,设计多通道数据采集控制器。基于现场可编程门阵列技术,采用数据采集有限状态机时序代替CPU串行指令完成通道切换与数据缓存,降低系统负载。通过时间戳同步机制,提高DAQ控制系统在多级缓冲机制下的实时性,并将该控制器逻辑移植到Cyclone IV芯片上进行实现。测试结果表明,该控制器可有效降低CPU及操作系统负载,提升数据实时性及采样带宽精度。     

信息化时代的医疗机构运维监管体系

通过近年各省市政府的大力推动,随着新农合、居民健康档案、电子病历等新型医疗信息化系统的建设,医疗信息化业务系统已覆盖到各区县的卫生局、医院、社区服务中心及村卫生室三级医疗卫生服务网络,随着业务系统的推广、受众群体的扩张,整个业务系统的安全保障显得更加重要.本文研究了目前医疗全网信息化时代下运维管理体系的建设背景、发展状况、体系架构、核心设计理念,描述了构建医院运维管理体系的相关架构及技术.     

移动多协议融合网关的建模

多协议融合网关是一种融合多种路由协议,实现异构网络混合组网的网络设备.为验证多协议网关在移动环境下的可行性,文中在OPNET网络仿真软件的基础上,对多协议网关建立模型,并设定通过网关互操作Ad hoc、WLAN、LAN网络的仿真场景,加载Email、FTP、Database业务模拟实际网络行为.结果表明,移动多协议融合网关能实现异构网络之间数据的交换和无缝转发,保障异构网络业务的需求.     

基于嵌入式多信息融合的列车测速定位系统

列车的测速定位是提高列车运行安全及运输效率的关键技术。为此,根据国内外研究发展现状,提出一种基于嵌入式多传感器信息融合的列车测速定位系统。通过轮轴速度传感器、多普勒雷达速度传感器、加速度计和查询应答器采集列车的状态信息,并在嵌入式系统中利用联邦Kalman滤波及融合技术对信息进行处理,实现测速轮径的自适应校正以及空转／滑行的检测与补偿,减小由于车轮磨损、空转、滑行、环境等因素造成的列车测速定位误差。Matlab仿真结果表明,该系统能够有效提高列车测速定位的精度。     

两级链表在交换控制芯片描述符管理中的应用

研究一种利用硬件实现片上存储器管理的方法,针对目前交换机最长至9 728 Byte的超长帧存储问题,在交换控制芯片描述符管理方法的基础上,提出一种两级链表的设计方法,即第一级发送队列链表和第二级缓存标签链表,分别用于维护每个端口的帧优先级次序及每个帧的缓存页地址.仿真实验结果证明,该设计方法能有效地管理描述符,可处理超长帧的交换控制芯片.     

基于DM6467T的音视频采集模块设计

针对高度集成的DaVinci数字媒体处理器应用,提出一种高性能嵌入式音视频采集模块设计方法。采用TMS320DM6467T作为核心处理单元,结合图像编、解码驱动芯片TVP5150、SIl9125、ADV7342,实现视频的多路输入输出。通过对电压、电流、温度的实时监控,并辅助机内自检的方法,实现模块的健康管理功能。模块设计遵循3UCPCI规范、功能接口丰富、便于后天加固,经实验证明,该模块可满足车载移动环境中对终端设备的高性能、高可靠、高安全应用要求。     

Trie树路由查找算法在网络处理器中的实现

Trie树数据结构的实现方法灵活,所需存储器空间小,是实现高速路由查找和分组转发的理想选择。为满足10 Gb/s线速度网络处理器中微引擎的设计要求,提出一种基于最优平衡、多层存储的Trie树路由查找算法。建立一种平衡的压缩树结构,将该树中相邻的多层节点压缩到一个存储节点中。通过构造特定的数据存储结构来减小树的搜索深度,以空间换取时间,从而提高路由查找速度和分组转发效率。在网络处理器的查找微引擎设计中实现Trie路由查找算法,实验结果表明,单个微引擎的查找速度为4.4 Mb/s,能达到节省存储空间、提高查找效率的效果。