Hilbert空间中一类变分不等式的近似解

提出了两种与预解算子有关的迭代序列,得到了Hilbert空间中一类变分不等式的近似解,并证明了迭代序列在各自条件下的强收敛性和弱收敛性.     

中立型细胞神经网络的稳定性分析

基于线性矩阵不等式（LMI）技巧对中立型细胞神经网络的稳定性问题进行了研究，给出了神经网络稳定的一个充分性条件和系统稳定中立项所必须满足的一个必要条件。仿真结果证明了所给算法的有效性，同时表明所得结论优于Y-M-ZHANG等的结果。     

解线性变分不等式问题的一个简单交替方向法

解变分不等式的交替方向法每一步需要解一个(几个)变分不等式子问题,算法的有效性受这些子问题的影响很大.本文提出了一个解线性变分不等式的简单的交替方向法. 在每一步迭代中,只需要做矩阵-向量乘法和到简单集合的投影,使得算法的效率得到保证.在适当的条件下证明了算法的全局收敛性.初步的数值结果表明,我们的新算法较原有同类算法有所改进.     

带有不可控变迁的一般不等式约束的Petri网控制器综合

针对关于标识向量和Parikh向量的一般不等式约束的Petri网控制器实现问题,研究控制对象中存在不可控变迁情况下实现Petri网反馈控制器问题.首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束,由于Petri网中不可控变迁的存在,故不能直接对给定不等式约束进行控制器设计,需要对不等式约束进行转换.提出一种新约束转换技术把不允许转变为允许不等式约束,然后设计Petri网反馈控制器.最后将该方法与Iordache等人提出的方法作比较,实验结果显示该方法更简单、更有效.     

序列线性方程组方法解约束SC1函数最小化问题

对不等式约束SC1函数最小化问题提出一个可行的序列线性方程组算法.算法的每步迭代,子问题只需解具有相同的系数矩阵的四个简化的线性方程组.这个算法的特点是产生的迭代点是可行的;只考虑指标在集合I的一个子集Ak中的约束函数;不需假定聚点的孤立性,就可证明算法产生的迭代点全局收敛到问题的KKT(库恩-塔克)点.在较弱条件下,证明算法是超线性收敛的.     

广义向量变分不等式解的存在性

引进和研究了一类广义向量似变分不等式（GVVLI），并运用KKM定理证明了（GVVLI）问题的存在性．     

时滞动态复杂网的反馈控制

介绍了一类时滞动态复杂网的模型,分别采用了标准反馈控制和时滞反馈控制,首先得到系统的误差方程,然后应用线性矩阵不等式(LMI)方法.基于李亚普诺夫稳定性定理,给出了误差方程稳定的充分条件.     

修正辅助技术求解广义混合隐拟变分不等式

研究了Hilbert空间上一类广义混合隐拟变分不等式．利用KKM原理的思想，证明了解的存在，惟一性定理，并且建立了相应的近似解迭代算法，对算法作了收敛性分析．研究的问题更具一般性，同时推广了有关于这类问题的迭代算法．     

de Sitter空间中类空子流形的整体刚性定理

研究de Sitter空间中具有平行平均曲率的类空子流形,在关于子流形的第二基本量的整体Pinching条件下,利用Sobolev不等式和梯度估计的方法,证明类空子流形为全脐的几个刚性定理.     

带有输入时滞的不确定线性系统的H_∞鲁棒控制

本文研究控制输入中含有未知时滞的系统的鲁棒镇定问题和鲁棒H∞控制。闭环系统的结论最终是以线性矩阵不等式的形式给出的。列举的例子说明文中所提出的方法比原有的方法具有更少的保守性,而且所设计出来的控制器具有较小的反馈增益。