具有时滞的反应扩散神经网络模型的输入-状态稳定

【目的】研究带有时滞的反应扩散神经网络模型的输入-状态稳定。【方法】首先,建立一类带有时滞的反应扩散神经网络模型,该模型中的神经元激励函数不要求有界,也不要求光滑。然后,利用具有时变输入的时滞微分不等式和矩阵不等式方法。【结果】获得该反应扩散神经网络系统的输入-状态稳定的两个充分条件。【结论】结果改进和推广现有文献的相关工作。
     

无向图的一个距离不等式及其在非负矩阵上的应用

设Ｇ＝（Ｘ，Ｅ）为无向图，Ｘ＝｛ｘ１，ｘ２，…，ｘｎ｝。证明了：对任给的ｘｉ，ｘｊ，ｘｋ∈Ｘ，若两两之间有距离，则ｄＧ（ｘｉ，ｘｊ）＋ｄＧ（ｘｉ，ｘｋ）＋ｄＧ（ｘｊ，ｘｋ）≤２ｎ－２。并且，给出了该不等式在估计某些本原阵的本原指数的一个应用。此外，还提出了一个猜想。     

几个积分不等式

本文首先利用Ｔｃｈｅｂｙｃｈｅｆ积分不等式推导出几个三角函数不等式，然后得到一些积分不等式和定积分的估值，推广或改进了约当不等式及其相关的结论     

库区交汇河段水动力特性试验

以辽宁大凌河白石水库库区交汇河段为研究对象,通过模型试验,研究不同因素影响下其水动力特性的变化。结果表明:库区交汇流河段水深沿程增加,过流面积沿程加大,交汇口以上干支流流速沿程增加,而交汇口以下流速呈现沿程减小的显著特征;在入汇口下游的支流同侧必然存在回流区,随着汇流比的增加,回流区范围增大;坝前水位升高时,交汇区内流速绝对值减小,沿程变化率减小,主流线弯曲程度加大,回流区范围增大。     

具有非线性等式约束的故障诊断集员滤波器设计

为了解决具有非线性等式约束的故障诊断问题,提出集员滤波器的设计方法,该方法不仅可以对故障程度进行估计,有效检测出故障,还能解决运行系统中要求的100%包含真实最小域的需要,判定出故障类型.首先对非线性等式约束线性化,通过S-过程方法和线性矩阵不等式方法设计集员滤波器;而后用Finsler引理把非约束状态下的集员滤波投射到约束表面,得到状态约束下的集员滤波器;最后运用递归优化算法对集员滤波器进行优化.数值仿真说明了该方法的可行性和有效性.     

求解一类非凸变分不等式的近似点算法

介绍和考虑了一类新的非凸变分不等式,这类变分不等式包括了一些已知的和新的非凸变分不等式作为特例.利用一致r-近似正规集的概念,建立了这类变分不等式和不动点问题的等价关系.利用该等价关系,给出了一个求解此类非凸变分不等式的近似点算法,并证明了该算法在适当的条件下收敛.     

具有Ventcel边界条件的波动方程解的长时间行为

本文对具有Ventcel边界条件和内部阻尼的波动方程解的长时间行为进行了研究.为此,本文首先建立了一类具有Ventcel边界条件的插值不等式;然后由插值不等式出发得到了波动方程的预解式估计;最后根据预解式估计得出了方程解的对数衰减结果.     

Nekrasov矩阵行列式界的估计

利用矩阵Schur补的定义,结合不等式的放缩技巧和数学归纳法,给出Nekrasov矩阵行列式界的估计,改进和推广了已有结果,并用相应的数值实例说明了所得结果的有效性.