一种基于代数理论评估几何约束的方法.pdfVIP

1999 年 吉 　林 　工 　业 　大 　学 　自　然 　科 　学 　学 　报 Vol . 29 第 2 期 JOURNAL OF J ILIN UNIVERSITY OF TECHNOLOGY (NATURAL SCIENCES) 总第 94 期 ( ) 文章编号 :1002378X 1999 一种基于代数理论评估几何约束的方法 王 　晏 　苑森淼 (吉林工业大学 信息科学与工程学院 ,吉林 长春 　130025) 摘 　要 :在研究国内外有关技术现状的基础上 ,提出了一种基于代数理论评估分 析几何约束的方法 ,从而确定出设计实体形状的方法 。该方法具有易于实现 ,能 支持约束有效性检测 、处理多解问题等优点 。 关键词 :几何约束 ;多项式理想 ; Grobner 基 中图分类号 :TP3972 　　文献标识码 :A 工程设计过程是在约束的控制与传递下 ,物理实体在计算机中的生成与发展的过程 , 其实质是一个不断满足约束的过程 。在造型系统中 , 以往描述物体形状的方法有如下缺 点 : ①需要进行大量的代数运算来确定组成物体的几何元素的绝对位置和维数的值 ; ②这 些值对于物体来说没有内在的意义 ; ③确定物体时的任何变化都将影响这些值而不得不 重新计算 。基于几何约束描述物体形状克服了这些缺点 ,具有直观 、易于理解的特点 。 所谓几何约束就是组成物体的各几何元素之间的位置和大小关系 。几何约束与设计 过程是一一对应的 ,设计顺序表示一组几何约束及它们之间的从属关系 ,因此可以将一物 体以其一组几何约束的形式表示出来 。于是如何确定出能够正确表示物体形状的一组几 何约束便成为一个关键问题 。本文提出了一种基于代数理论的方法 ,将几何约束转化成 一系列的非线性方程组 ,然后求出 Grobner 基 ,进而获得解 ,此方法称之为 CEM (Constraints Evaluation Method) 。 1 　基本原理 CEM 基本原理是 :利用 Buchberger 算法 ,解出非线性方程组的 Grobner 基 ,从而利用 Grobner 基的许多优良特性确定出几何约束 。 11 　多项式理想 ( 在代数理论中, 一组具有实系数的多项式形成一个环, 通常设 K 为域 K 可以认为是 收稿 日期 ( ) 基金项 目: 国家 863 计划资助项 目 863 - 9611 - 004 ( ) 作者简介 :王 　晏 1969 - ,女 ,黑龙江大庆人 ,吉林工业大学硕士研究生 — 47 — ) 一组实数 。定义在 K 上的n 变量的多项式环可以表示成 K 〔x 1 , x2 , …, x n 〕。一个理想 I 可做如下定义 。 设 I 为环 R 的一个子集, 如果 : x y ∈I , 有 x - y ∈I x ∈I , r ∈R , 有 x r ∈I , rx ∈I 则称 I 为 R 的一个理想 。 那么由 F = {f 1 ,f 2 , …,f m} 导出的 K 〔x 1 , x 2 , …, x n 〕上的一组多项式产生的理想为 ( ) ( ) { hf | h ∈K 〔x , …,