一种基于组合规则约束的航天器测试数据提取方法
【技术领域】
[0001] 本发明涉及一种航天器测试数据采集方法，特别是一种基于组合规则约束的航天 器测试数据提取方法。
【背景技术】
[0002] 近年来，航天器设计水平和技术飞速发展，航天器的种类和型谱不断更新，现有航 天器的功能也日趋复杂、工作模式繁多、设计指标也不断提升、航天器上的产品种类也不断 更新、航天器分系统逐渐增多、系统功能也越来越复杂。随着航天器设计的功能复杂化和指 标多样化，对航天器的地面测试数据评估要求也大大提高。
[0003] 在航天器综合测试数据判读中，经常需要对同一测试状态下的单机功能性能进行 比对判读，还有针对不同测试阶段同一测试项目、测试过程或测试事件的功能性能一致性 及稳定性进行判读，而这些面向目标需求的测试数据都是按发生时间顺序存储在庞大的测 试数据库中。要解决这一任务需求的关键在于如何从海量的测试数据中准确快速的提取有 效目标数据。目前，现有基本的数据提取方法是以时间为查询条件，查询形式一般为"时间 tl到时间t2之间参数P的值"，这种查询方式的特点是简单、直观，但无法满足快速便捷地 定位与提取特定条件下的测试数据，如航天器在不同测试时间段同一测试状态或过程的测 试数据，往往需要通过人工判断进行目标数据筛选，严重影响数据提取的完备性与快速性。 因此，如何准确、快速从测试数据库中提取带有复杂约束条件的目标数据成为一个新课题， 它是解决对航天器综合测试长时间中同一单机关键参数、测试过程或测试事件功能性能指 标一致性及稳定性判读的基础技术，是实现后续航天器复杂任务过程测试数据深入判读的 关键环节，直接影响测试有效性甚至影响卫星研制进度和流程。
【发明内容】
[0004] 本发明解决的技术问题是：克服现有技术的不足，提供了一种从航天器测试数据 库存储的海量数据中准确快速地筛选与提取目标数据的一种基于组合规则约束的航天器 测试数据提取方法。
[0005] 本发明的技术解决方案是：一种基于组合规则约束的航天器测试数据提取方法， 包括如下步骤：
[0006] (1)获取测试数据提取所需的起始时刻e、终止时刻f、起始前提项Gs、起始条件项 Cs、起始延时项Ds、终止前提项Ge、终止条件项Ce和终止延时项De;所述起始条件项Cs、起 始前提项Gs、终止前提项Ge、终止条件项Ce为测试数据一个或几个特征属性的取值范围； 所述起始延时项Ds、终止延时项De为测试数据中测试时刻特征属性的偏移量；所述特征属 性包括测试时刻、测试指令、遥测参数代号；
[0007] (2)从测试数据库查询起始时刻e与终止时刻f?之间的测试数据并将满足起始条 件项Cs的测试时刻存到数组tmpSCTime;
[0008] (3)判断tmpSCTime中测试时刻，如果测试时刻对应的测试数据满足起始前提项 Gs，则将该测试时刻存储至数组STime，否则舍弃该测试时刻，遍历数组tmpSCTime中测试 时刻，计算数组STime中测试时刻的个数并将其作为终止时刻判断次数N，其中数组STime 中测试时刻为STime(i)，i= 1，2, 3,…，N;
[0009] (4)以[STime(I)，STime(2)]为时间区间，查询该时间区间中的测试数据 并判断，如果有测试数据满足终止条件项Ce且该测试数据的测试时刻满足终止前提 项Ge，则将该测试数据的测试时刻依次存储至数组ETime，否则舍弃STime(1)，然后 以[STime(2)，STime(3)]为时间区间，查询该时间区间中的测试数据并判断，如果有 测试数据满足终止条件项Ce且该测试数据的测试时刻满足终止前提项Ge，则将该测 试数据的测试时刻依次存储至数组ETime，否则舍弃STime(2)，重复上述过程直至以 [STime(N-I)，STime(N)]为时间区间，查询该时间区间中的测试数据并判断，如果有测试数 据满足终止条件项Ce且该测试数据的测试时刻满足终止前提项Ge，则将该测试时刻依次 存储至数组ETime，否则舍弃STime(N-I)，以[STime(N)，终止时刻f]为时间区间，查询该 时间区间中的测试数据并判断，如果有测试数据满足终止条件项Ce且该测试数据的测试 时刻满足终止前提项Ge，则将该测试时刻依次存储至数组ETime，否则舍弃STime(N)，最后 得到与数组ETime长度相等的数组STime;
[0010] (5)数组STime中所有测试时刻减去起始延时项Ds进行偏移得到新的数组 STime，数组ETime中所有测试时刻加上终止延时项De进行偏移得到新的数组ETime;
[0011] (6)将数组STime中第j个测试时刻作为查询起始时刻，将数组ETime中第j个测 试时刻作为查询终止时刻提取测试数据，j= 1，2, 3,…，M，其中M为数组ETime的长度。
[0012] 本发明与现有技术相比的优点在于：
[0013] (1)本发明方法与现有测试数据查询技术相比，通过对组合约束规则的处理可以 快速定位出目标测试数据的分段分布时间区间，然后再采用以时间为基础的查询方式从各 分段时间区间中查询目标测试数据，减少了无关时间区间内的数据查询工作量，大大提高 了数据提取工作的效率，同时测试数据的时间区间越长愈能显示出本发明的高效性；
[0014] (2)本发明以约束规则作为查询的起始和终止点，有利于不同阶段同一测试事件 或过程的数据一致性比对；
[0015] (3)本发明提出了以前提项、条件项和延时项组成的组合约束规则，将约束规则的 文字描述转换为数学结合逻辑形式，实际应用表明，基于此种形式的组合规则能够简洁、准 确无歧义地表示目前所有测试过程或测试事件。
【附图说明】
[0016] 图1为本发明一种基于组合规则约束的航天器测试数据提取方法原理图；
[0017] 图2为本发明一种基于组合规则约束的航天器测试数据提取方法流程图。
【具体实施方式】
[0018] 下面结合附图具体说明，如图1所示为本发明一种基于组合规则约束的航天器测 试数据提取方法原理图，首先从事件定义配置表中获取并对组合规则约束条件进行语义解 析，然后从测试数据库中查询组合规则涉及特征属性的测试数据并进行判断，再抽取所有 满足组合规则约束的测试数据起止时刻区间，最后采用以时间为基础的查询方式从各分段 时间区间中查询目标测试数据。如图2所示为本发明一种基于组合规则约束的航天器测试 数据提取方法流程图，具体测试数据提取方法如下：
[0019] 首先，提出一种数据提取约束条件的通用表达形式，由前提项、条件项和延时项组 合而成，将约束条件的文字描述转换为用数学形式结合逻辑形式描述和表达出来，能够准 确无歧义地筛选目前所有测试过程或测试事件。例如，按照本发明提出的组合规则约束条 件表达形式，某型号的CMG启动过程可抽象为如下形式：
[0020] 起始条件：[G:D043 = 2C:D004_1 = >10D:-5];
[0021] 终止条件：[G:D043 = 2C:D004_10 = >1D:_5];
[0022] 结合上述两个表达式，对本发明提出的前提项、条件