-
公开(公告)号：CN107480375B
公开(公告)日：2020-04-17
申请号：CN201710694234.4
申请日：2017-08-15
Applicant: 北京理工大学
Abstract: 本发明公开的一种基于空动作的深空探测约束可满足任务规划方法，属于航天深空探测领域。本发明在建立深空探测器规划模型与深空探测器约束模型基础上，对深空探测器系统模型进行分层处理，对活动单元逐层处理，降低约束处理过程中的复杂度；考虑到深空探测任务规划问题的稀疏特性，根据最小承诺原则在每层活动单元中仅选择一个活动单元赋值并将其它活动单元赋予空动作；当冲突发生时对赋空值的活动单元进行修正解除冲突或进行回溯；当所有层的变量都完成赋值后，获得规划解，实现深空探测器自主任务规划。本发明要解决问题为：将深空探测任务中的复杂约束转化为约束处理中的剪枝能力，提高深空探测器自主任务规划的效率，满足探测器实时性要求。
-
Patent Agency Ranking
公开(公告)号：CN107480375A
公开(公告)日：2017-12-15
申请号：CN201710694234.4
申请日：2017-08-15
Applicant: 北京理工大学
IPC: G06F17/50
Abstract: 本发明公开的一种基于空动作的深空探测约束可满足任务规划方法，属于航天深空探测领域。本发明在建立深空探测器规划模型与深空探测器约束模型基础上，对深空探测器系统模型进行分层处理，对活动单元逐层处理，降低约束处理过程中的复杂度；考虑到深空探测任务规划问题的稀疏特性，根据最小承诺原则在每层活动单元中仅选择一个活动单元赋值并将其它活动单元赋予空动作；当冲突发生时对赋空值的活动单元进行修正解除冲突或进行回溯；当所有层的变量都完成赋值后，获得规划解，实现深空探测器自主任务规划。本发明要解决问题为：将深空探测任务中的复杂约束转化为约束处理中的剪枝能力，提高深空探测器自主任务规划的效率，满足探测器实时性要求。
-
公开(公告)号：CN105760652A
公开(公告)日：2016-07-13
申请号：CN201610055582.2
申请日：2016-01-27
Applicant: 北京理工大学
IPC: G06F19/00
CPC classification number: G06F19/00
Abstract: 本发明公开的一种基于约束可满足技术的深空探测自主任务规划方法，涉及深空探测自主任务规划方法，属于航空航天技术领域。本发明包括如下步骤：建立深空探测器系统模型；建立深空探测器约束模型；根据约束模型对深空探测器系统模型进行分层；规划任务初始化；在level层中选取活动单元在活动单元对应的状态集合Di中选择状态并对活动单元进行赋值；对活动单元约束进行一致性检查；通过赋值和循环直到深空探测器约束模型约束集C中全部约束得到满足，赋值结果即为深空探测器自主任务规划结果，完成自主任务规划。本发明能够克服现有深空任务中约束复杂、约束间耦合关系强等难点，提高深空探测器自主任务规划的效率，满足探测器实时性要求。
-
公开(公告)号：CN105760652B
公开(公告)日：2018-04-03
申请号：CN201610055582.2
申请日：2016-01-27
Applicant: 北京理工大学
IPC: G06F19/00
Abstract: 本发明公开的一种基于约束可满足技术的深空探测自主任务规划方法，涉及深空探测自主任务规划方法，属于航空航天技术领域。本发明包括如下步骤：建立深空探测器系统模型；建立深空探测器约束模型；根据约束模型对深空探测器系统模型进行分层；规划任务初始化；在level层中选取活动单元在活动单元对应的状态集合Di中选择状态并对活动单元进行赋值；对活动单元约束进行一致性检查；通过赋值和循环直到深空探测器约束模型约束集C中全部约束得到满足，赋值结果即为深空探测器自主任务规划结果，完成自主任务规划。本发明能够克服现有深空任务中约束复杂、约束间耦合关系强等难点，提高深空探测器自主任务规划的效率，满足探测器实时性要求。
-
公开(公告)号：CN107491310B
公开(公告)日：2020-08-21
申请号：CN201710701350.4
申请日：2017-08-15
Applicant: 北京理工大学
Abstract: 本发明公开的一种深空探测自主任务规划约束推理的自动编码方法，属于航天深空探测技术领域。本发明在建立深空探测器系统模型文件基础上，分析模型特点，将多种谓词类型统一转化为二元谓词，并提取谓词中的变量构成待选变量集；将动作中的变量与待选变量集匹配筛选，建立描述该动作的表约束的表头，考察该动作的因果关系，将表头中不变变量合并；通过将表头实例化，完成该动作表约束的构建；将所有动作转化表约束，实现将深空探测器系统模型自动编码为约束形式，用于约束推理。本发明能够克服现有深空任务模型中动作关系复杂，手动编码工作量大，信息输入输出不方便，后期难以移植维护等缺点，提高深空探测器自主任务规划的效率，满足实时性要求。
-
公开(公告)号：CN107491310A
公开(公告)日：2017-12-19
申请号：CN201710701350.4
申请日：2017-08-15
Applicant: 北京理工大学
Abstract: 本发明公开的一种深空探测自主任务规划约束推理的自动编码方法，属于航天深空探测技术领域。本发明在建立深空探测器系统模型文件基础上，分析模型特点，将多种谓词类型统一转化为二元谓词，并提取谓词中的变量构成待选变量集；将动作中的变量与待选变量集匹配筛选，建立描述该动作的表约束的表头，考察该动作的因果关系，将表头中不变变量合并；通过将表头实例化，完成该动作表约束的构建；将所有动作转化表约束，实现将深空探测器系统模型自动编码为约束形式，用于约束推理。本发明能够克服现有深空任务模型中动作关系复杂，手动编码工作量大，信息输入输出不方便，后期难以移植维护等缺点，提高深空探测器自主任务规划的效率，满足实时性要求。
-
-
-
-
-
Search Results
6
records
(took 0.015 seconds)
