三维几何约束闭环的动态识别与满足

针对三维几何约束闭环的满足问题,提出了“充分推理＋最小数值”的约束求解策略及其具体的实施方法。自由传播法可在动态求解约束的过程中识别出约束闭环;几何归约法将约束闭环子图归约简化为层次分明的归约树,并进一步明确了闭环的组成和结构;矢量闭环法建立了约束闭环的矢量模型,据此模型可以建立最小规模的方程组来求解约束闭环,方程组的变量具有明确的几何意义,便于初值的确定和多解的处理,并能求解欠约束的闭环。     

一种新的面向参数化绘图的约束管理技术

参数化设计技术是当代ＣＡＤ技术的核心．作为该技术基础的几何约束系统的建模与求解，要求对约束进行方便、有效的管理．为此，本文基于自由度分析、图论、稀疏矩阵及非线性方程等理论，提出了几何约束最大归约理论，实现了几何约束系统的最大分解，并以归约树的形式清晰地表达了系统内在的串、并、耦合机制，并成功地应用于参数化绘图系统中至关重要的约束一致性检查、快速求解等约束管理问题.     

二维几何约束求解器

开发了一个二维几何约束求解器.该求解器是新一代智能CAD系统的核心,它采用了基于图和规则的几何推理方法,高效、稳定、实用.论文提出了几何约束模型及其约束图表示,深入介绍了基于点刚体归约的几何推理算法,描述了求解器的体系结构.     

三维几何约束求解的自由度归约算法

三维几何约束求解在装配设计、几何造型和动力学分析等领域有着广泛的应用．在分析基本几何元素间的约束关系对刚体自由度状态影响的基础上,提出刚体自由度的归约算法,以求得满足约束后刚体的自由度状态空间;以刚体自由度状态空间分析为基础,实现对合理约束的推理求解和约束一致性维护,该算法解决了三维几何约束求解中自由度计算问题,同时避免了一些推理求解算法中出现的“组合爆炸”问题．     

几何约束系统求解策略的研究与实践

基于约束的设计在现代ＣＡＤ系统中占据着越来越重要的地位,几何约束满足技术则是其关键与核心。本文分析并指出了现有的几何约束满足策略中存在的一些问题,提出了求解几何约束满足问题的一种新策略,实现了几何约束系统的最大分解,使得问题得到了最大程度的简化,而且与基准无关,最后以归约树的形式直观地表达出推理结果和求解顺序,实践证明,该方法克服了现有方法功能,效率以及可靠性等方面存在的问题,能很了地运用到实际系     

几何约束系统求解策略的研究与实践

基于约束的设计在现代ＣＡＤ系统中占据着越来越重要的地位,几何约束满足技术则是其关键与核心。本文分析并指出了现有的几何约束满足策略中存在的一些问题,提出了求解几何约束满足问题的一种新策略,实现了几何约束系统的最大分解,使得问题得到了最大程度的简化,而且与基准无关,最后以归约树的形式直观地表达出推理结果和求解顺序。实践证明,该方祛克服了现有方法在功能、效率以及可靠性等方面存在的问题,能很好地运用到实际系统中间去。     

基于自由度归约分析的装配求解新方法

装配设计中利用装配约束信息求解有关实体的位置和方向称为装配求解。传统装配求解方法多数利用求解联立方程组的数值解法、效率不高、稳定性差。针对这些不足，我们提出了一种基于几何自由度归约分析的装配求解方法。本文介绍了自由度分析和归约的方法以及基于此方法的装配求解的一般过程。     

基于自由度归约分析的装配求解新方法

装配设计中利用装配约束信息求解有关实体的位置和方向称为装配求解。传统装配求解方法多数利用求解联立方程组的数值解法，效率不高，稳定性差。针对这些不足，我们提出了一种基于几何自由度归约分析的装配求解方法。本文介绍了自由度分析和归约的方法以及基于此方法的装配求解的一般过程。     

基于组件的机械系统虚拟样机可视化建模研究

