伊丽莎白女王级航母：重燃大英帝国海军复兴梦

据英国皇家海军公布消息，为提高未来伊丽莎白女王级航母的远洋能力及作战范围，英国国防部已与几家大型军工企业签订了专门用于增强航母后勤补给能力的设备采购合同，通过采购这些设备伊丽莎白女王级航母的空中打击能力将会得到进一步的增强。伊丽莎白女王级航母是迄今为止英国海军建造的最大水面作战舰艇，也是除美国海军航母外，世界上最具实力的航母之一。这次，英国国防部同各航母设备供应商签订的8000万英镑分包合同，无疑给这种英军寄予厚望的先进航母再次注入活力，也让英国海军的“帝国海军梦”加速复燃。     

检查搜索时舰艇编队匀速搜潜与跳跃式搜潜比较

在分析水面舰艇编队使用拖曳式线列阵声纳匀速搜潜和“跳跃式”搜潜过程的基础上,对仿真环境进行假设,并建立了水面舰艇搜潜蒙特卡洛法模型,通过仿真试验,对其在一定条件下检查搜潜时匀速搜索与跳跃式搜索效能进行研究,得出的相关结论对提高水面舰艇反潜作战运用水平具有较大的实际应用价值.     

靶场夜话

5月30日子夜。黄海之滨某高炮靶场。     

准零风层新型临近空间浮空器区域驻留性能

以基于平流层底部的准零风层风场进行区域驻留的新型临近空间浮空器为研究对象，介绍了其工作原理和系统组成。通过建立动力学模型、高度调控模型和能源模型，分析浮空器在基于飞行速度约束和基于南北范围约束两种工作模式下的区域驻留能力，并讨论浮空器在这两种工作模式下的动态能源特性。对长沙地区风场环境的研究结果表明，相对于无控自由飞行状态，浮空器在两种工作模式下均可实现100 km直径范围的长时驻留，基于飞行速度约束工作模式对能量的消耗更低。     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

数据链支持下的武器系统评估体系研究

结合数据链作战使用需求,针对国外采用统计法评估数据链系统代价高、费时和针对单一兵器系统的问题。创新性地将作用域原则引入WSSDL作战效能评估体系过程中,完成了基于作用域的指标体系构建和综合评估方法设计工作,首次有效地解决了数据链支持下武器系统的评估对象多样化、人在回路因素多、定性指标缺乏量化手段的问题,为数据链支持下的武器系统作战效能评估提供了可靠手段和方法。     

浅议军事代表对“获证”组织质量管理体系的监督

本文讨论了研究所获得质量管理体系认证注册后应该进行的主要工作。提出了对现有质量管理体系有效性的保持和提高是获证组织必须追求的目标,并对质量管理体系的自我评价和持续改进以及军事代表的监督工作进行了探讨。     

超声速气流中液体横向射流组合喷注特性实验

以液态燃料为动力的超燃冲压发动机中,液体横向射流在超声速气流中的喷注、混合和雾化特性直接影响了超燃冲压发动机燃烧室的工作效率。提出一种基于高速摄影的图像处理方法,此方法能消除图像处理过程中的人为因素干扰,得到唯一、定量的射流振荡的边界信息;提出一种基于粒子图像测速法的射流展向扩展边界获取方法,能得到射流破碎后形成液滴所能达到的最远距离;基于以上两种图像处理方法和对比实验研究了单孔喷注、展向组合和沿流向组合的喷注方式对射流穿透深度、展向扩展和激波角的影响,结果表明:相比单孔喷注方式,展向组合和沿流向组合的喷注方式均能增大射流的穿透深度,且能增大射流的展向扩展角和展向扩展范围;随着沿流向布置的喷孔间距的增大,射流的穿透深度增大。