三维装配几何约束闭环系统的递归分解方法

由于现有几何约束分解方法无法分解三维装配几何约束闭环系统,故常采用数值迭代方法对其进行求解,但存在效率低、稳定性差等问题.为此,通过分析几何约束闭环图的拓扑结构和串联运动链的结构约束,提出基于串联运动链结构约束等价替换的三维几何约束闭环系统的递归分解方法.该方法通过不断地引入几何约束组合等价替换串联运动链的结构约束,从几何约束闭环系统中分离出可独立求解的子系统,实现几何约束闭环系统的递归分解.该方法可将此前许多必须整体迭代求解的三维几何约束闭环系统分解为一系列可解析求解的2个刚体之间的几何约束系统,明显提高了约束求解的效率和稳定性.最后用实例验证了方法的正确性和有效性.     

三维装配几何约束问题求解研究

讨论了普遍情况下三维几何约束求解的问题.首先,对基本几何元素求解问题进行了研究,在此基础上对两装配体进行装配的几何约束问题进行了研究,提出对三维几何约束复杂耦合问题进行求解的方法,该研究拓展了三维几何约束求解器的通用性.     

三维几何约束系统的在线增量求解方法

为提高实时交互设计过程中三维几何约束系统的求解效率,提出在线增量求解方法.首先采用混合图抽象表达三维几何约束系统,并采用等价性分析方法处理约束闭环子图;然后建立交互设计过程中几何约束混合图的动态更新机制,通过计算几何约束的有向传播获取约束系统动态变化时的影响域,实现三维几何约束系统的在线增量求解.文中方法以实现动态变化的三维几何约束系统的最小求解为目标,能够有效地提高约束求解的效率.最后用实例验证了该方法的正确性和有效性.     

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

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

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

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

几何约束二义性处理的自组织方法

提出一种基于图形理解的几何约束二义性处理的自组织方法。讨论了约束求解求过程中的距离约束、角度约束和圆弧约束中的二义性问题,通过有向图的几何约束识别方法,保留了图形变化前几何元素之间的几何和拓扑信息,并以该约束信息为模板,利用多种图元关联约束方法图,唯一确定变参后的求解结果。该方法不需要繁琐的数值求解,避免了求解结果的二义性。     

一种基于图分解的几何约束求解方法

为了提高几何约束求解的效率和鲁棒性 ,对基于图的构造方法进行了改进 ,即加入虚约束进行扩展和过约束问题的一致性判定 ,提出了一种基于图分解的方法 ,用此方法可以处理包括完全约束、过约束和欠约束等多种情况的约束求解问题 ,另外 ,在该方法中还通过引入分解树将约束求解的范围由整体下降到局部 ,使大部分求解过程能够采用几何求解实现 ,提高了求解和后续修改的效率 ,通过实验数据测试证明 ,该方法对于大型约束求解问题可以达到实时处理的效果 ,具有较强的实用性     

一种约束求解的两级规划方法

提出了一个基于图构造的几何约束求解方法。基于自由度分析的理论,把整个约束图分解为多个约束子图,各个约束子图之间的共享结点形成一个全局的共享结点集,当共享结点集中的结点确定下来时,相关的约束子图中的结点也相应被确定下来。通过这样的全局到局部的两级求解规划的构造,缩小了约束问题的规模,提高了求解效率。     

自由曲线在参数化设计中的应用

对与自由曲线有关的几何约束种类进行比较全面地研究,讨论了自由曲线应用到参数化设计系统中后几何约束的求解问题,提出可以用基于图的自由度分析方法对几何约束问题进行分解,介绍了简单凝聚模式下有关自由曲线几何约束的凝聚计算问题.     

一种利用有向图优化约束求解的方法

为克服约束求解的效率问题及可靠性问题，本文提出了一种基于图结构的约束求解方法，它利用图瓣形式来表示几何元素之间的约束关系，使得几何元素的求解从整体下降 至局部，将一个方程组的求解问题论为几个小方程组的求解，大大降低了计算复杂度，进而提高了求解的可靠性。     

Dealing with redundancy and inconsistency in constructive geometric constraint solving