应用组件技术,将机械系统虚拟样机分析系统设计为独立于几何模型的组件,这样简化了系统分析的复杂性,提高了可扩展性和可移植性。采用基于组件技术的三维引擎ACIS,重用其基本功能组件,实现了机械系统虚拟样机的几何构件体,约束和载荷的可视化建模。     

一类闭环约束的装配约束问题求解

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

三维几何约束系统的等价性分析

针对过约束、完整约束和欠约束三维几何约束系统的求解问题,提出了等价性分析方法.该方法基于三维几何约束系统的内在等价性,充分挖掘几何领域知识,依据拆解约束闭环、缩减约束闭环和析出约束闭环等原则,采用等价约束替换来处理几何约束闭环问题,优化几何约束图的结构,实现几何约束系统的优化分解.最后用多个实例验证了该方法的正确性和有...     

A Systematic Framework for Solving Geometric Constraints Analytically

A systematic framework is presented for solving algebraic equations arising in geometric constraint solving. The framework has been used successfully to solve a family of spatial geometric constraint problems. The approach combines geometric reasoning, symbolic reduction, and homotopy continuation.     

三维装配几何约束组合的分类求解策略

针对两个刚体之间的三维几何约束求解问题,依据几何约束的参数结构 分析了角度约束和距离约束的解耦性,给出了角度约束和距离约束可解耦求解的条件;然后 对两个刚体之间的几何约束进行组合分析,总结出约束度不小于2 的几何约束构成的组合只 有几十种,且均可采用几何推理方法进行求解;最后阐述了附加方向约束、冗余约束和矛盾 约束对数值求解的不利影响,提出了三维几何约束组合的分类求解策略,并用实例验证了该 求解策略的有效性。     

通用几何约束系统统一建模研究

在几何约束和几何实体的基本约束和欧拉参数表达的基础上,研究了通用几何约束系统的统一建模问题。通过对三维几何实体姿态约束和位置约束解耦性的分析,抽象出球实体、盒体和球盒体三种基本几何实体表达空间几何实体,并以基本约束的组合表达几何约束,形成几何约束模型特有的层次结构;并以有向图管理几何约束系统,可以清晰地反映姿态约束和位置约束的解耦性,实现约束系统的细粒度分解,得到规模更小的求解序列,实现高效求解。方法实现于原型系统WhutVAS中。     

面向欠约束几何系统的一种同伦求解方法

针对几何约束系统的数值求解过程中，经常发生的数值不稳定性问题，构造了一种面向欠约束系统的同伦方法，并将其与现有的求解与分解方法有机地结合起来，提出了一种牛顿－同伦混合方法，在牛顿迭代失败的位置自动调用欠约束同伦法，既提高了几何约束求解器的效率，同时又保证了求解的效率。     

基于活动约束系统的变量化设计

在变量化设计过程中设计对象可以看作是一个几何约束系统,这个系统由几何元素以及作用于几何元素之间的各种约束关系构成。一个复杂的设计对象所对应的几何约束系统往往包含大量几何元素和约束关系,如果不加区别地把所有的几何元素和约束关系纳入变量化求解的范围,则很难满足交互设计的需要。而另一方面几何约束系统又往往是稀疏系统：（1）作用于任一几何元素的约束很少;（2）与任一约束相关的几何元素很少。基于这一事实给出了一种预处理策略从原始几何约束系统中搜索得到一个规模较小的活动约束系统,变量化求解在活动约束系统上进行。该方法已在自行研制的参数化造型系统GEMS5．0中实现。     

基于几何约束求解的完备方法

针对参数化CAD在约束求解中的应用,提出了基于智能连杆的算法,该算法在扩充几何作图范围、改善算法复杂度方面都有明显的优势.将其同LIMO算法、几何变换方法、C-Tree算法、数值求解方法等方法相互融合,能够组成一套非常完备的几何约束求解框架,来完成对平面和空间几何约束问题的自动求解与图像生成.将该算法应用于智能动态几何软件的设计中,实验显示可以取得令人满意的结果.