Lipschitz局部强增殖算子的非线性方程的解的迭代构造

本文研究p一致光滑Banach空间X中Ishikawa迭代法.设T:X→K是Lipschitz局部强增殖算子,方程T_x=f的解集sol(T)非空.我们证明了sol(T)是一个单点集且Ishikawa序列强收敛到方程T_x=f的唯一解.另行,当T是从X的非空凸子集K到X的Lipschitz局部伪压缩映像且T的不动点集F(T)非空时,我们证明了F(T)是一个单点集且Ishikawa序列强收敛到T的唯一不动点.我们的结果改进和推广了[4]与[5]的结果.     

多导块方法的稳定性分析

文[1]中提出了一种使用高阶导数的块隐式单步法,并在文末留下一个问题:即对给定的方法中使用的最高阶导数阶数l≥1,为使该方法是A-稳定的,块的大小k应满足什么条件?本文将彻底地解答这个问题.首先,我们给出稳定函数ξk(h)=P(h)/Q(h)中多项式P(h)及Q(h)的系数的显式表达式,并证明P(-h)=Q(h);另外,我们使用计算机符号运算及对角Pade'逼近公式,对任意的l≥1,给出了为使方法A-稳定时块的大小k应满足的条件.     

关于解的延拓定理之注解

在数学专业的常微分方程课程里有关解的存在唯一性、解的延拓和解对初值与参数的连续性构成了微分方程最基本的理论,这部分内容既是常微分方程的重点,又是该课程的难点.本文的目的是对解的延拓定理所涉及的概念和论证进行系统的梳理和完善,并希望能够弥补微分方程教材中的有关不足.     

弹性地基上HDAJ接头桩的非线性稳定性分析

本文采用弧坐标首先建立了弹性地基中受轴向载荷作用的高柔性抗震拼接头桩(High Ductility Aseis-matic Joint Spliced Pile)的非线性数学模型，并假定土(基础)对桩基的反作用力服从Winkler模型；在此基础上对该模型进行了线性化，并得到HDAJ接头桩的临界载荷。最后根据分叉理论的观点和方法，讨论了HDAJ接头桩在临界载荷处的稳定性问题。研究结果表明HDAJ接头桩在临界载荷附近必发生分叉，且分叉解是唯一的，稳定的，并且给出了分叉解的渐近表达式。物理上，这表示HDAJ接头桩的平衡构形在临界载荷处必然发生改变，并且从一个稳定的平衡构形变化到另一个稳定的平衡构形。同时考察了土的液化对临界载荷的影响，说明液化的影响是非常明显的。当考虑土的液化时，桩基的临界载荷低于不考虑土的液化时桩基的临界载荷。     

两变量随机截距模型的最优设计

本文考虑两变量随机截距模型在单位正方形设计域上的D-,G-,A-,Ds-和I-最优设计.证明了最优设计在设计区域的顶点处获得,得到了几类不依赖于随机截距项的最优设计模拟结果表明最优设计较随机设计可大幅提高参数估计的精确性.     

模拟化学反应系统的快速无偏T-Leap算法

化学反应系统中的Leap算法可在获得较好精度的同时大幅提高模拟速度.最近提出的无偏Leap方法有效地克服了由Leap时间区间内的反应次数的近似均值与真实均值之间的偏差引起的Leap算法的误差的不足.本文讨论了一个基于物种相对改变估计真实均值的快速无偏T-Leap算法,并将该算法推广到模拟时滞化学系统中.该快速算法具有易于编码、比前者更快等优点.当系统中的反应通道或物种的数目较大时,该方法具有更明显的速度优势.     

几何分布截尾样本场合步进应力加速寿命试验TFR模型下的统计分析

讨论了几何分布产品在步进应力加速试验TFR模型下寿命分布.给出了其寿命分布函数步进形式,在截尾样本场合利用极大似然估计方法和拟矩估计方法求出了未知参数的点估计,最后利用计算机模拟考察了说明本文方法的可行性.     

利用二阶上三角矩阵构造各类非交换的序群

利用二阶上三角矩阵分别构造了非交换的序群、拟序群、拟偏序群和拟格序群.     

基于CCH的SVM几何算法及其应用

支持向量机(support vector machine(SVM))是一种数据挖掘中新型机器学习方法.提出了基于压缩凸包(compressed convex hull(CCH))的SVM分类问题的几何算法.对比简约凸包(reducedconvex hull(RCH)),CCH保持了数据的几何体形状,并且易于得到确定其极点的充要条件.作为CCH的实际应用,讨论了该几何算法的稀疏化方法及概率加速算法.数值试验结果表明所讨论的算法可降低核计算并取得较好的性能.     

局部左正则纯正密群的一个等式

本文给出局部左正则纯正密群的一个等式.证明了一个完全正则半群是左半正规密群当且仅当它是局部左正则纯正密群.