公开(公告)号：CN112214209B

公开(公告)日：2024-02-13

申请号：CN202011147864.8

申请日：2020-10-23

申请人： 北航(四川)西部国际创新港科技有限公司

发明人： 张学军 ,  周强 ,  张杰玮 ,  刘广才

IPC分类号： G06F8/20 ,  G06F8/76

摘要： 本发明提供一种无人机运行场景中交互信息与任务时序的建模方法，包括：无人机运行场景信息采集分类与关系表达；形式化语言的无人机运行场景建模；无人机运行场景的IPS和SMPS表达与合并。本发明将无人机运行场景建模分为通用运行场景建模和特定运行场景建模，通过建立一次通用运行场景后，根据特定运行场景适配可以简化建模流程，提高建模效率。

公开(公告)号：CN114297917A

公开(公告)日：2022-04-08

申请号：CN202111572432.6

申请日：2021-12-21

申请人： 北航(四川)西部国际创新港科技有限公司

发明人： 周强 ,  刘广才

IPC分类号： G06F30/27 ,  G06F30/15 ,  G06N5/04

摘要： 本发明提供基于UPPAAL的无人机系统安全性形式化建模验证方法，包含两步骤，分别是算法推理验证和仿真建模验证；算法推理验证，通过数学方法对待验证的无人机系统的性质进行逻辑推演，初步判断其是否存在安全性问题，为仿真建模验证提供理论依据；仿真建模验证，在算法推理验证的基础上，利用UPPAAL工具对待验证的系统进行建模与仿真，进一步模拟系统运行中的状态，并最终得出待验证的无人机系统安全性要求是否被满足的结论，同时，若无人机系统的安全性要求不被满足，输出造成安全性不被满足的具体状态，供研究人员做针对性调整。

公开(公告)号：CN112214209A

公开(公告)日：2021-01-12

申请号：CN202011147864.8

申请日：2020-10-23

申请人： 北航(四川)西部国际创新港科技有限公司

发明人： 张学军 ,  周强 ,  张杰玮 ,  刘广才

IPC分类号： G06F8/20 ,  G06F8/76

摘要： 本发明提供一种无人机运行场景中交互信息与任务时序的建模方法，包括：无人机运行场景信息采集分类与关系表达；形式化语言的无人机运行场景建模；无人机运行场景的IPS和SMPS表达与合并。本发明将无人机运行场景建模分为通用运行场景建模和特定运行场景建模，通过建立一次通用运行场景后，根据特定运行场景适配可以简化建模流程，提高建模效率。