协议测试中测试序列生成方法综述

文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基于有限状态机模型的测试序列生成方法,同时对基于扩展有限状态机以及确定有限状态机的测试序列生成方法也进行了介绍。文章对每一种方法介绍了其原理并分析了其使用中的局限。文章最后指出了在协议测试中面临的问题和进一步研究的方向。     

传感器网络在指挥控制系统中的应用

无线传感器网络是一种全新的信息获取和处理技术,在军事上具有广阔的应用前景.在简要分析传感器网络特点的基础上,提出了指挥控制系统中传感器网络的通信协议层次模型和网络体系结构,阐述了指挥控制系统中传感器网络应用研究的主要关键技术.     

舰艇编队反潜战海洋环境影响指标体系构建与实验建模

为了评估海洋环境对大型水面舰艇编队反潜作战效能的影响,在分析大型水面舰艇编队反潜作战样式和武器装备构成的基础上,采用层次分析法构建海洋环境对大型水面舰艇编队反潜作战效能影响评估指标体系和函数关系模型。以直接警戒区反潜作战效能评估为例,引入B样条函数,建立海洋环境要素与海洋环境影响指数之间的映射函数模型,得到影响评估的量化结果。该结果基本反映了海洋环境对大型水面舰艇编队反潜作战的影响程度。     

基于跨层协议模型的机间自组织网络优化研究

节点高速移动、拓扑动态变化、传输质量不稳定是机间自组织网络的基本特征,空中环境的特殊性使得网络适应能力和传输效率成为机间自组织网络面临的最基本挑战。分析机间自组织网络的功能需求、传统的分层协议模型在应用过程中存在的问题,提出机间自组织网络跨层协议模型和跨层优化方法,指出研究中面临的难题和技术方向,为机间自组织网络协议设计提供参考。     

7B04铝合金孔壁超声振动抛光抗疲劳性能分析

针对7B04铝合金孔结构机加质量差、易腐蚀的问题,采用超声振动抛光技术,对原始机加孔和腐蚀孔分别进行了抛光处理,旨在改善和提高7B04铝合金原始机加孔和腐蚀孔的表面完整性。从孔壁处理前后的表面形貌和粗糙度变化情况可知:超声振动抛光可有效去除表面加工刀痕,去除腐蚀产物,同时表面粗糙度降低了43%以上,孔壁局部应力集中系数降低了24%以上,这有利于提高孔的抗疲劳性能。超声振动抛光技术为飞机孔结构的加工和维修提供了新的思路和方法。     

靶标系统集控软件设计

为提高靶场现有靶标设备的综合利用效率,解决战术射击训练时大量不同型号靶标混合使用中的集中控制问题,采用软件集成方式,设计开发一种模块化、通讯协议自适应的集控系统软件,通过基于XML的协议解析模板,动态匹配不同通讯协议的靶标设备,解决多型设备集成应用问题。实际应用结果表明,该系统有效提升了靶场现有设备的利用效率,同时也为靶场其他应用系统的综合集成提供了很好的实现途径。     

舆情

正2013年全国2.1万人被行政问责据中央纪委监察部网站消息,2013年,全国共2.1万人被行政问责,其中地厅级干部54人、县处级干部1477人。今年将继续加大问责工作力度,抓紧完善并严格执行责任追究办法,健全责任分解、检查监督、倒查追究的完整链条,有错必究、有责必问。暴力伤医刺痛社会神经近日,各地连续出现多起暴力伤医事件,解决日益紧张的医患矛盾迫在眉睫。卫计委颁布新规,从5月1日起,二级以上医院医患须签拒红包协议,期望以此治理医疗腐败、缓解医患矛盾。媒体和专家一致认为,建立良好的医疗制度体系、完善公正透明的医疗事故调查处理机     

工作动态

<正>2014年中国参与第四代核能系统工作会召开3月4日,由国防科工局、科技部联合主办的"2014年中国参与第四代核能系统国际论坛(GenerationⅣInternational Forum,GIF)工作研讨会"在合肥召开。会议指出,2013年中国参与该论坛的各项工作进展顺利,深化了我国科技领域的国际合作,为国家的科技创新提供了助力。有关政府部门将继续积极支持该论坛的相关工作,做好服务保障。会议要求,国内各相关单位要充分利用中国核能行     

THO-MAC:一种两跳优化的低延迟低功耗无线传感器网络介质访问控制协议

功耗与延迟是无线传感器网络介质访问控制协议设计首要考虑的两个问题。提出了一种新的传感器网络低延迟、低功耗、接收节点初始化异步介质访问控制协议——THO-MAC协议。通过准确预测接收节点的唤醒时间,THO-MAC协议调度发送节点侦听信道,从而减少发送节点空闲侦听能量浪费。THOMAC协议在发送节点两跳转发节点集中选择使报文两跳转发延迟最小的转发节点,从而降低报文传输延迟。使用NS2模拟器对THO-MAC协议进行了详细模拟。模拟结果显示,与RI-MAC和Any-MAC协议相比,THOMAC协议可以减少35.5%和18%的报文传输延迟,同时节省23.5%和15.5%的节点功耗。     

低速率移动自组织网络安全路由协议

由于移动Ad Hoc网络具有无需基础设施,可以快速部署,很难完全被摧毁等优点,被作为数字化战场通信的优先选择,设计实现了一种适用于低速率移动Ad Hoc网络的安全路由协议——LSRP,它适用于分层架构的低速移动电台自组网,可以在网络资源有限的情况下,防御来自外部和内部两方面的攻击。LSRP协议利用分布式门限RSA签名方案来阻止非授权接入,防范来自网络外部的攻击;利用邻节点信任度评估机制,进行恶意节点检测和剪除,防范来自网络内部的攻击,增强了网络的安全性。