马尔可夫链最优停止的值函数

本文讨论了时间无限的马尔可夫链的最优停止问题。对于无限状态情况,给出了其最优停止变量以及值函数存在的一个充分条件;对于有限状态情况,这个充分条件以及问题的计算等价于解一个线性规划问题。     

有限马氏链最优停止的线性规划解

离散时间的有限状态马尔可夫链最优停止的值函数存在的一个充分条件是所对应的线性规划有解,且其最优解等于值函数,本文证明这个条件还是必要的。     

激光、红外技术引起兵器与战术的变革

基于激光,红外和光纤技术的新一代侦测,传感,火控与制导技术装备引起了武器系统性能和作战方式的变革,在近廿年的局部战争,特别是中东战争和海湾战争中,光电子对抗的战例给予我们有益的启示,我军应[重视光电子对抗装备改进和观念更新。     

水下载体的水雷避碰技术

本文对水下载体的可靠的水雷避碰能力作了研究。为了实现某种水雷避碰技术,水下载体装备了障碍避碰声纳(OAS)和能安全航行于未知布雷区的导航系统。水雷避碰技术考虑了声纳和导航系统的物理限制对水下载体的机动性约束和对所有水雷的安全投射距离的要求。对于50个以上不同布雷区的广泛地计算机模拟,证实了水雷的避碰能力。在所有的50次模拟中,载体都达到了预定的终点,并对每一个水雷至少保持一个确定的最小安全投射距离。 该模拟精确地建模的主要困难与声纳、导航系统和载体动态有关。声纳模型包括表面、底部和体积混响;热噪声、环境噪声和流体噪声;实际的接收机和发射机波束图以及虚警和漏检。导航系统模型包括偏倚、随机噪声和比例系数误差的影响。载体动态模型模拟与水下载体角速度和角加速度相关。这个组合是检验水雷避碰技术的可行的模拟。     

天基航天装备维修链体系构建与维修策略研究

目前天基航天装备维修在我国乃至世界上都是一大难题,亟需改变传统的维修模式,构建天基航天装备维修链,以适应天基航天装备在轨布局与航天任务的发展需求。在分析在轨维修的必要性、可行性与维修特点的基础上,区分地面、低轨道、高轨道、深空4层空间高度,构建了以航天指挥控制中心、维修需求节点、维修保障节点和物资储供节点为关键节点的天基航天装备维修链体系架构,研究了三类重要轨道高度上基于维修链的天基航天装备维修策略,为提升天基航天装备维修保障能力,构建高效、敏捷、柔性的天基航天装备维修链提出了设计参考。     

测试用例自动生成的链方法研究与实现

介绍了一种测试用例自动生成的链方法,这是一种较新的测试技术,结合插装技术及目际跟踪方法,能有效生成测试用例,从而提高了测试效率.