期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于时空混成Petri网的无人机集群行为建模方法
被引量：
2
1
作者
卢楠
王晓东
+1 位作者
唐政
何佩
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2022年第4期812-818,共7页
越来越广泛应用的无人机集群作战在信息化全球新军事变革中受到高度关注,集群一体化建模对作战模式的测试验证具有重要的意义和价值。结合作战场景的建模仿真需求,以异构无人机集群协同作战过程为研究对象,从无人机单体建模入手,在单体...
越来越广泛应用的无人机集群作战在信息化全球新军事变革中受到高度关注,集群一体化建模对作战模式的测试验证具有重要的意义和价值。结合作战场景的建模仿真需求,以异构无人机集群协同作战过程为研究对象,从无人机单体建模入手,在单体作战过程形式化和数学描述的基础上,基于时空混成Petri网描述异构无人机集群系统的离散状态和连续过程,有效解决了集群系统中物理、计算过程的融合问题和交互事件建模问题。选取UPPAAL对无人机集群打击任务建模进行形式化验证,表明所提建模方法可行、有效。
展开更多
关键词
异构无人机集群
时空混成petri网
集群建模
形式化验证
在线阅读
下载PDF
职称材料
题名
基于时空混成Petri网的无人机集群行为建模方法
被引量：
2
1
作者
卢楠
王晓东
唐政
何佩
机构
西北工业大学宁波研究院
西北工业大学计算机学院
中国电子科技集团公司数据链技术重点实验室
出处
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2022年第4期812-818,共7页
基金
数据链技术重点实验室开放基金(CLDL⁃20202208-2)
飞行器控制一体化技术国防科技重点实验室基金(6142219200205)
中央高校基本科研业务费(D5000220351)资助。
文摘
越来越广泛应用的无人机集群作战在信息化全球新军事变革中受到高度关注,集群一体化建模对作战模式的测试验证具有重要的意义和价值。结合作战场景的建模仿真需求,以异构无人机集群协同作战过程为研究对象,从无人机单体建模入手,在单体作战过程形式化和数学描述的基础上,基于时空混成Petri网描述异构无人机集群系统的离散状态和连续过程,有效解决了集群系统中物理、计算过程的融合问题和交互事件建模问题。选取UPPAAL对无人机集群打击任务建模进行形式化验证,表明所提建模方法可行、有效。
关键词
异构无人机集群
时空混成petri网
集群建模
形式化验证
Keywords
heterogeneous drone swarm
spatiotemporal hybrid
petri
net
cluster modeling
formal verification
分类号
TP301.1 [自动化与计算机技术—计算机系统结构]
V279 [航空宇航科学与技术—飞行器设计]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于时空混成Petri网的无人机集群行为建模方法
卢楠
王晓东
唐政
何佩
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2022
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
