基于矩阵的运载火箭测试优化方法应用

基于矩阵的运载火箭测试优化方法应用

马文宇 武宏伟

首都航天机械有限公司

摘要：本文首先针对运载火箭测试的相关背景资料进行概述，随后针对基于矩阵的运载火箭测试进行总体分析，然后针对运载火箭测试进行矩阵分析，最后针对依赖矩阵进行优化，具有一定的研究价值。

关键词：矩阵；运载火箭；测试优化

引言

为考核运载火箭复杂系统的性能，必须对其进行全面的测试，现有的测试方法主要采用分层测试的方式，将系统分为子系统，然后分别进行测试，最后再测试整个系统。然而，这种方法存在局限性，包括状态转换耗时长、受约束多、无法充分考虑所有潜在故障通路等。   

因此，本文采用列消元法检测冗余测试，用最小路径覆盖算法来检测最小测试，用割点算法来确定测试项目的关键程度，从而帮助制定更高效的测试策略。采用AO*算法进行矩阵优化，可以简化测试过程，提高测试效率。

1运载火箭测试的总体分析

1.1测试流程分析

测试流程如图1所示，可以分为以下步骤：   

a)分析测试需求。根据系统的功能要求、性能指标、安全性等需求形成需求说明书，据此制定测试计划，以确保测试的全面性和有效性。   

b)制定测试计划。制定测试计划应该包括测试的范围、测试的目标、测试的计划安排、测试资源和测试方法。在制定测试计划时，需要考虑系统的复杂性和测试的覆盖性，确保测试计划能够覆盖系统的各个方面。 

c)设计测试项目。应该根据需求分析和测试计划设计测试项目。测试项目应该包括正常情况、冗余测试、边界测试等，测试项目应该可重复执行，便于测试系统对输入反馈的一致性，同时应搭建尽可能接近真实的测试环境。   

d)执行测试。在测试执行阶段，应该按照测试计划和测试项目，编写测试脚本并执行自动化测试。   

e)测试管理。测试执行后，应该对测试中发现的缺陷进行分类和跟踪管理，未通过测试的项目应根据测试结果修改完成后执行回归测试，直至测试合格为止。

1.2有向图

有向图是一种形式化的建模方法，用于描述系统中各个组件之间的因果依赖关系。有向图由节点和边组成的有向图，其中节点表示系统中的测试项目，边表示这些项目之间的因果依赖关系。有向图可以用于系统可测试性分析和故障诊断，通过对因果依赖关系进行建模和分析，可以实现高效的故障隔离和诊断。多信号有向图可以用来生成测试序列，并进行复杂系统的可测试性分析。也可以通过“模型驱动”的方法，直接根据系统的设计模型生成有向图。

1.3依赖矩阵

依赖矩阵可以用来描述系统中故障和测试项目之间的依赖关系，进而用于分析测试相关特性、优化测试设计。依赖矩阵可以帮助确定系统中各个信号之间的依赖关系，因此可以精确地检测系统中的故障。当系统中某个信号出现故障时，它可能会影响到其他信号的计算结果，进而影响系统的正确性和性能。依赖矩阵定位故障所在的信号，进而进行修复。依赖矩阵可以根据系统中的信号数目进行扩展，因此可以适应从单机测试到总体测试的不同规模测试场景。

2矩阵分析

2.1列消元法

通过对依赖矩阵进行列消元，可以确定哪些测试是冗余的。这些测试可以被删除或替换为更有效的测试。列消元法利用依赖矩阵的列之间的线性关系，将其中一些列表示为其他列的线性组合形式，从而消除冗余信息。具体来说，列消元法可以分为以下步骤:   

a)构造增广矩阵。将依赖矩阵和一个单位矩阵按列合并，构造出一个增广矩阵。   

b)列主元消元。对增广矩阵进行列主元消元，将其转化为行最简形式，在进行消元操作时，需要选取每一列中绝对值最大的元素作为主元素，将其他元素通过行变换转化为零。   

