具有时滞的互惠系统的正周期解的存在性

运用重合度理论中的连续性定理研究了一类具有时滞的互惠系统.得到了该系统存在正周期解的一个充分条件.该结果是对前人研究的有益补充.     

具有时滞的互惠系统的正周期解的存在性

运用重合度理论中的连续性定理研究了一类具有时滞的互惠系统.得到了该系统存在正周期解的一个充分条件.该结果是对前人研究的有益补充.     

带记忆的双曲方程的强全局吸引子的上半连续性

研究带有衰退记忆的双曲方程的长时间动力学行为,通过验证解半群关于阻尼项参数α的连续依赖性,从而在空间D(A)×V×L2μ(R+;D(A))中证明了强全局吸引子的上半连续性.     

一类抽象半线性泛函微分方程的小时滞鲁棒稳定性

研究Banach空间X中的抽象半线性泛函微分方程d/dtx(t) = Ax(t)+F(t, x_t(·))的小时滞鲁棒稳定性,其中无界线性算子A在X上生成一个C0-半群T(t)_t≥0, F是非线性函数.在F是全局Lipschitz连续的条件下,利用算子半群理论以及扰动方法,证明了上述方程的解的指数稳定性对小时滞是鲁棒的.

Abstract：

The robust stability of the abstract semi-linear functional differential equationd/dtx(t)= Ax(t)+F(t, x_t(·))is considered in Banach space X, where the linear operator A generates a C_0-semigroup [T(t)]_t≥0in X, and F is a nonlinear function. Under the condition that F is globally Lipschitz continuous, and the robust stability of the above equation is proved with the operator semi-group theory and perturba-tion method.     

非线性反应-扩散方程指数吸引子的存在性

证明一类非线性反应-扩散方程指数吸引子的存在性。为此,证明对应的解半群是Lipschitz的,且对应的离散半群满足squeezing特性。     

满足某些恒等式的半环上的格林关系

研究了乘法导出半群是完全正则半群,加法导出半群是幂等元半群的半环上的格林关系,分别给出了L∨D,L∨L,L∨R和L∨D是同余关系的充分必要条件,证明了由上述同余关系所决定的半环类都是簇,并给出了上述簇的Mal'cev积分解.     

基于T—S的时滞模糊系统的鲁棒稳定与镇定问题

讨论同时具有输入及状态时滞且多个范数有界不确定的非线性时滞模糊系统的时滞相关鲁棒稳定及镇定问题。利用通用的Lyapunov—Krasovskii泛函方法,结合自由权矩阵思想和对不确定项的更精确描述,获得基于线性矩阵不等式的时滞相关稳定的充分条件并给出状态反馈控制器的设计。该条件较已有结论不仅形式简单,而且具有更小的保守性。利用Matlab软件中的LMI工具箱求解,得到保证系统鲁棒渐近稳定的最大可允许时滞上界。数值算例表明该方法是有效性的。     

带有离散滞后时滞和非线性脉冲效应的模糊细胞神经网络的指数同步

研究了具有离散滞后时滞和非线性脉冲效应的模糊细胞神经网络的指数同步,通过Lyapunov函数方法和不等式方法,利用p-范数得到了新的指数同步的充分条件,最后举例说明结论是有效的.     

时变不确定奇异时滞系统的时滞相关H∞控制

研究一类含有时变时滞的不确定奇异系统的H∞控制问题,采用Lyapunov 泛函方法和线性矩阵不等式(LMI)工具,给出闭环系统正则、渐近稳定且具有范数界的时滞相关充分条件;通过求解相应的线性矩阵不等式,得到奇异系统的H∞控制律.与已有结论相比,该方法无需模型变换.数值算例说明该方法的有效性.     

时滞泛函微分方程解的唯一性和渐近性分析

结合时滞泛函微分方程的研究现状,对泛函微分方程解的唯一性和渐近性问题进行了分析:首先,研究了时滞泛函微分方程解的存在性、唯一性;其次,给出一些例子说明通过的特别选择可能改变某些FDE解的存在唯一性;最后给出了泛函微分方程解渐近性。推广了有关文献中的结果。     

MINBACK:解对称线性方程组的极小化向后误差方法

