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

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

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

对置活塞二冲程汽油机分层稀燃组织研究

结合对置活塞二冲程汽油机缸径小、冲程长的特点,提出了进排气侧非对称喷雾方式,并采用AVL-Fire软件对喷雾方向进行优化,实现全负荷工况下的缸内均匀混合;同时研究了部分负荷工况下二次喷射对分层混合气形成和稀燃组织的影响.结果表明,进气侧喷射角增大有利于提高缸内混合气的均匀度,排气侧喷射角增大会导致燃油蒸发率降低;二次喷油比例影响分层混合气浓稀区的分布,二次喷油时刻影响缸内混合气稀区的均匀性.当进气侧喷射角为30°、排气侧喷射角为15°时,选择第一次喷油时刻为220℃ A,第二次喷油时刻为270℃ A且二次喷油比例为20%,可有效组织混合气分层.在部分负荷工况下,采用分层稀混合气相比均匀稀混合气的火焰发展期缩短约30%,快速燃烧期缩短约15%.      

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

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

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

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

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

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

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

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

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

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

关于局部对称拟常曲率黎曼流形上极小子流形

本文主要研究了局部对称拟常曲率黎曼流形N^n＋p 中的紧致极小子流形Mn，得到了局部对称拟常曲率黎曼流形关于第二基本模长平方和截面曲率的拼挤常数。