无界时滞线性系统的反馈控制

对于具有无界时滞的系统设计了状态反馈控制器,研究了反馈控制系统的渐近稳定性. 利用李雅普诺夫理论,得出了闭环系统渐近稳定的几个充分条件. 算例说明了方法的有效性.     

关于Farkas引理证明的一点注记

许多关于非线性规划的专著,如[1]、[2]、[3]等,在证明Farkas引理时都蕴含地用到:“有限生成的凸锥(finitely generated convex cone)为闭集”这样一个事实,但都忽略了对此作出证明。本文旨在于非线性规划的内容范围内证明这一重要事实,从而对上述专著中Farkas引理的证明作出补充。     

一维空间自映射的几个性质

本文对线段自映射和直线自映射的动力体系作了一些讨论,揭示了线段自映射几个较为深刻的性质。     

一类不等式的提出与证明

本文提出一类对称不等式,并加以证明。     

阻尼波动方程的半无界问题

本文推广了对称开拓法,解决了阻尼波动方程在有限端具有某一类边值条件的半无界问题,并求出解的表示式,该方法也适用于热传导方程的半无界问题。     

求齐次有限马尔科失链状态空间全体闭集的算法

本文给出了齐次有限马尔科夫链状态空间的闭集族的算法，为了减少计算量和无重复地列出全体闭集，引进了状态空间压缩法和逐点删去法。对状态个数不太大的情形，可利用压缩状态空间的状态转移图求全体闭集；对一般情形，给出了计算机算法。     

反向时滞微分不等式及其应用

Gronwall-Bellman基本不等式,在研究微分方程的理论中起到了极其重要的作用。而Halanay的标量时滞微分不等式,在研究时滞微分方程的稳定性理论中亦起到了相应的作用。在文献[4]中,我们曾建立了一个高维的时滞微分不等式。     

无界凸集性质的一个注记

对文献「１」中有关无界凸性的三个性质给出了新的证明。     

可并的Z—强连续偏序集上Scott闭集格的几个结果

对可并的Z—强连续偏序集做了一些讨论,得到了可并的Z—强连续偏序集上的scott闭集格是可并的Z—连续格和完全分配格。