小天体柔性着陆任务规划的动态时间约束推理方法 被引量：4

1

作者 王棒 徐瑞 +2 位作者 李朝玉 朱圣英 梁子璇 《宇航学报》 EI CAS CSCD 北大核心 2024年第2期212-221,共10页

针对小天体柔性着陆任务规划中的复杂耦合时间约束一致性推理效率问题,建立任务规划时间约束网络,通过划分时间约束类型,设计约束动态添加策略,提出动态弧一致时间约束推理方法,限制新添加约束的传播范围,局部求解时间网络一致性,实现... 针对小天体柔性着陆任务规划中的复杂耦合时间约束一致性推理效率问题,建立任务规划时间约束网络,通过划分时间约束类型,设计约束动态添加策略,提出动态弧一致时间约束推理方法,限制新添加约束的传播范围,局部求解时间网络一致性,实现规划过程中时间约束网络一致性的高效维护。最后,构建小天体着陆规划场景,生成着陆任务规划活动及时间约束。仿真结果表明,与现有时间约束推理方法相比,所提出方法提高了时间约束推理效率,进而可为小天体柔性着陆任务规划提供支撑。 展开更多

关键词 小天体探测 柔性着陆器 着陆任务规划 动态弧一致 时间约束推理

在线阅读 下载PDF 职称材料

对象语义理论和行为约束推理 被引量：12

2

作者 冯玉琳 李京 黄涛 《计算机学报》 EI CSCD 北大核心 1993年第11期823-838,共16页

本文基于时序模型观点建立对象语义理论,将对象定义为对象操作、对象属性和对象踪迹的集合,并由此给出对象继承、对象复合等概念的语义解释,对象类型是满足一组对象约束的同类对象的集合,有两类不同的对象约束:状态约束表示对象属性之... 本文基于时序模型观点建立对象语义理论,将对象定义为对象操作、对象属性和对象踪迹的集合,并由此给出对象继承、对象复合等概念的语义解释,对象类型是满足一组对象约束的同类对象的集合,有两类不同的对象约束:状态约束表示对象属性之间的关联,而时序约束则表示事件操作之间的时序关联,文章最后用例子表明对象约束推理的应用。 展开更多

关键词 行为约束推理 对象语义理论

在线阅读 下载PDF 职称材料

三维装配约束推理的球面几何和球面机构法 被引量：5

3

作者 石志良 陈立平 王小刚 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第7期942-947,共6页

分析了装配姿态约束和位置约束的可解耦性,提出求解姿态约束的球面几何和球面机构法.将姿态约束的组合分为可操作和不可操作的情形,可操作的情形利用简单的球平面中平移、旋转和刚性变换推理,快速地判定冗余约束和求解约束;不可操作的... 分析了装配姿态约束和位置约束的可解耦性,提出求解姿态约束的球面几何和球面机构法.将姿态约束的组合分为可操作和不可操作的情形,可操作的情形利用简单的球平面中平移、旋转和刚性变换推理,快速地判定冗余约束和求解约束;不可操作的情形利用球面四杆机构求解.该方法具有很强的几何解释性和可操作性,降低求解复杂度.该方法在自主研发的CAD浏览器系统InteVue中实现. 展开更多

关键词 装配 约束处理 装配约束推理 球面几何 球面连杆机构

在线阅读 下载PDF 职称材料

基于约束推理的车站咽喉图型识别及优化设计模型 被引量：1

4

作者 杨涛 《铁道学报》 EI CAS CSCD 北大核心 2006年第2期1-6,共6页

