入侵检测中的报文交换

阐述了入侵检测中报文交换的产生背景与功能要求，探讨并分析了此领域中的相关技术与进展，包括通用入侵检测框架中的通用事件描述语言，以及IETF入侵检测工作组在这方面的工作：入侵检测报文交换格式(IDMEF)、入侵警报协议、入侵检测交换协议(IDXP)．最后就报文交换方面的未来趋势作出预测．     

一类Wolfe搜索下的共轭梯度法及其全局收敛性

构造一个新的求解无约束优化问题的非线性共轭梯度公式中βk参数的计算公式,采用该公式得到Wolfe非精确线搜索的新算法,并证明新算法具有全局收敛性,并用数值实验验证新算法是有效的.     

线性互补问题的并行多分裂松弛迭代算法

运用矩阵多重分裂理论,同时考虑并行计算与松弛迭代法,得到一类求解线性互补问题的高效数值算法．当问题的系数矩阵为对角元为正的H-矩阵或对称半正定矩阵时,证明了算法的全局收敛性；该算法与已有算法相比,具有计算量小、计算速度快等特点,因而特别适于求解大规模问题．数值试验的结果说明了算法的有效性．     

二次Lagrangian有限元方程的几何多重网格法

为了构造快速求解二次Lagrangian有限元方程的几何多重网格法,在选择二次Lagrangian有限元空间和一系列线性Lagrangian有限元空间分别作为最细网格层和其余粗网格层以及构造一种新限制算子的基础上,提出了一种新的几何多重网格法,并对它的计算量进行了估计.数值实验结果,与通常的几何多重网格法和AMG01法相比,表明了新算法计算量少且稳健性强.     

求解二次Lagrangian有限元方程的代数两水平方法

基于矩阵图集的粗化算法,构造一种新的插值算子,提出了瀑布型代数两重网格法;然后结合部分几何信息,提出了求解二次Lagrangian有限元方程的代数两水平方法.数值实验表明该算法稳健性强、计算量更少.     

L^2-ERROR OF EXTRAPOLATION CASCADIC MULTIGRID （EXCMG）

Based on an asymptotic expansion of finite element, an extrapolation cascadic multigrid method （EXCMG） is proposed, in which the new extrapolation and quadratic interpolation are used to provide a better initial value on refined grid. In the case of multiple grids, both superconvergence error in H^1-norm and the optimal error in l2-norm are analyzed. The numerical experiment shows the advantage of EXCMG in comparison with CMG.     

求解特征值问题的复合式外推两网格方法

两网格方法与外推方法是求解偏微分方程的有效数值方法.将两网格方法与外推方法结合,构造了一类求解特征值问题的复合式外推两网格方法,可以得到更高精度的求解.数值实验验证了算法的有效性.     

求解带Toeplitz矩阵的线性互补问题的一类预处理模系矩阵分裂迭代法

针对系数矩阵为对称正定Toeplitz矩阵的线性互补问题,本文提出了一类预处理模系矩阵分裂迭代方法.先通过变量替换将线性互补问题转化为一类非线性方程组,然后选取Strang或T.Chan循环矩阵作为预优矩阵,利用共轭梯度法进行求解.我们分析了该方法的收敛性.数值实验表明,该方法是高效可行的.     

一类新的瀑布型代数多重网格方法

对瀑布型多重网格(CMG)法和代数多重网格(AMG)法进行组合,提出一种新的求解二维椭圆型边值问题的瀑布型代数多重网格(CAMG)法,并进行数值实验.结果表明,CAMG法所得解的误差小于10-6,并且每层的迭代次数都少于AMG法,特别在最细层上的迭代次数远远少于AMG法.CAMG法是收敛,高效的迭代算法.