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

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

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

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

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

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

基于有向图的二维约束求解算法研究

针对过约束、几何完全定义状态判定和约束求解效率等问题,提出了基于约束图,利用自由度理论和约束冲突机制,通过反向约束方向平衡约束,进而通过排序进行约束求解的算法。算法采用约束图记录约束和几何的关系;通过约束平衡的方法进行过约束和几何完全定义的判定;采用排序求解方法,将庞大计算问题转化为一组相对简单的计算问题。算法已得到初步应用,对过约束和几何完全定义状态的判定有明显的效果,而且提高了约束求解效率。     

基于自由度分析的三维几何约束推理求解

三维几何约束求解对于装配设计、装配工艺规划和并行工程等多个领域的研究具有重要意义。以自由度分析为基础，对冗余约束和约束冲突的情况进行判断。采用几何推理的方法，直接从零件上的点、线、面、圆柱面、球面等基本几何元素出发，对这些基本几何元素之间的位置关系进行分析，求解三维几何约束。避免了数值解法中对初始值的依赖和迭代过程的不稳定，提高了三维几何约束求解的速度和稳定性。     

二维几何约束求解器

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

基于归约的几何约束组件的实现

本文开发了一个几何约束组件,描述了组件的基本结构,建立了几何的约束模型,利用图理论及最大归约算法实现了几何约束的归约过程,最后给出了约束的有效性检验以及约束求解的方法。     

基于图结构描述的几何约束模型的研究与建立

本文提出了一种基于图结构描述的二维图形几何约束模型的建立及存储方法。该方法利用图论的概念和原理,提出用无向图的结构描述一个几何约束系统,用约束图表示图形的约束信息,规则图则用来表达几何推理的过程,同时利用面向对象的技术建立一种扩展的图的领接表的数据结构来存储约束模型。这种方法对约束的分类及表达清晰、直观,能够处理各种约束信息,效率及可靠性较高。     

一种基于有向图的几何约束系统分解方法

1 引言约束分解是几何约束满足问题(GCSP)研究的一个重要内容。此前已经有很多工作实现了将GCSP向非线性方程组求解的转化,并研究了约束系统的表达和分解的问题。特别是Kramer以机构学为背景,提出了几何约束系统的无向图表达。后来,董金祥将约束无向图转换成有向图,为构造全参数化的图形奠定了基础;J.Y Lee则针对尺规构造图形进一步发展了基于自由度分析的图规约方法。但是在上述的研究中,对欠约束几何系统的分析比较欠缺。而在大多数的实际应用中,特别是在初始设计阶段,欠约束的情况是非常普遍的。对于一个欠约束系统而言,约束的匹配形式存在多样     

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

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

A Constructive Approach to Solving Geometric Constraint Systems

This paper proposes a constructive approach to solving geometric constraint systems.The approach incorporates graph-based and rule-based approaches, and achieves interactive speed.The paper presents a graph representation of geometric conStraint syStems, and discusses in detailthe algorithm of geometric reasoning based on poinl-cluster reduction. An example is made forillustration.     

Geometric constraint solving with geometric transformation

This paper proposes two algorithms for solving geometric constraint systems. The first algorithm is for constrained systems without loops and has linear complexity. The second algorithm can solve constraint systems with loops. The latter algorithm is of quadratic complexity and is complete for constraint problems about simple polygons. The key to it is to combine the idea of graph based methods for geometric constraint solving and geometric transformations coming from rule-based methods.     

采用空间分割技术的八叉树干涉检验算法

本文提出的八叉树干涉检验算法利用了空间分割技术，使在计算机仿真过程中动态干涉检验的速度得到显著提高。实体采用八叉树模型表示，根据实体模型之间的几何联系，这项技术按一个特定的准则划分仿真空间，从而可以直接确定模型中节点之间的位置关系。由于算法排除了试探性计算，所以能有效地改善干涉检验速度。另外，整个过程只需算术运算。     

A survey of constraint satisfaction techniques for geometric modeling

In geometric modeling, a model is built by specifying relations between geometric entities, which are to be maintained by the modeling system. Many relations can be specified declaratively as geometric constraints on these entities. Constraint satisfaction techniques are used for validation of the geometric model. This article presents an overview of general constraint satisfaction techniques, both for finite domain and infinite domain constraint satisfaction problems. Specific satisfaction techniques for geometric constraints get special attention. Furthermore, the article presents concepts from constraint programming, concerning the integration of constraint specification and programming languages.     

快速判定几何约束奇异性的切面扰动法

针对冗余奇异和分支奇异的判定问题,提出一种新的切面扰动的判定方法.该方法将奇异的雅可比矩阵分为独立构型空间和奇异空间,变量沿独立构型空间的切面扰动,计算更新的雅克比矩阵的秩,依据秩亏的变化可以快速、稳定地判定约束奇异性.该算法克服了残量扰动法的数值迭代、计算量大和不稳定的缺点,并且在参数化特征造型系统InteSolid中得到验证.     

基于图割理论和极几何约束的图像匹配算法

提出了一种基于图割理论和极几何约束的图像匹配算法。利用极几何约束对两幅待匹配图像进行矫正，使得它们的极线处在同一扫描线上，从而将二维匹配简化成一维匹配；利用基于图割的一维匹配算法获取视差数据，此时匹配中能量函数的标号是一维的，大大减少了搜索范围，并且提高了匹配的速度。     

三维服装CAD中几何约束表达及其求解技术研究

从人体及服装的特点出发,提出三维服装几何元素的概念．采用样条曲线作为基本几何元素,归纳出服装的三种约束关系,即共点、对称和自对称关系;成为约束关系形成的基础．以三种约束关系为基础,建立了面向服装的几何约束图,有效地表达了三维服装几何元素及其相互关系;实现了一种基于约束图的约束求解方法。从而完成了构造服装及对服装的交互参数化修改,文中给出了应用实例,并将参数化方法向高层次图素如样条曲线、曲面作了推广,成功地应用于以样条曲线为几何元素的参数化服装CAD系统中,运行效果良好。