通用型计算机辅助设计(CAD)软件中不包括铁路车站咽喉平面设计的工具,因此需要研究专业的设计平台。本文认为解决该问题的途径是,首先基于人机交互的图型环境,输入并建立车站咽喉的结构图型,然后通过有效的计算手段识别和判定这种咽喉结... 通用型计算机辅助设计(CAD)软件中不包括铁路车站咽喉平面设计的工具,因此需要研究专业的设计平台。本文认为解决该问题的途径是,首先基于人机交互的图型环境,输入并建立车站咽喉的结构图型,然后通过有效的计算手段识别和判定这种咽喉结构,最后通过结构计算实现车站咽喉平面设计的目标。文章认为模块法比画线法输入咽喉结构图型效率更高,也便于识别。因此,将车站咽喉的基本图形分解为6种基本图元,并对这些图元进行了恰当的描述。应用矢量对接判定条件,识别咽喉结构图型中图元的连接关系。依这种关系,应用约束推理方法和最优化的数学模型,计算满足咽喉设计条件下最优岔心位置坐标和最大平行进路数,从而实现车站咽喉平面设计优化和自动化。 展开更多

关键词 车站咽喉 图型识别 约束推理 优化设计

在线阅读 下载PDF 职称材料

小天体着陆任务规划修复的弧一致时间约束松弛推理方法

5

作者 徐瑞 李世震 +3 位作者 李朝玉 王棒 朱圣英 梁子璇 《宇航学报》 北大核心 2025年第3期544-554,共11页

任务规划修复是探测器着陆过程中自主应对不确知小天体环境的关键,而小天体着陆任务时间约束复杂且耦合,时间约束推理的速度直接影响到规划修复的效率。针对小天体着陆任务规划修复中的时间约束松弛推理慢问题,提出变量值域支持列表以... 任务规划修复是探测器着陆过程中自主应对不确知小天体环境的关键,而小天体着陆任务时间约束复杂且耦合,时间约束推理的速度直接影响到规划修复的效率。针对小天体着陆任务规划修复中的时间约束松弛推理慢问题,提出变量值域支持列表以保存变量间的影响关系,进而提出减量式弧一致时间约束松弛推理方法,减小约束松弛的推理范围,快速求解时间网络中变量的扩展值域,实现规划修复中时间约束松弛的高效推理。最后,以小天体着陆任务规划修复场景进行数值仿真,验证了方法的有效性和高效性,可为小天体着陆器快速任务规划修复提供支撑。 展开更多

关键词 小天体探测 任务规划 规划修复 时间约束推理 减量式弧一致

在线阅读 下载PDF 职称材料

对象行为约束的描述和推理

6

作者 李京 黄涛 冯玉琳 《中国科学技术大学学报》 CAS CSCD 北大核心 1995年第3期287-292,共6页

对象作为面向对象方法的核心概念，具有静态结构和动态行为两方面的特征．本文基于时序的观点，利用时序逻辑系统形式化地描述对象的行为，进而可以通过逻辑演算对对象的行为进行推理．

关键词 行为约束 时序逻辑 约束推理 面向对象

在线阅读 下载PDF 职称材料

装配位置约束建模及求解 被引量：6

7

作者 石志良 陈立平 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第5期553-557,共5页

以基本几何约束组合统一表达装配约束,为提高求解效率,研究了姿态约束和位置约束的可解耦情况下位置约束的解析求解.将基本位置约束映射为移动空间并以参数方程表达,通过移动空间的增量解析求交,满足约束;在姿态约束和位置约束的不可解... 以基本几何约束组合统一表达装配约束,为提高求解效率,研究了姿态约束和位置约束的可解耦情况下位置约束的解析求解.将基本位置约束映射为移动空间并以参数方程表达,通过移动空间的增量解析求交,满足约束;在姿态约束和位置约束的不可解耦情况,联立基本约束进行整体数值法求解.文中方法保持了基本约束表达的独立性,适合于欠约束系统和完整约束系统. 展开更多

关键词 装配 约束处理 装配约束推理 几何建模 解析求解

在线阅读 下载PDF 职称材料

一类闭环约束的装配约束问题求解 被引量：1

8

作者 刘勇 雍俊海 王斌 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2008年第9期1171-1175,共5页

