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

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

【技术实现步骤摘要】

本专利技术属于航空航天，具体涉及基于smt的航天器多种轨道威胁自主规避机载任务规划方法。

技术介绍

1、随着人类太空活动的日渐频繁，轨道空间日益拥挤，空间碎片数量持续增加，给航天器在轨安全稳定运行带来严峻挑战。面对各类轨道威胁，现有的应对手段严重依赖于地面，难以适应威胁数量持续增长、环境日益恶化的空间态势。因此，有必要增强航天器自主及时处置空间威胁等不确定性的能力。

2、可满足性模理论(satisfiability modulo theories,smt)是在给定理论中表达的一阶公式可满足性问题。smt问题表示为一组变量和对这些变量的一组约束。变量不限于布尔值，而是取决于理论，并且约束是相对于背景逻辑来表达的。理论和逻辑是smt问题的关键要素，存在布尔命题、有限和无限树、列表、位向量、数组、整数和实数理论。smt的求解对象是命题逻辑公式，通过判定逻辑公式在组合背景理论下的可满足性来证明相关性质。smt的背景理论使其能很好地描述实际领域中的各种问题，结合高效的可满足性判定算法，smt在任务规划、程序验证、线性逻辑约束公式优化问题求解等研究领域中具本文档来自技高网...

【技术保护点】

1.基于SMT的航天器多种轨道威胁自主规避机载任务规划方法，其特征在于：所述规划方法包括以下步骤：

2.根据权利要求1所述的基于SMT的航天器多种轨道威胁自主规避机载任务规划方法，其特征在于：所述S1中，约束条件包括资源约束、因果约束和时间约束，子系统包括相机、雷达、二维伺服转台、姿轨确定单元、姿态控制单元、轨道控制单元、推进系统单元以及智能计算单元，其中相机包括全域相机、可见光相机以及红外相机，雷达包括微波雷达和激光雷达。

3.根据权利要求1所述的基于SMT的航天器多种轨道威胁自主规避机载任务规划方法，其特征在于：所述S2中，航天器轨道威胁自主规避的任务规划模型...

【技术特征摘要】

1.基于smt的航天器多种轨道威胁自主规避机载任务规划方法，其特征在于：所述规划方法包括以下步骤：

2.根据权利要求1所述的基于smt的航天器多种轨道威胁自主规避机载任务规划方法，其特征在于：所述s1中，约束条件包括资源约束、因果约束和时间约束，子系统包括相机、雷达、二维伺服转台、姿轨确定单元、姿态控制单元、轨道控制单元、推进系统单元以及智能计算单元，其中相机包括全域相机、可见光相机以及红外相机，雷达包括微波雷达和激光雷达。

3.根据权利要求1所述的基于smt的航天器多种轨道威胁自主规避机载任务规划方法，其特征在于：所述s2中，航天器轨道威胁自主规避的任务规划模型采用七元组表示，七元组建模公式为：

4.根据权利要求3所述的基于smt的航天器多种轨道威胁自主规避机载任务规划方法，其特征在于：所述动作前提条件prea分为三个不相交的子集：

5.根据权利要求3所述的基于smt的航天器多种轨道威胁自主规...

【专利技术属性】
技术研发人员：陈兴文，邱剑彬，王桐，冯建波，
申请(专利权)人：哈尔滨工业大学，
类型：发明
国别省市：