[发明专利]一种基于形式化描述的运载火箭测试数据判读方法及系统

说明书

一种基于形式化描述的运载火箭测试数据判读方法及系统，包括(1)将测试参数的判据进行分类；(2)定义测试参数判据的组成元素；(3)根据定义的组成元素，对分类后的各类判据进行形式化描述；(4)读取判据的形式化描述，并将形式化描述表征的判读规则转换为计算机能够识别的目标程序代码；(5)以运载火箭测试数据为数据源，运行目标程序代码，给出运载火箭测试数据是否正常的判读结论，从而完成运载火箭测试数据的判读。本发明通过形式化描述的方法解决了运载火箭测试数据的判据难以准确描述与定义的问题，在此基础上实现了自动化的测试数据判读，极大提高了测试数据判读的效率与准确性。

技术领域

本发明涉及一种基于形式化描述的运载火箭测试数据判读方法及系统，属于运载火箭的数据处理与应用领域。

背景技术

系统测试是运载火箭测试与发射流程中的重要组成部分，测试数据的完整性与正确性是评估运载火箭性能与可靠性的重要依据与指标，也是专业人员进行判断与决策的重要基础。随着运载火箭技术的不断发展，系统测试产生的数据量呈现出爆炸式增长。主要特点表现为数据种类多、密度大、数据持续时间长。测试数据涉及数千甚至上万个参数，每个参数的采集密度大，采集频率从50Hz到500Hz不等。

每次系统测试过程中或测试结束后,专业人员需要对所有参数所有数据点的完整性与正确性进行判读与确认，以判断运载火箭各系统的产品是否工作正常，为运载火箭是否满足发射条件提供决策依据。

传统模式下有两种测试数据判读的方法：

一是采用人工模式逐参数逐数据点对数据进行确认和判读；

二是采用计算机程序硬编码的方式实现自动判读，即将各个参数的判读规则通过计算机编程的方式固化至软件中，通过软件实现自动判读。

人工判读模式由于需要全程人工操作与判读，工作量大，判读效率低、误判、漏判的风险高；计算机程序硬编码的方式能够解决人工判读的问题，但存在适应性、扩展性、复用性差的问题。

一方面，如果有新增判读参数、删除判读参数的情况，则需要对相关程序代码进行修改，如果参数的计算系数、计算公式与模型、或参数的指标要求发生了变化，也需要对相关程序代码进行修改。

另一方面，系统中存在多个参数判读方法相似的情况及不同型号的运载火箭参数判读方法相似的情况，不同型号的同类型判读参数或同一型号下的相似参数均需要独立的程序代码段实现自动判读，无法实现判读方法或模型的复用。综上，计算机程序硬编码的方式难以适应参数的各类变化需求。

发明内容

本发明所要解决的技术问题是：克服现有手段的不足，提出一种基于形式化描述的运载火箭测试数据判读方法及系统，通过形式化描述的方法解决了运载火箭测试数据的判据难以准确描述与定义的问题，在此基础上实现了自动化的测试数据判读，极大提高了测试数据判读的效率与准确性。

本发明的技术方案是：

一种基于形式化描述的运载火箭测试数据判读方法，步骤包括：

(1)将测试参数的判据进行分类；

(2)定义测试参数判据的组成元素；

(3)根据步骤(2)定义的组成元素，对步骤(1)分类后的各类判据进行形式化描述；

(4)读取判据的形式化描述，并将形式化描述表征的判读规则转换为计算机能够识别的目标程序代码；

(5)以运载火箭测试数据为数据源，运行目标程序代码，给出运载火箭测试数据是否正常的判读结论，从而完成运载火箭测试数据的判读。

测试参数判据共有六个类别，分别为多时段理论值判据、多时段最大最小值判据、最大差值判据、统计值判据、数据完整性判据、关键点判据。