Holder连续函数空间的插值空间的不等式

考虑空间C~(m,λ)(Ω__)的完备性和所嵌入的空间的问题,对Jensen不等式给出了直接的证明方法,利用Jensen不等式给出了Holder连续函数的例子。指出当Ω是非凸集时空间C1(Ω__)不能嵌入空间C~(0,λ)(Ω__)。给出C(Ω__)和C~(0,λ)(Ω__)是Banach空间证明的具体表述过程,通过建立Holder连续函数空间的插值空间的不等式,给出了空间C~(0,μ)(Ω__)嵌入的空间的证明;在Ω是Rn中的有界开集条件下,应用Arzela-Ascoli定理给出了空间C~(0,μ)(Ω__)紧嵌入的空间的证明,对相关经典知识给予了新的改造表述。     

用扰动逼近算法解广义混合拟-似变分不等式组

引入和研究了一类广义混合拟似变分不等式组，借助η-次微分及η-逼近映射，给出了求此类变分不等式组的近似解的扰动η-逼近算法，并证明了此类变分不等式组的解的存在性及算法的强收敛性。     

广义系统的非脆弱观测器设计与镇定控制

为了进一步提高控制器的适应能力,该文研究了基于观测器的广义系统非脆弱控制问题.针对控制器和观测器不确定性都是时不变且有界的情况,应用线性矩阵不等式( Linear matrix inequalities,LMI)方法给出了非脆弱观测器存在条件,应用广义代数Riceati不等式(Generalized algebraic Riccati inequalities,GARI)方法解决了基于观测器的广义系统非脆弱控制问题;给出了非脆弱控制器和非脆弱观测器的参数表达式.数值仿真结果验证了所给方法的有效性和应用.     

一类非线性系统三点边值问题解的存在性

运用微分不等式理论研究一类非线性系统三点边值问题,在适当条件下,通过构造上,下解来获得解的存在性。     

幂和不等式与Bowen猜想

获得了等幕和的几个新的不等式,并利用所得结果对连续丢番图方程进行了讨论,得到了埃斯特猜想与波文猜想的新结果。     

具有分布时滞的随机中立型系统的随机鲁棒镇定

文章针对一类同时具有3个时变时滞的且不确定参数是有界范数的随机中立型时滞系统,利用随机Lyapunov稳定性理论和It^o微分法则,采用线性矩阵不等式方法,推导出系统的随机渐近稳定的充分条件,并进一步给出随机鲁棒可镇定的充分条件;镇定控制器主要采用状态反馈的方法来设计,从而保证了闭环系统的渐近稳定性;最后给出数值算例验证了文中控制器设计方法的正确性和适用性。     

关于Hardy—Carleman积分不等式的新推广

本文引入两个参数a,b,给出Hardy-Carleman积分不等式的一些新推广.     

广义大系统的非脆弱分散控制

讨论了状态反馈控制器存在摄动的线性广义大系统的非脆弱分散控制问题,应用线性矩阵不等式(LMI)方法,针对控制器增益具有加法式摄动和乘法式摄动两种情形,分别给出了线性广义大系统非脆弱分散控制器存在的充分条件.该控制器是一组线性矩阵不等式(LMIs),利用该不等式的可行解设计了非脆弱分散状态反馈控制器,使得闭环系统成为正则、稳定且无脉冲模的系统.仿真实例的结果说明了该设计方法的可行性和有效性.     

一类线性离散切换系统的容错控制

文章研究了一类线性离散切换系统的容错控制问题;当执行器失效或部分失效时,利用Lyapunov函数法,建立了切换闭环系统混杂状态反馈容错控制器存在的充分条件;运用线性矩阵不等式将容错控制器设计问题转化为一组线性矩阵不等式的可行解问题,可借助Matlab中线性矩阵不等式工具箱求解;通过数值算例,验证所提出设计方法的有效性。