排序方式: 共有10条查询结果,搜索用时 15 毫秒
1
1.
王柏岩 《兰州理工大学学报》1988,(2)
本文是将微分学三个重要定理(洛尔、拉格朗日、柯西定理)中的函数在开区间上可微的条件放宽为函数在开区间上每一点左、右导数均存在的条件,得到了相应的包含了原三个定理情况的三个定理,它们是微分中值定理的推广。同时,给出了三个推广定理的证明,并举例说明。从而得出三个推广定理是完全正确的。 相似文献
2.
王柏岩 《兰州理工大学学报》1988,(3)
不等式()<是正确的并已得到应用。本文是将此不等式改进为不等式()<,并用数学归纳法原理予以证明是完全正确的,以使不等式达到进一步地精确程度。 相似文献
3.
对用偏泛函微分方程组所描述的密度分布非均匀的两种群相互作用生态模型进行了讨论 .通过利用时滞泛函微分不等式 ,研究了时滞生态模型的振动性 ,得到了其解关于正平衡态振动的简捷的充分判据 . 相似文献
4.
对一般的非线性规划问题给出了弱增广的Lagrange函数,利用变度量法求得下降方向,从而将原问题转化为一维极小化问题,再通过一维搜索求得问题的解,并证明了此方法的收敛性. 相似文献
5.
标准序列逻辑系统S3中的相似度及伪距离 总被引:2,自引:2,他引:0
在三值标准序列逻辑系统中引入了公式的真度概念,并利用真度定义了公式间的相似度,进而导出全体公式集上的一种伪距离,证明了伪距离空间中没有孤立点,从而可以考虑用一列公式去逼近某个公式,这就为进一步在三值标准序列逻辑系统中展开近似推理奠定了基础。 相似文献
6.
给出了无约束问题一族含有一个参数βk的共扼下降算法,证明了该共扼下降算法在满足一种非精确线性搜索条件时是下降的,而且是全局收敛的.同时可以看到共扼下降算法是其特例. 相似文献
7.
8.
利用重合度理论的延拓引理讨论了一类离散Schoner竞争模型正周期解的存在性,得到了保证系统周期解存在的易于验证的充分条件.同时所得结果可以应用于具有时滞的离散Schoner竞争模型. 相似文献
9.
利用重合度理论的延拓引理讨论了一类具有时滞的Schoner竞争模型周期解的存在性,得到了保证系统周期解存在的易于验证的充分条件,同时所得结果可用于具有时间依赖时滞的Schoner竞争模型. 相似文献
10.
将共轭梯度法与最速下降法有机地结合起来,构造了一种共轭梯度法和最速下降法的混合算法,并证明了该算法的全局收敛.混合算法既提高了共轭梯度算法的收敛速度,又解决了目标函数“性态不优”时,最速下降法难以求解的问题.同时也可以看到共轭梯度法与最速下降法仅仅是混合算法的特例. 相似文献
1