舰载机弹药保障作业调度的形式化建模与验证

航母舰载机弹药保障作业的智能规划作为一种高效能航保作业调度方法,是助推航母工程先进技术建设发展的重要途径之一.高安全攸关属性下作业规划方案的正确性保证已经逐渐成为制约其实际应用部署安全的关键技术瓶颈.针对方案正确性验证中存在的弹药保障系统难建模、作业执行行为难描述、形式验证工具难实现等挑战,基于分离逻辑的思想,提出一种弹药保障系统的行为模型,并利用定理证明器Coq对作业规划方案进行形式化验证.首先提出一个符合弹药保障作业特征的序列化双层资源堆模型;基于该模型,构造一套可用于描述作业执行行为的建模语言及其操作语义;最后在Coq中实现一种证明辅助工具.通过几个典型弹药保障作业规划方案的交互式证明实例,验证工具的可用性与工程实用性.

考虑弹药保障能力的作战效能兵棋推演评估

目前在兵棋推演过程中很少涉及到弹药保障环节,比如弹药存储和运输对作战效果的影响。本文基于兵棋推演想定设计、仿真以及评估的规则,提出了诸如保障兵力、保障装备、储运规则等的弹药保障相关推演要素,改进了兵棋推演流程,在常规推演评估指标体系中增加了弹药保障效率、成本等评估指标体系,演示了综合弹药保障能力作战效能的评估方法。

基于PERT网络的航空弹药保障人员优化配置

针对航空弹药保障效率和可靠性要求高的问题,在分析保障流程的计划评审技术(PERT,Program Evaluation and Review Technique)网络图中各工序对任务完工影响程度的基础上,提取了工序关键度指标和重要度指标以及各方案下的按期完工概率,建立了保障人员配置方案评价指标体系,表示为评价函数形式.以基于蒙特卡洛方法的PERT网络仿真为核心,选择在遗传算法进化寻优框架下构建优化模型,该方法不仅得到了最优的保障人员配置方案,而且评估了需要注重的关键工序.算例实验证实了其有效性与实用性.

一种面向弹药保障的消耗预测方法

结合部队弹药保障 ,在传统兰切斯特理论的基础上 ,采用诸兵种合同作战的兰切斯特方程对弹药消耗预测进行研究 ,为实战指挥提供更准确的作战决策依据 ,并且举例提出具体实现方案 ,采用C +

军用物联网在军械仓库弹药保障中的应用

目的为了实现弹药保障的信息化和精确化,建立基于军用物联网的军械仓库弹药保障系统模型。方法将物联网技术应用于军械仓库弹药保障,建立军械仓库弹药保障系统的基本框架,基于RFID技术设计弹药出入库管理平台,融合8421编码、RFID技术和无线多媒体传感器网络,建立一种新型仓库目标定位与跟踪系统。结果基于RFID技术建立的弹药出入库平台提高了弹药保障效率,新型仓库目标定位与跟踪系统可实现对仓库内所有目标的定位与跟踪。结论基于物联网架构建立的军械仓库弹药保障系统,使得弹药保障可视、敏捷、精确。军械仓库、人员、装备、弹药和管理部门等通过军用物联网彼此可实现信息交互。

基于动态蚁群遗传算法的弹药保障路径选择研究

战时弹药保障路径规划属于典型的不确定性路径规划问题,针对战时弹药保障路径的特点,对传统的解决最短路问题的蚁群算法进行改进,引入将蚁群算法和遗传算法相混合的策略,提出了基于动态蚁群遗传算法的路径优化算法,并通过仿真实验验证此算法可快速、科学和稳定地解决弹药保障路径选优问题。程序实现简单、研究结果可靠,能够为弹药保障路径选择的决策提供科学可靠的辅助手段,具有一定借鉴意义。

基于遗传算法的航空弹药保障人员优化配置

航空弹药保障任务中人员合理高效的配置是一个多约束条件下的组合优化问题。在建立保障人员配置模型的基础上,通过操作因子对模型的合理描述,应用遗传算法对模型进行优化求解,得到合理的保障人员数量和最优的保障人员配置方案。实例仿真验证了模型的正确性及算法的有效性。

美军弹药保障模式发展现状及对我军未来影响分析

美军弹药保障模式在注重以联勤保障为基础,强调灵活多样的保障手段,突出主动配送型保障,树立"精确保障"、"聚焦保障"理念的同时,又提出了弹药保障力量"模块化"、弹药补给分配自动化和靠前部署、主动保障的新型弹药保障理念。这对我军未来弹药保障中突出结构多元化、编成模块化和部署多样化的保障力量,大力发展可视化、网络化的弹药保障手段,加大弹药保障人才培养力度等建设思路提供了理论参考与借鉴。

美陆军弹药保障力量研究

文章系统阐述了美陆军战区、军、师三级弹药保障力量的体制编制、装备配备和职能任务,介绍了美陆军未来发展方向-"模块化"部队的弹药保障力量组成,总结了美陆军弹药保障的特点,对我军相关研究具有一定的借鉴和启示作用。

基于能力培养的弹药保障实践教学体系的构建与实践

