用对称密码体制实现双向认证

安全可靠的通信交流是网络通信的基本要求．在网络的通信双方之间,常常需要进行对等的双向相互认证,但是双向认证并不简单等于两次使用单向认证．文中讨论了采用对称密码体制实现双向认证以及有关的安全问题．     

线性无关向量组正交化的矩阵解法

利用矩阵的初等变换,给出了线性无关向量组正交化的矩阵解法,使用该方法使得线性无关向量组正交化过程更加简捷易行。     

投影角与两直线空间夹角关系的判定定理

空间两直线所成的角度,投影时并非不变量,其投影角可大于、小于或等于其空间夹角．本文通过空间分析和解析计算推证出构成空间角度的两直线当中有一条直线与投影面平行时,其投影角的判定定理组．     

伪黎曼流形上的2—阶对称张量场

对伪黎曼流形上的２－阶共变对称张量场,如果它的Ｊｏｒｄａｎ指标在一个邻域上是常数,我们能构造这个邻域上的局部正交光滑标架场,使这个张量场关于构造的标架场的分量矩阵有标准形式,由此可使用活动标架法伪黎曼形特别是Ｌｏｒｅｎｔｚ场形上的一些重要定理给出新的简洁证明。     

广义分布参数变结构系统的不变性条件

首次研究了广义分布参数系统的不变性条件,利用特征向量函数法将广义分布参数系统化为一广义系统,证明了它们的不变性条件是等价的,同时也指正了某些文献个别结论和证明．     

一种适合于网络专家系统的通用理论(英文)

描述运用于工业自动化的一种自适应自学习方法。基于此方法,Ａｐｔｒｏｎｉｘ公司开发出一套通用软件工具－ＳＴＩＭＴＭ,并应用于不同工业领域。ＳＴＩＭ可用于构造各类专家系统。基于因素空间理论,ＳＴＩＭ具有一系列独特之处,比如自动化、自学习,以及自翻译。如果与因特网,嵌入式控制器以及可编程逻辑控制器等结合使用,ＳＴＩＭ则成为一个十分有效的工具,可应用于远程连通与控制、模式识别、机器故障诊断,以及自动化加工过程中的传感器数据融合     

具有空间对照结构渐近解的构造(Ⅰ)

对具有快慢变量非线性方程组的边值问题(μ是小参数) (du)/(dx)=g(x,u,v,w) μ(dv)/(dx)=F(x,u,w) μ(dw)/(dx)=G(x,u,v) u(0,μ)=v(0,μ)=v(1,μ)=0 本文讨论了产生空间对照结构时的渐近解构造,“啪”型内部层解位置的确定及给出了渐近解的误差估计。     

The convergence of the Rayleigh-Ritz Method in quantum chemistry

Two sufficient criteria for the convergence of the Rayleigh-Ritz Method (RRM) with respect to the eigenvalues (E-convergence) of non-relativistic electronic Hamiltonians of molecules are discussed and compared. Moreover, a necessary and sufficient criterion is given. By example (Sect. 9) it is shown that the L ²-completeness of the basis is not sufficient to guarantee E-convergence. The convergence of the wave functions in different norms (-convergence) is also investigated. In particular, sufficient conditions for the one-particle basis functions (orbitals) are given, such that a CI calculation in this basis is both E- and -convergent.     

The computation of the representation matrices of the generators of the unitary group

A method is presented for the efficient computation of the representation matrices of the unitary group, U(n) in the Gelfand—Tsetlin basis (corresponding to the usual spin-symmetry adapted basis for an N electron CI). The present scheme is conceptually and computationally attractive in that it is formulated directly in terms of Weyl tableaux and also that it permits simultaneous basis vector generation and matrix element evaluation. In addition the basis vectors are ordered so that subsequent restriction to the three dimensional rotation group is facilitated. An illustrative example is also presented.Taken in part from a thesis submitted to the University of London in partial fulfilment of the requirements for the degree of PhD.     

退火条件对LDPE空间电荷特性的影响研究

使用冷却速率不同的3种退火方法制备了不同微观形态的LDPE薄膜,对薄膜试品进行了显微观测,并运用傅立叶红外分析对3种试品的结晶度进行了比较,同时使用PEA空间电荷测量技术对不同电场下这3种试品的空间电荷分布进行了观测,并基于结晶度和微观形态对LDPE空间电荷特性做了讨论.研究结果表明施加电场撤压后,高速冷却试品比低速冷却试品和正常冷却试品积聚更多的空间电荷,而随着撤压时间的增加,低速冷却试品中积聚的空间电荷衰减得最快.