%0 Journal Article
%T A Decomposition Method for Directed Graph Based Geometric Constraint System<br>一种基于有向图的几何约束系统分解方法
%A 彭小波
%A 陈立平
%A 周济
%J 计算机科学
%D 2002
%I 
%X 1 引言约束分解是几何约束满足问题(GCSP)研究的一个重要内容。此前已经有很多工作实现了将GCSP向非线性方程组求解的转化,并研究了约束系统的表达和分解的问题。特别是Kramer以机构学为背景,提出了几何约束系统的无向图表达。后来,董金祥将约束无向图转换成有向图,为构造全参数化的图形奠定了基础;J.Y Lee则针对尺规构造图形进一步发展了基于自由度分析的图规约方法。但是在上述的研究中,对欠约束几何系统的分析比较欠缺。而在大多数的实际应用中,特别是在初始设计阶段,欠约束的情况是非常普遍的。对于一个欠约束系统而言,约束的匹配形式存在多样
%K 几何约束满足问题
%K 有向图
%K 几何约束
%K 系统分解方法
%K 约束分解
%K 图论
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=B98A1923E53982D8&yid=C3ACC247184A22C1&vid=771469D9D58C34FF&iid=E158A972A605785F&sid=2001E0D53B7B80EC&eid=1AE5323881A5ECDC&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=15