基于归约的几何约束推理研究

被引:12
作者
罗浩
陈立平
周济
机构
[1] 华中理工大学CAD中心
关键词
参数化设计,几何推理,约束,归约;
D O I
暂无
中图分类号
TP391.72 [];
学科分类号
080201 ; 080203 ; 081304 ; 1403 ;
摘要
参数化设计在现代CAD技术中占据着越来越重要的地位,几何约束系统的建模、管理与求解是该技术的关键。本文提出了一种基于几何约束网络动态归约的几何推理方法,在参数化建模的同时,实现了对几何约束系统的最大分解,以归约树的形式表达归约结果,清晰地表明了约束系统内部的耦合程度和求解次序。实践表明,该方法在约束一致性检查、快速求解等方面起了重要的作用
引用
收藏
页码:65 / 71
页数:7
相关论文
empty
未找到相关数据