本文提出了求解对称线性方程组Ax=b的一个方法-- MINBACK方法.该方法利用Lanczos过程产生Krylov 子空间km(A,r0)的一组基,并求近似解xm∈x0+km(A,r0)使系数矩阵A的向后误差范数∥△min∥F最小化.本文给出了Lanczos方法和MINRES 方法的全体向后误差的集合的通式,分析了算法的性质,讨论了算法的执行,最后,给出了结论.     

一类非线性系统状态的网络化估计方法

提出了一类Lipschitz非线性连续时间时滞系统基于非均匀采样测量的网络化状态估计方法.利用线性连续时间系统采样控制的方法,在考虑系统和网络传输时滞及量化等因素的条件下,通过构造新的李雅普诺夫泛函得到了保证估计误差系统全局渐近稳定的线性矩阵不等式条件.在此基础上,给出了状态估计器增益矩阵基于线性矩阵不等式的计算方法.最后,通过仿真例子验证了本文方法的有效性.     

乘积矩阵为对角占优阵的充分和必要条件

用向量的内积、矩阵的迹及矩阵范数等给出了矩阵乘积为对角占优阵的充分和必要条件,特别给出ATA为对角占优阵的充分和必要条件。     

一类时滞切换大系统的分散控制器设计

假设标的资产遵循由混合分数布朗运动驱动的随机微分方程,建立了混合分数布朗运动环境下的金融数学模型.利用拟鞅方法,获得了欧式幂期权定价公式的解析式及其平价公式.最后阐述了分数布朗运动只是混合布朗运动的一种特殊情形.     

状态时滞系统基于观测器的故障诊断及可诊断性

研究含有状态时滞的线性系统的故障诊断方法及故障的可诊断性问题。提出一种新颖的基于降维观测器的故障诊断方法,并给出故障可诊断性的判据。首先通过引入一种特殊的线性变换,将时滞系统转换成无时滞系统。然后将故障诊断问题转化为状态观测问题,并证明了故障可诊断性的充分条件。最后通过构造一种新的不利用残差体现故障的故障诊断器,实现了故障的实时诊断。仿真实例验证了该方法的可行性和有效性。     

不确定关联时滞大系统的分散鲁棒稳定控制器设计

对一类具有数值界不确定性关联时滞大系统,应用线性矩阵不等式(LMI)方法研究使其分散稳定化的鲁棒控制器设计问题.给出了其存在分散鲁棒稳定化控制器的充分条件,在此基础上,通过求解一凸优化问题,指出了具有较小反馈增益的分散稳定化状态反馈控制律的设计方法.仿真示例说明了该方法的应用.     

一类线性不确定定常时滞系统的鲁棒镇定

研究了一类带有非线性扰动的线性不确定时滞系统的鲁棒镇定问题。在闭环系统的稳定性结果基础上,给出了时滞系统的鲁棒控制策略,推导出控制律存在的一个充分条件,该条件被进一步等价地转化为一个线性矩阵不等式的可解性问题。根据Lyapunov稳定性原理所设计的控制器确保了闭环系统渐近稳定。最后,通过数值例子说明了此方法的正确性与有效性。     

有限部分变换半群的几类平凡子半群

设X是集合,PX为X上的所有部分变换做成的半群。当X是有限集时,PX为周期半群。利用周期半群S是R-平凡的、L-平凡的和J-平凡的性质,给出了当X是有限集时,PX的子半群S是这几类平凡子半群的充要条件。     

一类时延网络控制系统的有限时间镇定

研究了一类具有状态时延的网络控制系统的有限时间镇定问题.基于Lyapunov函数法,得到线性矩阵不等式形式的状态反馈控制器设计的充分条件,该状态反馈控制器使得网络控制系统有限时间稳定.最后,给出一个数值算例说明了该方法的有效性、可行性.     

关于Broyden方法的一个注记

在数值分析中Broyden方法具有一个非常重要的性质，即用它求解n维线性方程组时，至多2n步就能达到精确解。笔者研究了将该方法用于求解线性方程组时的内在性质，否定了一个自然的推测，指出它在解线性方程组时不是一个下降的算法，即所得到的点列与方程组的解之间的距离在任何向量范数意义下都不具有单调下降性。