非线性抛物型方程的耗散性和渐近性

利用能量积分、Ｐｏｉｎｃａｒｅ不等式和Ｓｏｂｏｌｅｖ空间的迹定理，证明了两类非线性抛物型方程在非线性Ｎｅｕｍａｎｎ边界条件下的吸收集的存在性，并给出了一类拟线性抛物型方程在齐次Ｎｅｕｍａｎｎ边界条件下的渐近估计     

具有时滞反应扩散方程组的全局渐近稳定性

研究了具有时滞反应扩散方程组的初边值问题,采用比较原理、解的存在性定理,得到了解的存在性和平衡态方程正解的全局渐近稳定性的充分条件.这个结果导致捕食食饵系统的持久性、平凡解和所有半平凡解的不稳定性和不存在非一致平衡解.     

一类带饱和项互惠模型平衡态正解的存在性

研究了一类两个物种同时带有饱和项的互惠模型在第一边界值条件下的平衡态正解的存在性．首先用单调解的方法给出了此解的先验估计，然后利用局部分歧理论研究了在λ1-c〈a〈λ1和a〉λ1两种情况下模型分别在两个半平凡解上出现的局部分歧现象，并证明了分别在分歧点（β，0，θβ）和（b＇，θa，0）附近存在正解；最后利用全局分歧理论研究了其整体分歧，从而证明了这两种情况下模型存在平衡态正解．     

n物种反应扩散系统扩散驱动不稳定性的判定

讨论了含有n(n≥3)个物种的反应扩散系统的扩散驱动不稳定性,通过分析其线性化矩阵特征多项式的零次项,得到了系统产生扩散驱动不稳定性的一个必要条件.     

一类带有内部存储和抑制剂的恒化器模型的共存解

讨论一类带有内部存储和抑制剂的非均匀恒化器模型正平衡解的存在性.由于模型中比率项的奇性,导致通常的线性化方法对本模型并不适用.为克服这个困难,首先建立模型正平衡解细致的先验估计,该估计表明模型的正平衡解含于一个特殊的锥内.然后借助一类非线性特征值问题的主特征值及锥上的不动点指标理论给出了模型正平衡解存在的充分条件.结果表明当其对应的非线性特征值问题的主特征值满足一定关系时,系统至少存在一个正平衡解.     

一类捕食-食饵模型共存解的存在性与稳定性

研究了一类具有HollingⅢ型捕食-食饵模型平衡态正解的存在性与稳定性.利用锥上的不动点理论给出正解存在的充分条件;讨论了m充分大时,借助上下解方法构造出模型的正解,并根据线性稳定性理论讨论了该正解的稳定性.结果表明:当参数aλ1,cλ1(-dθ2a/(1+mθ2a))时,共存解存在,且当cλ1时,共存解是线性稳定的.     

一类带有C-M反应函数的捕食-食饵模型正解的存在性和唯一性

研究了一类带有C-M反应函数的具有一个食饵和两个捕食者的捕食-食饵模型正解的存在性和唯一性.利用不动点指数理论讨论了正解的存在性,给出正解存在的充分条件:rλ1,-m1λ1(e1w-(p1u)/(1+b1u)),-m2λ1(e2v-(p2u)/(1+b2u)).运用稳定性理论和度理论研究了正解的稳定性和唯一性.     

数据库原理与应用课程的教学实践探讨

数据库技术起源于20世纪60年代末,经过40余年的迅速发展,目前已经建立起一套较完整的理论体系,开发了一大批商用软件产品,培育起一个颇具规模的软件产业。     

脉冲时滞抛物型方程组边值问题的振动性

讨论了一类多滞量带脉冲的抛物型方程组解的振动性质,利用平均值方法以及泛函不等式获得了其一切解在两类边界条件下振动的充分条件,其中利用了Green公式,Jesen不等式以及垂直相加的方法,把抛物型偏微分方程组的振动问题转化为微分脉冲不等式不存在最终正解的问题,然后在两类边界条件下分别得到了判别其所有解振动的充分条件.