基于差分代换的正半定型判定完备方法

研究并发展逐次差分代换方法,得到R n+上正半定型差分代换次数的一个上界。由此获得判定R n+上正半定型的充要条件。根据此充要条件建立的算法是必定能终止的。同时提出一类新的差分代换矩阵。     

用差分代换研究实数域中多项式的半正定性

以逐次差分代换为依据,提出了多级差分代换平凡和非平凡以及绝对差分代换非平凡的概念;通过分情形讨论,将实数域中的多项式转化为正数域中的等价多项式集,从而实现用差分代换研究实数域中多项式半正定性的问题。     

半正定多项式的构造与逐次差分代换的加速

给出了若干构造半正定多项式的类型和方法,列举了大量问题和例子,并给出了部分解答;提出了解决扩展级递增不等式猜想的一个思路,把多项式f分成正部p(f)和负部n(f)两部分,并用p(f)和n(f)构造了若干逐次差分代换sds的加速因子,从而解决了一大类多项式的正性判定问题.     

差分代换与不等式机器证明

设计了一个试探性的计算机程序SDS,用于证明多项式不等式,或等价地,用于判定多项式的非负性.将各变量按一定方式分割成较小的非负量,将变量替换后的多项式合并同类项,然后看是否所有的系数都是非负的.该方法不是完备的,但实验结果表明该程序对许多情况有效.不少次数较高或变量较多的多项式,除了SDS,还没有任何其他软件能做.     

二阶差分方程半正问题的正解

利用锥上的不动点定理,得到了Sturm-Liouville型边界条件下二阶差分方程超线性半正问题正解的存在性.     

不稳定型二阶差分方程解的振动性及渐近性

以具体例子说明了关于二阶差方程Δ（ｒｎΔｘｎ）＋ ｆ（ｎ,ｘｎ）＝ ０ 的一个断言是错误的,给出了一类不稳定型方程非振动解的渐近分类     

用差分代换方法估算最佳值及其他

如果一个多项式差分代换集中各个代换式的系数均是非负的,则这个多项式必然是正半定的,利用这个定理提出了一种估算最佳值的思路和方法;给出了对称多项式用k次方幂和表示的通用程序fmhbs,并以fmhbs程序为基础,介绍了发现n元k次方幂和不等式的思路和方法;对多项式的平方型分拆进行了探讨.     

带约束条件多项式的差分代换及其应用

对三角形几何不等式判定算法agl进行了改进和补充,并根据这种算法设计了agl程序的升级版agl2009,讨论了带约束条件差分代换在证明根式型不等式中的应用;给出了用agl程序发现的若干优美的三角形几何不等式.     

二阶差分方程半正m-点特征值问题正解的存在性

运用Gu-Krasnoselskii不动点定理讨论了二阶差分方程半正m-点特征值问题正解的存在性.     

正形置换的差分性质

在研究多输出Boole函数差分的基础上,利用多平衡多输出Boole函数的差分特性,证明了一个置换f(x)是正形置换的充要条件是其差分δf(α,α)=δf(0,α)=0(α≠0);指出了正形置换的差分分布表具有以下特征:(1)每一行和每一列的元素之和均为2n;(2)除δf(0,0)=2n外,差分分布表中首行、首列以及主对角线上其他元素全为零.     

线性矩阵方程:AXB+CYD=F的递推解法

解矩阵方程是一个有很强应用背景的传统问题，应用广义逆矩阵的简单矩阵方程：AX＝B，XC＝D的求解方法，探索线性矩阵方程：AXB＋CYD＝F的求解问题。     

两类复矩阵次亚正定性的判据

对两类特殊的分块复矩阵的次亚正定性进行研究,给出了由低阶矩阵的次亚正定判别分块二阶、三阶次Hermite矩阵的次亚正定性的充要条件,进而将其推广为一般的分块复矩阵的讨论,给出了分块复矩阵的次亚正定性的新判据.     

一类中立型差分方程的正周期解

利用不动点定理研究了一类中立型差分方程正周期解的存在性,得到了方程正周期解存在的新的充分条件,推广和改进了有关文献的结果.     

基于直方图差分的视频分类方法

针对当前视频自动分类算法复杂计算量大等问题,提出一种简单的自动视频分类方法,即基于直方图差分的统计方法。获得每个视频的直方图差分曲线后,调整去掉编辑特效造成的虚假峰,得到每个视频的每秒平均镜头切换次数,以此作为广告视频和非广告视频的分类依据,进行C-均值聚类。实验结果表明,该方法以较少的工作量获得了较好的分类结果。     

一类非线性差分方程正解的稳定性

研究一类非线性差分方程解的稳定性,改进了Papaschinopoulos和Schinas的研究结果,使差分方程的研究领域更加完善.     

关于半正定复矩阵的讨论

定义半正定复矩阵，给出复矩阵半正定的几个充要条件，论证半正定复矩阵特征值的一些性质．     

偶数阶中立型差分方程正解的存在性

利用在集合上定义映射和不动点原理，讨论了偶数阶中立型差分方程正解的存在性，根据中立型项取值的不同情况，得出了相应方程正确存在的充分条件。     

利用牛顿迭代法计算附息国债的实时收益率

实时收益率是进行国债投资的重要指标,但附息国债实时收益的计算比较麻烦。本文介绍利用牛顿迭代法计算附息国债的实时收益率。