某型弹炮结合系统火力分配

在我军某防空部队创建某型导弹和高炮一体化武器系统过程中,对武器系统如何进行目标火力分配研究后,建立的分配模型.主要解决当多批次目标来临时,何时用导弹拦截,何时用高炮射击;用导弹拦截时,用哪一个火力单元中的导弹拦截;用高炮射击时,用哪一个火力单元中的高炮射击.事实证明,该复合型弹炮结合系统大大提高了武器系统火力分配效率,对我军旧装备进行信息化改造具有深远意义.     

战时空军装备调配保障优化模型

战时空军装备调配保障质量的优劣,直接影响和制约作战的进程与结局。立足于作战,考虑在保证作战任务顺利完成的情况下,所需调配的装备数量。从任务变化、装备作战单元组合以及部署方案三个方面,建立空军装备调配保障优化模型。这些模型可以为制定战时调配保障的装备补充计划、筹措计划以及储备计划等提供定量分析的思路。     

基于可穿戴设备的军校学员运动状态识别方法

为准确识别军校学员便步、齐步、正步、跑步、仰卧起坐、俯卧撑、折返跑等七类日常运动状态,提出了一种基于可穿戴设备的军校学员运动状态识别方法。该方法首先利用穿戴式加速度数据采集设备采集并分析学员运动数据,并根据预先设定的特征,对运动数据进行特征提取;然后,利用设置的相应阈值对数据特征值进行识别,判断出相应的运动状态;最后,对军校学员日常运动中的七类运动状态进行了实验验证。结果表明:所提出的方法可有效识别学员运动状态,具有较高的识别率。     

基于EML模型的备件库存优化方法

针对当备件重要度不同时METRIC模型无法再使用边际效应法及在有限的保障经费和仓库空间约束条件下的备件库存问题,建立了评价备件重要度的12个指标,并给出了备件重要度的求解步骤;以装备可用度模型为基础,结合备件重要度,改进了边际效应法;以仓库空间、装备可用度为约束条件,以保障费用为目标函数,给出了以改进的边际效应法求出备件库存配置方案的步骤;案例研究表明:采用EML模型可以在最大化利用约束条件、满足目标要求、重点照顾重要度高的备件,同时对重要度一般的备件也能兼顾。     

高超声速飞行器低可探测性滑翔弹道优化方法

为进一步提高高超声速飞行器的突防性能,提出高超声速飞行器低可探测性滑翔弹道优化方法。考虑飞行器180°×360°方向的雷达散射截面,针对原数据尖峰多、收敛难的难题,运用高斯滤波法对其进行预处理,既不改变原数据趋势又加以平滑,提高优化问题收敛性能。为使计算所用雷达散射截面数据具备较强的保真性,采用三次样条插值方法调用离散数据计算实时雷达散射截面。完成了高超声速飞行器低可探测性滑翔弹道优化问题的建模,以探测概率为目标函数,运用hp自适应Radau伪谱法优化求解,采用逐步计算策略进一步提高优化效率和收敛性能。与传统最短飞行时间弹道对比表明,该方法有效降低了飞行器被雷达发现的概率。     

多个并行并联的作战单元备件优化配置建模

资源优化配置是作战单元维修保障的关键因素.对作战单元部件备件满足率进行研究的基础上,针对任务时序逻辑关系为完全并行并联关系的情况,建立了多个作战单元任务的任务成功概率模型.在满足任务成功概率约束条件下,给出了多个作战单元备件携行量优化模型,并运用边际分析法进行了求解,通过算例证明了模型的正确性.     

基于装备最优使用率的维修决策模型

根据作战单元中装备使用率与武器装备战损维修策略之间的关系,结合战斗过程中武器装备的战损规律和维修规律,运用马尔可夫链理论,建立了一种基于装备最优使用率的战损装备维修策略优化模型。运用这种最优维修策略模型可以达到提高作战单元中武器装备使用率的目的,从而为充分发挥作战单元整体战斗效能找到了一种新的装备维修辅助决策方法。这种维修决策优化模型主要采用量化分析的方法,根据作战单元中装备的战损情况和部队的维修能力制定出最优的维修策略,确定在战斗过程对战损装备进行维修的最优时机,达到提高作战单元整体战斗力的目的,从而为充分发挥作战单元的整体战斗力找到科学的途径。最后,结合实例对模型进行了检验。     

恶劣天气下的多扇区动态容量评估方法

针对当前容量评估技术考虑不够全面的问题,提出了多扇区动态容量评估方法。通过分析扇区容量影响因素,加入扇区耦合性的概念,建立了多扇区管制员工作负荷模型;通过量化空域单元阻塞程度,得到恶劣天气下的多扇区可用率;最后选取典型多扇区空域进行算例仿真,评估空域系统的动态容量,多扇区在恶劣天气下的动态容量为17架次/15 min,评估结果验证了该方法的有效性和灵活性。     

复杂装备维修项目风险评估与控制CPN模型

复杂装备维修工程范围广、周期长,易产生安全、质量、进度及费用风险。为解决维修工程整体风险评估问题,通过定义维修单元任务,明确了维修工程整体风险评估建模需求和模型框架;建立了单元任务风险仿真以及单元任务逻辑关联的CPN模型;构建了以单元任务风险评估值为输入的工程整体风险仿真CPN模型。应用该模型,进行了柴油机中修风险仿真评估及控制分析,操作过程及仿真结果说明了模型的正确性。     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.