首页> 中国专利> 一种深空探测自主任务规划约束推理的自动编码方法

一种深空探测自主任务规划约束推理的自动编码方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明公开的一种深空探测自主任务规划约束推理的自动编码方法，属于航天深空探测技术领域。本发明在建立深空探测器系统模型文件基础上，分析模型特点，将多种谓词类型统一转化为二元谓词，并提取谓词中的变量构成待选变量集；将动作中的变量与待选变量集匹配筛选，建立描述该动作的表约束的表头，考察该动作的因果关系，将表头中不变变量合并；通过将表头实例化，完成该动作表约束的构建；将所有动作转化表约束，实现将深空探测器系统模型自动编码为约束形式，用于约束推理。本发明能够克服现有深空任务模型中动作关系复杂，手动编码工作量大，信息输入输出不方便，后期难以移植维护等缺点，提高深空探测器自主任务规划的效率，满足实时性要求。

著录项

公开/公告号CN107491310B

专利类型发明专利
公开/公告日2020-08-21

原文格式PDF
申请/专利权人北京理工大学;
展开▼

申请/专利号CN201710701350.4
发明设计人姜啸;徐瑞;崔平远;朱圣英;高艾;
展开▼

申请日2017-08-15
分类号
代理机构北京正阳理工知识产权代理事务所(普通合伙);
代理人唐华
地址 100081 北京市海淀区中关村南大街5号
入库时间 2022-08-23 11:10:04

法律信息

法律状态公告日

法律状态信息

法律状态
2020-08-21

授权

授权
2018-01-12

实质审查的生效 IPC(主分类):G06F9/44 申请日:20170815

实质审查的生效
2017-12-19

公开

公开

相似文献

专利
中文文献
外文文献

1. 一种深空探测自主任务规划约束推理的自动编码方法 [P] . 中国专利： CN107491310B . 2020.08.21
2. 一种深空探测自主任务规划约束推理的自动编码方法 [P] . 中国专利： CN107491310A . 2017-12-19
3. INTELLIGENT OPTIMIZATION AND CONSTRAINT REASONING-BASED SINGLE-SATELLITE AUTONOMOUS TASK PLANNING METHOD [P] . 世界知识产权组织专利： WO2019127947A1 . 2019-07-04

机译：基于智能优化和约束推理的单卫星自主任务计划方法
4. A method and device for planning a short-term route for autonomous driving by information fusion using V2X communication and image processing {METHOD AND DEVICE FOR SHORT-TERM PATH PLANNING OF AUTONOMOUS DRIVING THROUGH INFORMATION FOUSION [P] . JP6916551B2 . 2021-08-11

机译：一种方法和装置，用于使用V2X通信和图像处理通过信息融合进行自主驾驶的短期路径{通过信息迈进的自主驾驶短期路径规划的方法和装置
5. PATH PLANNING METHOD OF AN AUTONOMOUS ROBOT AND A PATH PLANNING DEVICE HAVING THE SAME, CAPABLE OF DRIVING TO A TARGET AREA BY AVOIDING OBSTACLES BECAUSE AN AUTONOMOUS DRIVING PATH IS GENERATED IN CONSIDERATION OF DYNAMIC CHARACTERISTICS OR A ROBOT, A PERIPHERAL CIRCUMSTANCE, AND ENERGY [P] . 韩国专利： KR101179075B1 . 2012-09-03

机译：自主机器人的路径规划方法和具有相同功能的路径规划设备，可以通过避免障碍物而将其驱动到目标区域，因为考虑到动态特性或电容，座标，电容和原子，会产生自动驾驶路径