检索结果-维普期刊中文期刊服务平台

几何约束满足的统一模型被引量：9: 1; 作者李彦涛胡事民孙家广《计算机研究与发展》 EI CSCD 北大核心 2000年第10期1233-1239,共7页; 几何约束满足是参数化设计中的中心问题 .研究了陈述和构造统一的约束满足策略 ,通过将冗余约束转化为形状自由度的方法解决了构造序列的约束闭环问题 ,采用剪枝和凝聚相结合的策略实现了欠约束和完备约束系统的分解 ,并在参数化设计与... 展开更多; 关键词参数化设计几何约束满足特征造型; 在线阅读下载PDF 职称材料

混合式几何约束满足的研究被引量：6: 2; 作者李彦涛陈玉健孙家广《计算机学报》 EI CSCD 北大核心 2001年第4期347-353,共7页; 几何约束系统可以分为陈述式和构造式两类 .为了使基于约束的设计更加符合使用要求 ,参数化 CAD系统需要综合满足两类约束 .文中研究了三维情况下陈述和构造统一的约束满足策略 ,通过引入形状自由度的概念 ,将形状变化和位置变化统一处... 展开更多; 关键词自由度约束度混合式几何约束满足参数化设计 CAD GEMS5.0; 在线阅读下载PDF 职称材料

三维几何约束闭环的动态识别与满足被引量：11: 3; 作者吴永明《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2000年第8期624-629,共6页; 针对三维几何约束闭环的满足问题 ,提出了“充分推理 +最小数值”的约束求解策略及其具体的实施方法 .自由度传播法可在动态求解约束的过程中识别出约束闭环 ;几何归约法将约束闭环子图归约简化为层次分明的归约树 ,并进一步明确了闭环... 展开更多; 关键词几何约束满足几何推理 CAAPP 动态识别; 在线阅读下载PDF 职称材料

传统绘图系统的几何约束驱动关键技术研究及实践被引量：10: 4; 作者王波兴陈立平周济《计算机研究与发展》 EI CSCD 北大核心 1998年第10期935-940,共6页; 文中针对如何在传统绘图系统中拓展几何约束驱动功能，以实现面向设计师的灵活的参数化设计问题，对几何数据的转换，几何约束识别、表达、筛选及求解进行了较系统的探讨，提出了经实际检验行之有效的技术实现方法。; 关键词几何约束满足参数化设计 CAD; 在线阅读下载PDF 职称材料

三维装配约束求解的几何推理法被引量：3: 5; 作者李健郭连水 +1 位作者王凯王列《机械设计》 CSCD 北大核心 2001年第7期30-32,共3页; 根据自由度分析法建立了一种装配约束的求解机制 ,提出了零件自由度状态的概念 ,通过约束求解表决定各种不同状态的求解过程 ,可以方便快捷地处理欠约束、过约束等多种约束情况 ,根据工程实际需求 ,定义了 8种基本的约束类型。提出的三... 展开更多; 关键词几何约束满足自由度分析几何推理智能设计 CAD; 在线阅读下载PDF 职称材料

动态识别三维几何约束冲突的方法研究被引量：9: 6; 作者吴永明《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2000年第8期618-623,共6页; 基于装配几何特征的广义几何约束图 ,避免了传统几何约束图的超图性质和模糊性 ,为几何约束满足问题提供了一个清晰的分析模型 .文中以此模型来分析产生约束冲突的原因 .空间分析法定义和推导了约束满足空间和约束满足条件 ,提出了自由... 展开更多; 关键词几何约束满足冲突识别几何推理 CAD; 在线阅读下载PDF 职称材料

几何约束有向图的规划分解研究: 7; 作者彭小波陈立平周济《计算机工程与应用》 CSCD 北大核心 2002年第3期56-59,共4页; 在基于有向图表达的几何约束系统中,几何约束的匹配方向、分布状态以及有向图中强连通分量的规模直接影响到整个约束系统的求解;如何对几何约束系统进行合理规划,得到正确有效的求解序列,是目前约束分解研究的重要内容。该文提出了一个... 展开更多; 关键词几何约束系统约束分解有向图几何约束满足问题 CAD; 在线阅读下载PDF 职称材料

一种基于有向图的几何约束系统分解方法: 8; 作者彭小波陈立平周济《计算机科学》 CSCD 北大核心 2002年第4期41-44,27,共5页; 1引言约束分解是几何约束满足问题(GCSP)研究的一个重要内容.此前已经有很多工作实现了将GCSP向非线性方程组求解的转化,并研究了约束系统的表达和分解的问题[1-4].特别是Kramer[6]以机构学为背景,提出了几何约束系统的无向图表达.后来... 展开更多; 关键词几何约束满足问题有向图几何约束系统分解方法约束分解图论; 在线阅读下载PDF 职称材料

