基于有理Bernstein函数类的一类有理Bezier曲线

从Bernstein多项式和参数有理变换出发,构造了一类新型的有理调配函数—有理Bernstein函数类,讨论了它的分析性质;运用该函数类给出了一类有理Bezier曲线的生成方法,研究了一类有理Bezier曲线的几何性质和几种实用的有理Bezier曲线并给出了数值例子。     

矩形网格上的有理插值公式

有理插值是非线性逼近的一种重要方法,由于它的复杂性,所以至今还未见到类似于多项式那样的插值公式．大部分研究是基于连分式给出构造有理插值函数的方法．对于给定的节点,有理插值问题是否有解取决于给定函数值．为了保证算法的可行性,在连分式方法的基础上给出了多种构造有理插值函数的改进方法,但构造出的有理插值函数次数较高,计算量较大．文中针对矩形网点从二元多项式Lagrange插值基函数出发,给出二元有理插值公式．该公式具有多项式插值公式类似的性质．公式简单,计算量较小,且所构造的有理插值函数次数较低。还可以通过引入参数,降低有理插值函数的次数,便于实际应用．     

矩形网格上的有理插值公式

有理插值是非线性逼近的一种重要方法,由于它的复杂性,所以至今还未见到类似于多项式那样的插值公式.大部分研究是基于连分式给出构造有理插值函数的方法.对于给定的节点,有理插值问题是否有解取决于给定函数值.为了保证算法的可行性,在连分式方法的基础上给出了多种构造有理插值函数的改进方法,但构造出的有理插值函数次数较高,计算量较大.文中针对矩形网点从二元多项式Lagrange插值基函数出发,给出二元有理插值公式.该公式具有多项式插值公式类似的性质.公式简单,计算量较小,且所构造的有理插值函数次数较低.还可以通过引入参数,降低有理插值函数的次数,便于实际应用.     

三次保形有理插值

构造了含有保形参数的分段三次有理样条函数(分子为三次,分母为二次多项式),通过适当选取保形参数,曲线是保单调或保凸的.构造的插值函数算法简单、耗时少.数值例子显示由该样条函数生成的曲线十分光滑且保持了数据固有的形态,最后给出了此插值函数的误差估计.     

三次保形有理插值

构造了含有4个参数的分段三次有理样条函数(分子、分母均为三次多项式),其中2个参数称为形状参数,另外2个称为保形参数;通过调整形状参数可交互式修改曲线形状,适当选取保形参数曲线是保单调的。数值例子显示由该样条函数生成的曲线十分光滑且保持了数据固有的形态,最后给出了此插值函数的误差估计。     

有理参数曲线的光滑拼接

通过将一般有理参数形式曲线转化为有理Bezier曲线表示,有理参数多项式曲线的拼接问题,也可以随之转化为有理Bezier曲线的拼接.研究了有理Bezier曲线的拼接问题,给出了两条邻接任意次有理Bezier曲线间G1和G2连续条件.     

一类Q-曲线的构造

Gross构造了一类带复乘的椭圆曲线.这类曲线是一种被称为Q-曲线的椭圆曲线.利用其特性,Gross计算了该曲线的某些Selmer群,并进而给出了关于其有理点的阶的一些信息.在本文中,我们给出这类Q-曲线的另外一种构造方式.我们的方法说明这一类Q-曲线由其某些有限阶点的算术性质所唯一确定.     

等距曲线的S幂基有理逼近

等距曲线逼近技术的关键在于参数速度的逼近,文章用S幂基(Symmetric power basis)多项式逼近平面Bézier多项式曲线的参数速度模长,得到Bézier多项式曲线的等距曲线的有理逼近曲线,所得有理多项式逼近曲线与等距曲线在端点处能够达到高阶插值.数值实例显示,该方法随着逼近多项式次数的升高能够达到很好的逼近效果.     

带形状参数的三次三角DP曲线的构造

以Delgado和Pe1a在2003年所给出的一类全新的DP-NTP曲线理论为基础，构造了一类带形状参数的三次三角DP曲线.该曲线具有三次多项式DP曲线的优良性质，基函数是一组规范全正基，而且还带有两个形状参数，这使得曲线具有更强、更加灵活的表现能力，增强了曲线的形状控制能力，也更适用于曲线设计.另外，在非有理形式情形下，该曲线能精确地表示圆、椭圆、抛物线等圆锥曲线，并且给出了圆周曲线、椭圆和抛物线的精确表示算例，验证了所得研究结论的有效性.     

有理插值函数的构造新方法

为了解决有理插值函数的存在性和降低有理插值函数的次数,利用拉格朗日插值基函数的方法和多项式插值的误差公式,给出了一种有理插值函数并将其推广到向量值情形。相比于其他方法,其构造过程公式法,有理插值函数次数较低,且计算量较小,便于实际应用。     

