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

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

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)获得了该方程基态解的存在性.     

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

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

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

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

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

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

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

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

完全模糊线性规划及其近似计算

在扩充LR-模糊数定义的基础上,讨论了完全模糊约束条件的近似表示和转化定理;在新的模糊数序关系下,将完全模糊线性规划问题直接转化为分明的线性规划进行求解;与已有的结果进行了比较,并给出了算例.     

带一般微分算子的二阶奇异边值问题的正解

用锥拉伸与压缩不动点定理,研究带一般微分算子的二阶奇异边值问题,其中线性微分算子的函数系数也允许具有奇异性.在非线性项满足超线性或次线性条件下,得到了该问题至少存在一个正解,并给出一个实例检验所得结果的有效性.     

有界平衡域上一类螺旋映射的增长定理

给出有界平衡域上一类螺旋映射的参数表示,作为应用建立了其增长定理,进一步给出了这类映射即星形映射的一个刻画.所讨论的域是非常广泛的,包括了复椭球和四类典型域,这些结果涵盖了先前已知的结果.