基于SMT的航天器多种轨道威胁自主规避机载任务规划方法

摘要文本

本发明属于航空航天技术领域，具体涉及基于SMT的航天器多种轨道威胁自主规避机载任务规划方法，包括以下步骤：S1：确定约束条件，选取子系统；S2：建立航天器多种轨道威胁自主规避的任务规划模型；S3：建立航天器自主规避架构以指导任务规划，用于实现轨道威胁的自主规避；S4：将航天器威胁规避任务规划问题编码到SMT公式中；S5：规划算法的构造，迭代的加深“发生”的次数，不断求解SMT公式，获得满足性赋值以提取规划解。S6：通过仿真验证上述步骤在解决航天器多种轨道威胁自主规避任务规划问题的可行性；本发明能够基于建立的航天器自主规避任务规划模型，航天器可以根据不同的轨道威胁，在规划过程中选取架构中的不同信息流以提高规划效率。