-
公开(公告)号:CN109582692B
公开(公告)日:2020-12-18
申请号:CN201811361589.2
申请日:2018-11-15
Applicant: 北京宇航系统工程研究所 , 中国运载火箭技术研究院
IPC: G06F16/242 , G06F16/2452 , G06F16/2458
Abstract: 一种基于形式化描述的运载火箭测试数据判读方法及系统,包括(1)将测试参数的判据进行分类;(2)定义测试参数判据的组成元素;(3)根据定义的组成元素,对分类后的各类判据进行形式化描述;(4)读取判据的形式化描述,并将形式化描述表征的判读规则转换为计算机能够识别的目标程序代码;(5)以运载火箭测试数据为数据源,运行目标程序代码,给出运载火箭测试数据是否正常的判读结论,从而完成运载火箭测试数据的判读。本发明通过形式化描述的方法解决了运载火箭测试数据的判据难以准确描述与定义的问题,在此基础上实现了自动化的测试数据判读,极大提高了测试数据判读的效率与准确性。
-
公开(公告)号:CN109341697A
公开(公告)日:2019-02-15
申请号:CN201811445923.2
申请日:2018-11-29
Applicant: 北京宇航系统工程研究所 , 中国运载火箭技术研究院
Inventor: 张蓉 , 何信华 , 刘朝阳 , 崔鑫 , 胡钰 , 连彦泽 , 钱航 , 韩亮 , 邱士亮 , 颜廷贵 , 李世鹏 , 徐华丽 , 赵雷 , 马利 , 白健 , 虞洋 , 段飞鹏 , 亓俊卿 , 陈绍露 , 杨志方 , 王琳 , 胡昭昀 , 杨馨 , 路长刚 , 蔡建波 , 姜先炜 , 冀航 , 刘莞尔
IPC: G01C21/20
CPC classification number: G01C21/20
Abstract: 本发明一种无人机航路规划安全性评估方法,步骤如下:1)根据OBB包围盒构造算法计算包围盒中心点坐标和主方向半径;2)采用雅克比迭代算法计算得到OBB包围盒协方差矩阵特征值和特征向量;3)分别构造禁飞区和无人机包围盒,采用包围盒碰撞检测算法对无人机航路进行安全性评估,如果无人机航路经过禁飞区,则该航路不满足安全性要求。本发明采用包围盒碰撞检测原理,可以精确判断无人机航路是否经过禁飞区,既安全可靠又不浪费资源,为无人机航路规划安全性分析提供了解决方案。
-
公开(公告)号:CN109582692A
公开(公告)日:2019-04-05
申请号:CN201811361589.2
申请日:2018-11-15
Applicant: 北京宇航系统工程研究所 , 中国运载火箭技术研究院
IPC: G06F16/242 , G06F16/2452 , G06F16/2458
Abstract: 一种基于形式化描述的运载火箭测试数据判读方法及系统,包括(1)将测试参数的判据进行分类;(2)定义测试参数判据的组成元素;(3)根据定义的组成元素,对分类后的各类判据进行形式化描述;(4)读取判据的形式化描述,并将形式化描述表征的判读规则转换为计算机能够识别的目标程序代码;(5)以运载火箭测试数据为数据源,运行目标程序代码,给出运载火箭测试数据是否正常的判读结论,从而完成运载火箭测试数据的判读。本发明通过形式化描述的方法解决了运载火箭测试数据的判据难以准确描述与定义的问题,在此基础上实现了自动化的测试数据判读,极大提高了测试数据判读的效率与准确性。
-
公开(公告)号:CN109341697B
公开(公告)日:2021-02-09
申请号:CN201811445923.2
申请日:2018-11-29
Applicant: 北京宇航系统工程研究所 , 中国运载火箭技术研究院
Inventor: 张蓉 , 何信华 , 刘朝阳 , 崔鑫 , 胡钰 , 连彦泽 , 钱航 , 韩亮 , 邱士亮 , 颜廷贵 , 李世鹏 , 徐华丽 , 赵雷 , 马利 , 白健 , 虞洋 , 段飞鹏 , 亓俊卿 , 陈绍露 , 杨志方 , 王琳 , 胡昭昀 , 杨馨 , 路长刚 , 蔡建波 , 姜先炜 , 冀航 , 刘莞尔
IPC: G01C21/20
Abstract: 本发明一种无人机航路规划安全性评估方法,步骤如下:1)根据OBB包围盒构造算法计算包围盒中心点坐标和主方向半径;2)采用雅克比迭代算法计算得到OBB包围盒协方差矩阵特征值和特征向量;3)分别构造禁飞区和无人机包围盒,采用包围盒碰撞检测算法对无人机航路进行安全性评估,如果无人机航路经过禁飞区,则该航路不满足安全性要求。本发明采用包围盒碰撞检测原理,可以精确判断无人机航路是否经过禁飞区,既安全可靠又不浪费资源,为无人机航路规划安全性分析提供了解决方案。
-
-
-