IKE协议的安全性分析

在简略介绍IKE协议RFC2409工作机制的基础上,对协议现有的安全问题进行了分析,并针对协议阶段1中主模式与积极模式下身份保护存在的问题提出了协议修改建议,对阶段1中安全联盟建立的可靠性进行了探讨以加强协议抵御DoS攻击的能力。     

一类无穷下三角矩阵的代数性质

修正了 [4,5]中的 Jabotinsky矩阵,得到并证明了一类无穷下三角矩阵T（f）的一些性质,最后,导出了一些与导数相关的反演关系和组合恒等式.     

Continuous dependence on modelling for a complex Ginzburg–Landau equation with complex coefficients

Continuous dependence on a modelling parameter is established for solutions of a problem for a complex Ginzburg–Landau equation. A homogenizing boundary condition is also used to discuss the continuous dependence results. We derive a priori estimates that indicate that solutions depend continuously on a parameter in the governing differential equation. Copyright © 2004 John Wiley & Sons, Ltd.     

Quadratic Functionals with General Boundary Conditions

The purpose of this paper is to give the Reid ``Roundabout Theorem' for quadratic functionals with general boundary conditions. In particular, we describe the so-called coupled point and regularity condition introduced in [16] in terms of Riccati equation solutions. Accepted 27 February 1996     

Covariant Newtonian and relativistic dynamics of (magneto)-elastic solid model for neutron star crust

This work develops the dynamics of a perfectly elastic solid model for application to the outer crust of a magnetised neutron star. Particular attention is given to the Noether identities responsible for energy-momentum conservation, using a formulation that is fully covariant, not only (as is usual) in a fully relativistic treatment but also (sacrificing accuracy and elegance for economy of degrees of gravitational freedom) in the technically more complicated case of the Newtonian limit. The results are used to obtain explicit (relativistic and Newtonian) formulae for the propagation speeds of generalised (Alfven type) magneto-elastic perturbation modes.     

On the Finite Base Property for Semigroup Varieties

No algorithm determines from an arbitrary recursive system of semigroup identities whether the variety defined by this system is finitely based.     

环上矩阵的广义Moore-Penrose逆

本文给出带有对合的有1的结合环上一类矩阵的广义Moore-Penrose逆存在的充要条件，而这类矩阵概括了左右主理想整环，单Artin环上所有矩阵。     

短信服务误区的成因分析及其对策

短信市场巨额收入的刺激，再加上市场监管力度不够，使得一些服务提供商（SP）片在追求收益而忽视消费者需求，导致短信服务走入了一些误区，这已经引起一系列负面效应，要解决此问题，SP应树立服务理念，根据客户的需求来提供服务内容和服务方式；运营商需改进商业模式，应考虑对SP提供的业务内容和配套服务进行规范，用户要维护自身权益，政府则应加强监管能力。     

All Subvarieties of ℒpq Have Finite Bases of Identities

We consider the varieties of lattice ordered groups with the identity of commutation of the nth powers of elements. We establish that every such l-variety with n=pq, where p and q are distinct prime numbers, has a finite basis of identities.     

A four-parameter partition identity

We present a new partition identity and give a combinatorial proof of our result. This generalizes a result of Andrews in which he considers the generating function for partitions with respect to size, number of odd parts, and number of odd parts of the conjugate. 2000 Mathematics Subject Classification Primary—05A17; Secondary—11P81