期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
航空母舰舰载机弹药保障作业调度优化算法
被引量：
2
1
作者
张少辉
刘舜
+5 位作者
李亚飞
金钊
靳远远
王少参
赵建波
徐明亮
《航空学报》
EI
CAS
CSCD
北大核心
2023年第20期224-241,共18页
针对航空母舰舰载机弹药保障作业高动态、多阶段特性,将柔性流水车间调度方法和群体智能优化理论相结合,提出一种面向舰载机弹药保障作业的调度优化算法。提出将复杂的弹药保障作业调度问题抽象规约为一类考虑工件交货期的柔性流水车间...
针对航空母舰舰载机弹药保障作业高动态、多阶段特性,将柔性流水车间调度方法和群体智能优化理论相结合,提出一种面向舰载机弹药保障作业的调度优化算法。提出将复杂的弹药保障作业调度问题抽象规约为一类考虑工件交货期的柔性流水车间调度问题,引入启发式规则,构建兼顾高效性和可靠性实战要求的弹药保障作业调度数学模型ATSCA。结合弹药保障作业问题特征,设计提出一种基于双层整数编码的贪婪局部搜索遗传算法(GLSGA-DC),改进操作算子和局部搜索算法设计,以最小化弹药保障完成时间为目标对保障模型进行求解。多组仿真结果表明,相比于同类算法,GLSGA-DC算法在Benchmark基准算例和实际弹药转运实例实验中均取得优秀的效果,在求解均值(AVG)、相对偏差(RD)等指标方面均明显占优,验证了ATSCA模型和求解算法在实际弹药保障任务中的有效性和鲁棒性。
展开更多
关键词
舰载机
弹药
保障
作业
柔性车间调度
调度优化
仿真验证
原文传递
舰载机弹药保障作业调度的形式化建模与验证
2
作者
金钊
金璐
+4 位作者
张博闻
吴庆顺
冯朔
李冠峰
徐明亮
《软件学报》
EI
CSCD
北大核心
2024年第9期4100-4122,共23页
航母舰载机弹药保障作业的智能规划作为一种高效能航保作业调度方法,是助推航母工程先进技术建设发展的重要途径之一.高安全攸关属性下作业规划方案的正确性保证已经逐渐成为制约其实际应用部署安全的关键技术瓶颈.针对方案正确性验证...
航母舰载机弹药保障作业的智能规划作为一种高效能航保作业调度方法,是助推航母工程先进技术建设发展的重要途径之一.高安全攸关属性下作业规划方案的正确性保证已经逐渐成为制约其实际应用部署安全的关键技术瓶颈.针对方案正确性验证中存在的弹药保障系统难建模、作业执行行为难描述、形式验证工具难实现等挑战,基于分离逻辑的思想,提出一种弹药保障系统的行为模型,并利用定理证明器Coq对作业规划方案进行形式化验证.首先提出一个符合弹药保障作业特征的序列化双层资源堆模型;基于该模型,构造一套可用于描述作业执行行为的建模语言及其操作语义;最后在Coq中实现一种证明辅助工具.通过几个典型弹药保障作业规划方案的交互式证明实例,验证工具的可用性与工程实用性.
展开更多
关键词
舰载机
弹药
保障
作业
形式化验证
分离逻辑
操作语义
COQ
下载PDF
职称材料
题名
航空母舰舰载机弹药保障作业调度优化算法
被引量：
2
1
作者
张少辉
刘舜
李亚飞
金钊
靳远远
王少参
赵建波
徐明亮
机构
郑州大学计算机与人工智能学院
周口师范学院网络工程学院
智能集群系统教育部工程研究中心
国家超级计算郑州中心
中国船舶集团有限公司第七一三研究所
江苏科技大学经济管理学院
出处
《航空学报》
EI
CAS
CSCD
北大核心
2023年第20期224-241,共18页
基金
国家自然科学基金重点项目(62036010)
国家自然科学基金优秀青年基金(61822701)
+5 种基金
国家自然科学基金面上项目(62172457,61972362)
中国博士后科学基金(2018M630836,2022TQ0297)
河南省自然科学基金优秀青年基金(202300410378)
河南省科技攻关项目(212102210098)
河南省高等学校青年骨干教师培养计划(2020GGJS215)
河南省高等学校重点科研项目(22A520051)。
文摘
针对航空母舰舰载机弹药保障作业高动态、多阶段特性,将柔性流水车间调度方法和群体智能优化理论相结合,提出一种面向舰载机弹药保障作业的调度优化算法。提出将复杂的弹药保障作业调度问题抽象规约为一类考虑工件交货期的柔性流水车间调度问题,引入启发式规则,构建兼顾高效性和可靠性实战要求的弹药保障作业调度数学模型ATSCA。结合弹药保障作业问题特征,设计提出一种基于双层整数编码的贪婪局部搜索遗传算法(GLSGA-DC),改进操作算子和局部搜索算法设计,以最小化弹药保障完成时间为目标对保障模型进行求解。多组仿真结果表明,相比于同类算法,GLSGA-DC算法在Benchmark基准算例和实际弹药转运实例实验中均取得优秀的效果,在求解均值(AVG)、相对偏差(RD)等指标方面均明显占优,验证了ATSCA模型和求解算法在实际弹药保障任务中的有效性和鲁棒性。
关键词
舰载机
弹药
保障
作业
柔性车间调度
调度优化
仿真验证
Keywords
carrier-borne aircraft
ammunition support operation
flexible job-shop scheduling
scheduling and optimization
simulation
分类号
V37 [航空宇航科学与技术—航空宇航推进理论与工程]
原文传递
题名
舰载机弹药保障作业调度的形式化建模与验证
2
作者
金钊
金璐
张博闻
吴庆顺
冯朔
李冠峰
徐明亮
机构
郑州大学计算机与人工智能学院
智能集群系统教育部工程研究中心
国家超级计算郑州中心
北京宇航系统工程研究所
中国船舶重工集团公司第七一三研究所
出处
《软件学报》
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 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
航空母舰舰载机弹药保障作业调度优化算法
张少辉
刘舜
李亚飞
金钊
靳远远
王少参
赵建波
徐明亮
《航空学报》
EI
CAS
CSCD
北大核心
2023
2
原文传递
2
舰载机弹药保障作业调度的形式化建模与验证
金钊
金璐
张博闻
吴庆顺
冯朔
李冠峰
徐明亮
《软件学报》
EI
CSCD
北大核心
2024
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
