几何约束系统求解策略的研究与实践

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