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

权利要求书

1.一种基于组合规则约束的航天器测试数据提取方法，其特征在于包括如下步骤：

(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的长度。