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

摘要

本发明涉及一种图形化飞行程序编排和检查验证系统、方法和存储介质。其主要包括：飞行指令数据库、约束规则库、光照及测控覆盖判断计算模块以及飞行程序编排单元。能够基于飞行指令数据库，通过图形化拖放式建模，快速搭建飞行程序，能够对飞行程序进行各种约束检查，同时能够对飞行程序进行自动化调整，不仅能解决人工编排和检查容易发生疏漏的问题，还能显著提升飞行程序编制效率。

主权项

1.一种图形化的航天器飞行程序快速编排和检查验证系统，其特征在于，包括：飞行指令数据库，所述飞行指令数据库用于为飞行程序编排提供基础数据；约束规则库，所述约束规则库，用于定义飞行程序的各类约束条件和检查方法，为飞行程序校核提供依据；光照及测控覆盖判断计算模块，用于根据卫星轨道参数和测控站位置参数输出计算结果；飞行程序编排单元，所述飞行程序编排单元包括图形化编排模块和约束检查模块，所述图形化编排模块，用以基于所述飞行指令数据库的基础数据，辅助飞行程序的编排，通过支持图形化拖放操作，对飞行指令数据库的基础数据查询或导入；所述约束检查模块，用以基于所述约束规则库，利用光照及测控覆盖判断计算模块的计算结果，对飞行程序进行检查，对于不满足约束关系的飞行指令，给出显性标识。