实践教学是军队院校培养"能打仗,打胜仗"高素质创新人才的重要途径。当前弹药保障实践教学中存在一些问题。可以结合教学工作实践,通过重构弹药保障实践教学内容,改革实践教学方法,优化完善实验教学平台,创新实践教学考核模式,构建以能力培养为导向的弹药保障实践教学体系,满足部队弹药保障人才需求。

现行弹药包装对弹药保障的影响分析

简要分析了弹药包装与弹药保障的关系,从包装结构、包装通用化、系列化、标准化程度和集装化程度方面系统分析了我军现行弹药包装存在的问题及其对弹药保障的影响,提出了弹药包装改进的几点具体建议。

包装对弹药保障时效的影响

从包装的角度分析了在时间、运力不受限和受限的情况下对保障时间的影响，同时结合我军弹药保障的特点，对弹药保障模式与弹药包装模式的优化组合进行了分析。

航空弹药保障数据仓库研究与开发

针对传统事务数据库对决策支持时存在的主要问题,介绍了数据仓库的概念与特点,分析了它与传统事务数据库的区别;对航空弹药保障数据仓库进行结构设计,提出了适用于现行航空弹药保障体制的分布式多级数据仓库,研究了使用Oracle系列工具开发航空弹药保障数据仓库的步骤。

基于扎根理论的弹药保障能力需求论证研究

弹药保障能力需求论证是弹药保障能力相关问题研究的基础。阐述了弹药保障能力需求论证研究的现状,讨论了能力需求研究的常用方法和适用环境,分析了扎根理论研究弹药保障能力需求的可行性及优势。借助扎根理论开展弹药保障能力需求论证定性研究,按文献检索和调研座谈2类方式进行抽样,经过编码分析与饱和度验证,得出了信息化战争条件下弹药保障能力包含由2个核心能力、1个非核心能力组成的业务能力和4个整体能力构成的基本描述,具体体现在弹药筹措能力等16项子项能力及相关要求中。最后,对扎根理论运用情况和能力需求论证研究中存在的差异性和不确定性进行了分析讨论。

信息化条件下弹药保障需求分析

为提高弹药保障的速度和效率,增强弹药保障的快速反应能力,对信息化条件下弹药保障需求分析进行研究。从弹药包装、弹药保障模式及信息化水平等方面阐述我军弹药保障的现状,系统分析弹药成套化保障和弹药可视化保障研究的必要性及动态,以及弹药保障的发展趋势。该研究为通用弹药信息化保障建设提供了一种可行的技术分析思路,可为弹药信息化、精确化保障奠定基础。

弹药保障信息自动识别系统研究

阐述了在弹药管理中应用自动识别技术的必要性和可行性.通过周密的需求分析及论证,确定了弹药保障信息条码自动识别系统的总体方案.介绍了二维条码生成系统和应用系统的开发设计过程.经试用后,得出该系统可有效解决弹药供应、管理中手工录入登记易出错、效率低的弊端,从而实现弹药信息自动识别录入和准确监控.

弹药保障CGF智能决策模型研究与实现

弹药保障CGF智能决策系统是装备保障效能评估系统必不可少的组成部分,其核心是对人类决策行为的建模与仿真.在介绍智能决策含义和决策过程的基础上,重点研究和分析了CGF智能决策行为,构建了CGF智能决策模型.针对决策过程中由于无法获得人脑思维方式而导致行为模型的表达、描述、推理等受到怀疑的问题,在弹药保障CGF智能决策模型中,将决策行为分解为任务决策、过程决策和动作决策3个步骤,接近于人类思维方式.同时,对实现弹药保障CGF智能决策具有关键作用的任务决策原则、过程决策方法和动作决策规则进行了研究,并给出了应用实例.实例证明,弹药保障CGF智能决策方法逻辑清晰,易于理解和维护,便于实现.

弹药保障虚拟仿真实验教学平台构建与应用

针对弹药燃烧爆炸等特性,为解决弹药保障实验教学中高危操作不可及、作用过程不可逆、实装教学风险大等问题,依托虚拟现实与多媒体技术,融合多种互动硬件设备,构建了弹药保障虚拟仿真实验教学平台;以虚拟仿真实验教学平台为基础,整合教学资源,开设了知识强化、技能培训、综合应用、研究创新四类虚拟仿真实验,在提升弹药保障试验教学能力,提高应用型、复合型、创新型人才培养质量等方面,发挥着极其重要的作用。

航空弹药保障信息化系统集成研究

如何改造旧有的信息系统,实现航空弹药保障的信息化,采用航空弹药保障信息化系统集成是一条可行之路。本文在分析旧有的航空弹药保障管理信息系统现状的基础上,面向航空弹药保障信息化需求,提出了一种航空弹药保障信息化系统集成的总体方案,深入研究了网络集成、数据集成和流程集成等关键技术。通过对旧有的管理信息系统进行集成与整合,以较短的周期、较低的成本,初步实现了我空军航空弹药保障的信息化,快速提高了航空弹药保障能力。

弹药保障信息化实验教学平台构建与应用

针对弹药储供信息技术课程建设中的实验教学需求,以弹药储供保障业务流程为主线,构建了集专业岗位认知、实践技能强化、信息系统运用于一体的弹药保障信息化实验教学平台,实现弹药信息采集与识别、弹药保障可视化、弹药储供保障指挥等弹药保障关键环节的实践教学,全方位培养学员专业知识、实践能力和综合素质。