论文部分内容阅读
基于约束的设计在现代CAD系统中占据着越来越重要的地位,几何约束满足技术则是其关键与核心。本文分析并指出了现有的几何约束满足策略中存在的一些问题,提出了求解几何约束满足问题的一种新策略,实现了几何约束系统的最大分解,使得问题得到了最大程度的简化,而且与基准无关,最后以归约树的形式直观地表达出推理结果和求解顺序,实践证明,该方法克服了现有方法功能,效率以及可靠性等方面存在的问题,能很了地运用到实际系