Conservation laws for mechanical systems with unilateral holonomic constraints

A general approach to the construction of conservation laws for mechanical systems with unilateral holonomic constraints by finding corresponding integrating factors is presented.The definition of integrating factors for the Routh equations of motion of the systems is given, and the necessary conditions for the existence of conserved quantities of the unilateral holonomic constraint systems are studied in detail.The conservation theorem and its inverse for the systems are established, and an example is given to illustrate the application of the results.     

N-widths on the classes of multivariate bandlimited functions

In this paper, the tight order on the n-widths of the classes of multivariate bandlimited functions in Lp(Rd),1相似文献   

一类三点边值问题正解的存在性

利用Krasnosel＇skii不动点定理研究了一类二阶非线性常微分方程三点边值问题正解的存在性问题,得到了正解存在的几个充分条件.     

Henie定理的启发--连续量与离散量的联系

给出了在数学分析解（证）题中，如何正确处理连续量与离散量的方法——“点列（数列）法”，并从几个方面例说了该方法在数学分析解（证）题中的一些应用．     

关于有限群子群的判定及寻求的一个猜想

对有限普通群、有限循环群和有限Abel群分别做了详细的研究，并对循环群和Abel群的子群的形式做了深入的分析，进而得出了其子群的一个更为简便易行的判定方法；同时，也得出了寻找循环群和Abel群的子群的更为可靠的方法     

一类随机变量序列关于Г-分布的强偏差定理

引进似然比作为非负连续型随机变量序列相对于服从Г分布的独立随机变量序列的偏差的一种度量，并通过限制似然比给出了样本空间的一个子集，在此子集上运用鞅方法得到了任意非负连续型随机变量序列的一类用不等式表示的强极限定理，将任意随机变量序列关于乘积分布的强偏差定理从离散状态空间推广到连续状态空间．作为推论得到了任意非负连续型随机变量序列关于指数分布，厄兰分布以及X^2分布的强偏差定理以及服从Г-分布的独立随机变量序列的一族强大数定律．     

布朗运动的最大值和阶梯期权

在奇异期权定价中经常遇到具有漂移的布朗运动的最大值问题，通过布朗运动的反射原理和Girsanov定理给出了在有限[0，T]区间上的具有漂移的布朗运动的最大值分布及其与终值的联合分布．然后把其应用到阶梯期权，得到了阶梯期权封闭形式的解．     

一类非局部扩散方程解的局部存在性和唯一性

主要研究了一类非局部扩散方程解的局部存在性和唯一性.由于非局部扩散的特殊性,采用Banach不动点定理分别得到了Cauchy问题,Dirichlet和Neumann初边值问题下解的局部存在性和唯一性.     

混合分数阶p-Laplace算子方程积分边值问题的多解性

研究了一类同时具有Riemann-Liouville导数和Caputo导数的混合型分数阶p-Laplace算子方程在Riemann-Stieltjes积分边界条件下的正解的存在性。根据Riemann-Stieltjes积分性质,建立了边值问题具有多个正解存在的结论。分别运用不动点定理和单调迭代方法证明了所得结论的正确性,并建立了求解此类边值问题的近似解的迭代序列。最后给出实例用于说明所得结论的适用性。     

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

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