二次均匀B样条曲线的扩展

该文给出三次和四次多项式调配函数,并将之推广得到高次调配函数,它们是二次B样条函数的进一步扩展。基于给出的调配函数,可建立一种带形状参数的分段多项式曲线;调整形状参数可使三次多项式曲线在二次均匀B样条曲线两侧摆动,而四次多项式曲线在三次多项式曲线两侧摆动;最后给出实例,分别利用它们构造出带局部调节参数的G1和G2连续的曲线。     

二次均匀B样条曲线的新扩展及应用

文章给出含2个参数λi、μi的三次和四次多项式调配基函数,并将其推广到高次形,它们都是二次B样条基函数的推广;基于给出的调配函数,建立带双参数的分段多项式曲线,讨论了基函数的性质和参数的几何意义;最后给出实例,表明新推广的曲线为曲线设计提供了一种有效的方法。     

P次循环扩张F／Q

利用分圆域Q(ζ)的根式扩张,对有理数域的(奇素数)p次循环扩张进行了研究,得到了任意p次循环扩张的定义方程.文[1],[2]在p=3时已有了很好的结果;本文讨论了p=5的情形,最后得到一类由含一个有理参数的五次方程确定的五次循环扩张.     

结式与多项式互素

主要研究唯一分解整环上的多项式环中多元多项式互素.从一元多项式结式的经典定义出发,结合推广的结式性质,给出系数为唯一分解整环上的多个多元多项式是否互素、或是否存在非平凡公因子判定的充分必要条件.     

三次非均匀B-样条曲线的扩展

给出四次多项式调配函数,它是三次非均匀B-样条函数的扩展;基于给出的调配函数,建立一种带多个形状参数的分段多项式曲线的生成方法;通过改变各个形状参数的取值,可以调整曲线接近其控制多边形的程度;选取不同的形状参数值,可以得到不同位置的G2连续的曲线,且所给曲线与三次非均匀B-样条曲线有相同的性质。     

一种基于过采样技术的非最小相位系统盲辨识方法

提出了一种在时域中盲辨识非最小相位系统传递函数的方法,该方法通过对系统输出过采样来获得系统结构参数的信息.对于单输入单输出的线性离散系统,经过输出过采样后可以等价为单个输入、多个输出的传递函数模型,这多个输出函数具有相同的分母多项式和不同的分子多项式.采用子空间分解法可以确定分子多项式的参数,通过对系统输出信号自相关函数的处理可以得到分母多项式,最终可以得到原系统的结构参数.与传统高阶矩方法相比,该方法对噪声的敏感度更低,辨识的精度和速度也有很大提高.仿真结果表明,当信噪比大于15dB时,该方法可以有效地辨识出系统参数.与高阶矩方法相比,辨识门限信噪比降低了10dB,估计精度提高了20%,辨识速度加快了3倍.     

平面代数曲线的交点隔离算法

判断两条平面代数曲线在给定区域内是否相交是几何设计的一个基本问题.针对代数曲线的正规交点,本文建立了一个隔离算法.首先使用结式计算和单变元多项式的实根隔离算法,获得一系列初始矩形Box.这些Box中要么没有交点,要么只有唯一交点.通过引入伴随多项式,建立了判定给定Box中无交点和有唯一正规交点的方法 .利用Maple平台实现了隔离代数曲线正规交点的算法Real Intersection.经过随机方程组实验,该方法在高次数的情况明显优于Maple中基于有理单变元表示的交点隔离方法 Isolate.     

一类可逆四次微分系统的细中心

讨论了一类相应三次系统具有等时中心的可逆四次多项式微分系统的细中心．应用多项式结式计算方法确定了本四次系统的细中心阶数，并给出其具有等时中心的条件．     

一种求二元向量有理插值函数的方法

对于二元向量值有理插值的计算,定义一个二元实代数多项式,利用两个多项式相等的充要条件,通过求解线性方程组确定引入的多个参数,并由此给出二元向量值有理插值公式,在相应的向量值有理插值函数存在时,当任意指定一个实二元多项式作为分母时,都可以相应的确定其分子的具体表达式;最后用实例来说明它的有效性。     

区间有理Bézier曲线的降多阶逼近

通过分析有理多项式的约束不等式,把区间有理Bézier曲线的降阶转化为多项式的保上界降阶逼近问题,得到两种降阶算法:拟线性规划法和拟最优逼近法。前者可一次降多阶,后者可一次降一阶或降二阶且具有显式的计算公式。给出了两种算法降一阶时的误差上界估计。数值实例验证了两种算法的有效性。