参数曲面保形造型系统--Bézier曲面绘图及处理子系统设计

一个Bézier曲面绘图及处理子系统被设计,该系统有Bézier曲面生成算法、Bézier曲面的凸性算法、Bézier曲面旋转以及修改Bézier曲面控制点等功能.该系统可以应用于工业产品的保形造型与设计等.     

浅析Padé逼近的扩展欧几里德方法

介绍Padé逼近的一般理论,通过引入扩展欧几里德算法给出对任何形式幂级数(n,m)阶Padé逼近的一种计算方法;还给出该方法求Padé逼近的一个应用实例.     

四次带参Bézier曲线曲面的光滑拼接

针对复杂自由曲线曲面难以用单一曲线曲面表示的问题,研究了一种四次带参Bézier曲线曲面的拼接技术.在对四次带参Bézier曲线基函数及端点性质分析的基础上,给出了该曲线间G1、G2和C1、C2光滑拼接的充要条件.利用四次带参Bézier曲线与C Bézier曲线间的拼接技术,解决了该曲线造型中圆弧和椭圆弧的表示问题.分析了2张双四次带参Bézier曲面片间G1光滑拼接的几何条件,并通过合理选取形状参数,进一步简化了该曲面的拼接条件.实例结果表明,该方法简单、直观、易实现,有效增强了四次带参Bézier曲线曲面表达复杂曲线曲面的能力,可广泛应用于各种CAD/CAM造型系统中.     

Liénard系统的无界解

主要讨论了广义Liénard系统解的无界正解,利用关于初值问题解存在唯一条件的结论,得到了Liénard系统无界正解的更一般条件,从而推广了广义的Liénard系统解的无界正解结论.     

变质量广义Tzénoff方程的新结果

航天器运行系统大都属于变质量力学系统,研究变质量系统的运动方程是研究航天系统力学性质的基础.以往是用凝固导数和凝固偏导数来研究力学系统的Tzénoff方程,作者用普通导数构造了变质量力学系统的广义Tzénoff函数,建立了用普通偏导数表示的变质量完整系统和高阶非完整系统的广义Tzénoff方程,所给出的运动方程具有新的结构形式,该微分方程的建立对变质量系统的动力学研究具有一定的理论价值.     

广义Lorenz系统的Painlevé分析及其精确解

考虑一个Hamilton函数为H=12σy2-σxy+rxyu+x22z-ρ2x2-βuz的四维广义Lorenz系统,利用Painlevé分析的方法,将该系统进行奇异流型展开.利用调谐因子项将其进行有限项"截断",证明其具有Painlevé可积性,并导出其自Bcklund变换和奇异流型满足的Schwarz导数方程.通过研究相关的Schwarz导数方程的性质,求出广义Lorenz系统的精确解.     

圆域有理q-Bézier曲线

文章基于一类广义Bernstein基函数定义了圆域有理q-Bézier曲线,通过改变参数q的取值,可以得到一类有理q-Bézier曲线簇,并研究了该类曲线的基本性质及De Casteljau型算法,用二次有理q-Bézier曲线可精确表示圆锥曲线。该方法比现有方法更加灵活,且表示范围更大。数值实例表明,圆域有理q-Bézier曲线的研究具有一定的理论意义与应用价值。     

具Markov切换和Lévy噪声的中立型随机泛函微分方程p阶矩指数稳定性

研究一类具Markov切换与Lévy噪声的中立型随机泛函微分方程p阶矩指数稳定性.通过使用Razumikhin方法以及随机分析理论,建立该系统解p阶矩指数稳定的充分条件,进而获得具Markov切换与Lévy噪声的中立型随机时滞微分系统解的p阶矩指数稳定性判别定理.     

具有极小能量的空间T-Bézier曲线

T-Bézier曲线具有广阔的应用前景。为构造光顺的空间T-Bézier曲线,给出了基于能量极小化确定T-Bézier曲线所含两个形状参数最优取值的方法。该方法同时考虑了T-Bézier曲线的弯曲能和扭曲能,更加符合空间曲线既要考虑弯曲程度又要考虑扭曲程度的几何特征。为便于实际应用,基于MATLAB平台设计了本文算法对应的图形用户界面,用户通过简单的操作即可绘制并保持具有极小能量的空间T-Bézier曲线。     

高阶Boussinesq-Burgers方程的Painlevé测试及其精确解

应用Painlevé测试方法,研究高阶Boussinesq-Burgers方程,证明该方程是Painlevé完全可积的.利用Painlevé分析,得到该方程的自Backlund-Darboux变换和一些精确解.     

Protégé文本标注工具在药物知识表示中的应用及其比较

