关于微分中值定理的推广

本文是将微分学三个重要定理(洛尔、拉格朗日、柯西定理)中的函数在开区间上可微的条件放宽为函数在开区间上每一点左、右导数均存在的条件,得到了相应的包含了原三个定理情况的三个定理,它们是微分中值定理的推广。同时,给出了三个推广定理的证明,并举例说明。从而得出三个推广定理是完全正确的。     

带有扩散的两种群时滞生态模型的振动性

对用偏泛函微分方程组所描述的密度分布非均匀的两种群相互作用生态模型进行了讨论 .通过利用时滞泛函微分不等式 ,研究了时滞生态模型的振动性 ,得到了其解关于正平衡态振动的简捷的充分判据 .     

非线性规划弱增广 Lagrange 函数变度量法

对一般的非线性规划问题给出了弱增广的Ｌａｇｒａｎｇｅ函数，利用变度量法求得下降方向，从而将原问题转化为一维极小化问题，再通过一维搜索求得问题的解，并证明了此方法的收敛性．     

标准序列逻辑系统S3中的相似度及伪距离

在三值标准序列逻辑系统中引入了公式的真度概念,并利用真度定义了公式间的相似度,进而导出全体公式集上的一种伪距离,证明了伪距离空间中没有孤立点,从而可以考虑用一列公式去逼近某个公式,这就为进一步在三值标准序列逻辑系统中展开近似推理奠定了基础。     

关于一个不等式的改进

不等式()<是正确的并已得到应用。本文是将此不等式改进为不等式()<,并用数学归纳法原理予以证明是完全正确的,以使不等式达到进一步地精确程度。     

一族共扼下降算法的全局收敛性

给出了无约束问题一族含有一个参数βｋ的共扼下降算法，证明了该共扼下降算法在满足一种非精确线性搜索条件时是下降的，而且是全局收敛的．同时可以看到共扼下降算法是其特例．     

四度与五度循环图的同构的研究

得到了任意两个四度及五度连通循环图是同构的充要条件．     

离散Schoner竞争模型的正周期解

利用重合度理论的延拓引理讨论了一类离散Schoner竞争模型正周期解的存在性,得到了保证系统周期解存在的易于验证的充分条件．同时所得结果可以应用于具有时滞的离散Schoner竞争模型．     

时滞Schoner竞争模型周期解的存在性

利用重合度理论的延拓引理讨论了一类具有时滞的Schoner竞争模型周期解的存在性,得到了保证系统周期解存在的易于验证的充分条件,同时所得结果可用于具有时间依赖时滞的Schoner竞争模型.     

共轭梯度法和最速下降法的混合算法

将共轭梯度法与最速下降法有机地结合起来,构造了一种共轭梯度法和最速下降法的混合算法,并证明了该算法的全局收敛．混合算法既提高了共轭梯度算法的收敛速度,又解决了目标函数“性态不优”时,最速下降法难以求解的问题．同时也可以看到共轭梯度法与最速下降法仅仅是混合算法的特例．