Young不等式、Holder不等式与Minkowski不等式的新证法

本文给出著名的Young不等式,H(?)lder不等式与Minkowski不等式的新证法。在通常的书上都利用Young不等式来证H(?)lder不等式,再用H(?)lder不等式来证Minkowski不等式。而在本文中用凸函数的特性证明上述三个不等式。     

Aczel术等式新证法及其推论

本文对文[1]中Aczel不等式给出了两种新证法,并得出一个推论。     

非连续系统的隐连续性

通过典型例子引出相对于显连续性隐连续性的概念。同时基于隐式系统的表达形式给出系统隐含连续的一个充要条件证明，这也是动力学系统一类不连续点确定初始值解的条件。文中还对动力学系统隐续性的物理意义作了讨论。     

非线性不确定系统的时滞相关鲁棒H∞控制

针对一类带有输入时滞的非线性不确定时滞系统,基于适当形式的Lyapunov泛函,利用线性矩阵不等式(Linear matrix inequation,LMI)方法,讨论了时滞相关型鲁棒H∞状态反馈控制器设计问题,其中非线性不确定性满足增益有界条件,且控制器存在的充分条件由线性矩阵不等式的形式给出.最后给出一个具体算例说明了该方法的有效性.     

多时滞非线性Lur’e控制系统的绝对稳定性

研究了多时滞非线性Lur’e控制系统的绝对稳定性。基于Lyapunov-Krasovskii泛函,Moon不等式和线性矩阵不等式方法,本文以LMIs的形式提出了一个使多时滞非线性Lur’e控制系统绝对稳定的时滞依赖型新判据。最后给出的数值仿真表明判据的有效性和可行性。     

一类时滞不确定系统的鲁棒镇定

对于线性时滞不确定系统的鲁棒镇定问题的研究，目前已取得了不少成果。他们利用Ｌｙａｐｕｎｏｖ方法，研究了系统状态中带有时延以及状态系数矩阵中带有不确定性的这类系统的镇定问题。本文则试图利用不等式技巧，把这种方法推广到状态和输入二者都带时延和不确定性的时延、不确定系统的鲁棒镇定问题，文中给出例子说明。     

关于某个四阶非对称微分方程边值问题的唯一性

本文处理如下形式的四阶非对称微分方程边值问题的唯一性。 对于对称情形,传统的处理方法是利用Thichmarsh,E.C.的函数论方法与亏指标理论。而当方程为非对称时,上述方法会有些困难。但若通过构造某个特殊的与(?)λ有关的内积,并利用内插不等式及Opial不等式,则非对称情形能被容易地处理且得到许多唯一性的结果。     

模糊广义时滞系统的鲁棒集成容错控制器设计

针对一类具有状态时滞的T-S模糊广义系统,通过定义一类时滞相关的Lyapunov函数,利用线性矩阵不等式技术给出了模糊鲁棒集成容错控制器的综合设计方法和存在的充分条件,以区别于现有容错控制研究方向中"完整性"的概念范畴.同时引入等价充要条件放宽其求解的约束性,保证整个闭环系统在执行器和(或)传感器发生故障时仍能保持稳定.最后通过数值算例表明了本方法的可行性.     

二次奇摄动Robin边值问题

文章利用微分不等式理论,研究了一类二次奇摄动Robin边值问题,在一定条件下,构造出具体的上、下解,并采用微分不等式证明了解的存在性,给出了解的精确估计.     

R^s中紧集上的矩量问题

利用多元函数逼近、正泛函表示及半序空间间加性正算子延拓等结果给出了Ｒ＾ｓ中ｓ－维立方体上矩量问题有解的充要条件，从而把古典的Ｈａｕｓｄｏｒｆｆ矩量问题的定理推广到高维情形，特别是随着逼近手段的变更。本文处理方法可类推到更一般的凸紧区域上。     

离散广义Markov跳变系统的镇定性

