- 专利标题: 一种基于形式化描述的运载火箭测试数据判读方法及系统
- 专利标题(英): carrier rocket test data interpretation method and system based on formalized description
-
申请号: CN201811361589.2申请日: 2018-11-15
-
公开(公告)号: CN109582692A公开(公告)日: 2019-04-05
- 发明人: 连彦泽 , 段飞鹏 , 徐华丽 , 马利 , 赵雷 , 李世鹏 , 颜廷贵 , 尹贻国 , 何信华 , 白健 , 虞洋 , 杨志方 , 胡昭昀 , 王琳
- 申请人: 北京宇航系统工程研究所 , 中国运载火箭技术研究院
- 申请人地址: 北京市丰台区南大红门路1号内35栋
- 专利权人: 北京宇航系统工程研究所,中国运载火箭技术研究院
- 当前专利权人: 北京宇航系统工程研究所,中国运载火箭技术研究院
- 当前专利权人地址: 北京市丰台区南大红门路1号内35栋
- 代理机构: 中国航天科技专利中心
- 代理商 马全亮
- 主分类号: G06F16/242
- IPC分类号: G06F16/242 ; G06F16/2452 ; G06F16/2458
摘要:
一种基于形式化描述的运载火箭测试数据判读方法及系统,包括(1)将测试参数的判据进行分类;(2)定义测试参数判据的组成元素;(3)根据定义的组成元素,对分类后的各类判据进行形式化描述;(4)读取判据的形式化描述,并将形式化描述表征的判读规则转换为计算机能够识别的目标程序代码;(5)以运载火箭测试数据为数据源,运行目标程序代码,给出运载火箭测试数据是否正常的判读结论,从而完成运载火箭测试数据的判读。本发明通过形式化描述的方法解决了运载火箭测试数据的判据难以准确描述与定义的问题,在此基础上实现了自动化的测试数据判读,极大提高了测试数据判读的效率与准确性。
公开/授权文献
- CN109582692B 一种基于形式化描述的运载火箭测试数据判读方法及系统 公开/授权日:2020-12-18