齐次核的Hilbert型多重级数不等式取最佳常数因子的等价条件及应用

利用实分析技巧和权函数方法, 讨论具有齐次核的多重级数Hilbert型不等式, 得到了其取最佳常数因子的充分必要条件, 并给出其应用.     

一种自适应步长的复合梯度加速优化算法

自适应步长加速(Adam)类算法由于其计算效率高、兼容性好的特点，成为近期相关领域的研究热点.针对Adam收敛速度慢的问题，本文基于当前梯度、预测梯度以及历史动量梯度，提出一种新型Adam类一阶优化算法——复合梯度下降法(C-Adam)，并对其收敛性进行了理论证明.与其他加速算法的区别之处在于，C-Adam将预测梯度与历史动量区别开，通过一次真实的梯度更新找到下一次迭代更精准的搜索方向.利用两组常用测试数据集及45钢静拉伸破坏实验的实验数据对所提算法进行验证，实验结果表明C-Adam与其他流行算法相比较具有更快的收敛速度及更小的训练损失.     

常系数线性中立型微分方程周期解存在唯一的充要条件

本文利用Fourier级数讨论具有常系数的任意阶中立型泛函微分方程的周期解，除一种特殊情况外，我们得到了用有限代数方程组描述的周期解存在唯一性的充要条件，对这种特例，我们也得到了若干实用结果．     

导数在求方程重根中的应用

用导数的方法，给出了多元多项式具有重因式、能因式分解的必要条件和操作步骤，以及判断方程是否为重根的充分条件。并且，提供了中学教学中常见的二次六项式能否进行因式分解的条件。     

函数可展成泰勒级数的一个充分条件

给出了函数可展成泰勒级数的一个新的充分条件 ,它是已有定理的补充     

次子空间的同构

引入了次子空间同构的概念，并得到次子空间同构的充要条件．     

公诉证明标准的重塑——从证明标准的概念谈起

廓清了证明标准与证明要求的关系,在"案件事实清楚,证据确实、充分"这一证明要求的旗帜下,从两个层次上对公诉证明标准进行了阐述,提出了"有足够证据"这一表述方式,并对如何具体把握作了进一步的探讨,以期从庞杂的证明标准体系中理出一点头绪。     

线性互补问题的若干注记

首先给出Murthys等在[SIAM J.Matrix Anal.Appl.22(2000)]中提出的公开问题的肯定回答，然后讨论了R0－矩阵和Q－矩阵的一些关系。     

函数具有最小值的充分和必要条件

给出了广义的实值函数f分别在R^N和在R^N的闭子集S上具有局部最小值点x的一阶和二阶充分和必要条件．     

关于凸函数的两个充分必要条件

对重要的凸函数的定义予以拓广,并由此推导出两个便于应用的充分必要条件,当然也可以作为定义使用.