分析了一种可以拆分为等价的开环约束的装配闭环约束问题.给出了等价性的定义,并提出一种该类闭环约束拆分为等价开环约束的方法.首先确定装配几何约束图上的闭环,然后对该闭环利用自由度归约加扰动判定是否从某一条边拆开.该方法能够... 分析了一种可以拆分为等价的开环约束的装配闭环约束问题.给出了等价性的定义,并提出一种该类闭环约束拆分为等价开环约束的方法.首先确定装配几何约束图上的闭环,然后对该闭环利用自由度归约加扰动判定是否从某一条边拆开.该方法能够较好的简化CAD软件中用户添加的装配约束,避免了因闭环约束造成的求解复杂度增加的情况,同时可以更好的表达实际装配的过程. 展开更多

关键词 装配 约束求解 装配约束推理 闭环约束

在线阅读 下载PDF 职称材料

基于交货期约束的集成工艺/计划系统

9

作者 刘长安 查黎敏 杨志宏 《中国机械工程》 EI CAS CSCD 北大核心 2002年第19期1683-1686,共4页

为解决单件小批订货生产方式下交货期满足问题 ,研究 CAPP/PPS集成并行模式下加工过程决策的调度方法 ,提出把交货期和资源负荷作为工艺设计过程的约束。基于动态分布并行协同设计模式 ,在一定的交货期和动态的资源负荷约束下 ,基于约... 为解决单件小批订货生产方式下交货期满足问题 ,研究 CAPP/PPS集成并行模式下加工过程决策的调度方法 ,提出把交货期和资源负荷作为工艺设计过程的约束。基于动态分布并行协同设计模式 ,在一定的交货期和动态的资源负荷约束下 ,基于约束传播和智能回溯算法的约束推理 ,对构成零件每个加工表面的加工方案一次调度成功。在此基础上 ,通过作业计划优化调度仿真 ,实现工艺设计与作业计划并行协同设计 ,达到快速准时生产的目的。 展开更多

关键词 集成工艺/计划系统 CAPP 生产作业计划 约束推理 协同设计

在线阅读 下载PDF 职称材料

约束逻辑程序设计的变量压缩事件分析

10

作者 易军凯 肖洋 《计算机工程与应用》 CSCD 北大核心 2005年第18期51-53,60,共4页

该文涉及的约束逻辑程序设计(CLP)是一在二叉树上进行搜索的过程,提高搜索效率是CLP的主要研究方向之一。在CLP中约束推理机是核心,由变量组、约束过滤器、临时容器、推理引擎组成。在介绍了约束推理机激活过滤器,对变量进行区间压缩后... 该文涉及的约束逻辑程序设计(CLP)是一在二叉树上进行搜索的过程,提高搜索效率是CLP的主要研究方向之一。在CLP中约束推理机是核心,由变量组、约束过滤器、临时容器、推理引擎组成。在介绍了约束推理机激活过滤器,对变量进行区间压缩后,提出引入变量事件,总结为三种类型:SINGLE、BOUND和DOMCHG,用于减少过滤器的激发次数。实验结果表明,变量事件能够促进约束推理机的搜索效率,缩短二叉树搜索的时间,可以更快寻找到答案。 展开更多

关键词 约束逻辑程序设计 约束推理机 区间压缩 变量事件 二叉树

在线阅读 下载PDF 职称材料

基于约束传播与智能回溯的加工过程决策策略

11

作者 刘长安 查黎敏 《机械科学与技术》 CSCD 北大核心 2002年第4期633-636,共4页

为了满足单件小批定货生产方式下的交货期满足问题 ,本文着重研究 CAPP/PPS集成并行模式下加工过程决策的调度方法 ,该方法采用基于动态分布的并行协同设计模式 ,把交货期和资源负荷作为工艺设计过程的约束 ,通过基于约束传播和智能回... 为了满足单件小批定货生产方式下的交货期满足问题 ,本文着重研究 CAPP/PPS集成并行模式下加工过程决策的调度方法 ,该方法采用基于动态分布的并行协同设计模式 ,把交货期和资源负荷作为工艺设计过程的约束 ,通过基于约束传播和智能回溯算法的约束推理 ,成功地建立了满足交货期和资源负荷的实用性工艺方案。 展开更多

