连续随机序列样本熵的强偏差定理

设{X_n,n≥1}是连续随机序列,其联合分布密度为g_n(x_1,…,x_n),f_k(x_k)是X_k的边缘分布密度。利用关于乘积分布密度sum from n to k=1 f_k(x_k)的相对熵和相对熵率的概念,建立了连续随机序列关于样本微分熵的一类强偏差定理。     

Banach空间中二阶非线性脉冲微分方程初值问题解的存在性

利用Monch不动点定理和分段估计方法,结合Gronwall不等式,研究了Banach空间中一类二阶非线性脉冲微分方程初值问题解的存在性。将该问题转化为等价的一阶非线性脉冲积分方程,在较弱的非紧性条件和先验估计条件下,获得了其解的存在性充分条件,改进和推广了相关文献的结果。     

具有时滞的二阶微分方程三点边值问题三个正解的存在性

研究了一类具有时滞的二阶微分方程三点边值问题。在构造新函数空间和新泛函的基础上,利用分析技巧和Avery Peterson不动点定理得到了该边值问题存在三个正解的充分条件,推广和完善了已有的结果。     

推广线性二阶抛物型方程Cauchy问题解的Feynman-Kac定理

在金融数学中,用跳跃－扩散型随机微分方程模型描述证券价格过程中更为符合实际,讨论了由高维Ｐｏｉｓｓｏｎ过程和Ｂｒｏｗｎ运动共同驱动的随机微分方程的Ｆｅｙｎｍａｎ－Ｋａｃ定理。首先建立了高维Ｐｏｉｓｓｏｎ过程听两个基本性质,在此基础上,导出了推广的向后热传导方程Ｃａｕｃｈｙ问题解的Ｆｅｙｎｍａｎ－Ｋａｃ定理,其次,利用Ｂｕｒｋｈｏｌｄｅｒ不等式建立了跳跃－扩散随机过程的矩不等式,并由此建立了推广的二     

B值随机元的连续逼近

本文首先证明了B值随机元序列几乎处处收敛与几乎一致收敛的等价性,然后用它来证明一个关于连续函数逼近B值随机元的Lusin型定理.     

微积分基本公式的简明证法及其应用

微积分基本公式在微积分的理论和应用中占有十分重要的地位,使学生怎样掌握该公式的证明和应用一直是教学的关键点和难点。其主要原因在于目前教科书中的证明要借助于积分上限的函数及其导数,过于复杂和抽象,使学生难以理解和掌握,因此,它无疑成为长期以来困扰教与学的瓶颈问题。为此,笔者给出该公式的一种简明证法,并讨论了该公式的新用途。主要包括:定积分的值与积分变量的选择无关性;积分上限函数的求导法则的新证法等。这种简明证法和应用具有的实际意义是:该证法使学生易理解和掌握,既克服了现行教科书中的不足,又为教学提供了一条有效途径。     

基于局部投影方法的混沌信号去噪

提出一种以Takens嵌入定理和影子定理为理论依据的对混沌信号较有效的去噪方法，该方法先根据Takens嵌入定理将待处理的含噪时间序列嵌入到合适的相空间M'中，由于混有噪声，相空间中的点将偏离真实动力学系统嵌入的流形M，去噪的目的就是估计M的位置，并将偏离M的点移近它。从而更新原时间序列。实验比较了局部投影去噪方法和小波函数方法的去噪效果，结果表明本文的方法对混沌信号的去噪很有效，且比单纯利用小波函数去噪的效果更好。     

非线性反周期分数阶脉冲微分方程边值问题的解

通过Schauder不动点定理和Banach压缩映射原理,得到了一类非线性反周期分数阶脉冲微分方程边值问题解的存在性和唯一性。     

利用投影时序逻辑的多内核进程调度建模与验证

针对软件测试无法满足多内核处理器上进程调度的验证需要这一问题,提出利用投影时序逻辑(PTL)的定理证明方法来验证进程调度.使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S,并将系统期望的性质描述为PTL公式P,在PTL公理系统的基础上,通过证明S蕴含P是否为一个定理来验证系统是否具备该性质.以2内核处理器上的多级反馈队列算法的正确性为案例进行检验,结果表明所提方法可验证多内核处理器进程调度的系统性质,保证多内核进程调度的可靠性.由于多内核处理器的进程调度具备了并发系统的主要特点,因此该方法也适用于一般的并发系统验证.     

S（α，n）族的星象半径

证明了Ｓ（α，ｎ）的星象半径ｒ由下式决定：其中α＿０是方程关于α在区间（０，１）内的唯一解，这个结果推广了［１］中Ｓ（α，ｎ）族的星象半径，且是著名结果［３］、［４，Ｔｈ１］以及［５，Ｔｈ２］的推广。