一种基于类IBE系统的身份认证体系研究

基于开放性网络的公共基础设施, 安全问题的传统解决方案成本高、机构复杂繁琐. 针对G2C电子政务的安全问题, 提出以基于类IBE系统的密钥分发中心KDC为核心的身份认证体系, 并阐述了基于身份数字签名的基本原理以及相对于RSA签名算法的优势.     

非协调有限元与本征值下界

与协调有限元相比,非协调有限元常常给出本征值下界.这种现象已经由很多数值例子观察到.但是理论上的证明最近才做的更多.以Morley非协调元作为更简单的范例,来说明这种理论为何成功.     

三维区域上Qrot1元的渐近展开及外推

本文研究了正方体区域上Qrot1非协调元渐近展开式.利用林群、吕涛等提出的有限元误差渐近展开法,获得了正方体区域上Qrot1非协调元特征值的误差渐近展开式.理论分析和数值实验结果表明三维Qrot1非协渊元特征值外推公式是有效的,可以把特征值的精度从二阶提高到四阶.     

本征值有限元近似的一个抽象误差估计式

设T：LZ（fi）MLZ（fi）是自共轭全连续算子，SgCLZ（fi）是分片。次有限元空间，几：LZ、St是有限秩自共轭算子，IITh-Tllo、0（h、0）．考虑本征值问题：及其近似用（·，·）和DD·D【。·分别表示h（m中内积和范数·ID·卜F表示w认｝（m中范数，简记D卜队。为D卜卜·因为T自共轭全连续，所以它有可数无穷个本征值h，人，...人，...．其相应的本征函数（2丹构成完全标准直交系，所以VZELZ（m设几的本征值为A。l，汕。，...，汕n，相应的本征函数为如山，卜则。二1·不失一般性，可EitL。设tik一大干二＞，E是到Ah对应的本…     

Wilson元特征值下逼近准确特征值

该文讨论矩形域上Laplace算子特征值问题有限元近似.证明了Wilson非协调有限元特征值下逼近准确特征值,从而解决了有限元法中长期存在的一个猜想.     

本征值有限元外推的一个新技术

林群等的工作奠定了本征值有限元外推的基础,建立了最基本、最重要的外推格式(称为标准格式)。在他们工作的基础上,本文提出了一个实施标准格式的新技术(称为变式),作了初步的理论分析和数值实验,结果是令人满意的。     

基于PVM的m-Step Jacobi PCG方法网上并行求解有限元方程

针对基于PVM的桌面PC机联网而成的网络并行计算环境中,处理机的运算速度较快而处理机间的通信相对较慢,以及微机的内存有限的实际情况,从实用的角度出发,给出了基于PVM的网上求解有限元方程组的并行m-Step Jacob i PCG方法,该算法的矩阵和向量采用行元素相邻单元贡献法实现有限元总体刚度矩阵和荷载向量的并行计算与组装,分块储存在各处理机上,其处理机间通信较少。并在1-4台桌面PC机连接成的局域网,PVM3.4 on W indow2000,VC 6.0并行计算平台上编程对该算法进行了数值试验,得到了较理想的结果。     

两点边值问题有限元解的校正方法

本文提出了插值校正和亏损校正方法,这些方法可用来改善有限元解的精度阶。     

改进的强跟踪UKF算法及其在INS/GPS组合导航中的应用

针对标准UKF缺乏对系统状态异常的自适应调整能力,导致滤波精度降低的问题,提出一种改进的强跟踪UKF算法。该算法采用假设检验的方法对异常状态进行检测,当系统状态发生异常时,对预测协方差阵引入次优渐消因子自适应的调整滤波增益,实现对系统真实状态的强跟踪。该算法中次优渐消因子的确定无需计算系统模型的雅克比矩阵,提高了传统强跟踪UKF的实用性。将提出的算法应用于INS/GPS组合导航系统进行仿真验证,并与标准UKF进行比较,结果表明,在系统状态存在异常时,提出的带单重次优渐消因子的强跟踪UKF得到的东向、北向位置误差在[-13.7 m,14.9 m]以内,带多重次优渐消因子的强跟踪UKF得到的东向、北向位置误差在[-10.0 m,12.1 m]以内,滤波性能明显优于标准UKF,提高了组合导航系统的解算精度。