期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于强化学习的舰载机保障作业实时调度方法
被引量:
10
1
作者
李亚飞
吴
庆
顺
+4 位作者
徐明亮
吕培
姜晓恒
朱睿杰
周兵
《中国科学:信息科学》
CSCD
北大核心
2021年第2期247-262,共16页
衡量航母作战性能的重要指标是舰载机出动架次率,而影响舰载机出动架次率的关键因素是舰载机保障作业调度效率.舰载机保障作业调度是指在有限时间、空间和资源约束的前提下合理安排舰载机所需保障作业顺序并高效完成舰载机的作业保障....
衡量航母作战性能的重要指标是舰载机出动架次率,而影响舰载机出动架次率的关键因素是舰载机保障作业调度效率.舰载机保障作业调度是指在有限时间、空间和资源约束的前提下合理安排舰载机所需保障作业顺序并高效完成舰载机的作业保障.现有基于最优化方法(动态规划、线性规划等)和启发式方法(如遗传算法、粒子群等)的求解策略仅适用于保障作业可预知情况下的作业调度,很难满足高动态作战场景下的实时保障作业调度需求.基于此,本文提出了一种新的基于DQN(deep Q-network)的舰载机保障作业实时调度方法,将舰载机保障作业调度问题建模成部分可观测马尔科夫决策过程(partially observable Markov decision processes)问题,利用全局与长期收益对保障作业调度过程进行优化,并通过离线学习和在线调配的学习决策框架进行解决.经过仿真实验验证,该方法能显著提高舰载机保障作业调度效率并满足实时决策环境的需要.
展开更多
关键词
舰载机
保障作业
实时调度
强化学习
仿真验证
原文传递
舰载机弹药保障作业调度的形式化建模与验证
2
作者
金钊
金璐
+4 位作者
张博闻
吴
庆
顺
冯朔
李冠峰
徐明亮
《软件学报》
EI
CSCD
北大核心
2024年第9期4100-4122,共23页
航母舰载机弹药保障作业的智能规划作为一种高效能航保作业调度方法,是助推航母工程先进技术建设发展的重要途径之一.高安全攸关属性下作业规划方案的正确性保证已经逐渐成为制约其实际应用部署安全的关键技术瓶颈.针对方案正确性验证...
航母舰载机弹药保障作业的智能规划作为一种高效能航保作业调度方法,是助推航母工程先进技术建设发展的重要途径之一.高安全攸关属性下作业规划方案的正确性保证已经逐渐成为制约其实际应用部署安全的关键技术瓶颈.针对方案正确性验证中存在的弹药保障系统难建模、作业执行行为难描述、形式验证工具难实现等挑战,基于分离逻辑的思想,提出一种弹药保障系统的行为模型,并利用定理证明器Coq对作业规划方案进行形式化验证.首先提出一个符合弹药保障作业特征的序列化双层资源堆模型;基于该模型,构造一套可用于描述作业执行行为的建模语言及其操作语义;最后在Coq中实现一种证明辅助工具.通过几个典型弹药保障作业规划方案的交互式证明实例,验证工具的可用性与工程实用性.
展开更多
关键词
舰载机弹药保障作业
形式化验证
分离逻辑
操作语义
COQ
下载PDF
职称材料
加强物资采购财务监督的分析研究
3
作者
张晓宇
吴
庆
顺
+2 位作者
刘红
周文娜
田晓露
《商情》
2023年第49期45-48,共4页
伴随着我国社会经济的发展,政府在实际管理工作中的各项工作制度也得到了进一步完善,物资采购作为政府正常管理工作中的重要内容也需要得到更进一步地完善,保证政府经费能得到充分利用,促进党风廉政建设,在我国当前社会环境下树立良好...
伴随着我国社会经济的发展,政府在实际管理工作中的各项工作制度也得到了进一步完善,物资采购作为政府正常管理工作中的重要内容也需要得到更进一步地完善,保证政府经费能得到充分利用,促进党风廉政建设,在我国当前社会环境下树立良好的政府形象。为了保证物资采购工作的规范化,需要采用财务监督的方式,保证政府内部相关工作人员在落实物资采购的过程中能够对自身工作有较高的重视程度,并且在实际工作中做好市场调查,保证采购的物资在质量上有较高水准,同时在政府经费消耗上也处于正常范围。但是由于我国当前市场环境下物资的种类不断丰富,政府在实际管理工作中所需要的物资种类、数量也在增加,导致当前相关工作人员在物资采购过程中出现问题的概率较大,加上财务监督力度还有待提升,导致最终物资采购工作的工作成效较差。物资采购对政府各项工作都有着极为重要的影响,针对物资采购工作所进行的财务监督必须保证与政府实际管理需求相适应,本文就如何加强物资采购财务监督进行分析研究,以期推进政府物资采购工作的规范化。
展开更多
关键词
物资采购
财务监督
财务管理
下载PDF
职称材料
真理只能由社会实践来检验
4
作者
吴
庆
顺
李文杰
《河北师范大学学报(哲学社会科学版)》
1978年第3期22-27,共6页
实践是检验真理的唯一标准,这是马克思主义的一个基本原则。但是,长期以来,“四人帮”伙同林彪反革命集团在真理的标准问题上制造了很多混乱,他们大搞唯心主义和形而上学,大搞绝对主义,大肆宣扬有用即真理的实用主义的真理观,否定实践...
实践是检验真理的唯一标准,这是马克思主义的一个基本原则。但是,长期以来,“四人帮”伙同林彪反革命集团在真理的标准问题上制造了很多混乱,他们大搞唯心主义和形而上学,大搞绝对主义,大肆宣扬有用即真理的实用主义的真理观,否定实践是真理的唯一标准,否定人类的认识要随着实践的发展而发展这些马克思主义的基本原理。因此,正确认识和理解实践标准,努力恢复实践标准的权威,对于澄清被“
展开更多
关键词
马克思主义哲学
社会实践
有用即真理
实践标准
革命实践
毛泽东思想
唯心主义
基本原则
马列主义
检验
下载PDF
职称材料
为百万亩森林装上“千里眼”
5
作者
何云霞(文/图)
吴
庆
顺
(文/图)
《绿色天府》
2021年第8期56-59,共4页
随着生态建设被提上国家建设“五位一体”总布局,我国森林面积、林业蓄积量逐年增长,形成了良好的绿色生态体系。而森林火灾是森林最危险的敌人,也是林草业最可怕的灾害,它会给森林带来毁灭性的破坏,给国家和人民造成巨大损失。尽管当...
随着生态建设被提上国家建设“五位一体”总布局,我国森林面积、林业蓄积量逐年增长,形成了良好的绿色生态体系。而森林火灾是森林最危险的敌人,也是林草业最可怕的灾害,它会给森林带来毁灭性的破坏,给国家和人民造成巨大损失。尽管当今世界的科学在日新月异地向前发展,但是人类在制服森林火灾上,依然尚未取得长足进展。
展开更多
关键词
森林火灾
绿色生态
生态建设
五位一体
蓄积量
总布局
百万亩
林草业
下载PDF
职称材料
外公的人参梦
6
作者
吴
庆
顺
《老同志之友(上半月)》
2019年第6期13-13,共1页
1956年我在鞍山一中读书,假期里学校安排我和另一些同学组成了护校队。我在学校传达室看到新送来的日报上刊登了一篇报道,说是首都北京高校的老师带领一些学生来我们这儿的风景名胜区千山进行生态地质方面的实习考察。他们爬山涉水踏遍...
1956年我在鞍山一中读书,假期里学校安排我和另一些同学组成了护校队。我在学校传达室看到新送来的日报上刊登了一篇报道,说是首都北京高校的老师带领一些学生来我们这儿的风景名胜区千山进行生态地质方面的实习考察。他们爬山涉水踏遍了景区,偶然发现了稀有的珍贵中草药——人参。
展开更多
关键词
人参种子
原文传递
题名
基于强化学习的舰载机保障作业实时调度方法
被引量:
10
1
作者
李亚飞
吴
庆
顺
徐明亮
吕培
姜晓恒
朱睿杰
周兵
机构
郑州大学信息工程学院
出处
《中国科学:信息科学》
CSCD
北大核心
2021年第2期247-262,共16页
基金
国家自然科学基金(批准号:61972362,62036010,61602420,61822701,61772474,61872324,61802351)
中国博士后基金(批准号:2018M630836,2018M632802)
+1 种基金
河南省自然科学基金(批准号:202300410378)
河南省重点研发与推广专项(批准号:192102310476)资助。
文摘
衡量航母作战性能的重要指标是舰载机出动架次率,而影响舰载机出动架次率的关键因素是舰载机保障作业调度效率.舰载机保障作业调度是指在有限时间、空间和资源约束的前提下合理安排舰载机所需保障作业顺序并高效完成舰载机的作业保障.现有基于最优化方法(动态规划、线性规划等)和启发式方法(如遗传算法、粒子群等)的求解策略仅适用于保障作业可预知情况下的作业调度,很难满足高动态作战场景下的实时保障作业调度需求.基于此,本文提出了一种新的基于DQN(deep Q-network)的舰载机保障作业实时调度方法,将舰载机保障作业调度问题建模成部分可观测马尔科夫决策过程(partially observable Markov decision processes)问题,利用全局与长期收益对保障作业调度过程进行优化,并通过离线学习和在线调配的学习决策框架进行解决.经过仿真实验验证,该方法能显著提高舰载机保障作业调度效率并满足实时决策环境的需要.
关键词
舰载机
保障作业
实时调度
强化学习
仿真验证
Keywords
carrier-borne aircraft
support operations
real-time scheduling
reinforcement learning
simulations
分类号
E926.392 [军事—军事装备学]
TP181 [兵器科学与技术—武器系统与运用工程]
原文传递
题名
舰载机弹药保障作业调度的形式化建模与验证
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
职称材料
题名
加强物资采购财务监督的分析研究
3
作者
张晓宇
吴
庆
顺
刘红
周文娜
田晓露
机构
火箭军采购服务站
出处
《商情》
2023年第49期45-48,共4页
文摘
伴随着我国社会经济的发展,政府在实际管理工作中的各项工作制度也得到了进一步完善,物资采购作为政府正常管理工作中的重要内容也需要得到更进一步地完善,保证政府经费能得到充分利用,促进党风廉政建设,在我国当前社会环境下树立良好的政府形象。为了保证物资采购工作的规范化,需要采用财务监督的方式,保证政府内部相关工作人员在落实物资采购的过程中能够对自身工作有较高的重视程度,并且在实际工作中做好市场调查,保证采购的物资在质量上有较高水准,同时在政府经费消耗上也处于正常范围。但是由于我国当前市场环境下物资的种类不断丰富,政府在实际管理工作中所需要的物资种类、数量也在增加,导致当前相关工作人员在物资采购过程中出现问题的概率较大,加上财务监督力度还有待提升,导致最终物资采购工作的工作成效较差。物资采购对政府各项工作都有着极为重要的影响,针对物资采购工作所进行的财务监督必须保证与政府实际管理需求相适应,本文就如何加强物资采购财务监督进行分析研究,以期推进政府物资采购工作的规范化。
关键词
物资采购
财务监督
财务管理
分类号
F [经济管理]
下载PDF
职称材料
题名
真理只能由社会实践来检验
4
作者
吴
庆
顺
李文杰
出处
《河北师范大学学报(哲学社会科学版)》
1978年第3期22-27,共6页
文摘
实践是检验真理的唯一标准,这是马克思主义的一个基本原则。但是,长期以来,“四人帮”伙同林彪反革命集团在真理的标准问题上制造了很多混乱,他们大搞唯心主义和形而上学,大搞绝对主义,大肆宣扬有用即真理的实用主义的真理观,否定实践是真理的唯一标准,否定人类的认识要随着实践的发展而发展这些马克思主义的基本原理。因此,正确认识和理解实践标准,努力恢复实践标准的权威,对于澄清被“
关键词
马克思主义哲学
社会实践
有用即真理
实践标准
革命实践
毛泽东思想
唯心主义
基本原则
马列主义
检验
分类号
G65 [文化科学—教育学]
C55 [社会学]
下载PDF
职称材料
题名
为百万亩森林装上“千里眼”
5
作者
何云霞(文/图)
吴
庆
顺
(文/图)
机构
不详
出处
《绿色天府》
2021年第8期56-59,共4页
文摘
随着生态建设被提上国家建设“五位一体”总布局,我国森林面积、林业蓄积量逐年增长,形成了良好的绿色生态体系。而森林火灾是森林最危险的敌人,也是林草业最可怕的灾害,它会给森林带来毁灭性的破坏,给国家和人民造成巨大损失。尽管当今世界的科学在日新月异地向前发展,但是人类在制服森林火灾上,依然尚未取得长足进展。
关键词
森林火灾
绿色生态
生态建设
五位一体
蓄积量
总布局
百万亩
林草业
分类号
F32 [经济管理—产业经济]
下载PDF
职称材料
题名
外公的人参梦
6
作者
吴
庆
顺
机构
不详
出处
《老同志之友(上半月)》
2019年第6期13-13,共1页
文摘
1956年我在鞍山一中读书,假期里学校安排我和另一些同学组成了护校队。我在学校传达室看到新送来的日报上刊登了一篇报道,说是首都北京高校的老师带领一些学生来我们这儿的风景名胜区千山进行生态地质方面的实习考察。他们爬山涉水踏遍了景区,偶然发现了稀有的珍贵中草药——人参。
关键词
人参种子
分类号
I267 [文学—中国文学]
原文传递
题名
作者
出处
发文年
被引量
操作
1
基于强化学习的舰载机保障作业实时调度方法
李亚飞
吴
庆
顺
徐明亮
吕培
姜晓恒
朱睿杰
周兵
《中国科学:信息科学》
CSCD
北大核心
2021
10
原文传递
2
舰载机弹药保障作业调度的形式化建模与验证
金钊
金璐
张博闻
吴
庆
顺
冯朔
李冠峰
徐明亮
《软件学报》
EI
CSCD
北大核心
2024
0
下载PDF
职称材料
3
加强物资采购财务监督的分析研究
张晓宇
吴
庆
顺
刘红
周文娜
田晓露
《商情》
2023
0
下载PDF
职称材料
4
真理只能由社会实践来检验
吴
庆
顺
李文杰
《河北师范大学学报(哲学社会科学版)》
1978
0
下载PDF
职称材料
5
为百万亩森林装上“千里眼”
何云霞(文/图)
吴
庆
顺
(文/图)
《绿色天府》
2021
0
下载PDF
职称材料
6
外公的人参梦
吴
庆
顺
《老同志之友(上半月)》
2019
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部