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

利用Krasnosel＇skii不动点定理研究了一类二阶非线性常微分方程三点边值问题正解的存在性问题,得到了正解存在的几个充分条件.     

Robinson-Ursescu定理在Frechet空间中的形成

由局部凸F-范空间中闭凸集值映射的性质,推导出Frechet空间上集值映射的Robinson-Ursescu定理、开映照与闭图定理形式.     

Henie定理的启发--连续量与离散量的联系

给出了在数学分析解（证）题中，如何正确处理连续量与离散量的方法——“点列（数列）法”，并从几个方面例说了该方法在数学分析解（证）题中的一些应用．     

生物免疫原理在多代理分布式入侵检测系统中的应用

入侵检测是一个新的、迅速发展的领域,已成为网络安全体系结构中的一个重要环节. 通过对多代理技术和入侵检测方法的研究,提出了一种基于生物免疫原理的多代理分布式入侵检测系统模型,并且对该系统的结构和代理的处理流程进行了描述. 该系统是一个开放的系统,具有很好的可扩展性,易于加入新的入侵检测代理,也易于增加新的入侵检测. 代理之间的协同采用独立的通信服务代理来实现,特有的自身检测代理确保检测系统本身的安全.     

关于有限群子群的判定及寻求的一个猜想

对有限普通群、有限循环群和有限Abel群分别做了详细的研究，并对循环群和Abel群的子群的形式做了深入的分析，进而得出了其子群的一个更为简便易行的判定方法；同时，也得出了寻找循环群和Abel群的子群的更为可靠的方法     

一类随机变量序列关于Г-分布的强偏差定理

引进似然比作为非负连续型随机变量序列相对于服从Г分布的独立随机变量序列的偏差的一种度量，并通过限制似然比给出了样本空间的一个子集，在此子集上运用鞅方法得到了任意非负连续型随机变量序列的一类用不等式表示的强极限定理，将任意随机变量序列关于乘积分布的强偏差定理从离散状态空间推广到连续状态空间．作为推论得到了任意非负连续型随机变量序列关于指数分布，厄兰分布以及X^2分布的强偏差定理以及服从Г-分布的独立随机变量序列的一族强大数定律．     

布朗运动的最大值和阶梯期权

在奇异期权定价中经常遇到具有漂移的布朗运动的最大值问题，通过布朗运动的反射原理和Girsanov定理给出了在有限[0，T]区间上的具有漂移的布朗运动的最大值分布及其与终值的联合分布．然后把其应用到阶梯期权，得到了阶梯期权封闭形式的解．     

一类非局部扩散方程解的局部存在性和唯一性

主要研究了一类非局部扩散方程解的局部存在性和唯一性.由于非局部扩散的特殊性,采用Banach不动点定理分别得到了Cauchy问题,Dirichlet和Neumann初边值问题下解的局部存在性和唯一性.     

混合分数阶p-Laplace算子方程积分边值问题的多解性

研究了一类同时具有Riemann-Liouville导数和Caputo导数的混合型分数阶p-Laplace算子方程在Riemann-Stieltjes积分边界条件下的正解的存在性。根据Riemann-Stieltjes积分性质,建立了边值问题具有多个正解存在的结论。分别运用不动点定理和单调迭代方法证明了所得结论的正确性,并建立了求解此类边值问题的近似解的迭代序列。最后给出实例用于说明所得结论的适用性。     

可证明安全的射频识别双向认证协议

由于射频识别系统中读写器和标签是在不安全的无线信道中进行通信,而且随着移动读写终端的出现,使得读写器和服务器通信也不安全,容易受到假冒攻击、窃听攻击、中间人攻击等安全威胁,针对此问题提出了基于中国剩余定理的射频识别双向认证协议。该协议利用对称加密、模运算等方式提高信息传输的安全性,引入时间戳来抵抗中间人攻击,并利用中国剩余定理对各方进行认证,最后采用随机更新密钥的方式进行密钥更新,并通过形式化证明的方法和常规攻击分析的方式来验证协议安全性。将该协议与其他协议进行安全性、计算量和存储量的比较,结果表明:文中协议安全性高、计算量小且存储量适中,在射频识别领域安全方面具有一定的应用价值。