-
题名舰载机弹药保障作业调度的形式化建模与验证
被引量：1
- 1
-
-
作者
金钊
金璐
张博闻
吴庆顺
冯朔
李冠峰
徐明亮
-
机构
郑州大学计算机与人工智能学院
智能集群系统教育部工程研究中心
国家超级计算郑州中心
北京宇航系统工程研究所
中国船舶重工集团公司第七一三研究所
-
出处
《软件学报》
EI
CSCD
北大核心
2024年第9期4100-4122,共23页
-
基金
国家自然科学基金(62325602,62302459,62036010,61972362,62372416)。
-
文摘
航母舰载机弹药保障作业的智能规划作为一种高效能航保作业调度方法,是助推航母工程先进技术建设发展的重要途径之一.高安全攸关属性下作业规划方案的正确性保证已经逐渐成为制约其实际应用部署安全的关键技术瓶颈.针对方案正确性验证中存在的弹药保障系统难建模、作业执行行为难描述、形式验证工具难实现等挑战,基于分离逻辑的思想,提出一种弹药保障系统的行为模型,并利用定理证明器Coq对作业规划方案进行形式化验证.首先提出一个符合弹药保障作业特征的序列化双层资源堆模型;基于该模型,构造一套可用于描述作业执行行为的建模语言及其操作语义;最后在Coq中实现一种证明辅助工具.通过几个典型弹药保障作业规划方案的交互式证明实例,验证工具的可用性与工程实用性.
-
关键词
舰载机弹药保障作业
形式化验证
分离逻辑
操作语义
COQ
-
Keywords
carrier-borne aircraft ammunition support operation
formal verification
separation logic
operational semantics
Coq
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名航母舰载机保障作业任务分配及弹药转运调度优化方法
被引量：1
- 2
-
-
作者
袁子龙
何非
赵建波
王少参
江明明
-
机构
南京理工大学机械工程学院
江苏科技大学经济管理学院
中国船舶集团有限公司第七一三研究所
-
出处
《兵工学报》
北大核心
2025年第5期280-293,共14页
-
基金
中央高校基本科研业务费专项基金项目(30923011008)。
-
文摘
针对航母舰载机弹药保障作业的时限性和复杂性,在已知保障任务的前提下,通过场景建模和任务分配等手段,提出一种面向阱口的舰载机弹药保障作业的调度优化方法。构建以避障原则的运输路径模型、以均衡原则的弹药分配模型,与兼顾实战性和高效性的舰载机弹药转运调度模型。结合实际作业情况,通过Safe A~*算法和贪婪算法确定各阱口的保障对象,提出一种基于染色体片段编码的改进遗传算法,以最小化弹药保障作业完成时间为目标对调度模型进行求解。研究结果表明,新方法在优化方案耗时和资源利用等方面均优于其他分配策略和调度算法,验证了其在实际弹药保障过程中具有可行性和高效性。
-
关键词
航母舰载机
弹药保障作业
运输路径
均衡分配
调度优化
-
Keywords
carrier-borne aircraft
ammunition support operation
transportation path
balanced distribution
scheduling optimization
-
分类号
TP273
[自动化与计算机技术—检测技术与自动化装置]
-
