利用Gr(o)bner基判定Bezier曲线曲面正则性

来源 :第三届中国几何设计与计算大会 | 被引量 : 0次 | 上传用户:maerkangggq
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据Hilbert弱零点定理,若一组多项式方程无公共零点。则其生成理想约化的Gr(o)bner基为{1},提出基于Gr(o)bner基理论的Bézier曲线曲面正则性判定法。这主要因为正则性判定可以转化为关于参数的超定非线性代数方程组的求解问题,它的判定条件实质上就是判断上述方程组有无公共解.如果方程组无解,则Bezier曲线曲面正则;否则,曲线曲面在代数闭域上存在奇点。由于Bezier曲线曲面是实曲线曲面且参数是有取值范围的,我们对后一类问题利用约化的Gr(o)bner基中元素构成的方程组进行数值求解.然后,根据根据参数值判断曲线曲面的正则性。该方法与文献[1]中的方法相比,判定条件简单,在判定过程中不需要对方程组进行隐式化处理,最后判定时不需要进行大规模的行列式计算.另外,当曲线曲面非正则时,利用该方法可得到奇点。处参数的符号解.对符号解进一步进行实根隔离,可得到所有奇点的参数值及直角坐标。
其他文献
空间索引是空间数据库的关键技术,其性能的高低决定着整个数据库的效率。R树是实现快速空间数据处理的重要索引结构之一,R-link树是为了实现并发控制而提出的一种R树结构的变形。提出了基于K-Means的四叉树与R-link树的混合结构,提高了R-link树的查询性能,在K-Means中采用均值-标准差确定初始聚类中心,提高了收敛速度,通过距离准则函数来优化K值,避免K值的茫目选取.与R-Link相比
概念设计在产品整个设计过程中起着决定性作用,本文旨在设计一个快速的交互式工具以支持概念设计,将细分曲面应用到计算机辅助概念设计(CACD)中.重点研究了细分曲面在计算机辅助概念设计系统中的关键技术;从初始网格的创建、曲面边界的处理、特殊效果的构造、曲面的修改及编辑等方面,研究了细分曲面在CACD系统中的应用;初步构造了CACD原型系统.
文中给出一种由一系列二维切片进行三维曲面重构的方法。首先确定各层轮廓质心位置,对各切片层轮廓按照线段类型进行分割,然后分别对各类型线段进行以下处理:以质心为极心,极坐标化后在m层轮廓线的相应位置上各取得n个型值点。然后对n*m个型值点进行反算,计算得到(n+2)*(m+2)个控制点。利用这些控制点。直接生成三次B样条曲面片;最后对曲面片组合即得最终封闭曲面.这种方法避免了前期的轮廓提取工作及其他获
2003年,Sederberg等人提出了T样条理论,构造了带有T-交点的非均匀有理Catmull-Clark曲面(T-NURCCs)。在文章结尾处Sederberg提出了一个公开问题:是否T样条曲面表达式中的混合函数总是线性无关的,因而可以称之为T样条基函数.本文利用T样条曲面的控制网格和与之对应的B样条曲面的控制网格的性质,对此公开问题做出了明确的答复:即这些混合函数确实总是线性无关的。证明过程
在基于内容图像检索中,图像的底层视觉特征和高层语义概念之间存在着较大的语义间隔.使用机器学习方法学习图像特征,自动建立图像类的模型成为一种有效的方法。本文提出了一种基于图像分割技术的使用支持向量机(SVM)实现自然图像自动分类的方法,利用区域分割方法将图像区分为前景和背景图像,进而提取前景图像的特征向量作为SVM训练样本,实现语义分类器.由于实际应用中人们往往更关心前景图像所表示的语义,因此提取的
通过引入多个形状参数,生成Said-Bézier型广义Ball曲线与三角域上Ball曲面的扩展,它们的调配函数具有显式表示,易于求导与求积.改变形状参数的取值,既能整体又能局部地调控曲线与曲面的形状。普通的广义Ball曲线与曲面及Bézier曲线与曲面是它们的特例。
本文从基于对称集的形状描述子出发,将形状主方向的思想用于此种形状描述子。首先该描述子是二值对角对称图表,此图表具有图形上成对点的全局对称特性;其次形状主方向消除了边界起始点的影响。在所定义的矩阵内积基础上,计算两图形的匹配值。实验表明由于形状主方向的引入,进一步缩短了匹配值的计算时间,并通过几种类别的图形测试了这种描述子的描述能力。
本文提出了一种用双圆弧样条逼近二次Bézier曲线的新算法。算法首先根据曲率变化对原曲线进行分段,得到曲率变化单调的二次Bézier曲线段。用双圆弧样条对每段曲线进行逼近,算法从双圆弧公切线逼近二次Bézier曲线切线的角度出发,建立方程确定公切点位置,最终得到的双圆弧样条整体达到G1连续.实例表明,新方法所用的逼近圆弧样条段数较少,且具有良好的逼近效果。
定义四边网格上包含五个调节因子的Hermite型矢量插值曲面细分模式,证明了该模式收敛及C1连续的充分条件,给出该细分模式的一些性质,进而给出几种特殊曲面细分近似表示的实例。通过给初始Hermite元素附加条件,生成折痕、尖点、角点和锥点等尖锐特征.最后建立了该模式生成细分蒙皮曲面的方法。
织物的仿真是三维动态服装模型要解决的关键问题之一,很自然用均匀三角域来表示形状不规则的衣片比用矩形域更好。本文模仿质点的扩散,建立了节点之间斥力的数学模型,从而得到给定区域中指定数目的分布均匀的节点。给出了快速产生Delaunay三角划分的算法,利用此算法和所得到的节点即可生成均匀的三角域。为三角域设计了一种新的数据结构,从而使三角域的快速遍历很容易实现,这将满足产生表现织物特性的变形的需要.数值