c)提取基本列。将行最简形式的增广矩阵按列划分为2个矩阵，其中左边的矩阵为依赖矩阵的行最简形式，右边的矩阵为单位矩阵的行最简形式。此时左边矩阵中不为零的列就是依赖矩阵的基本列，其他列则可以表示为基本列的线性组合形式。   

通过列消元法，可以将依赖矩阵中的冗余信息消除，提取出基本列，从而减少矩阵的维度，用于优化测试用例的选择和生成，减少冗余测试，从而提高测试效率和覆盖率。

2.2最小路径覆盖算法

通过将依赖矩阵转换为一个有向无环图，可以使用最小路径覆盖算法来确定最少需要多少个测试来覆盖所有可能的故障。   

路径覆盖是指一组不相交的简单路径，这些路径覆盖了图中的所有顶点，即每个顶点恰好在一条路径上。最小路径覆盖就是指路径覆盖中包含最少路径数的覆盖方案。

3依赖矩阵的优化

使用AO*算法优化依赖矩阵是一个常用的方法。具体而言，AO*算法从起点开始搜索，每次选择距离起点最近的未扩展节点进行扩展。在扩展节点时，AO*算法计算节点到终点的估价函数值，将其作为节点的优先级，以选择下一个要扩展的节点。如果当前节点到终点的路径长度已经超过当前最优路径长度，则将当前节点标记为不可达，不再进行扩展，直到找到终点或者所有可达节点都被扩展完成，AO*算法才停止搜索，并返回最短路径和路径长度。

3.1估价函数及其优化

根据依赖矩阵的特性，采用估价函数来估计从当前状态到达目标状态的代价，以便更快地搜索到最优解。若定义估价函数为路径的总长度或总代价，路径长度可以表示任务的执行时间、资源投入、可靠性等，最优解通常为使路径总长度最小的路径集合。估价函数的优点是可以比较准确地预测当前节点到终点的距离。   

加权平均法是一种组合估价函数的方法，可以将多个估价函数进行加权平均，得到一个更加准确的估价函数。在优化AO*算法的估价函数时，可以采用加权平均法来得到更加优化的估价函数。

3.2扩展函数及其优化

扩展函数，用于从当前状态扩展出下一步可能的状态，并计算每个状态的代价。节点扩展策略是指在扩展节点时选择合适的优先级。   

可以通过建立专家库优化扩展函数。   

建立专家库，主要从过去的故障库中，经过机器学习训练得到专家库模型。需要从故障库中收集大量的数据，这些数据包括故障类型、故障原因、解决方案等信息。同时需要对数据进行清洗、去重、标准化等操作，以确保数据的质量和一致性。然后对数据进行特征提取，从原始数据中提取出有意义的特征，以用于后续的模型训练。选择决策树、支持向量机、神经网络等学习模型，并利用训练数据对模型进行训练。同时，还可以根据专家经验和知识，自定义来指导扩展函数的生成。   

将评估优化后的模型部署到专家库中。需要在日常测试中对专家库进行维护，及时自动化更新数据和模型，以保证专家库的准确性和可靠性。

4结语

通过将测试过程和方法模型转化为依赖矩阵，可提供更为清晰的可视化方式，更好地理解测试之间的依赖关系，可以量化测试方法之间的关联度和依赖程度从而得到更加具体和可度量的结果，通过矩阵算法分析识别其中的冗余测试，结合图论、专家库和机器学习等手段，充分利用各种方法的优势，使得测试过程更为全面，提高测试方法的准确性和智能化水平。

参考文献

[1]李克诚.运载火箭无内衬复合材料贮箱设计方法研究[D].大连理工大学,2021.

[2]吴新锋.运载火箭控制系统典型单机故障诊断技术研究[D].中国运载火箭技术研究院,2019.

[3]曹帅.运载火箭商业研制的GERT网络优化模型及应用研究[D].南京航空航天大学,2019.

[4]周虎,胡海峰,刘清竹,等.基于故障-测试相关模型的运载火箭测试点优化设计方法[J].载入航天,2018,24(01):34-40.