数学实验及其应用

本文借助计算机解决了一些目前还没有被解决的数学问题。     

一类改进的广义鲁棒预测控制算法

针对一类具有多面体不确定性的广义系统,提出了一种新的鲁棒模型预测控制器综合算法.采用多Lya-punov 函数的线性矩阵不等式方法,即在多面体的每一个顶点采用一个单独的Lyapunov函数,将已有的鲁棒预测控制算法加以改进,得出了一种保守性较低的鲁棒模型预测控制算法,并证明了优化问题的初始可行解可以保证系统的渐近稳定.仿真研究表明了算法的有效性.     

一个组合不等式的证明

在讨论完全三部图K（m,n,r）的色等价问题时,需要化简一个组合不等式。文章证明（^e1s） ＋（^e2s）≤（^e-1s）,2≤s≤e－1,其中e1＋e2＝e,1≤e1≤e2≤e－1,等式成立当且仅当e1＝1或e2＝e－1。     

具有时滞的非线性系统的k-全局稳定性

研究了具有时滞的非线性系统的稳定性问题，利用不等式分析技巧和常数变易法，给出了具有时滞的非线性系统的ｋ－全局指数稳定性的充分条件。并举例说明了所得结论的优越性     

基于状态观测器的非一致采样系统状态反馈预测控制

针对控制信号不等间隔采样的非一致采样系统,提出了一种基于状态观测器的状态反馈预测控制算法.通过提升控制信号,设计了输入、输出同周期的非一致采样系统的状态观测器,并且给出了提升控制信号前后观测器系数矩阵的关系.运用线性矩阵不等式方法,解决了无穷时域二次型性能指标下的优化问题,给出了状态反馈预测控制器存在的充分条件.仿真结果证明了控制算法的有效性.     

证明不等式的一种重要方法

本文讨论了用比较法证明不等式的三种不同方法。     

期望效用准则的几个不等式

利用风险厌恶研究了期望效用函数,给出了实用价值较强的不等式.     

Euclid空间中有关不等式的证明

本文用泛函分析的方法证明了Euclid空间中的四个不等式,对深入研究奇系数二阶椭圆型偏微分方程的广义解有着深刻的应用。