函数单调性判定定理的推广

将函数单调性判定定理中函数在某个区间可导的条件减弱至Dini导数存在,并利用新的证明方法将原有定理的充分条件进行了推广,得到了新的充分条件、必要条件和充要条件。     

三元函数条件极值的充分条件

对三元函数条件极值的充分条件进行了讨论,通过对三元函数条件极值的充分条件的研究,改进了原定理中的条件。得出了一个更加宽松条件下的结论,并利用隐函数定理给予了证明。     

一类具有HollingII类功能性反应的捕食系统的定性分析

研究具有HollingII功能性反应,捕食种群自身有干扰的捕食系统,分析了该系统正平衡点的性态,利用Dulac函数法得到了闭轨不存在的充分条件,利用Bendixson环域定理证明极限环的存在性,由张芷芬唯一性定理证明极限环的唯一性.     

一类具有HollingⅡ类功能性反应的捕食系统的定性分析

研究具有HollingⅡ功能性反应,捕食种群自身有干扰的捕食系统,分析了该系统正平衡点的性态,利用Dulac函数法得到了闭轨不存在的充分条件,利用Bendixson环域定理证明极限环的存在性,由张芷芬唯一性定理证明极限环的唯一性.     

伪凸函数的判断准则

首先,给出了伪凸函数的充要条件的证明,然后利用其定理的证明思想,在E-凸集、伪-E-凸函数概念的基础上,得出了伪-E-凸函数的2个必要条件,并给出其反例验证充分条件不成立。     

对高等代数中两道题的进一步推广

利用分块矩阵的知识,将高等代数中两道习题成立的充分条件加强到充要条件. 并且对文献[3]的结论作了进一步的推广证明.     

数字指纹印中有追踪叛徒能力码的新构造

如何得到可以追踪盗版者的码是指纹印研究中的一个重要问题.利用Lovász引理给出了可认定父元码存在的一个充分必要条件的一个新的证明.然后首次利用码的级联方法构造了一个新的可追踪码.最后给出了几个可追踪码存在的充分条件,经典的码存在的充分条件可以由前面给出的一个条件推出,而且当某个码满足某种性质时,还得到了一个新的码存在的充分条件,并且通过给出一个例子,表明了这样的码是存在的.     

关于常微分方程解的存在唯一问题的讨论

本文主要介绍了常微分方程解的存在唯一性问题：通过证明皮卡存在唯一性定理,给出了判定常微分方程解存在唯一性的一个充分条件李氏条;又给出了比李氏条件更广泛的Osgood条件,提供了在方程解存在的情况下,判定解唯一的一个充分条件;最后通过证明皮亚诺存在定理,给出了判定解存在的一个充分条件.     

非线性生物种群方程解的性质

讨论一类非线性生物种群方程，证明了解的存在性和唯一性，同时，讨论了系统的稳定性，利用临界增生率，得到了系统渐近稳定、不稳定的充分条件．     

关于E-导数的注记

利用E-导数的性质,给出p次扩散的一个充分条件,进而推广已有的相关结论;对近期文献中出现的一个结论进行题设条件的弱化,给出另外一种简单的证明.     

一类含参数二阶奇异微分方程边值问题的正解

利用混合单调算子的不动点定理研究Banach空间中一类含参数非线性二阶奇异微分方程的边值问题, 得到了正解存在的充分条件和必要条件, 并且进一步证明了解是惟一的和连续可导的.     

具有分布时滞不确定广义系统的稳定性研究

针对一类含有分布时滞和不满足匹配条件的不确定广义系统进行稳定性分析.无需对广义系统做模型变换,通过直接对系统构造适当的Lyapunov函数,利用积分不等式技术,给出了广义系统正则无脉冲渐近稳定的充分条件.该充分条件可通过Matlab中的LMI工具箱进行方便的求解.并给出具体算例证明此方法的有效性.     

混合线性互补问题解的存在条件

利用同伦方法研究混合线性互补问题, 通过构造一个新的同伦方程, 给出了同伦路径的存在性、 有界性和收敛性证明, 得到了混合线性互补问题有解的一个充分条件.     

一类二阶常微分方程组边值问题正解的存在性

利用锥上不动点定理,研究了一类二阶非线性常微分方程组在Sturm-Liouville边值条件下正解的存在性,分别得到了至少一个正解和两个正解存在的充分条件,并给出了证明．     

数字指纹印中有追踪叛徒能力码的新构造

如何得到可以追踪盗版者的码是指纹印研究中的一个重要问题。利用Lovasz引理给出了可认定父元码存在的一个充分必要条件的一个新的证明。然后首次利用码的级联方法构造了一个新的可追踪码。最后给出了几个可追踪码存在的充分条件，经典的码存在的充分条件可以由前面给出的一个条件推出，而且当某个码满足某种性质时，还得到了一个新的码存在的充分条件，并且通过给出一个例子，表明了这样的码是存在的。     

周期随机捕食-食饵系统的周期解的存在性

利用随机分析的方法,研究捕食者具有HollingⅡ增长函数的周期随机捕食-食饵系统的周期解的存在性.通过李雅普诺夫泛函方法证明,对于给定的任意正初始值,系统都存在唯一的全局正解.给出系统存在非平凡的正周期解的充分条件,得到系统持久性与灭绝的充分条件.最后,给出数值模拟来验证主要结果.     

粗糙度不等式

针对文献[2]中提出的粗糙度不等式及其使等号成立的充分条件,给出了使等号成立且更一般的充分条件,并以两种不同的形式给出,证明两者彼此等价,最后,给出一个新的粗糙度定义,并证明在这种定义下,下近似具有与上近似一样的不等式及其充分条件     

一类具功能反应和脉冲扰动系统的定性分析

研究一类非单调功能反应和周期常数脉冲扰动的三种群捕食-食饵系统,得到了系统灭绝与持续生存性的充分条件,并利用脉冲微分方程的Floquet理论和比较定理对相关定理进行了证明.     

加权梯度反应非局部扩散方程解的爆破

研究了加权梯度反应非局部扩散方程解的爆破现象,并且给出了解存在和爆破的充分条件.首先利用Banach不动点定理证明解的局部存在性;其次利用特征函数构造了一个新的辅助函数;最后结合微分不等式技巧得到了爆破时间的上界.     

Conformable分数阶微分方程三点共振边值问题解的存在性

考虑分数阶微分方程共振边值问题,通过定义合适的Banach空间、范数及算子,利用Mawhin重合度理论,证明Conformable型分数阶微分方程三点共振边值问题解的存在性,并得到了其解存在的一个充分条件.