BL_Δ~*系统的完备性

研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理.     

三大积分极限定理的等价性证明

对实变函数中的几个积分极限定理进行了研究,给出了Lebegue控制收敛定理、推广的Levi定理和推广的Fatou引理是相互等价的结论.     

一类中立型差分方程的正周期解

利用不动点定理研究了一类中立型差分方程正周期解的存在性,得到了方程正周期解存在的新的充分条件,推广和改进了有关文献的结果.     

一种基于多维混沌时间序列的相空间重组技术

对给定的标量时间序列,利用Takens嵌入定理展开时间序列到高维并重构未知系统的吸引子,是从时间序列寻找决定性混沌证据的常用方法.在传统的一维时间序列重构技术基础上,提出一种更有效的多维时间序列相空间重构技术.对一些已知混沌系统如洛伦兹系统、陈系统、罗莎系统、罗宾系统和罗莎超混沌系统进行了重构.结果表明,与传统的重构技术相比,多维重构技术计算出的最大李雅普洛夫指数更精确,对于非混沌系统和附加噪音的混沌系统,多维重构技术也表现出一定的优势.     

射影变换下的蝴蝶定理

研究射影变换下的蝴蝶定理并加以证明．改变射影平面上蝴蝶定理中相应弦所在直线的位置、去掉条件“M为弦PQ中点”、考虑退化的二阶曲线等情形,得到在射影平面上蝴蝶定理的若干推论．在欧氏平面上运用类比法,得出蝴蝶定理在初等几何中的若干推论,并给出简洁证明．     

利用留数定理计算一类实级数

运用留数定理解决形如＋∞∑k-∞,k≠0 f（k）/k′类型的级数的求和问题,其中f（z）为在z平面上只有有限个极点的亚纯函数,且这些极点不为整数,得到＋∞∑k-∞,k≠0 f（k）/k′与留数间的一个关系式定理.     

马尔可夫调制的中立型随机时滞微分方程的弱吸引性

利用Ito公式和局部鞅收敛定理,确立了马尔可夫调制的中立型随机时滞微分方程弱吸引性的充分条件;中立型模型的确立,增强了模型贴合工业实际的能力.通过将条件适当加强,得到了方程更好的吸引性,同时为有界性和稳定性的新准则确立奠定了基础.     

一类亚纯函数的广义积分及其Cauchy主值

运用留数定理求解形如∫^∞ -∞e^axf（e^x）dx的一类亚纯函数的广义积分及其Cauchy主值的和,得到∫^∞ -∞e^axf（e^x）dx（Cauchy主值）与留数间的关系．     

二阶微分方程反周期边值问题的解

本文考虑了一类非线性二阶微分方程反周期边值问题。在适当条件下,利用Banach压缩映像原理和Darbo不动点定理,得到了解的存在性和唯一性结果,并给出例子说明定理的应用。本文改进和推广了已有的结果。     

一类二阶三点边值问题正解的存在性

利用不动点指数定理讨论了一类二阶非线性常微分方程的三点边值问题正解的存在性,给出了边值问题正解存在的几个充分条件,最后给出了一个实例作为对所获得结果的应用．