无人机群航路规划定量验证方法研究

来源 :测控技术 | 被引量 : 0次 | 上传用户:linmao820521
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
无人机群航路规划是实现无人机群对目标协同搜索的关键,针对无人机群航路规划的优化、解算问题,提出了一种针对无人机群航路规划的定量验证方法,该方法运用概率迁移系统与随机多主体博弈模型构建了无人机群航路时空系统模型,使用概率空间时态逻辑对无人机群航路规划的质量指标进行了描述,通过自动验证算法实现质量指标的验证.该方法可实现对无人机群航路规划的建模、分析工作,完成对无人机群航路规划在任务完成度、飞行安全度和性能发挥度这3个方面质量指标的计算,为确定无人机群的较优航路提供理论依据.
其他文献
列宁强调必须通过法律来巩固社会主义国家政权,治理和管理国家的各种事务.他在领导第一个社会主义国家的建设过程中,提出的有关社会主义法制建设的观点、原则为苏维埃国家以
探访过去《回望》是一部非虚构文学作品。作者金宇澄的父亲上世纪30年代末加入中共地下情报系统工作,囿于职业规则,多有不可言之处;解放后,因曾经工作牵连遭受打击,无处鸣冤;
广告语篇既具有丰富的体裁特征,又具有多模态的特征。现有体裁分析研究多采用Swales的语步分析法,主要关注语篇的宏观建构特点。这种重结构的分析方法容易忽视广告语篇中多模
通过对代际阅读概念、特征、国内外研究情况的分析,指出代际阅读是实现积极老龄化的重要路径。代际阅读跳出家庭正式化和单向多维化的特征,有助于帮助老年读者实现老有所学、
冠心病作为常见的心脏疾病之一,也被称之为冠状动脉粥样硬化性心脏病,具体表现为患者的冠状动脉粥样硬化或者动力性血管痉挛引发的心肌缺血或缺氧以及心肌坏死等状况,导致患
医学教育是高等教育领域中一项热门专业,在医学事业蓬勃发展下,对于新时期的医学人才培养提出了更高的要求。在"互联网+"时代下,通过在医学教育中引入智慧教育,有助于丰富医
目的评价阿托伐他汀联合曲美他嗪治疗冠心病的疗效,分析阿托伐他汀药理作用。方法选择门诊收治冠心病患者86例,随机分为对照组、观察组各43例,对照组曲美他嗪,观察组联合阿托
目的讨论妊娠期抗精神病治疗的必要性和安全性。方法前瞻性循证、临床经验和相关文献报道总结,对妊娠期的抗精神病治疗的必要性和安全性进行讨论。结果近期发表的研究以更精
目的:分析在脑血管(缺血性)疾病治疗中实施神经介入治疗方案所呈现的效果和价值。方法:分析病例选择于2017年1月~2020年1月来本院就诊的脑血管(缺血性)疾病患者300例,以治疗
目的观察阿替普酶溶栓治疗急性脑梗塞的疗效及不良反应发生率。方法选取我院2016年01月~2018年10月门诊接诊的急性脑梗塞患者65例,将其依据入院编号单复数分成观察组和对照组