[发明专利]一种基于组合规则约束的航天器测试数据提取方法

摘要

一种基于组合规则约束的航天器测试数据提取方法，首先提出了一种测试数据提取约束规则的通用表达形式，由前提项、条件项和延时项组合而成，将约束条件的文字描述转换为用数学形式结合逻辑形式描述和表达出来；然后基于此种描述约束条件的组合规则表达形式，提出了一种从测试数据库中提取目标数据算法流程，能够筛选出长达数月时间内同一测试过程出现的次数并提取出各次有效数据。与传统测试数据查询技术相比，本发明方法通过对组合约束规则的处理可以快速定位出目标测试数据的分段分布时间区间，再采用以时间为基础的查询方式从各分段时间区间中查询目标测试数据，减少了无关时间区间内的数据查询工作量，大大提高了数据提取工作的效率。

主权项

一种基于组合规则约束的航天器测试数据提取方法，其特征在于包括如下步骤：(1)获取测试数据提取所需的起始时刻e、终止时刻f、起始前提项Gs、起始条件项Cs、起始延时项Ds、终止前提项Ge、终止条件项Ce和终止延时项De；所述起始条件项Cs、起始前提项Gs、终止前提项Ge、终止条件项Ce为测试数据一个或几个特征属性的取值范围；所述起始延时项Ds、终止延时项De为测试数据中测试时刻特征属性的偏移量；所述特征属性包括测试时刻、测试指令、遥测参数代号；(2)从测试数据库查询起始时刻e与终止时刻f之间的测试数据并将满足起始条件项Cs的测试时刻存到数组tmpSCTime；(3)判断tmpSCTime中测试时刻，如果测试时刻对应的测试数据满足起始前提项Gs，则将该测试时刻存储至数组STime，否则舍弃该测试时刻，遍历数组STime，计算数组STime中测试时刻的个数并将其作为终止时刻判断次数N，其中数组STime中测试时刻为STime(i)，i＝1,2,3,…,N；(4)以[STime(1),STime(2)]为时间区间，查询该时间区间中的测试数据并判断，如果有测试数据满足终止条件项Ce且该测试数据的测试时刻满足终止前提项Ge，则将该测试数据的测试时刻依次存储至数组ETime，否则舍弃STime(1)，然后以[STime(2),STime(3)]为时间区间，查询该时间区间中的测试数据并判断，如果有测试数据满足终止条件项Ce且该测试数据的测试时刻满足终止前提项Ge，则将该测试数据的测试时刻依次存储至数组ETime，否则舍弃STime(2)，重复上述过程直至以[STime(N‑1),STime(N)]为时间区间，查询该时间区间中的测试数据并判断，如果有测试数据满足终止条件项Ce且该测试数据的测试时刻满足终止前提项Ge，则将该测试时刻依次存储至数组ETime，否则舍弃STime(N‑1)，以[STime(N),终止时刻f]为时间区间，查询该时间区间中的测试数据并判断，如果有测试数据满足终止条件项Ce且该测试数据的测试时刻满足终止前提项Ge，则将该测试时刻依次存储至数组ETime，否则舍弃STime(N)，最后得到与数组ETime长度相等的数组STime；(5)数组STime中所有测试时刻减去起始延时项Ds进行偏移得到新的数组STime，数组ETime中所有测试时刻加上终止延时项De进行偏移得到新的数组ETime；(6)将数组STime中第j个测试时刻作为查询起始时刻，将数组ETime中第j个测试时刻作为查询终止时刻提取测试数据，j＝1,2,3,…,M，其中M为数组ETime的长度。