关键词 约束传播 智能回溯 计算机辅助工艺规划 生产作业计划 约束推理

在线阅读 下载PDF 职称材料

运用有向联接件知识求解装配序列规划 被引量：9

12

作者 董天阳 童若锋 +1 位作者 张玲 董金祥 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第1期128-133,共6页

在分析联接件特征的基础上 ,提出了有向联接件的概念 ,建立基于联接件知识的零件表达式 ;运用有向联接件知识求解装配序列规划 ,实现了知识推理算法和几何约束推理算法的有机结合 ,有效地降低了装配规划的计算复杂度 ,保证规划所得装配... 在分析联接件特征的基础上 ,提出了有向联接件的概念 ,建立基于联接件知识的零件表达式 ;运用有向联接件知识求解装配序列规划 ,实现了知识推理算法和几何约束推理算法的有机结合 ,有效地降低了装配规划的计算复杂度 ,保证规划所得装配序列的合理性和实用性 此外 ,还建立了装配体的自由空间图 。 展开更多

关键词 有向联接件 装配序列规划 知识推理算法 几何约束推理算法 零件装配 CAD

在线阅读 下载PDF 职称材料

基于广义产品结构的配置和集成研究 被引量：11

13

作者 吴先超 吕晓枫 孙吉贵 《计算机集成制造系统》 EI CSCD 北大核心 2006年第6期868-875,892,共9页

为对普通零部件和广义部件的自定义属性进行分级管理,定义了一个特有属性模型。针对配置知识表示难的问题,采用约束表达式和判定表对广义部件的属性约束和关联进行描述。在此基础上,构建了面向配置的广义产品知识模型。为有效压缩配置... 为对普通零部件和广义部件的自定义属性进行分级管理,定义了一个特有属性模型。针对配置知识表示难的问题,采用约束表达式和判定表对广义部件的属性约束和关联进行描述。在此基础上,构建了面向配置的广义产品知识模型。为有效压缩配置约束的求解空间,加速在线配置,提出一种采用约束推理机制对产品配置过程进行求解的策略,定义了依据配置约束集构造推理有向图的规则及推理有向图的执行算法。实现了该配置模型及其与产品数据管理系统的集成,并给出了从广义物料清单自动生成物料清单的算法。实际应用效果证明了配置模型和求解策略的有效性。 展开更多

关键词 广义产品结构 约束推理 产品配置 产品数据管理

在线阅读 下载PDF 职称材料

加工过程决策的分级动态规划策略 被引量：2

14

作者 刘长安 黄克正 查黎敏 《高技术通讯》 EI CAS CSCD 2000年第8期67-69,共3页

基于在加工过程分析的基础上 ,建立了适合于加工过程决策的基于表面的零件网络信息模型 ,在此基础上 ,探讨了加工过程优化决策的方法 ,提出了分级动态规划的工艺过程决策策略 ,研究了加工优化排序的算法。

关键词 工艺设计 分级规划 约束推理 加工过程决策 CAM系统

在线阅读 下载PDF 职称材料

手绘输入的三维建模和编辑技术 被引量：1

15

作者 韩丽 唐棣 Raffaele De Amicis 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2008年第7期946-951,共6页

