期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
基于强化学习的舰载机保障作业实时调度方法 被引量: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年我在鞍山一中读书,假期里学校安排我和另一些同学组成了护校队。我在学校传达室看到新送来的日报上刊登了一篇报道,说是首都北京高校的老师带领一些学生来我们这儿的风景名胜区千山进行生态地质方面的实习考察。他们爬山涉水踏遍了景区,偶然发现了稀有的珍贵中草药——人参。 展开更多
关键词 人参种子
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部