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

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

基于粘结强度特征数的烧结矿强度评价方法

烧结矿的强度主要取决于含铁矿物的强度、粘结相自身的强度以及粘结相与含铁矿物间的粘结强度。研究表明粘结相与含铁矿物间的粘结强度是烧结矿强度的主要制约因素。将粘结强度与能满足工厂生产要求标准的烧结矿粘结强度(12.58 MPa)的比值定义为粘结强度特征数,并用其评价烧结矿的整体强度。同时,结合烧结矿的微观结构对烧结矿强度进行研究。结果表明,与粘结相自身微观结构相比,粘结相与含铁矿物界面的微观结构较为疏松;固液两相之间的冷收缩系数不同,粘结相与含铁矿物之间易形成内应力,不利于粘结强度的提高。因此,粘结强度满足一定要求时,烧结矿的强度就能满足生产要求。     

R~N中一类临界非局部问题的正解和无穷多对解

研究如下一类带临界指数的非局部问题:{-(a+b∫_(R~N)(|▽u|)~2dxΔu=μ(|u|)~(2~*-2)u+λf(x)|u|~(q-2)u x∈R~N u∈D~(1,2)(R~N)烅烄烆)其中a≥0,b,μ0,N≥4,1≤q≤2,2*=(2N)/(N-2),系数函数f∈2*/L~(2*-q)(R~N)满足一定的条件.当1≤q2,N≥4时,利用变分方法和临界点理论获得了该问题的无穷多对解;当q=2,N=4时,利用山路引理获得了该问题的1个正解.     

一类区域分数阶Schrdinger方程的基态解

用变分方法研究了区域分数阶Schrdinger方程(-Δ)_ρ~αu+V(x)u=f(x,u)x∈R~N,u∈H~α(R~N)获得了该方程基态解的存在性.     

考虑表面应力的微悬臂梁质量传感器的建模与仿真

为了考虑悬臂梁谐振器表面吸附层或者不同材料涂层引起的表面应力的影响,进而提高质量传感器的精度和性能,基于瑞利-里兹法提出了考虑表面应力的悬臂梁质量传感器的理论方法.在悬臂梁振动的控制方程中引入应力系数对其振型函数进行修正,并系统地分析对悬臂梁振动频率的影响,再根据瑞利法建立微悬臂梁质量传感器的理论模型.应用该方法,纳米颗粒的位置和质量可以通过颗粒吸附前后悬臂梁的频率移动来精确确定.该方法的准确性和可行性通过有限元仿真进行了验证.     

基于IGS方法的最佳分类数研究*

针对选择Gap Statistic(GS)方法估计聚类数能够得到数据集的粗略分类,但不能进一步对数据集进行细分类这一问题,对GS方法进行改进;将Gap统计量引入到ISODATA算法中,提出了IGS模型;实证表明,IGS模型不仅可以实现数据的细分类,而且通过IGS模型估计数据集的最佳分类数准确率明显高于原GS模型。     

图的k-星着色的Grbner基求解

对于具有n个顶点的简单连通图G,首先证明求解G的k-星着色等价于一个多元多项式方程组在{1,2,…,k}上的求解问题,其次使用Grbner基给出求解该多元多项式方程组的方法,从而得到求G的星色数的一个可行途径,最后通过实例验证了此代数计算方法的有效性.     

货币账户带时滞的期权定价

在股票价格过程和货币市场账户均受时滞影响时,利用无风险对冲原理和鞅定价原理,得到了标准欧式期权的价格公式.研究表明,时滞对期权价格公式有明显的影响.     

拉格朗日中值定理的证明及应用

中值定理是微分学的基本定理,是应用导数研究函数在区间上整体性态的有力工具,其中拉格朗日中值定理是核心内容.给出拉格朗日中值定理的三种证明方法及其在级数散敛性方面的应用.     

含分布时滞的变系数退化微分系统解的稳定性

利用Razumikhin定理讨论一类含有分布时滞的变系数退化时滞微分系统解的稳定性,建立了零解稳定性的判定定理.