一些商的单调性质

考虑了形如∫xap(t)f(t)dt∫xap(t)g(t)dt　　　　和　　　　∑ki=1piai∑ki=1pibi的两种商在一定条件下所具有的单调性质,推广了某些熟知的结果.     

单调线性互补问题的非精确不可行内点算法

对单调线性互补问题提出了一种非精确不可行内点算法．该算法的迭代方向仅需要达到一个相对的精度．在初始点位于中心线的某邻域内的假设下，证明了算法的全局收敛性．     

关于矩阵范数的几个问题

矩阵算子范数和矩阵酉不变范数是两大类矩阵范数。它们既有区别又有联系。本文首先讨论了一个矩阵范数‖·‖既是算子范数又是酉不变范数的条件。另外，文[4]中在讨论正规矩阵谱变分问题时，用到单调范数和单调酉不变范数的概念。本文证明了，只有F－范数是单调的酉不变范数。另外，在所有的p－范数中，只有1－范数和∞－范数是单调范数。     

一种考虑数据截尾的非参数软件可靠性模型

通过分析数据截尾对软件可靠性模型的影响，建立了一种考虑数据截尾的非参数软件可靠性模型，为的是克服一般参数模型假设约束过紧的问题，并能在估计失效率的同时估计残存缺陷数．同时，提出了基于非参数统计的软件失效率单调下降性检验方法，在加权核函数估计中引入数据截尾率作为加权系数和优化参数，并用失效率单调下降约束下的加权核函数方法来估计失效率和残存缺陷数．模拟试验和实例分析表明，所提模型可以较好地处理截尾数据，给出残存缺陷数的合理估计，其失效率估计精度较高，不低于较好的传统模型．     

基于单调链法的凸壳三角剖分算法研究

在分析应用相关定义的基础上，该文提出了一种基于单调链法的凸壳三角剖分方法。这种算法的计算复杂度优于标准的Delaunay算法，有效性也比许多凸多边形算法要突出，是一种行之有效的快速算法。将它用于网格重新剖分处理，在矢量图形网格的简化、优化、压缩以及传输中都具有现实的应用意义。     

Banach空间中变分法和单调非线性算子理论

本文在 Banach 空间中给出了单调算子方程理论、变分法和单调算子不等式理论在凸集上的统一扩张。     

偶合不动点定理的推广

本文给出了混合单调算子的偶合不动点定理，它推广了文［１］～［２］中的结果．     

一类一阶非线性泛函微分方程解的振动性

本文研究了一类一阶变系数非线性滞后型微分方程解的振动性,得到这类方程仅有振动解的充分条件.推广了G.Ladas和I.P.Stavroulakis的结果.     

Carleman不等式的下界改进及改进式的自动发现

对有限项Carleman不等式进行非严格化,建立了无限项Carleman不等式下界的一个改进,根据其证明规律,编写程序cdiscover2,实现了此类Carleman不等式下界改进式的自动发现.     

基于逆高斯退化过程的面向任务系统CBM优化模型

针对现有单调退化系统视情维修(condition-based maintenance,CBM)优化模型中不完全维修影响考虑单一,且未同时融入可用度约束的问题,提出一种考虑不完全维修双重影响与可用度约束的单调退化系统CBM优化模型.首先,基于具有随机漂移系数的逆高斯过程,建立系统退化模型并得到相关概率分布;其次,描述任务...