BBM—likeB（2，2）方程的圈波及周期圈波解

应用微分方程动力系统理论研究BBM—likeB（2，2）方程的圈波及周期圈波解。在某些参数条件下给出该方程平面系统的相图，根据相图找到圈波及周期圈波解的存在条件，并求出了这两种解的参数形式表达式。通过软件Mathematica模拟了这两种解的平面波形图。     

共形平坦黎曼流形中紧致极小子流形的一个刚性定理

首先得到一个推广的Simons积分不等式,然后用它给出共形平坦黎曼流形中紧致极小子流形的一个拼挤定理,推广了Li的定理.     

欧氏空间中常高阶平均曲率紧致凸超曲面与高斯映像

针对(n+1)维欧氏空间Rn+1中紧致无边凸超曲面M,利用一个已知的积分公式,并提出一种新的技巧,证明了:如果存在一个整数r(1≤r≤n-1)使得M的第r阶高阶平均曲率Hr是常数,并且M的高斯映照是到标准单位球面Sn的拓扑同胚,则M全脐.     

面向方面程序的精化演算框架

面向方面程序越来越受到软件工程领域研究者的重视.精化演算已经广泛应用到各种程序设计中,以消除开发过程中的错误.利用精化演算和统一程序理论定义一种面向方面程序的精化演算框架.在该框架中,首先定义了面向方面程序的精化,在此基础上,提出了12条可靠的精化规则,最后用一个例子说明了该框架的可行性.     

基于产品性能退化轨迹的可靠性研究

为了解决高可靠和长寿命产品的可靠性评估问题,采用性能退化试验方法,基于产品性能退化量的退化轨迹,得出了线性、指数型性能退化轨迹绝对失效标准和相对失效标准下的首达时间分布定理,并分别得到了随机参数服从正态、Weibull和指数分布下的几个推论.研究结果表明:根据产品性能退化随机过程和退化轨迹、失效标准计算首达时间来评估其可靠性是一条有效的途径.该成果对产品的可靠度等指标的评估具有一定的参考价值和实际意义.     

de Sitter空间中紧致类空超曲面的全脐性与高阶平均曲率

研究de Sitter空间中紧致类空超曲面和高阶平均曲率.利用一个已知的积分公式,得到了关于紧致类空超曲面全脐性的一个新定理.该新定理与已有的一些相关定理不互相包含,从而丰富了大家对全脐性这个几何性质以及高阶平均曲率这个代数不变量的理解.     

云环境下基于PKI的一次性口令身份认证系统设计

当前身份认证系统口令设计过程复杂,不仅容易出现认证错误的现象,而且大大增加了计算复杂度,影响整体性能。为此,提出一种新的云环境下基于PKI的一次性口令身份认证系统,给出设计系统总体结构,其主要由CA证书服务模块、RA注册模块、认证模块与用户模块构成。身份认证选用用户数字证书与一次性口令相结合的形式,对用户名与一次性口令进行验证时,通过用户名得到其数字证书,利用“挑战-应答”协议判断用户是否合法。介绍了一次性口令生成技术,给出公开大素数与保密大素数的确定过程。实验结果表明,采用所设计系统对云环境下用户进行身份认证,不仅认证精度高,而且整体性能强。     

基于能量不变二次化法的Cahn-Hilliard方程的数值误差分析

基于能量不变二次化方法,构造了一个求解Cahn-Hilliard方程的线性数值格式,该线性数值格式对非线性项半显式处理,每步迭代相应的半离散化方程只需要求解一个线性方程;证明了该线性数值格式是无条件能量稳定的,而且是唯一可解的;讨论了该线性数值格式在时间方向的误差估计.数值例子表明:该线性数值格式的数值解在时间方向上基本达到二阶精度, 能够有效模拟相位变化过程.     

一类Helmholtz方程解的存在性和唯一性

声波的散射问题中,散射体由两部分组成:里面是一个不可穿透的障碍物,外面是一条可穿透的裂缝.不可穿透障碍物由两部分组成,不同部分的边界条件不同.通过位势理论可以将此混合问题转化为边界积分方程.通过Fredholm算子理论可以得到这个边界积分方程解的存在性和唯一性,从而获得原问题解的存在性和唯一性.     

广义H-李代数的Engel定理

研究了Yetter-Drinfel’ d范畴HH YD中李代数（即广义H-李代数）的表示，证明了广义H-李代数的Engel定理：设L是一个广义H-李代数，如果L的每一个循环Yetter-Drinfel’ d模都是ad-幂零的，那么L是幂零的。