对当前基于手绘建模技术的研究现状进行分析,提出一个融合手绘识别与几何约束推理为一体的智能化建模体系,突出了概念建模过程中的逐步提纯、快速三维模型生成和编辑特性;针对手绘输入的二义性,提出对于多笔画连续输入的适应性逻辑推理... 对当前基于手绘建模技术的研究现状进行分析,提出一个融合手绘识别与几何约束推理为一体的智能化建模体系,突出了概念建模过程中的逐步提纯、快速三维模型生成和编辑特性;针对手绘输入的二义性,提出对于多笔画连续输入的适应性逻辑推理模型以及自顶向下的约束树求解方法,不断组合历史信息,确定并创建出任意的三维模型.实验结果有效地显示和验证了此技术的高效性. 展开更多

关键词 手绘输入建模 概念设计 约束推理

在线阅读 下载PDF 职称材料

基于本地差分隐私的空间范围查询方法 被引量：13

16

作者 张啸剑 付楠 孟小峰 《计算机研究与发展》 EI CSCD 北大核心 2020年第4期847-858,共12页

基于本地差分隐私的用户数据收集与分析得到了研究者的广泛关注.用户数据的值域大小、编码机制以及扰动机制直接制约着空间范围查询的精度.针对现有编码机制与扰动机制难以有效响应空间范围查询的不足,提出了一种基于网格分割与四分树... 基于本地差分隐私的用户数据收集与分析得到了研究者的广泛关注.用户数据的值域大小、编码机制以及扰动机制直接制约着空间范围查询的精度.针对现有编码机制与扰动机制难以有效响应空间范围查询的不足,提出了一种基于网格分割与四分树索引的空间范围查询响应方法GT-R(grid-based quadtree range query),该方法利用网格对用户数据的值域进行均匀分割,产生大小均等的单元格区域.同时利用四分树结构对所有单元格区域进行索引.每个用户结合服务器共享的四分树副本,对所拥有的数据进行编码.借助于编码后的四分树进行层次随机采样,并利用优化随机应答机制对所采层次中的结点进行本地扰动处理.服务器利用每个用户的报告值重构四分树索引结构,并响应空间范围查询.GT-R与现有的编码机制与扰动机制在真实的大规模空间数据集上实验结果表明,其分割精度以及响应范围查询效果优于同类算法. 展开更多

关键词 本地差分隐私 空间范围查询 网格划分 随机应答 约束推理

在线阅读 下载PDF 职称材料

基于自适应网格的隐私空间分割方法 被引量：4

17

作者 张啸剑 金凯忠 孟小峰 《计算机研究与发展》 EI CSCD 北大核心 2018年第6期1143-1156,共14页

基于网格与差分隐私保护的空间数据分割得到了研究者的广泛关注,空间数据的大小、数据的偏斜性以及拉普拉斯噪音的多少直接制约着空间分割的精度.针对现有基于网格分割方法难以有效兼顾大规模空间数据、数据偏斜性与噪音量的不足,提出... 基于网格与差分隐私保护的空间数据分割得到了研究者的广泛关注,空间数据的大小、数据的偏斜性以及拉普拉斯噪音的多少直接制约着空间分割的精度.针对现有基于网格分割方法难以有效兼顾大规模空间数据、数据偏斜性与噪音量的不足,提出了一种基于伯努利随机抽样技术的3层自适应网格分割(sampling-based three-layer adaptive grid decomposition,STAG)方法,该方法利用满足差分隐私的抽样技术抽取空间数据点作为分割对象.根据查询粒度的不同,首先在中间层利用指数机制与高通滤波过滤掉小于阈值的网格单元,然后利用Down-Split方法继续细分大于阈值的网格单元.对于那些小于阈值且连接的单元格,利用Up-Merge操作对这些单元进行最优化重组,形成粗粒度的网格单元.STAG与UG(uniform grid),AG(adaptive grid),Kd-Stand(kd-tree-based standard method),KdHybrid(kd-tree-based hybrid method)在真实的大规模空间数据集上实验结果表明:其分割精度以及响应范围查询效果优于同类算法. 展开更多

关键词 差分隐私 自适应网格 隐私空间划分 伯努利随机抽样 约束推理

在线阅读 下载PDF 职称材料