四边形不等式的自动发现

对圆内接四边形和双圆四边形不等式的自动发现进行了探讨,并编写了应用程序;讨论了圆内接四边形不等式与双圆四边形不等式的区别和联系;初步探讨了圆内接四边形不等式的证明方法;发现了大量新颖优美的圆内接四边形不等式和双圆四边形不等式新结果;提出了若干待解决的问题.     

动态规划在货物归并问题中的应用及优化

以动态规划方法解决货物归并问题为例,阐述如何进行动态规划算法的分析设计,并在此基础上利用四边形不等式,减少动态规划过程中每一阶段的状态转移数,从而整体上降低动态规划的时间复杂度,使其能够适用于更大规模计算．这种优化方法具有通用性,对于状态转移方程与之类似且能满足四边形不等式的动态规划问题,都可以采用相同的优化方法进行优化．     

求连乘模型最优解的一种新方法

为求得连乘模型的最优解,探讨了该模型及其现有的解决方法,对该连乘模型特点及其约束条件进行了分析,给出一种加权平衡算法.利用该方法对连乘模型求最优解时,先对连乘模型各项因子的指数进行求和,然后求得各项因子所对应的指数在所有因子指数之和中所占的权重,将约束条件下所有因子之和与其各自对应的指数所占的权重相乘,求得各项因子的值,即为最优解.将利用加权平衡算法求得的结果与利用现有算法求得的结果进行对比,加权平衡算法极大地减少了运算量.     

关于矩阵迹不等式的研究

本文首先阐述了预备知识和定义与引理,接着讨论了Hermite矩阵迹的若干性质和两个定理,最后分析了矩阵迹的应用.因此本文具有深刻的理论意义和广泛的实际应用.     

关于矩阵迹的不等式

对矩阵迹不等式：ｔｒＭ＾２＾ｎ（Ｍ＾Ｔ）＾２ｎ≤ｔｒ（ＭＭ＾Ｔ）＾２ｎ，提出了更一般的问题，以任意自然数ｎ，不等式ｔｒＭ＾ｎ（Ｍ＾Ｔ）＾ｎ≤ｔｒ（ＭＭ＾Ｔ）＾ｎ成立，并给出了证明。     

非负矩阵的一个不等式

给出了关于非负矩阵元素满足的一个不等式,证明了这一结果对任意非负整数都成立, 并给出了不等式中等号成立的充要条件.     

关于矩阵迹的不等式

对矩阵迹不等式：提出了更一般的问题，对任意自然数ｎ，不等式成立，井给出了证明．     

关于复矩阵的行列式不等式

文章利用矩阵理论及Minkowski不等式,研究复矩阵的行列式不等式,得到一个矩阵的行列式不等式．所得结果修正了若干文献中的错误结论．     

一类矩阵迹的不等式

本文利用Young不等式和Lieb-Thirring不等式,给出一类矩阵迹的新的不等式,且推广了一些文献的结果。     

矩阵不等式在时滞系统中的应用

首先提出了矩阵不等式对解决控制论领域中时滞系统分析与综合问题的重要性和必要性。提出了贯穿文章以及时滞系统分析与综合问题的2个重要引理。再次,先利用一元二次函数的思想得到了詹森不等式,并在此基础上提出了用来解决时滞系统中不等式放缩问题的2个推论;接下来利用矩阵乘积巧妙地得到了著名的柯西不等式,并利用柯西不等式得到了进一步的矩阵不等式放缩方法——推论3,同时利用相似的证明方法得到了在解决带有不确定项的时滞系统时采用的方法——定理3;给出了解决时滞系统中问题的最常用的不等式放缩技术——凸组合技术的证明。最后,给出结论,指出文中定理和推论在控制论领域中时滞系统分析与综合问题中的有效作用。     

矩阵不等式的几条性质

文章给出了A，B都是实对称正定矩阵时矩阵不等式的两条性质，进一步，我们考虑另外一个条件，得到了当A，B为某种特殊形式的非对称矩阵时的矩阵不等式性质并给出详细的证明。     

一个矩阵不等式的改进及应用

利用矩阵理论改进和推广了文献[1]中的一个矩阵不等式,进而得到一个更广泛的结论．并给出利用本文结论解决一个相关问题的实例．     

LaSalle矩阵不等式的加强

设Ａ是ｎｘｎ 非奇异矩阵,Ｂ是ｎｘｎ 对称矩阵,且Ｇ＝ － （ＡＴＢ＋ ＢＡ） 正定,那么对任意ｘ,ｙ ∈Ｒｎ,且ｘ ≠０,有（Ｂｘ ＋ ｙ）ＴＧ－ １（Ｂｘ ＋ ｙ） ≥〔ｘＴ（ＡＴ）－ １（Ｂｘ ＋ ｙ）〕２ｘＴ（ＡＴ）－ １ＧＡ－ １ｘ ≥－ ２ｙＴＡＴｘ     

关于一个矩阵不等式的推广

文章在文献[1]的基础上研究了矩阵不等式,利用矩阵Lyapunov方程改进了矩阵二次型的LaSalle不等式,同时给出了相关的一个矩阵方程的通解和几个常用的推论．     

关于矩阵不等式

运用矩阵求迹运算"tr"得到一类线性矩阵不等式F0+k∑j=1 XjFj＞0解的充分条件,这些充分条件皆为应用中容易检验的代数不等式,并此给出了相应的代数解.同时给出了线性矩阵不等式的几个主要定理.     

基于线性矩阵不等式的动态反馈抗饱和补偿设计

将非线性环节嵌入线性控制器的互质因子中，提出了一种基于线性矩阵不等式(LMI)的动态反馈抗饱和补偿设计方法。这种设计方法将饱和系统中控制器输出与被控对象输入不匹配值的L2范数作为优化性能指标，使得系统在饱和时的能量得到迅速补充，并兼顾系统的稳定性。这样，抗饱和控制器的设计方法就转换为寻找LMI中变量次优解的问题。通过实验仿真，验证了这种方法的实用性与优良的控制性能。     

关于矩阵行列式的一个不等式

利用计算广义ｎ重积分的结合Ｃａｕｃｈｙ不等式证明了关于两个正定矩地列式的一个不等式，它与两个正实数自述几何平均值不等式有平地的形式，可视为其推广。     

二阶矩阵的Bellman迹不等式

Ａ、Ｂ是二阶非负定矩阵时，证明了：ｔｒ（ＡＢ）＾ｎ≤ｔｒ（Ａ＾ｎＢ＾ｎ）（ｎ为自然数），此结果说明Ｒ．Ｂｅｌｌｍａｎ猜想对二阶矩阵成立。