典型文献
基于时空混成Petri网的无人机集群行为建模方法
文献摘要：
越来越广泛应用的无人机集群作战在信息化全球新军事变革中受到高度关注,集群一体化建模对作战模式的测试验证具有重要的意义和价值.结合作战场景的建模仿真需求,以异构无人机集群协同作战过程为研究对象,从无人机单体建模入手,在单体作战过程形式化和数学描述的基础上,基于时空混成Petri网描述异构无人机集群系统的离散状态和连续过程,有效解决了集群系统中物理、计算过程的融合问题和交互事件建模问题.选取UPPAAL对无人机集群打击任务建模进行形式化验证,表明所提建模方法可行、有效.
文献关键词：
异构无人机集群;时空混成Petri网;集群建模;形式化验证
中图分类号：
作者姓名：
卢楠;王晓东;唐政;何佩
作者机构：
西北工业大学宁波研究院,浙江宁波 315103;西北工业大学计算机学院,陕西西安710072;中国电子科技集团公司数据链技术重点实验室,陕西西安710072
文献出处：
引用格式：
[1]卢楠;王晓东;唐政;何佩-.基于时空混成Petri网的无人机集群行为建模方法)[J].西北工业大学学报,2022(04):812-818
A类：
B类：
混成,Petri,集群行为,行为建模,无人机集群作战,新军事变革,一体化建模,作战模式,测试验证,作战场景,建模仿真,真需求,异构无人机集群,集群协同,协同作战,集群系统,中物,融合问题,UPPAAL,任务建模,模进,形式化验证,集群建模
AB值：
0.339549
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
