一种欠约束几何系统求解的图优化方法-中国科技论文在线.PDFVIP

第 28 卷 第 6 期 　 　　　　　华 　中 　理 　工 　大 　学 　学 　报 　　　　　　　Vol. 28 　No. 6 2000 年 　6 月 　　　 　　　　J . Huazhong Univ. of Sci. Tech. 　　　　　　　　J un. 　2000 一种欠约束几何系统求解的图优化方法 陈立平 　王波兴 　彭晓波 　周 　济 (华中理工大学 CAD 中心) 摘要 : 针对一般几何约束系统欠约束状态下约束分解的多态性 ,对相应的有向图强连通子图提出了进一步分 解的二部图匹配自适应优化处理策略 ,给出了主要算法 ,实现了欠约束系统的优化分解 ,有利于一般几何约束 系统快速求解. 关 　键 　词 : 几何约束 ;二部图匹配 ;几何约束满足 ;参数化设计 ( ) 中图分类号: TO391. 72 ; TB113 　　文献标识码 : A 　　文章编号 : 2000 06 0104 04 　　约束的匹配 、排序以及分解是几何约束满足 数 ≤ddof . 由此可见构造几何约束有向图 G 的算 [ 1～4] 问题研究的重要课题 , 然而这些研究工作尚 法关键在于对于新增约束 ct 在有向图上寻找匹 未对欠约束系统的分解做深入分析. 实际的设计 配顶点 v , 其实质是在有向图上〈ct , e 〉的二部图 过程是逐步求精的过程, 也就是说设计过程的大 匹配, 便于算法展开, 这里给出几个重要的概念. 部分都是在欠约束中度过的, 所以深入研究欠约 ( ) 弧的可传递性. a 和 a 分别是顶点 v e 的 1 2 束问题有一定的理论意义和重要的实用价值. 出弧和入弧, 约束 ct 和 ct 分别对应于 a 和 a , 1 2 1 2 在 ct 和 ct 所对应的代数表达 E 和 E 中, e 显 1 2 1 2 式于 E 和 E 的参量集分别是 P 和 P , 如果 P 1 　基本表达与算法 1 2 1 2 1 ∩P ≠, 则称 a 和 a 关于 v ( e) 可传递. 同样