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

基于约束 的设计在现 代 系统 中 占据着越 来越重要 的地 位 , 几何约束满足技术则是其关键与 要 裔 。 核心 本 文分析并指 出了现有 的几何约束满足策略 中存在的一些 问题 , 提 出了求解几何约束满足 问题 的一 种新 策略 , 实现 了几何约束系统 的最大分解 , 使得 问题得到 了最大程度 的简化 , 而且与 基准无关 , 最 后 以归约树 的形式直 观地表达 出推理结果和求解顺序 。 实践证 明 , 该方法克服 了现 有方法在功 能 、 效率 以及可靠性等方面存在 的 问题 , 能很好地运用到实际系统中间去 。 几 何约 束 归约 参数化设计 凌键词 何 约 京 系 统 策 略 究 与 戴 践 普建 涛 王华 昌 王耕耘 石 立 农 李志刚 华 中理工 大学塑性成形模拟及模具技术国家重点 实验室 武汉 、 网 加 一 引言 如 何 获 得 好 的约 束 求 解 规 约束 络 图 , 是 约束关系的 由于 几 何 约 束 满 足 问题 往 划 自然就成为几何约束满足 的 。 。 , 图表示 图顶 点表示几何实体或 往规模庞大 而 且约束经常不一 核心 问题 现有 的方法主要存在 , , 几何子结构 所谓几何 子结构就 致 导 致整 体式求解方法 不具 实 以下 不足 , 是 几 何 图形 中若 干 个基 ?? 几 何 用性 从而使得渐进式求解方法 规划结果 敏感于基 的选 。 , 。 元素构成 的集合 最小 的几何 子 成为研究 的焦点 依据 约束 满 足 择 基 的不 同就会导致