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

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

基于态势分析法的地面无人平台与反机动工程保障需求分析

系统分析了地面无人平台能力,研究了反机动工程保障对无人平台发展的需求,运用态势分析法对无人平台与反机动工程保障需求进行了探索性分析,以期对无人平台在反机动工程保障领域的发展方向、关注重点、改进内容和注意事项提供决策参考.     

基于IP层的保密通信技术研究及实现

针对W indows2000下自带的IPSec与L inux的IPSec相互通讯比较困难的问题,对L inux IPSec、ND IS网络驱动程序以及WDM设备驱动程序进行了研究,在W indows平台下设计并实现了一个基于中间层驱动程序的IP-Sec,它能与L inux IPSec通讯。中间层驱动程序对过往的数据包进行加密或者解密操作是通过WDM设备驱动程序与上层应用程序的通讯机制,以此来实现应用层与内核的双向通讯,即应用层向内核传递密钥及其他配置信息,内核向上层应用程序提供底层的配置信息。此外,在L inux IPSec源代码的基础上增加了安全审计功能,具体测试结果表明,这个系统可以与L inux IPSec通信。     

装备研制技术风险流传导与耦合过程的CFD模拟

装备研制中风险间的相关性导致风险传导与耦合的产生,为深化对技术风险动态传导效应和非线性耦合机理的认识,探索研制技术风险管理与控制的有效思路或工具,在对风险传导与耦合进行定义的基础上,给出了装备研制中的风险传导模式,基于CFD技术对两种不同的耦合模式进行了数值模拟,结合仿真结果分析了风险的耦合机理,所提方法对于揭示装备研制技术风险传导与耦合规律有一定的促进作用,为下阶段求解关键风险因子间的关联关系奠定了良好基础。     

影响高寒山地作战效能的气象环境模糊推理评估模型

高寒山地作战将是我军在西北方向的主要作战形式,而气象环境严重制约其作战效能的发挥。针对高寒山地典型作战样式进行研究,探讨西北地区气象环境与作战单元和作战样式的影响,并由此提炼评估模型的模糊推理规则,构建模糊推理框架,采用多级评估决策的思想和模糊逻辑推理系统,建立影响高寒山地作战的气象环境效能三级模糊推理评估模型。经试验仿真检验,其评估结果与客观实际基本相符,对高寒山地作战效能和武器作战性能的充分发挥以及最大限度利用战场气象环境优势,具有重要军事价值。     

基于智能化技术的协同作战方式

军事装备的智能化升级改造将推动智能装备作为独立的功能平台或作战单元参与到未来的战争中,与作战人员共同完成作战任务,在联合作战的背景下,作战人员与智能装备在战场上的共生与协同将成为最主要的作战样式。本文以装备逐步实现智能化为考虑基础,分析了未来参与作战的人和智能装备实现技战术协同的方式及场景,以及装备实现智能化协同所需要的关键技术。