一种参数有理圆弧样条

圆弧快速生成问题是CAD/CAM、CAGD等领域中一个重要的课题,具有理论研究价值,并且有着广泛的应用。文章利用向量连分式构造的参数有理函数快速、简便地生成了平面上的一段圆弧,并给出了它的圆心坐标及半径。与目前通用的从有理Bézier曲线或NURBS曲线出发,选择适当权因子的方法相比较,文章所介绍的方法要简便得多。此外,构造了一种可调参数有理圆弧样条,它达到GC1连续;在实际操作中,通过调整端点的切向量,可以使上述样条曲线保凸、保单调。     

一种快速构造圆弧的新方法

圆弧的快速生成问题是 CA D/CAM、CA GD等领域中一个重要的课题 ,不仅具有理论研究价值 ,而且有着广泛的应用。文章利用向量值连分式构造的参数有理函数快速、简便地表示平面及空间里过不在同一条直线上任意 3点的一段圆弧 ,并给出了它的圆心坐标及半径。与目前通用的从有理 Bézier曲线或 NURBS曲线出发 ,选择适当的权因子生成圆弧的方法相比 ,该文介绍的方法要简便得多。     

向量值切触有理插值存在性的一种判别方法

文章利用Hermite插值的思想,给出并证明了向量值切触有理插值存在性的一种判别方法,同时给出了向量值有理插值函数的分子和分母的显式表达式,文章最后给出的实例说明了它的有效性。     

三次均匀有理B样条曲线G2光滑拼接条件

在CAGD中 ,常遇到有理B样条曲线、曲面光滑拼接问题 ,但目前却鲜见有关有理B样条曲线、曲面光滑拼接问题的讨论 .研究了两条三次均匀有理B样条曲线G2 光滑拼接的充要条件 ,同时 ,为了满足实际应用的需要 ,给出了两条三次均匀有理B样条曲线G2 光滑拼接的充分条件的一种特殊情形 .     

基于圆弧样条构造NURBS曲线的等距线

利用双圆弧构造 Ｇ１ 圆弧样条逼近原始 Ｎ Ｕ Ｒ Ｂ Ｓ曲线,然后对每段圆弧的法矢进行调整,生成一条光滑的 Ｎ Ｕ Ｒ Ｂ Ｓ曲线,并将其称为等距方向曲线。按等距方向曲线对圆弧样条进行等距操作即可得到原始曲线的逼近的等距线。该方法有以下几个优点：①逼近精度容易控制;②所得等距线具有 Ｎ Ｕ Ｒ Ｂ Ｓ表示,且为一 Ｇ１ 圆弧样条,光滑性可达到工程要求;③算法稳定可靠,适合于任一平面或空间 Ｎ Ｕ Ｒ Ｂ Ｓ曲线,鲁棒性好。     

关于N元向量值分叉连分式特征定理的证明

在多元向量值分叉连分式的构造中,特征问题的讨论尤为重要,结果已经给出了n元向量值分叉连分式插值的特征猜想,即一个n维插值点集包含N个元素,则建立在该点集上的n元向量值插值连分式将是一个分子为N-1次,分母为2[(N-1)/2]次的向量值有理函数,该文证明了这一猜想。     

圆弧样条曲线拟合的线性化方法

本文导出了在不同坐标系下平面曲线一阶导数的变换公式及其在一定条件下的简化形式;提出了一种线性化圆弧样条曲线拟合算法。用该算法所拟合的曲线由一组依次相切的圆弧段构成,具有几何不变性和一阶导数连续性,并能处理大挠度曲线。其计算量小,不需要迭代,容易编程;“特别适合于对光顺性要求不太高的机械产品或模具CAD/CAM系统。     

一种三元Newton-Thiele型有理插值方法

结合二元Thiele 型插值分叉连分式和牛顿插值多项式, 通过引入混合偏差商构造三元有理插值, 进一步给出其特征定理和误差估计, 最后给出数值算例.     

三次有理Bézier样条曲线G2光滑拼接条件

在CAGD中,常遇到有理Bézier样条曲线、曲面的光滑拼接问题,但目前却鲜见有关有理Bézier样条曲线、曲面光滑拼接问题的讨论。文章根据有理Bézier样条曲线理论研究了2条三次有理Bézier样条曲线间的G2光滑拼接的充要条件,从而解决了CAGD中用组合曲线表示复杂曲线的光滑拼接问题。     

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

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

树映射拓扑熵为零的几个充要条件

研究了拓扑熵为零的树 (即一维紧致连通不含圈的分支流形 )映射 ,其ω-极限集的特征 ,得到了 :设 f :T→ T是连续自映射 ,则 h(f ) =0充分且必要条件是对任意的 x∈ T,ω(x,f )或者是周期轨 ,或者是不含任何周期轨的无限集。此外 ,在系统具有伪轨追踪性质的假设下 ,得到了 h(f ) =0的另一个充分必要条件是 AP(f ) =R(f ) ,这些结果都推广了区间映射的相应结论。     

Takagi-Sugeno模糊控制系统稳定性的充要条件的逼近

分析了Takagi-Sugeno(T-S)模糊控制稳定性,其中Lyapunov函数包括公共二次型Lyapunov函数、分段二次型Lyapunov函数、模糊Lyapunov函数、非二次型Lyapunov函数、齐次多项式型Lyapunov函数,控制律包括并行分布补偿控制律、非并行分布补偿控制律和齐次多项式型参数化控制律。基此,通过采用Polya定理、齐次多项式技术等,给出T-S模糊控制的稳定性的充要条件的逼近方法。     

多元函数可微的充分必要条件

常见的数学分析教材都仅给出二元函数可微的必要条件或充分条件,本文将给出并证明二元函数可微的两个充分必要条件。     

矩阵方程Am×nX Bl×s=Dm×s有解的一个充要条件及通解的表示

利用初等变换讨论研究了矩阵方程(Am×nX Bl×s=Dm×s)解的存在性,给出了其有解的一个充要条件和通解的表示.     

C-完全一致混合超图不可着色的充要条件

混合超图H′=(X,Xl,mX-D0)(其中D0表示若干恰由X中m个元素组成的D-超边的集合)的着色与其顶点个数有着必然的联系,当顶点个数超过一定数量时,H′便不可着色.本论文给出并证明了这类超图不可正常着色的一个充要条件.这一结论也揭示了这类混合超图可正常着色时,其可拥有的最大顶点个数与它的恰由X中m个元素形成的D-超边的个数之间的关系.     

三阶直接控制系统绝对稳定的充分必要条件

利用popov频率法,讨论了三阶直接控制系统(dX)/(dt)=AX bf(σ),σ=cTX零解的绝对稳定性,获得了A在cTb·trA2-cTA2b≤0的条件下,其零解绝对稳定的充分必要条件为cTb≤0,cTA-1b≥0; 特别是当A=diag(-ρ-1,-ρ-1,-ρ-2)时,零解绝对稳定的充分必要条件为cTb≤0,cTA-1b≥0.     

关于Directly-Riemann积分Dirichlet和Abel判别法的充要性

证明了Directly-Riemann积分Dirichlet判别法和Abel判别法的必要性,而Directly-Riemann积分Dirichlet判别法和Abel判别法充分性熊启才已有证明,由此说明这2个重要判别法不仅充分而且必要。     

关于积分与极限交换的充要条件

由几乎处处收敛的几乎处处连续的本性函数序列的无界点集的闭包S∞是零集,结合几乎处处连续的本性函数的积分定义与可积的充要条件,证明几乎处处收敛的几乎处处连续的本性函数序列的积分与极限交换的充要条件是该函数列在S∞上积分等度收敛.