该文针对周期跳变系统和采样系统提出了基于Ｒｉｃｃａｔｉ方程的Ｈ〈，２〉控制方法。通过分析系统的Ｈ〈，２〉性能。指出实现系统Ｈ〈，２〉最优控制的充分条件是......

该文主要讨论对称问题和非对称问题的UZAWA算法,主要是不精确预条件的UZAWA算法.对由古典的不可压定常Stokes问题,经过混合有限元......

本文给出判定二元多项式性态（正定，负定，正半定，负半定或不定）的一种自动化方法，其有效性已在计算机实现中得到验证。......

<正> 本文采用的术语与记号按照文献[1],如有不同于它的记号出现,则另作说明。设Cm,Cn中分别定义了加权内积（准内积）:（x,y）m=xMy,（x,y）n=......

多项式不等式的证明历来是机器自动证明领域里比较难的课题.本文对多项式不等式可读证明的若干技术进行了研究,对其中的差分代换方......