CacheFI:基于架构级故障注入的片上缓存容错评估工具

体系架构级缓存容错技术被认为是应对较高的永久位故障率的有效手段,但目前缓存容错机制的体系架构级评估工具较少。针对这个问题,提出CacheFI,即基于Simics的缓存故障注入工具,采用故障生成和注入分离的设计,故障生成是随机分布、模式和时序三个方面的结合,故障注入则考虑了故障可重现性和模块化的需要。在全系统模拟器Simics上,基于15个选自SPEC CPU2000的测试程序,利用CacheFI对Buddy和MAEP等典型的体系架构级缓存容错机制进行评估,展现了其弱点和典型的片上缓存容错机制存在的问题。     

机械抖动偏频激光陀螺静态测角方法

阐述采用机械抖动偏频激光陀螺进行静态角度测量的原理,分析测角随机误差与激光陀螺角随机游走系数、测量时间的关系,通过转台分度误差实验验证了测角随机误差公式。采用排列互比法对测角系统误差和转台分度误差进行分离。实验与理论分析表明,静态测角方法具有良好的环境适应性和稳定性,测角随机误差优于0.26″,系统误差优于1″。最后分析了进一步减小测角随机误差和系统误差的措施。     

复合导引头多源异步信息融合精确拦截算法

针对单一制导体制难以满足现代战场作战需求且多传感器数据更新率不同步的问题,建立一种新的微惯导/毫米波/红外复合制导体制,研究了该体制下多传感器异步信息融合的时间同步和空间配准问题;提出一种自适应无迹卡尔曼滤波算法,该算法采用预测残差构造状态模型误差统计量,通过自适应因子调整状态模型信息对状态参数估值的贡献,有效控制状态模型噪声异常对状态参数估值的影响。将提出的算法应用到微惯导/毫米波/红外复合制导系统中进行仿真验证,结果表明,提出的自适应无迹卡尔曼滤波算法的解算精度高于标准扩展卡尔曼滤波和无迹卡尔曼滤波算法,能有效提高导弹的制导的解算精度。     

美英海军舰船远海维修保障体系特点

我国海军执行远海护航与南海领海巡航任务已成常态化,同时随着"一带一路"国家战略的稳步实施,海军舰船必将走得更远,为经济建设与世界和平、地区稳定保驾护航。为了科学地构建我国远海舰船维修保障体系,本文分析总结美英国家海军舰船远海维修保障体系基本模式、特点及利弊,并在合理界定远海及远海维修保障概念的基础上,提出构建我国海军舰船远海维修保障体系的基本策略。     

智能化边海防建设

随着新一代人工智能在军事领域的不断应用,智能化战争已经悄然来袭。边海防建设作为国防和军队建设重要一环,关系国家安全稳定。本文着眼于以人工智能为核心的新技术在边海防建设中的应用,对智能化边海防建设相关问题进行了探索研究,为边海防今后建设发展提供了理论参考依据。     

基于模糊推理的目标攻潜武器判断

介绍了模糊推理理论基本思想,分析了判断目标攻潜武器的战术依据.针对潜艇水下收集目标信息的特点,应用模糊推理理论建立了目标攻潜武器类型的判断规则,并给出推导过程和实现方式,在把模糊推理理论应用于潜艇威胁判断模型的研究上做了初步尝试.     

基于Simpson公式的卫星测高 反演重力异常奇异积分

为进一步完善卫星测高反演重力异常的理论,对逆Stokes公式法和逆Vening-Meinesz公式法中的奇异积分问题进行了新的研究。首先在上述两种方法中引入Simpson公式,然后推导出基于Simpson公式的逆Stokes公式和逆Vening-Meinesz公式的求积公式。经验证,该公式使计算形式简明、计算效率提高、计算精度优于1%,且使用起来较方便,便于推广使用。     

美国的弹道导弹防御激光武器

主要介绍了美国正在发展的用于弹道导弹防御的机载激光器和太空激光器的基本组成、能力、作战构想、发展计划、进展情况和面临的主要技术挑战     

基于虚拟仪器的某自动测试仪的开发与设计

介绍了某自动检测仪的特点 ,并详细论述了其故障自动诊断专家系统的构成、功能及软硬件设计 .