题名几何约束满足的统一模型被引量：9: 1; 作者李彦涛胡事民孙家广; 机构清华大学国家CAD工程中心; 出处《计算机研究与发展》 EI CSCD 北大核心 2000年第10期1233-1239,共7页; 基金国家自然科学基金!(项目编号 6 990 2 0 0 4) 国"八六三"高技术研究发展计划基金!(项目编号 86 3 -5 11-82 0 -0 17); 文摘几何约束满足是参数化设计中的中心问题 .研究了陈述和构造统一的约束满足策略 ,通过将冗余约束转化为形状自由度的方法解决了构造序列的约束闭环问题 ,采用剪枝和凝聚相结合的策略实现了欠约束和完备约束系统的分解 ,并在参数化设计与绘图系统 MDS 4.0上实现 .; 关键词参数化设计几何约束满足特征造型; Keywords geometric constraint, degree of freedom, degree of constraint, rigid body, deformable body; 分类号 TP391.72 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名混合式几何约束满足的研究被引量：6: 2; 作者李彦涛陈玉健孙家广; 机构清华大学计算机科学与技术系国家CAD工程中心; 出处《计算机学报》 EI CSCD 北大核心 2001年第4期347-353,共7页; 基金国家自然科学基金! (6 990 2 0 0 4) 国家"九七三"重点基础研究发展规划项目! (G19980 30 6 0 0 )资助; 文摘几何约束系统可以分为陈述式和构造式两类 .为了使基于约束的设计更加符合使用要求 ,参数化 CAD系统需要综合满足两类约束 .文中研究了三维情况下陈述和构造统一的约束满足策略 ,通过引入形状自由度的概念 ,将形状变化和位置变化统一处理 .约束系统采用约束图来表示 ,各个子系统之间的层次结构利用约束层次树来表示 .采用剪枝和凝聚相结合的策略实现了欠约束和完备约束系统的分解 ,使用解析法和数值法对约束进行求解 .该策略已经在参数化 CAD系统 GEMS5 .0的二维和三维上实现 .; 关键词自由度约束度混合式几何约束满足参数化设计 CAD GEMS5.0; Keywords Degrees of freedom (mechanics) Numerical methods Trees (mathematics); 分类号 TP391.72 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名三维几何约束闭环的动态识别与满足被引量：11: 3; 作者吴永明; 机构浙江大学CAD&CG国家重点实验室浙江大学机械设计研究所杭州; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2000年第8期624-629,共6页; 基金国家自然科学基金!( 6982 3 0 0 3 ); 文摘针对三维几何约束闭环的满足问题 ,提出了“充分推理 +最小数值”的约束求解策略及其具体的实施方法 .自由度传播法可在动态求解约束的过程中识别出约束闭环 ;几何归约法将约束闭环子图归约简化为层次分明的归约树 ,并进一步明确了闭环的组成和结构 ;矢量闭环法建立了约束闭环的矢量模型 ,据此模型可以建立最小规模的方程组来求解约束闭环 ,方程组的变量具有明确的几何意义 ,便于初值的确定和多解的处理 ,并能求解欠约束的闭环 .; 关键词几何约束满足几何推理 CAAPP 动态识别; Keywords geometric constraint satisfaction, geometric reasoning, variational geometry; 分类号 TH162 [机械工程—机械制造及自动化]; 在线阅读下载PDF 职称材料

题名传统绘图系统的几何约束驱动关键技术研究及实践被引量：10: 4; 作者王波兴陈立平周济; 机构华中理工大学CAD中心; 出处《计算机研究与发展》 EI CSCD 北大核心 1998年第10期935-940,共6页; 文摘文中针对如何在传统绘图系统中拓展几何约束驱动功能，以实现面向设计师的灵活的参数化设计问题，对几何数据的转换，几何约束识别、表达、筛选及求解进行了较系统的探讨，提出了经实际检验行之有效的技术实现方法。; 关键词几何约束满足参数化设计 CAD; Keywords geometric constraint satisfaction,parametric design,intelligent CAD; 分类号 TP391.72 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名三维装配约束求解的几何推理法被引量：3: 5; 作者李健郭连水王凯王列; 机构北京航空航天大学广州红地技术有限公司; 出处《机械设计》 CSCD 北大核心 2001年第7期30-32,共3页; 文摘根据自由度分析法建立了一种装配约束的求解机制 ,提出了零件自由度状态的概念 ,通过约束求解表决定各种不同状态的求解过程 ,可以方便快捷地处理欠约束、过约束等多种约束情况 ,根据工程实际需求 ,定义了 8种基本的约束类型。提出的三维几何约束的求解方法 ,已成功地应用于自主版权的CAD/CAM软件“金银花”MDA2 0 0; 关键词几何约束满足自由度分析几何推理智能设计 CAD; 分类号 TP391.72 [自动化与计算机技术—计算机应用技术] TB472 [一般工业技术—工业设计]; 在线阅读下载PDF 职称材料

