|
|||||
|
|
| 一种基于Grbner基和有向图的几何约束求解方法 | |
| 引用本文： | 王彦伟,陈立平,常明.一种基于Grbner基和有向图的几何约束求解方法[J].工程图学学报,2006(2). |
| 作者姓名： | 王彦伟 陈立平 常明 |
| 作者单位： | 华中科技大学国家CAD支撑软件工程技术研究中心 湖北武汉430074 |
| 基金项目： | 国家自然科学基金资助项目(60503069)，湖北省自然科学基金资助项目(2005ABA263) |
| 摘 要： | 方程组规模大和约束一致性分析方法的欠缺影响基于Gr?bner基的代数法在约束求解中的应用。针对应用有向图进行约束分解产生的强连通分量不饱和问题,提出进行强连通分量内变量匹配,以消去自由实体,从而使强连通分量趋于饱和,方程组得以简化。并以此为基础提出基于Gr?bner基进行约束一致性判别的方法。以含有冗余约束的三角形为例阐述了约束一致性分析和求解的过程。 |
| 关 键 词： | 计算机应用 几何约束求解 Grbner基 二分图最大匹配 |
| 本文献已被 CNKI 等数据库收录！ | |