[发明专利]一种空间飞行器的自适应重构方法及系统

摘要

本发明公开了一种空间飞行器的自适应重构方法及系统，该方法包括：S1：数据采集步骤；S2：数学符号形式化步骤；S3：形式化数学符号检测步骤；S4：自重构系统反馈步骤；S5：自重构系统优化步骤。该系统包括：数据采集模块；数学符号形式化模块，相当于数学符号表示模块；形式化数学符号检测模块，相当于模型检测模块；自重构系统反馈模块；自重构系统优化模块。本发明的方法和系统体现了程序、硬件、环境和规范四个方面相互作用相互影响，真实模拟了实际环境过程，能够做到发现问题并自适应重构，确保软硬件协同设计的可靠性。

主权项

1.一种空间飞行器的自适应重构方法，包括如下步骤：S1：数据采集步骤，其用于采集飞行器系统的软件数据、硬件数据和环境数据；S2：数学符号形式化步骤，其将采集到的软件数据、硬件数据转换成数学符号表示，将环境数据优化并转换成形式化数学符号表示；S3：形式化数学符号检测步骤，其根据规范化约束条件和形式化定理，对S2中转换成形式化数学符号的数据进行检测，检测是否存在自重构操作序列，形成结果信息；S4：自重构系统反馈步骤，其基于S3所述的结果信息进行自重构形成重构信息，然后将所述重构信息反馈给S3用于调整所述规范化约束条件和形式化定理，同时将所述重构信息发送到自重构系统优化步骤；S5：自重构系统优化步骤，基于S3所述的结果信息和S4所述的重构信息形成优化信息，将所述优化信息反馈给S3的规范化约束条件和形式化定理，对规范化约束条件和形式化定理进行优化，从而继续下一循环的检测。