题名动态识别三维几何约束冲突的方法研究被引量：9: 6; 作者吴永明; 机构浙江大学CAD&CG国家重点实验室浙江大学机械设计研究所杭州; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2000年第8期618-623,共6页; 基金国家自然科学基金!( 6982 3 0 0 3 ); 文摘基于装配几何特征的广义几何约束图 ,避免了传统几何约束图的超图性质和模糊性 ,为几何约束满足问题提供了一个清晰的分析模型 .文中以此模型来分析产生约束冲突的原因 .空间分析法定义和推导了约束满足空间和约束满足条件 ,提出了自由空间和自由度的计算方法 ,并据此在动态满足三维几何约束的过程中识别约束冲突 ,明确指出产生约束冲突的原因 .; 关键词几何约束满足冲突识别几何推理 CAD; Keywords geometric constraint satisfaction, collision detection, arc consistency, geometric reasoning; 分类号 TP391.72 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名几何约束有向图的规划分解研究: 7; 作者彭小波陈立平周济; 机构华中科技大学国家CAD支撑软件工程研究中心; 出处《计算机工程与应用》 CSCD 北大核心 2002年第3期56-59,共4页; 基金国家863高科技计划自动化领域项目资助(编号:9842-003); 文摘在基于有向图表达的几何约束系统中,几何约束的匹配方向、分布状态以及有向图中强连通分量的规模直接影响到整个约束系统的求解;如何对几何约束系统进行合理规划,得到正确有效的求解序列,是目前约束分解研究的重要内容。该文提出了一个规划分解算法,它针对欠约束几何系统的特点,能够优化约束的初始匹配方向,对于约束匹配过程中生成的强连通子图,通过调整约束匹配方向,自适应地改善约束分布,从而减小强连通子图的规模,以求得到几何约束系统正确而高效的求解序列。同时,基于规划分解算法,完成了约束的奇异性分析,提供了面向分解的奇异性分析算法。; 关键词几何约束系统约束分解有向图几何约束满足问题 CAD; Keywords Geometric Constraint System,Constraint Decomposition,Singularity,Directed Graph; 分类号 TP391.72 [自动化与计算机技术—计算机应用技术] TP391.41 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种基于有向图的几何约束系统分解方法: 8; 作者彭小波陈立平周济; 机构华中科技大学国家CAD支撑软件工程研究中心; 出处《计算机科学》 CSCD 北大核心 2002年第4期41-44,27,共5页; 基金 "863"计划自动化领域项目资助课题编号(9842-003); 文摘 1引言约束分解是几何约束满足问题(GCSP)研究的一个重要内容.此前已经有很多工作实现了将GCSP向非线性方程组求解的转化,并研究了约束系统的表达和分解的问题[1-4].特别是Kramer[6]以机构学为背景,提出了几何约束系统的无向图表达.后来,董金祥[10]将约束无向图转换成有向图,为构造全参数化的图形奠定了基础;J.Y Lee[1]则针对尺规构造图形进一步发展了基于自由度分析的图规约方法.但是在上述的研究中,对欠约束几何系统的分析比较欠缺.; 关键词几何约束满足问题有向图几何约束系统分解方法约束分解图论; Keywords Geometric constraint Constraint decomposition Directed graph Strongly connected sub-graph; 分类号 O157.5 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	几何约束满足的统一模型	李彦涛胡事民孙家广	《计算机研究与发展》 EI CSCD 北大核心	2000	9	在线阅读下载PDF 职称材料
2	混合式几何约束满足的研究	李彦涛陈玉健孙家广	《计算机学报》 EI CSCD 北大核心	2001	6	在线阅读下载PDF 职称材料
3	三维几何约束闭环的动态识别与满足	吴永明	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2000	11	在线阅读下载PDF 职称材料
4	传统绘图系统的几何约束驱动关键技术研究及实践	王波兴陈立平周济	《计算机研究与发展》 EI CSCD 北大核心	1998	10	在线阅读下载PDF 职称材料
5	三维装配约束求解的几何推理法	李健郭连水王凯王列	《机械设计》 CSCD 北大核心	2001	3	在线阅读下载PDF 职称材料
6	动态识别三维几何约束冲突的方法研究	吴永明	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2000	9	在线阅读下载PDF 职称材料
7	几何约束有向图的规划分解研究	彭小波陈立平周济	《计算机工程与应用》 CSCD 北大核心	2002	0	在线阅读下载PDF 职称材料
8	一种基于有向图的几何约束系统分解方法	彭小波陈立平周济	《计算机科学》 CSCD 北大核心	2002	0	在线阅读下载PDF 职称材料