General constructive geometric constraint solvers are pre-processed by a degree-of-freedom analysis, which enables efficient graph decomposition and recombination. However, all these methods are based on the assumption that structural rigidity automatically assures solvability. In this paper, we show that this assumption fails in numerous, even the most basic, configurations. We introduce several simple but efficient rules aimed to additionally analyse solvability in such cases. Another novelty addresses conditional constraints between three or more geometric parts, rules for their simplification and a redundancy check. All these functionalities are built into our original 2D geometric constraint solver, based on concepts of rigid clusters and constrained-angle (CA) sets.     

A hybrid approach to geometric constraint solving with graph analysis and reduction

In this paper, a graph constructive approach to solving geometric constraint problems is being described. Usually, the graph constructive approach is efficient; however, it has its limitations in scope: it cannot handle ruler-and-compass non-constructible configurations, and under-constrained problems. To overcome these limitations, a proposed algorithm that isolates ruler-and-compass non-constructible configurations from ruler-and-compass constructible configurations is made. Numerical calculation methods are applied to solve them separately. This separation can maximize the efficiency and robustness of a geometric constraint solver. Moreover, the solver can handle under-constrained problems by classifying under-constrained subgraphs to simplified cases by applying classification rules. Then, it decides the calculating sequence of the geometric entities in each classified case, and calculates the geometric entities by adding appropriate assumptions or constraints. By extending the clustering types, and defining several rules, the proposed approach can overcome the limitations of previous graph constructive approaches. Therefore, an efficient and robust geometric constraint solver using this approach can be made.     

动态识别三维几何约束冲突的方法研究

基于装配几何特征的广义几何约束图,避免了传统几何约束图的超图性质和模糊性,为几何约束满足问题提供了一个清晰的分析模型。文中以此模型来分析产生约束冲突的原因。空间分析法定义和推导了约束满足空间约束满足条件,提出了自由空间和自由度的计算方法,并据此在动态满足三维几何约束的过程中识别约束冲突,明确指出产生约束冲突的原因。     

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.     

全参数化设计实现机理及约束可视管理

为了提高设计效率,提出一种全参数化设计方法,系统阐述其实现机理,给出自动施加约束、约束实时显示及约束可视管理算法。并运用AutoCAD二次开发技术,将几何约束求解器CBA和CAD绘图平台有机结合,实现全参数化绘图。     

一种设计分解的正确性证明

二维变量化设计系统可以用含有n个未知数、m个方程的非线性方程组表示．通过设计分解可以提高几何约束求解的效率和数值稳定性．给出了一种基于图论的设计分解方法及其正确性证明．该方法可以（1）处理结构欠约束系统的分解;（2）检测出冗余约束．分解算法在有限步内终止,其结果是结构相容的     

二维几何约束多解问题的研究

对采用自由度分析方法求解几何约束问题进行了研究.对几何约束问题的图用自由度分析的方法进行分解可以使约束系统得到充分分解,并可以对高耦合的几何约束问题进行分离.通过转换把几何元素的求解问题,转换为点的定位问题,从而使几何约束的多解问题得到简化,几何约束的多解问题被归结为初始设计图形中点和直线间的相对关系.对未知半径和圆心的圆的求解问题进行了讨论,提供了几种比较通用的算法,可以简化程序的设计.     

Revisiting decomposition analysis of geometric constraint graphs

Geometric problems defined by constraints can be represented by geometric constraint graphs whose nodes are geometric elements and whose arcs represent geometric constraints. Reduction and decomposition are techniques commonly used to analyze geometric constraint graphs in geometric constraint solving.In this paper we first introduce the concept of deficit of a constraint graph. Then we give a new formalization of the decomposition algorithm due to Owen. This new formalization is based on preserving the deficit rather than on computing triconnected components of the graph and is simpler. Finally we apply tree decompositions to prove that the class of problems solved by the formalizations studied here and other formalizations reported in the literature is the same.     

h-graphs: A new representation for tree decompositions of graphs

In geometric constraint solving, 2D well constrained geometric problems can be abstracted as Laman graphs. If the graph is tree decomposable, the constraint-based geometric problem can be solved by a Decomposition–Recombination planner based solver. In general decomposition and recombination steps can be completed only when steps on which they are dependent have already been completed. This fact naturally defines a hierarchy in the decomposition–recombination steps that traditional tree decomposition representations do not capture explicitly.In this work we introduce h-graphs, a new representation for decompositions of tree decomposable Laman graphs, which captures dependence relations between different tree decomposition steps. We show how h-graphs help in efficiently computing parameter ranges for which solution instances to well constrained, tree decomposable geometric constraint problems with one degree of freedom can actually be constructed.