Rauch比较定理的简单证明

利用距离函数作为工具,给出了Rauch比较定理的一个简单证明,并同时讨论了它的相关推论和应用．     

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

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

具非线性脉冲时滞的Lasota-Wazewska模型概周期解的存在性与稳定性

利用压缩映射原理,研究具有非线性脉冲的Lasota-Wazewska模型的概周期解,获得该系统概周期解存在与指数稳定的充分条件.     

基于余弦滚降特性的IIR余弦调制滤波器组的设计

提出一种新的近似完全重构因果稳定的IIR余弦调制滤波器组的设计方法.基于所定义的一种IIR余弦滚降原型滤波器,滤波器组所要求的平坦条件完全被满足.在预先给定极点值的条件下,滤波器组的设计问题可以写成一个凸极大极小优化问题,从而采用二阶锥规划法求解.求出的滤波器组具有合理的完全重构误差,且原型滤波器的多相因子的分母相同,简化了完全重构条件.采用该滤波器组作为约束非线性优化法的有效初值,进一步优化得到完全重构IIR余弦滤波器组.     

一类Rayleigh型p-laplace时滞微分方程的周期解

应用Manásevich-Mawhin重合度定理,研究了形如:(φp(x'(t)))'+f(t,x(t-τ(t)),x '(t-σ(t)))+β(t)g(t,x(t-τ(t)))=e(t),的Rayleigh型p-Laplace多时滞微分方程.在β(t)可变号情形下,得到了一个关于周期解存在性的结果.     

一类奇异超线性椭圆方程解增长速度估计

讨论边界奇异超线性方程:-Δu=a(x)up,x∈RN,其中连续函数a(x)=η(x)[d(x,Ω)]γ,η(x)≥0,γ>0。运用一个新的非线性Liouville定理讨论了当函数a(x)在光滑有界区域Ω上为0,而在RNΩ珚上为正时,方程正解的估计问题,得到了相应于当a(x)≡1时方程正解估计的可比较性结果。     

局部凸空间中带有约束的向量极值问题的最优性条件

运用序局部凸空间的广义次似凸映射下的择一性定理,得出带有约束的向量极值问题的最优性条件。     

关于非频带有限随机信号的采样级数的逼近

香农采样定理可以恢复确定性频带有限信号.而真实信号经常是非频带有限的,这类信号可以被看作边带趋于无穷的频带有限信号.除了确定性型号,平稳的随机信号在许多领域发挥了重要作用.为了解决非频带有限的平稳过程的采样问题,借助香农采样定理,获得当功率在频域衰减时该类信号的采样级数,并求得该级数分别满足均方收敛和以概率1收敛的条件.     

修正辅助技术求解广义混合隐拟变分不等式

研究了Hilbert空间上一类广义混合隐拟变分不等式．利用KKM原理的思想,证明了解的存在,惟一性定理,并且建立了相应的近似解迭代算法,对算法作了收敛性分析．研究的问题更具一般性,同时推广了有关于这类问题的迭代算法．     

ρ-混合序列部分和之和乘积的几乎处处中心极限定理

在适当的假设条件下, 利用混合序列加权和的中心极限定理及矩不等式, 证明了混合序列部分和之和乘积的几乎处处中心极限定理.