期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
7
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
数字化背景下量子博弈的实验探索及应用展望
被引量:
2
1
作者
刘军
卢周来
《国防科技》
2022年第5期1-7,共7页
量子博弈是量子力学与博弈论交叉融合下的新兴领域,主要运用量子力学的理论方法,对经典博弈现象及其战略决策进行研究。本文在对量子博弈进行概述的基础上,探讨量子博弈相较于经典博弈的优势,提出数字化背景下实现量子博弈的技术构想。...
量子博弈是量子力学与博弈论交叉融合下的新兴领域,主要运用量子力学的理论方法,对经典博弈现象及其战略决策进行研究。本文在对量子博弈进行概述的基础上,探讨量子博弈相较于经典博弈的优势,提出数字化背景下实现量子博弈的技术构想。最终,对数字化背景下量子博弈的实际应用进行展望。有别于使用粒子纠缠或光学方法的传统技术方案,我们认为,可以依托现有的数字化技术基础,充分发挥大数据算法及计算机算力的作用,对量子博弈的动态过程及策略优化进行计算模拟,进而以最优策略矩阵驱动现实问题的解决。目前我们主要对“翻硬币”及“囚徒困境”量子博弈进行了初步的探索性计算实验。
展开更多
关键词
量子博弈
计算实验
应用设想
在线阅读
下载PDF
职称材料
基于分布式AC强化学习的集群任务分配
2
作者
杨绍卿
左源
邓宝松
《火力与指挥控制》
北大核心
2025年第5期77-83,90,共8页
针对异构无人集群作战过程中的任务分配问题,提出一种基于分布式演员-评论家(actor-critic)强化学习网络的任务分配方法。设计由transformer与Deep LSTM网络构成的编码模块对输入态势进行预处理编码;采用LSTM作为动作模块,并使用网络级...
针对异构无人集群作战过程中的任务分配问题,提出一种基于分布式演员-评论家(actor-critic)强化学习网络的任务分配方法。设计由transformer与Deep LSTM网络构成的编码模块对输入态势进行预处理编码;采用LSTM作为动作模块,并使用网络级联方式实现复杂动作解耦,对异构作战单元实现动态任务指派;使用线性感知机组成评价模块输出状态价值。仿真实验表明,提出的方法能够有效地实现异构无人集群的作战任务分配,具备良好的实用性与适用性。
展开更多
关键词
任务分配
无人集群
强化学习
推演仿真
在线阅读
下载PDF
职称材料
基于代理模型的航天器表面温度场快速预测方法研究
3
作者
李星辰
李桥
+2 位作者
周炜恩
王宁
姚雯
《宇航总体技术》
2025年第1期10-19,共10页
针对航天器在轨运行时表面温度受太空环境辐射影响而产生剧烈波动的问题,开展了用于快速实时预测航天器表面温度场的代理模型构建研究。通过数值计算方法提供训练数据,输入全连接神经网络进行代理建模,建立工况数据到航天器表面温度场...
针对航天器在轨运行时表面温度受太空环境辐射影响而产生剧烈波动的问题,开展了用于快速实时预测航天器表面温度场的代理模型构建研究。通过数值计算方法提供训练数据,输入全连接神经网络进行代理建模,建立工况数据到航天器表面温度场的高维快速预测,对深度学习方法、混沌多项式展开和高斯过程进行了对比分析。结果显示,基于深度学习的代理模型在稳态条件下训练效率和预测精度均表现优异,平均绝对误差可降低至0.98 K,并且可在0.1 s内完成预测。然而,单一的网络结构对复杂多变的环境特征捕捉能力较差,因此对航天器表面辐射热通量变化率较大部位预测误差较大。研究为航天器表面温度提供了实时预测的新方法,促进了深度学习技术在航天领域的应用验证,对保障航天器稳定运行及延长寿命具有重要意义。
展开更多
关键词
航天器
温度场
深度学习
快速预测
代理模型
在线阅读
下载PDF
职称材料
带落角与舵面饱和约束的三维制导控制一体化设计
被引量:
1
4
作者
杨豪
张士峰
+3 位作者
杨华波
周颉鑫
祝海
朱效洲
《航天控制》
CSCD
2024年第3期9-15,共7页
为使制导控制系统在实际应用过程中适用所面对的多种约束条件,同时避免制导与控制系统设计过程中反复迭代带来的巨大工作量,提出了一种带有落角与舵面饱和约束的三维制导控制系统一体化设计方法。根据导弹六自由度非线性模型以及三维弹...
为使制导控制系统在实际应用过程中适用所面对的多种约束条件,同时避免制导与控制系统设计过程中反复迭代带来的巨大工作量,提出了一种带有落角与舵面饱和约束的三维制导控制系统一体化设计方法。根据导弹六自由度非线性模型以及三维弹目相对运动模型建立全状态耦合的制导控制一体化模型,基于动态面控制器原理,采用4级滑模面设计,构建了能够满足落角与舵面饱和约束的控制器,并给出了控制系统闭环稳定性证明。通过仿真实验有效验证了所提方法的正确性、有效性及鲁棒性。
展开更多
关键词
制导控制一体化
落角约束
舵面饱和约束
动态面控制器
在线阅读
下载PDF
职称材料
基于MILP的轻量级密码算法ACE与SPIX的线性分析
被引量:
1
5
作者
刘帅
任小广
+4 位作者
王世雄
关杰
张啸川
谭捷
王军
《电子学报》
EI
CAS
CSCD
北大核心
2024年第9期3065-3074,共10页
研究了轻量级密码算法ACE与SPIX的线性性质.给出了环型与门组合结构精确的混合整数线性规划下的线性性质刻画,并将算法ACE与SPIX的非线性操作转化为环型与门组合.基于此构建了ACE置换与SLISCP置换的混合整数线性规划下的线性模型,求解...
研究了轻量级密码算法ACE与SPIX的线性性质.给出了环型与门组合结构精确的混合整数线性规划下的线性性质刻画,并将算法ACE与SPIX的非线性操作转化为环型与门组合.基于此构建了ACE置换与SLISCP置换的混合整数线性规划下的线性模型,求解模型得到了2至4步ACE置换与2至5步SLISCP置换最优的线性迹.证明了7步、12步ACE置换分别达到了128比特与320比特的安全目标,7步、13步SLISCP置换分别达到了128比特与256比特的安全目标.对于任意步数的ACE置换与SLISCP置换,认证加密算法ACE-AE-128与SPIX均能够抵抗明文处理阶段的线性区分攻击.
展开更多
关键词
混合整数线性规划
约束求解
轻量级密码算法
线性分析
在线阅读
下载PDF
职称材料
线缆长度驱动的两阶段热管约束组件布局优化方法
6
作者
陈献琪
周炜恩
+1 位作者
姚雯
夏宇峰
《宇航学报》
EI
CAS
CSCD
北大核心
2024年第6期842-853,共12页
针对航天器总体布局设计过程中需要考虑线缆长度的问题,提出一种以线缆长度最小化为目标的两阶段热管约束组件布局优化方法。面向几何、质心、热管散热以及线缆长度等多种复杂约束相互耦合的布局难题,基于分而治之的思想提出将原问题解...
针对航天器总体布局设计过程中需要考虑线缆长度的问题,提出一种以线缆长度最小化为目标的两阶段热管约束组件布局优化方法。面向几何、质心、热管散热以及线缆长度等多种复杂约束相互耦合的布局难题,基于分而治之的思想提出将原问题解耦为两个序贯优化子问题,通过构建并求解子问题的混合整数规划模型,实现了综合考虑多条线缆最短化目标下预埋热管舱板组件布局的高效优化设计。数值布局算例结果表明,在包含15个组件、3条有线信息链路的多种优化场景下,本方法均可以找到两级求解框架下的最优布局设计结果,充分验证了方法的可行性和有效性。
展开更多
关键词
航天器
组件布局优化
线缆长度
热管约束
混合整数规划
在线阅读
下载PDF
职称材料
混合模糊测试中混合符号执行优化策略评估与分析
7
作者
陶静
糜娴雅
+1 位作者
王宝生
王鹏飞
《国防科技大学学报》
EI
CAS
CSCD
北大核心
2023年第2期45-54,共10页
针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混...
针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。
展开更多
关键词
软件安全
软件漏洞挖掘
混合符号执行
混合模糊测试
在线阅读
下载PDF
职称材料
题名
数字化背景下量子博弈的实验探索及应用展望
被引量:
2
1
作者
刘军
卢周来
机构
军事科学院国防科技创新研究院
智能博弈与决策实验室
出处
《国防科技》
2022年第5期1-7,共7页
文摘
量子博弈是量子力学与博弈论交叉融合下的新兴领域,主要运用量子力学的理论方法,对经典博弈现象及其战略决策进行研究。本文在对量子博弈进行概述的基础上,探讨量子博弈相较于经典博弈的优势,提出数字化背景下实现量子博弈的技术构想。最终,对数字化背景下量子博弈的实际应用进行展望。有别于使用粒子纠缠或光学方法的传统技术方案,我们认为,可以依托现有的数字化技术基础,充分发挥大数据算法及计算机算力的作用,对量子博弈的动态过程及策略优化进行计算模拟,进而以最优策略矩阵驱动现实问题的解决。目前我们主要对“翻硬币”及“囚徒困境”量子博弈进行了初步的探索性计算实验。
关键词
量子博弈
计算实验
应用设想
Keywords
quantum games
computational experiments
application prospects
分类号
F224.32 [经济管理—国民经济]
O413.1 [理学—理论物理]
在线阅读
下载PDF
职称材料
题名
基于分布式AC强化学习的集群任务分配
2
作者
杨绍卿
左源
邓宝松
机构
军事科学院国防科技创新研究院
出处
《火力与指挥控制》
北大核心
2025年第5期77-83,90,共8页
基金
军队装备综合研究基金资助项目。
文摘
针对异构无人集群作战过程中的任务分配问题,提出一种基于分布式演员-评论家(actor-critic)强化学习网络的任务分配方法。设计由transformer与Deep LSTM网络构成的编码模块对输入态势进行预处理编码;采用LSTM作为动作模块,并使用网络级联方式实现复杂动作解耦,对异构作战单元实现动态任务指派;使用线性感知机组成评价模块输出状态价值。仿真实验表明,提出的方法能够有效地实现异构无人集群的作战任务分配,具备良好的实用性与适用性。
关键词
任务分配
无人集群
强化学习
推演仿真
Keywords
task allocation
unmanned cluster
reinforcement learning
deduction simulation
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于代理模型的航天器表面温度场快速预测方法研究
3
作者
李星辰
李桥
周炜恩
王宁
姚雯
机构
中国人民解放军军事科学院
智能博弈与决策实验室
出处
《宇航总体技术》
2025年第1期10-19,共10页
基金
中国科协青年人才托举工程(2021QNRC001)。
文摘
针对航天器在轨运行时表面温度受太空环境辐射影响而产生剧烈波动的问题,开展了用于快速实时预测航天器表面温度场的代理模型构建研究。通过数值计算方法提供训练数据,输入全连接神经网络进行代理建模,建立工况数据到航天器表面温度场的高维快速预测,对深度学习方法、混沌多项式展开和高斯过程进行了对比分析。结果显示,基于深度学习的代理模型在稳态条件下训练效率和预测精度均表现优异,平均绝对误差可降低至0.98 K,并且可在0.1 s内完成预测。然而,单一的网络结构对复杂多变的环境特征捕捉能力较差,因此对航天器表面辐射热通量变化率较大部位预测误差较大。研究为航天器表面温度提供了实时预测的新方法,促进了深度学习技术在航天领域的应用验证,对保障航天器稳定运行及延长寿命具有重要意义。
关键词
航天器
温度场
深度学习
快速预测
代理模型
Keywords
Spacecraft
Temperature field
Deep learning
Rapid prediction
Surrogate model
分类号
V419 [航空宇航科学与技术—航空宇航推进理论与工程]
在线阅读
下载PDF
职称材料
题名
带落角与舵面饱和约束的三维制导控制一体化设计
被引量:
1
4
作者
杨豪
张士峰
杨华波
周颉鑫
祝海
朱效洲
机构
国防科技大学空天科学学院
空天跨域飞行器总体与控制技术湖南省重点
实验室
中国军事科学院国防创新研究所
智能博弈与决策实验室
出处
《航天控制》
CSCD
2024年第3期9-15,共7页
基金
国家自然科学基金(U21B2028)。
文摘
为使制导控制系统在实际应用过程中适用所面对的多种约束条件,同时避免制导与控制系统设计过程中反复迭代带来的巨大工作量,提出了一种带有落角与舵面饱和约束的三维制导控制系统一体化设计方法。根据导弹六自由度非线性模型以及三维弹目相对运动模型建立全状态耦合的制导控制一体化模型,基于动态面控制器原理,采用4级滑模面设计,构建了能够满足落角与舵面饱和约束的控制器,并给出了控制系统闭环稳定性证明。通过仿真实验有效验证了所提方法的正确性、有效性及鲁棒性。
关键词
制导控制一体化
落角约束
舵面饱和约束
动态面控制器
Keywords
Integrated guidance and control
Impact angle constraint
Rudder surface saturation constraint
Dynamic surface control method
分类号
TJ765 [兵器科学与技术—武器系统与运用工程]
在线阅读
下载PDF
职称材料
题名
基于MILP的轻量级密码算法ACE与SPIX的线性分析
被引量:
1
5
作者
刘帅
任小广
王世雄
关杰
张啸川
谭捷
王军
机构
智能博弈与决策实验室
军事科学院
战略支援部队信息工程大学密码工程学院
出处
《电子学报》
EI
CAS
CSCD
北大核心
2024年第9期3065-3074,共10页
基金
国家自然科学基金(No.62102440)。
文摘
研究了轻量级密码算法ACE与SPIX的线性性质.给出了环型与门组合结构精确的混合整数线性规划下的线性性质刻画,并将算法ACE与SPIX的非线性操作转化为环型与门组合.基于此构建了ACE置换与SLISCP置换的混合整数线性规划下的线性模型,求解模型得到了2至4步ACE置换与2至5步SLISCP置换最优的线性迹.证明了7步、12步ACE置换分别达到了128比特与320比特的安全目标,7步、13步SLISCP置换分别达到了128比特与256比特的安全目标.对于任意步数的ACE置换与SLISCP置换,认证加密算法ACE-AE-128与SPIX均能够抵抗明文处理阶段的线性区分攻击.
关键词
混合整数线性规划
约束求解
轻量级密码算法
线性分析
Keywords
mixed-integer linear programming
constraint problem solving
lightweight cipher
linear analysis
分类号
TN918.1 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
线缆长度驱动的两阶段热管约束组件布局优化方法
6
作者
陈献琪
周炜恩
姚雯
夏宇峰
机构
军事科学院国防科技创新研究院
军事科学院
智能博弈与决策实验室
国防科技大学空天科学学院
出处
《宇航学报》
EI
CAS
CSCD
北大核心
2024年第6期842-853,共12页
文摘
针对航天器总体布局设计过程中需要考虑线缆长度的问题,提出一种以线缆长度最小化为目标的两阶段热管约束组件布局优化方法。面向几何、质心、热管散热以及线缆长度等多种复杂约束相互耦合的布局难题,基于分而治之的思想提出将原问题解耦为两个序贯优化子问题,通过构建并求解子问题的混合整数规划模型,实现了综合考虑多条线缆最短化目标下预埋热管舱板组件布局的高效优化设计。数值布局算例结果表明,在包含15个组件、3条有线信息链路的多种优化场景下,本方法均可以找到两级求解框架下的最优布局设计结果,充分验证了方法的可行性和有效性。
关键词
航天器
组件布局优化
线缆长度
热管约束
混合整数规划
Keywords
Spacecraft
Component layout optimization
Cable length
Heat pipe-related constraints
Mixed integer linear programming
分类号
V423.4 [航空宇航科学与技术—飞行器设计]
在线阅读
下载PDF
职称材料
题名
混合模糊测试中混合符号执行优化策略评估与分析
7
作者
陶静
糜娴雅
王宝生
王鹏飞
机构
国防科技大学计算机学院
军事科学院
智能博弈与决策实验室
出处
《国防科技大学学报》
EI
CAS
CSCD
北大核心
2023年第2期45-54,共10页
基金
国防科技大学校科研计划基金资助项目(ZK20-17)。
文摘
针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。
关键词
软件安全
软件漏洞挖掘
混合符号执行
混合模糊测试
Keywords
software security
software vulnerability discovery
concolic execution
hybrid fuzzing
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
数字化背景下量子博弈的实验探索及应用展望
刘军
卢周来
《国防科技》
2022
2
在线阅读
下载PDF
职称材料
2
基于分布式AC强化学习的集群任务分配
杨绍卿
左源
邓宝松
《火力与指挥控制》
北大核心
2025
0
在线阅读
下载PDF
职称材料
3
基于代理模型的航天器表面温度场快速预测方法研究
李星辰
李桥
周炜恩
王宁
姚雯
《宇航总体技术》
2025
0
在线阅读
下载PDF
职称材料
4
带落角与舵面饱和约束的三维制导控制一体化设计
杨豪
张士峰
杨华波
周颉鑫
祝海
朱效洲
《航天控制》
CSCD
2024
1
在线阅读
下载PDF
职称材料
5
基于MILP的轻量级密码算法ACE与SPIX的线性分析
刘帅
任小广
王世雄
关杰
张啸川
谭捷
王军
《电子学报》
EI
CAS
CSCD
北大核心
2024
1
在线阅读
下载PDF
职称材料
6
线缆长度驱动的两阶段热管约束组件布局优化方法
陈献琪
周炜恩
姚雯
夏宇峰
《宇航学报》
EI
CAS
CSCD
北大核心
2024
0
在线阅读
下载PDF
职称材料
7
混合模糊测试中混合符号执行优化策略评估与分析
陶静
糜娴雅
王宝生
王鹏飞
《国防科技大学学报》
EI
CAS
CSCD
北大核心
2023
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部