一种基于有向图的几何约束系统分解方法 |
| |
引用本文: | 彭小波 陈立平 周济. 一种基于有向图的几何约束系统分解方法[J]. 计算机科学, 2002, 29(4): 41-44 |
| |
作者姓名: | 彭小波 陈立平 周济 |
| |
作者单位: | 华中科技大学国家CAD支撑软件工程研究中心,武汉,430074 |
| |
基金项目: | “863”计划自动化领域项目资助,课题编号(9842-003) |
| |
摘 要: | 1 引言约束分解是几何约束满足问题(GCSP)研究的一个重要内容。此前已经有很多工作实现了将GCSP向非线性方程组求解的转化,并研究了约束系统的表达和分解的问题。特别是Kramer以机构学为背景,提出了几何约束系统的无向图表达。后来,董金祥将约束无向图转换成有向图,为构造全参数化的图形奠定了基础;J.Y Lee则针对尺规构造图形进一步发展了基于自由度分析的图规约方法。但是在上述的研究中,对欠约束几何系统的分析比较欠缺。而在大多数的实际应用中,特别是在初始设计阶段,欠约束的情况是非常普遍的。对于一个欠约束系统而言,约束的匹配形式存在多样
|
关 键 词: | 几何约束满足问题 有向图 几何约束 系统分解方法 约束分解 图论 |
A Decomposition Method for Directed Graph Based Geometric Constraint System |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |
|