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

摘要：

@@ 1引言
约束分解是几何约束满足问题(GCSP)研究的一个重要内容.此前已经有很多工作实现了将GCSP向非线性方程组求解的转化,并研究了约束系统的表达和分解的问题[1-4].特别是Kramer[6]以机构学为背景,提出了几何约束系统的无向图表达.后来,董金祥[10]将约束无向图转换成有向图,为构造全参数化的图形奠定了基础;J.Y Lee[1]则针对尺规构造图形进一步发展了基于自由度分析的图规约方法.但是在上述的研究中,对欠约束几何系统的分析比较欠缺.

机标关键词：有向图、几何约束、系统分解方法、Geometric Constraint、Directed Graph、约束系统、约束满足问题、无向图、方程组求解、约束分解、构造图形、全参数化、自由度、图规约、欠约束、机构学、非线性、转换、转化、图表

所属期刊栏目：29

分类号：TP3(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划9842-003

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：41-44,27