通过对药物基本信息的特征分析,使用Protégé软件构建药物本体,分别使用基于Protégé-Frames和Protégé-OWL的文本标注工具Knowtator和iAnnotate对临床药物指南文档进行标注,以达到药物基本信息的结构化,同时比较分析了两个标注工具在生物医学信息学应用中的差异.     

4次λ-Bézier曲线的近似合并算法

针对带形状参数的4次λ-Bézier曲线的近似合并问题提出了一种将2相邻4次λ-Bézier曲线合并成1条4次λ-Bézier曲线的方法.该方法通过将曲线拟合方法与广义逆矩阵理论相结合,直接得到了合并4次λ-Bézier曲线控制顶点的显示表达式,且在合并过程中分别考虑了不保端点插值和保端点插值条件的情形;给出了具体的实例与合并误差.实例结果表明:所提方法不仅可以获得较好的合并效果,而且具有易于实现、误差计算简单的特点,可以广泛地应用于CAD/CAM系统中对曲线的近似合并.     

Hénon-Heiles可积系统的Eisenhart提升

Eisenhart提升是一种产生高维可积系统的有效方法。利用Eisenhart提升方法,通过扩大Hénon-Heiles系统相空间的维数,得到新的高维可积系统。对于Hénon-Heiles系统的三种可积情形和扰动系统,分别推导相应的Hamilton函数、守恒量,验证其可积性,并给出了与新系统相对应的三维Riemann流形上的高阶Killing张量。     

一种通过边界产生Bézier曲面的方法

通过给出张量积Bézier曲面的边界条件得出整个三调和Bézier曲面的一种新方法,该方法所需的边界条件为矩形域边界上的四条边界控制点和任意两条对边次边界控制点.在给定n×n次Bézier曲面的边界控制点和任意三条次边界控制点的情况下,由三调和方程△3→x=0得到整个Bézier曲面上的所有控制点,从而求出整个Bézi...     

Carathéodory系统解的存在性

将Carathéodory系统转化为Kurzweil广义常微分方程,利用已知的Kurzweil广义常微分方程解的存在性理论讨论了Carathéodory系统解的存在性.     

拟三次Bézier曲线曲面的拼接技术

针对工程中复杂自由曲线曲面难以用单一曲线曲面来表示的问题,研究了一种带形状参数的拟三次Bézier(三次Q-Bézier)曲线曲面的拼接技术.在对三次Q-Bézier曲线基函数及其端点性质分析的基础上,给出了两相邻三次Q-Bézier曲线间G1、G2和C1、C2拼接的充要条件,运用张量积的方法给出了双三次QB6zier曲面的几何模型,同时分析了两相邻双三次Q-Bézier曲面片间G1光滑拼接的几何条件,并通过合理地选取形状参数,进一步简化了该曲面的G1拼接条件,给出了三次Q-Bézier曲线曲面光滑拼接的几何造型实例.实例结果表明,所提方法简单、直观、易实现,有效地增强了三次Q-Bézier方法表达复杂曲线曲面的能力,可广泛地应用于工程复杂曲线曲面的造型系统中.     

完整系统广义Tzénoff方程的Lie对称性及其Hojman守恒量

本文研究了完整系统广义Tzénoff方程的Lie对称性及其所导出的Hojman守恒量,给出了这种新守恒量的函数表达式和导出这种守恒量的判据方程。该研究结果具有一般性,为进一步探究非完整系统广义Tzénoff方程的守恒规律奠定了理论基础。     

线段Bézier曲线

文章给出了线段算术的定义和性质,它是点集算术的特殊情况,但更便于计算;提出了线段Bézier曲线的概念,就是把区间Bézier曲线中的长方形换成满足一定条件的线段,这里的线段是指该线段上所有点的集合;给出了线段Bézier曲线的性质及其细分算法.它是点集Bézier曲线的特例,具有结构简单、算法省时及容易拼接等优点.     

基于Protégé的VF教学本体建模方法研究

本体是一种有效的知识建模方法.以大学计算机教学中的VF程序设计领域为研究对象,以Protégé2000为本体建模工具,结合领域本体构建方法,初步探讨了该领域本体的构建过程.     

内积空间上向量值Padé-型逼近表的块状结构特征

从多项式空间到向量空间引入一种广义线性泛函,在内积空间上定义和构造向量值Padé-型逼近.借助向量值Padé-型逼近的误差公式,给出关于线性泛函的正交多项式的定义,同时推导出向量值Padé-型逼近表的块状结构特征.利用Padé-型逼近表的这一特征,可以减少向量值Padé-型逼近的计算量.最后,通过数值实例说明该方法的有效性.