一类非局部发展问题解的存在性

考虑非局部发展问题。首先对主算子为紧半群无穷小生成元，在较弱的假设条件下，证明温和解是存在的。同时研究主算子为解析半群时温和解的正则性问题，进而对主算子为解析紧半群问题给出一个有用的结果。最后，以一个例子展示理论结果的应用。     

基于不同约束条件的动态时间错位理论及应用

在两种不同模式的匹配过程中 ,研究了基于不同约束条件的动态时间错位理论及应用。分别采用始终点约束、不同的局部连续约束 ( Itkura约束、Sakoe- Chiba约束 )、不同的全局约束( Itkura约束、Sakoe- Chiba约束 )条件对间歇反应过程中两批次轨迹进行合理匹配 ,并使两轨迹基于动态时间错位理论获取其间的最短标准总体距离 ,在此基础上搜寻最优匹配路径 ,使两种持续时间不等的轨迹达到模式一致。应用聚合反应中的数据轨迹 ,表明此方法的实施过程和有效性。     

LS-共轭梯度算法的收敛性

对无约束规划 (P) :minx∈Rnf(x) ,其中 f(x)是Rn→R1上的二阶连续可微函数 ,通过引入强迫函数和逆连续模函数 ,证明了一类采用Curry Altman步长规则的LS 共轭梯度算法的全局收敛性质 ,利用比较原理进一步讨论了LS 共轭梯度算法在采用另外三种步长规则下的全局收敛性     

加权Drazin逆的连续性与扰动

本文讨论了加W权Drazin逆的连续性问题,给出了加W权Drazin逆扰动问题的误差界并且给出了关于扰动问题的条件数。     

三次Bezier曲线及曲面的连接

在计算机辅助设计领域内Bezier曲线及曲面已广泛地应用于自由曲线和自由曲面的构成,为各种工程设计提供了一种方便易行的工具。在实际应用中常把一段自由曲线分为为若干段三次Bezier曲线,使整个自由曲线的形状便于构造与控制。本文着重讨论三次Bezier曲线及曲面在连接时如何保证它们的连续性,以及算法如何实现。     

拟正则映射和变分关系

研究了ｐ－调和方程在拟正则映射作用下的一种不变性,并对得到的Ａ型调和方程建立了局部梯度Ｌｐ可积性及解的Ｈｌｄｅｒ连续性     

积分中值定理“中间点”的分析性质

讨论了积分中值定理中间点的单调性、连续性、可导性,给出了一组充分条件,并证明了三个相关定理．进一步完善了积分中值定理“中间点”的分析性质．     

基于实数连续性定理等价的新探讨

实数集关于极限的运算是封闭的 ,这就是实数的连续性 ;实数的连续性理论是构筑极限理论的重要基础 ;实数连续性定理虽然数学表现形式不同 ,但它们都描述了实数的连续性 ,它们彼此是等价的 ,即任意一个定理都是其它定理成立的充要条件 ,另辟蹊径对其等价性进行了新的探讨。     

Taylor中值函数的若干分析性质

文献[1-6]对微分中值定理及Taylor定理"中间点"的渐近性质进行了研究,作者在此基础上给出了"Taylor中值函数"的定义,对Taylor中值函数的分析性质进行了系统的讨论,证明了Taylor中值函数的单调性、可积性、连续性、可微性等分析性质.     

参数G2连续保凸插值的充分条件

对给定数据点进行曲线、曲面的保形插值, 是几何外形设计的一个重点和难点问题, 保单调和保凸插值则是保形插值的两个基本问题. 本文讨论了Bezier参数曲线G2连续保凸插值的曲率方程求解问题, 给出了确定参数曲线控制顶点曲率方程存在惟一上界解的充分条件和几何证明. 这种保凸插值曲线的形状可通过曲率因子调整.