线性锥系统的Tucker引理

应用对偶锥的概念和线性锥系统的Farkas引理,给出了一般线性锥系统的Tucker引理.所得结果显示,含齐次线性不等式组的线性锥系统和它的对偶系统都存在Tucker引理,且Tucker引理结论的表达式基本相同.     

Farkas引理在线性锥系统的推广

为了将线性规划中的基础理论之一--Farkas引理推广到一般线性锥系统上,应用对偶锥的概念和严格分离定理,给出了一般线性锥系统的Farkas引理.所得结果显示,在利用对偶锥进行表示,线性系统和一般线性锥系统的Farkas引理的表达形式相同,这为进一步研究锥规划提供了便利.     

关于超二次Hamilton系统周期轨道和同宿轨道的注记

本文给出了一类超二次Hamilton系统周期解的简化证明和一个同宿轨道解的存在性结果.本文的证明主要运用了山路引理.     

时滞相关广义系统的H∞控制的改进方法

针对时滞相关广义系统的H∞控制问题进行研究,目的是设计线性无记忆状态反馈控制器,使得对闭环系统正则、无脉冲、稳定且具有满意的H∞性能.首先,利用积分不等式,以严格的线性矩阵不等式方法给出了时滞相关广义系统的新有界实引理;其次,基于新的有界实引理给出了时滞相关广义系统的H∞控制器存在的充分条件;所有结果都是时滞相关的,且以严格的线性矩阵不等式的形式给出,未涉及系统矩阵的分解.最后,通过数值算例说明了该方法比现有结果具有更小的保守性.     

对Eric van Damme引理的再探讨

双矩阵博弈中的一个著名定理——完美均衡等价于非劣纳什均衡的证明依赖于van Damme给出的一个引理.有研究者认为,Damme引理的充分条件并不成立,其结果将导致定理有可能不成立.经过认真研究,得出的结论是,认为Damme引理不成立的理由并不充分,而是忽略掉了一个重要条件导致的结果,并对此进行了说明,并给出了Damme引理的一个严格证明.     

Wolstenholme定理的新证法

目的 给出Wolstenholme定理的一个新证明.方法 应用同余的简单性质及威尔逊定理推出了有关二次剩余的一引理,并应用该引理及另一个关于二次剩余的结果,给出了著名的Wolstenholme定理的一个证明.结果 得到了关于二次剩余的一引理,给出Wolstenholme定理的一个新证明.结论 Wolstenholme定理可以用二次剩余及威尔逊定理等简单的初等数论知识证明.     

三阶泛函微分方程的非振动解

文章给出了非振动解的一些引理,通过对引理的证明及应用,推广和改进了文献中一些结论.并且利用算子和积分技巧给出了定理中的若干结果,这个结果充分说明了非振动解与其导数的符号之间的关系.     

时滞奇异摄动系统的有限频域H∞滤波器分析与设计

利用广义Kalman-Yakubovich-Popov引理,给出时滞奇异摄动系统的界实引理,同时为了降低滤波器设计的保守性,利用投影定理给出了上述界实定理的一个替换定理.通过给松散矩阵一个特殊的结构约束,得到了滤波器存在且保证滤波误差系统渐进稳定及满足有限频域H∞性能指标的充分条件.     

拟线性系统中的一个周期解存在定理

本文根据Banach压缩映象定理,得到一个引理.把这个引理运用到拟线性系统:■=A(t)x+g(t,x)局部地对强迫项g(t,x)加以限制,给出该系统存在唯一周期解的充分条件.减弱了Sonnenschein J.的定理条件.并且.推广了Halanay A.的结果.     

一类不确定奇异系统的广义二次稳定性

不确定奇异系统是一类重要的控制系统.为了深入分析一类带非线性扰动的不确定连续时间奇异系统的解的性质及其广义二次稳定性,寻找此类系统广义二次稳定的充分必要条件,首先引入了此类系统广义二次稳定的概念,运用系统状态的坐标变换,利用S-Procedure引理、线性矩阵不等式和Schur补引理,给出了此类系统的解存在且唯一的充分条件,进一步给出了此类系统广义二次稳定的充分必要条件.     

二阶非线性非驻定系统——周期解的存在性

讨论二阶非线性非驻定系统周期解的存在性,给出相应的例子加以说明。     

Hill方程周期解的摄动解法

本文研究一类含小参数的Hill方程的初值问题,利用边值问题可解性条件及摄动理论中的伸缩参数法,给出寻求该初值问题近似周期解的方法,并以Mathieu方程为例,作了具体计算。     

三峡库区（湖北部分）陆生野生动物本底调查简报

由国务院三建委和三峡总公司下达的三峡库区（湖北部分）陆生野生动物监测项目，湖北省林业厅组织了以湖北省野生动物和森林植物保护站、华中师范大学生命科学学院以及相关市、县林业局为主的三峡库区（湖北部分）陆生野生动物调查队，于１９９６年１１月至１９９８年６月...     

关于Liénard方程存在极限环的两个定理

本文我们利用Hopf分支定理给出了Liénard方程存在极限环和两个推广的判别准则。     

关于位数码之和及其幂的平均阶

给出了位数码之和的实数幂的平均阶的一个渐近公式,把主项计算到任意有限阶,并得到了各项系数的阶的估计.     

变尺度Fractal集的Hausdorff维数

给出复合递归集的Ｈａｕｓｄｏｒｆｆ维数的下界估计，并由此确定了一类复合递归集的Ｈａｕｓｄｏｒｆｆ维数，所获结果包含并推广了已知结果。     

半线性集值算子方程数值分析

利用单调迭代技术证明了某些半线性集值算子方程解的存在性并且给出了相应的比较结果,即方程解的范围。在此基础上,用有限元单元法构造了解的近似格式,并且对此算法的收敛性进行了证明。这一结果对于非线性不连续偏微分方程的求解理论和算法也具有指导意义。     

关于拟置换矩阵群的结构

本文沿用[1]关于拟置换矩阵的定义。容易验证,所有拟置换矩阵所组成的集合关于矩阵的乘法构成一个群。将此群记为(?)_n~*=(1,—1)。定义如果U是(?)_n~*(1,—1)的一个子群,那么称U为拟置换矩阵群。为了叙述方便,再介绍一些术语和记号。     

高阶线性偏微分方程抽象齐次定解问题强解与弱解的一致性

在本文中,我们考察n+1阶线性偏微分算子L的抽象齐决定解问题,给出了强解与弱解一致的一个充分必要条件,从而推广了作者前一篇文章的结果。