针对转移概率部分未知情况下的离散时间广义Markov跳变系统,研究了系统的稳定性和镇定性。转移概率部分未知的情况包含了转移概率完全已知和完全未知两种特殊情况,具有更广泛的实际意义。首先利用线性矩阵不等式方法,将离散Markov跳变系统的结论推广到离散广义Markov跳变系统,提出了使开环系统随机稳定的充分条件;在此基础上,进一步提出了闭环系统可镇定的判据,并表示为线性矩阵不等式形式;最后,通过仿真算例验证了所提方法的有效性。     

不确定离散系统二次稳定的充分必要条件

研究了具有快时变参数变化离散系统的鲁棒稳定性问题，给出了该系统二次稳定（ｑｕａｄｒａｔｉｃｓｔａｂｉｌｉｔｙ）的充要条件，并且进一步定义了稳定鲁棒性指标来度量系统的稳定鲁棒性。对于参数具有已知变化范围的系统，其充要条件的检验和稳定鲁棒指标的计算转化为一个极小极大优化问题。当参数变化范围为一个凸多面体时，该极大化问题退化成其端点值间的相互比较，并证明了极小化问题中的任意局部最小值就是全局最小值     

广义系统静态输出反馈镇定的一个充要条件

研究广义系统静态输出反馈镇定的问题．基于广义李雅普诺夫方程,给出广义系统通过输出反馈镇定的一个充要条件,该结果是正常系统输出反馈镇定相应结果的推广。另外给出了求取镇定控制器参数的一个算法,并通过数字算例说明该算法是有效的。     

矩阵方程（AX，XB）=（C，D）和AXB=C的对称正定解

讨论了矩阵方程（ＡＸ，ＸＢ）＝（Ｃ，Ｄ）和ＡＸＢ＝Ｃ的对称正定解。利用奇异值分解和广义奇异值分解导出了这些矩阵方程有对称正定解的充分必要条件，并且给出了一般对称正定解的表达式     

Jacobi矩阵的一类广义特征值反问题

在给定部分特征值以及对应的特征向量的前提下,以Jacob i矩阵特征值反问题为基础,提出了一类Jacob i矩阵广义特征值反问题,给出了问题有解的充要条件,并给出了算法。     

拟可微规划的约束规范和对偶问题

在经典非线性规划中，导出最优性条件的一般方法是，在给定的可行点处通过对函数的一阶逼近，将一个非线性规划问题线性化为一个线性规划问题。可微非线性规划问题的线性化过程可以自然地推广到拟可微的情形。正如在经典情况中那样，为了确保在原问题的局部极小值点处，零向量是相应的“拟线性化”问题的最优解，必须对原问题的约束函数施加所谓的约束规范。本考虑了形如min{f(x)|g（x)≤0}的不等式约束拟可微规划问题的约束规范，这里f和g是Demyanov意义下的拟可微函数。中介绍了各种约束规范，提出了一个新的约束规范，研究了这些条件之间的关系，并且引入了一个Wolf对偶问题，给出了相应的对偶定理。     

不确定时滞系统的模糊鲁棒H∞控制

讨论了一类具有时滞的不确定非线性系统的模糊H∞状态反馈控制问题。采用具有时滞和不确定项的Takagi-Sugeno(T-S)模糊模型对非线性系统进行建模，提出了一套基于LMI的模糊鲁棒控制器的系统设计方法，并给出了模糊H∞状态反馈控制器存在的充分条件，以保证闭环模糊系统渐近稳定并满足从干扰输入到输出控制输出的H∞范数界约束。示例仿真表明了该方法的有效性。     

关于带Rayleigh商位移的QL方法

本文讨论带Rayleigh商位移的QL方法的收敛性。给出了带Rayleigh商位移QL方法的收敛条件,并给出了带Rayleigh商位移QL方法不收敛的充分必要条件,证明了带Rayleigh商位移QL方法对任何不可约对称三对角矩阵总是有效的。