基于相关性模型的舰船装备测试性分析与建模

为了提高舰船装备的综合诊断能力,在舰船设计、研制阶段就必须进行装备测试性设计工作。为此,根据舰船装备测试性要求,对装备进行了故障模式影响分析,确定了装备在设计和制造过程中所有可能的故障模式,以及每一故障模式的原因和影响,据此对装备功能和结构进行了划分。然后,利用相关性模型对舰船装备进行测试性分析与建模,建立了舰船装备组成单元的相关性图示模型、数学模型,并运用考虑可靠性和费用的优选方法,建立了舰船装备诊断树,得到舰船装备的测试方案。算例分析表明:该研究可有效提高舰船装备测试的效率,提升测试的经济性。     

基于二元决策图的多阶段任务系统可靠性分析

分析了多阶段任务系统(PMS)可靠性分析中传统二元决策图(BDD)建模方法的不足,提出了一种将多阶段任务失效事件分解为互不相容的阶段失效事件,然后分别建立可靠性BDD模型的新方法。通过该方法建立的PMS可靠性BDD模型不但可以计算总体任务失效概率,同时也能计算任务在各阶段发生失效的概率。最后,给出了一个算例,验证了该算法的有效性。     

系统动力学装甲兵进攻战斗中机降行动效果分析

围绕装甲机械化部队机降行动的作战特点,着眼于充分发挥机降行动击敌要害的战术优长,在新一代战斗条令的理论指导下,运用系统动力学方法和兰彻斯特战斗理论,建立装甲兵部队进攻战斗中机降行动的系统动力学模型,探索装甲兵部队在使用机降力量快速达成战术目的新方法,为指挥员科学使用这一战术手段提供了定量依据和有效的辅助决策支持.     

要地防空指挥控制系统作战效能灰色聚类评估

建立要地防空指挥控制系统作战效能评估指标体系,运用层次分析法确定各层次指标权重,提出了一种基于灰色定聚类和中心点三角白化权函数的要地防空指挥控制系统作战效能灰色聚类评估方法,并通过算例对该方法的有效性进行了检验。结果表明该方法是切实可行的。     

基于循环平稳的卫星信道多普勒频移估计

基于线性调制信号的循环平稳特性,卫星信道多普勒频移的估计可以通过求解发送信号与接收信号的循环相关函数关系得到.借助循环谱函数推导出发送信号的循环相关函数,接收信号的循环相关函数则对信号本身及其有限差分进行计算.仿真结果说明了该算法对信道中的干扰与噪声不敏感,在多普勒频移较大时,该算法具有良好的估计精度;同时该算法还具有低复杂度和应用灵活的特点.     

基于AHP算法的精确作战目标价值排序问题研究

针对精确作战中的目标价值排序问题,从战场实际出发建立了目标价值体系,并在此基础上应用AHP原理提出了目标价值排序的递阶层次结构模型．通过成对比较实现作战目标价值的精确排序,为指挥员基于目标价值的决策提供理论依据．     

履带车辆静动液辅助制动系统仿真与实验研究

针对履带车辆静动液辅助制动系统液力辅助制动和液力液压联合辅助制动工况,建立对应工况下的数学模型进行仿真研究,并根据相似原理进行静动液辅助制动系统实验．仿真和实验结果表明,所建立的数学模型能够准确反映系统的实际制动性能,且该辅助制动系统能够为车辆提供可靠的制动．     

战时装备调配保障决策模型构建研究

分析了战时装备调配保障决策的特点,运用模糊聚类分析法对装备调配保障对象进行了分组和优先级排序,以此为基础,运用目标规划法构建了战时装备调配保障决策模型,最后,通过实例验证了模型的可行性和有效性．     

两个积分中值定理内点性的新证明

积分第一中值定理和第二中值定理是定积分理论中两个十分重要的定理,近年来关于其内点性的讨论非常广泛。首先根据连续函数的介值定理,用一种新方法证明积分第一中值定理的内点性;然后提出一个实例,说明积分第二中值定理在通常条件下不具有内点性;最后利用定积分存在的充要条件和Abel变换的手段,证明积分第二中值定理在加上一个非常一般化的条件时具有内点性。     

概念模型验证方法研究综述

概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV＆A中的重点和难点．首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题．