一种改进的指数型序贯抽样检验方法

针对指数型产品的可靠性验收问题,通过分析总结两次序贯概率比检验和序贯网图检验的思想,提出了一种改进的序贯抽样检验方法。通过构造验收风险的马尔可夫链模型,研究了改进的指数型序贯抽样检验方案的风险计算方法。在此基础上,给出了指数型序贯抽样检验方案的制定程序。实例分析表明:改进的指数型序贯抽样检验方案在保证截尾时间的条件下,明显降低了美军标MIL-STD-781C标准方案的验收风险,可以更好地满足双方的风险要求。     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

基于BOM的HLA仿真系统可信性研究

可信性是系统仿真的关键要素.基于BOM的HIA仿真系统可以从仿真模型层次上提高系统的重用性和互操作性.为了确保该类仿真系统的可信性,在建模与仿真全生命周期中开展VV&A研究,十分必要.介绍了基于BOM的HLA仿真系统的FEDEP模型,并简要提出其VV&A过程,重点对用户模型、仿真模型组件及联邦成员的V&V展开研究,最后将这些研究应用于×××反舰导弹突防联邦仿真中.结果表明:提出的VV&A过程切实可行,保障了系统的可信性.     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

基于磁通门/GPS 组合导航系统中的坐标转换算法

针对车辆导航系统中GPS定位信息和DR定位信息在电子地图中的显示问题,即84坐标和平面直角坐标到80坐标的转换问题,使用WGS84大地坐标-空间坐标-WGS80大地坐标的转换算法,实现了GPS定位信息的电子地图显示;针对平面直角坐标和80经纬度坐标的转换问题,提出了一种基于距离的平面直角坐标转换算法.通过实际跑车实验,证明了上述算法计算量小、实时性好,可以真实地反映车辆的运动轨迹.     

浅海水面试验舰

美国海军研究署（OND）准备启动建造一艘新的试验舰,该舰将极大地不同于现有美国海军船体的设计,并为未来海军舰船样式指出方向。该舰称为“浅海水面试验舰”（LSC－X）,将有助于海军探索先进的船体设计、建造和作战概念。“浅海水面试验舰”有望在６个月内开始建造,２００４年之前下水并运行。造船厂还未选定,但设计已经通过,几项关键特性已很明确。“浅海水面试验舰”将有较少舰员,航速接近５０kt,吃水浅,只有３m或少于３m。该舰只建一艘,并希望整个采用现有新技术进行建造性试验。美国海军研究署对船的大小正在考虑两种方案…     

英国海军计划驶向网络

本文描述美国海军开发协同交战能力(CEC)和英国实施CEC计划的状况。     

精确制导武器

美国研制的一种多用途巡航导弹。武器编号BGM—109,现有核对地攻击型(BGM—109A)、常规对地攻击型(BGM—109GD)和反舰型(BGM—109B)等三种型号,都属于舰艇发射的巡航导弹。     

中大型无人水面舰艇及编队协同发展分析

目前战场的无人化趋势日趋明显,各类无人装备在侦测、打击及保障方面发挥了巨大的作用,但其中无人水面舰艇因本身技术复杂,发展起步较晚,相较于其他无人装备技术成熟程度较低,目前仍然以试研试用为主,战场实战应用较少.通过梳理国外现有的有/无人协同项目,设想中大型无人水面舰艇在有/无人编队中的作用,构建未来远洋作战有人舰与中大型...