L^p（Ω）中非齐次抽象Cauchy问题周期解的存在性

通过对Ｌｐ（Ω）值函数Ｆｏｕｒｉｅｒ分析，本文得到了Ｌｐ（Ω）中非齐次抽象Ｃａｕｃｈｙ问题的周期解的存在性条件．从而将Ｈａｒａｕｘ［１］在Ｈｉｌｂｅｒｔ空间中所获的结果推广到了Ｌｐ（Ω）空间中。     

基于非凸复合函数的稀疏信号恢复算法EI北大核心CSCD

基于泛函深度作用的思想,通过将两种非凸稀疏泛函进行复合,构造了一种新的稀疏信号重构模型,实现了对0范数的深度逼近.综合运用MM(Majorize minimization)技术、外点罚函数法和共轭梯度法,提出一种求解该模型的算法,称为NCCS(Non-convex composite sparse)算法.为降低重构信号陷入局部极值的可能性,提出在算法的每步迭代中以BP(Basis pursuit)模型的解作为初始迭代值.为验证所建模型和所提算法的有效性,进行了多项数值实验.实验结果表明,相较于SL_(0)(Smoothed)算法、IRLS(Iterative reweighed least squares)算法、SCSA(Successive concave sparsity approximation)算法以及BP算法等经典算法,提出的算法在重构误差、信噪比、归一化均方差、支撑集恢复成功率等方面都有更优的表现.     

关于算子半群某些性质的推广

首先，本文利用Ｈｉｌｂｅｒｔ空间的特性推广了算子半群的Ｌａｐｌｃａｅ反演表示，其次，本文将文「２「在Ｈｉｌｂｅｒｔ空间中得到的积分半九生成定理推广到了Ｂａｎａｃｈ空间。     

一类具离散时变时滞和分布时滞神经网络的指数稳定性(英文)

本文讨论一类具离散时变时滞和分布时滞神经网络的指数稳定性。利用非线性测度,本文得到一个与时滞无关的充分条件,它保证了平衡点的存在性、唯一性和指数稳定性。既然新稳定准则不要求激活函数的有界性、单调性及可微性和随时间改变的传递延迟函数的可微性,那么它是某些已有结果的推广。此外,本文的方法的另一个优点是给出了解的指数收敛速度。最后,给出的例子说明我们的方法是有效的。     

赋权图匹配问题的一种新的松弛模型

图匹配是一个NP难(NP-hard)问题. 基于置换矩阵是非负正交矩阵这一经典结论, 提出赋权图匹配(Weighted graph matching, WGM)的双向松弛障碍规划, 理论上证明新模型的解与原模型的解是一致的. 该规划是一个二元连续规划, 它是正交矩阵上的线性优化问题, 同时也是非负矩阵上的凸二次优化问题. 故设计求解新模型的交替迭代算法, 并证明算法的局部收敛性. 数值实验表明, 在匹配精度方面, 新方法强于线性规划方法和特征值分解方法.     

具有时变时滞的模糊细胞神经网络的指数同步(英文)

我们考虑一类耦合时变时滞模糊细胞神经网络的全局指数同步性问题.利用M-矩阵方法,在较弱的条件下获得耦合时变时滞模糊细胞神经网同步的充分条件.我们的结论去掉了对时变时滞函数可导的限制,因而具有更广的应用范围.最后并通过数值例子验证了我们结论的有效性.     

多时滞奇异系统鲁棒稳定性分析

讨论了多时滞奇异系统的鲁棒稳定性问题．通过构造一种新的Lyapunov—Krasovskii泛函（LKF）,结合离散化LKF理论,给出了多时滞奇异系统正则、脉冲自由和渐近稳定的充分条件,并将该结论推广到含有范数有界不确定性的多时滞奇异系统．数值算例验证了该方法的有效性和可行性．     

关于非线性周期微分方程的Floquet问题

本文给出反例，证明了ｎ≥２时，Ｒ＾ｎ上的非线性周期微分方程的Ｆｌｏｑｕｅｔ定理是不成立的。     

不动点指数理论下非线性Neumann型边值问题正解的存在性

应用Green函数可以将微分方程边值问题转化为等价的积分方程.近来此方法被应用于讨论微分方程边值问题正解的存在性.本文讨论非线性二阶Neumann边值问题,应用Green函数,将其转化为等价的积分方程,并设非线性项在无穷远处有增长条件,利用锥上的不动点指数理论证明正解的存在性和非存在性.     

分数阶微分方程边值问题解的存在性

应用Green函数将分数阶微分方程边值问题可转化为等价的积分方程.近来此方法被应用于讨论非线性分数阶微分方程边值问题解的存在性.本文讨论非线性分数阶微分方程边值问题,应用Green函数,将其转化为等价的积分方程,并设非线性项满足Carathéodory条件,利用非紧性测度的性质和M(o)nch,s不动点定理证明解的存在...