[发明专利]图形化飞行程序编排和检查验证系统、方法和存储介质

权利要求书

1.一种图形化的航天器飞行程序快速编排和检查验证系统，其特征在于，包括：

飞行指令数据库，所述飞行指令数据库用于为飞行程序编排提供基础数据；

约束规则库，所述约束规则库，用于定义飞行程序的各类约束条件和检查方法，为飞行程序校核提供依据；

光照及测控覆盖判断计算模块，用于根据卫星轨道参数和测控站位置参数输出计算结果；

飞行程序编排单元，所述飞行程序编排单元包括图形化编排模块和约束检查模块，

所述图形化编排模块，用以基于所述飞行指令数据库的基础数据，辅助飞行程序的编排，通过支持图形化拖放操作，对飞行指令数据库的基础数据查询或导入；

所述约束检查模块，用以基于所述约束规则库，利用光照及测控覆盖判断计算模块的计算结果，对飞行程序进行检查，对于不满足约束关系的飞行指令，给出显性标识；

所述飞行程序编排单元还包括自动调整模块，所述自动调整模块用以对不满足约束关系的飞行指令进行调整，直至飞行指令满足对应的约束关系；

具体的，所述图形化编排模块，通过从所述飞行指令数据库中拖拽各个指令数据到图形化工作视图，每条飞行指令数据对应生成一个方框图，并将方框图与飞行指令数据进行关联，通过对方框图的交互操作，实现将其所关联的飞行指令数据按一定次序组合形成飞行程序。

2.根据权利要求1所述的图形化的航天器飞行程序快速编排和检查验证系统，其特征在于，所述光照及测控覆盖判断计算模块，利用卫星轨道参数和测控站位置参数，生成光照及测控覆盖判断计算模型，用以计算圈次、光照区、地基测控区或天基测控区。

3.根据权利要求1所述的图形化的航天器飞行程序快速编排和检查验证系统，其特征在于，所述飞行程序编排单元还包括统计分析模块，所述统计分析模块用以对整个飞行周期的单机开关机状态和工作模式进行统计，以及对测控资源、飞行程序指令数和飞行程序耗时进行统计。

4.根据权利要求3所述的图形化的航天器飞行程序快速编排和检查验证系统，其特征在于，所述飞行程序编排单元还包括报告和清单生成模块，所述报告和清单生成模块用以生成统计分析报告和飞行程序清单。

5.根据权利要求1所述的图形化的航天器飞行程序快速编排和检查验证系统，其特征在于，所述飞行程序编排单元还包括仿真运行控制模块，所述仿真运行控制模块，用以通过TCP或UDP协议，将飞行程序对应的飞行指令按时序发送给航天器系统模型，以驱动航天器系统模型进行可视化仿真及相应的工作状态呈现。

6.一种图形化的航天器飞行程序快速编排和检查验证方法，其特征在于，

根据卫星轨道参数和测控站位置参数输出计算结果；

通过支持图形化拖放操作，将飞行指令数据库的基础数据导入并按一定次序进行编排形成飞行程序，具体包括通过从飞行指令数据库中拖拽各个指令数据到图形化工作视图，每条飞行指令数据对应生成一个方框图，并将方框图与飞行指令数据进行关联，通过对方框图的交互操作，实现将其所关联的飞行指令数据按一定次序组合形成飞行程序；

调用约束规则库以及所述计算结果对所述飞行程序进行检查，对于不满足约束关系的飞行指令，给出显性标识；

还包括：对不满足约束关系的飞行指令进行调整，直至飞行指令满足对应的约束关系；通过TCP或UDP协议，将飞行程序对应的飞行指令按时序发送给航天器系统模型，以驱动航天器系统模型进行可视化仿真及相应的工作状态呈现。

7.根据权利要求6所述的图形化的航天器飞行程序快速编排和检查验证方法，其特征在于，还包括：对整个飞行周期的单机开关机状态和工作模式进行统计，以及对测控资源、飞行程序指令数和飞行程序耗时进行统计，并生成统计分析报告和飞行程序清单。

8.一种存储介质，所述存储介质中存储有至少一可执行指令，所述可执行指令使处理器执行如权利要求6或7所述的方法对应的操作。