Banach空间中有限族非扩张映象隐迭代程序的收敛性

在Banach空间的框架下，研究了有限族非扩张映象隐迭代程序的收敛性，其结果不仅改进和发展了最新的有关结果，而且也肯定地回答了Xu提出的一个公开问题。     

半参数模型约束条件下估计量的统计诊断

利用最小惩罚二乘原理构造加权惩罚平方和，导出了约束条件下，半参数模型中正规化矩阵正定时半参数平差的计算方法，用直接法得到了参数和半参数的估计量，并将此方法引入测绘领域，给出了相应的公式。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

关于点变差函数的某些性质

设ｆ（ｘ）为定义于区间Ⅰ（有限或无限）上的有限实函数。任给实数δ＞０，ｘ∈０，∈Ｉ，Ｖ＾Ｘ＋δＸ－δ（ｆ）表示ｆ（ｘ）在［ｘ－δ，ｘ＋δ］上之全变差。     

超幂零根环类的另一种模刻划

本文对Ｓｚａｓｚ，Ｆ．Ａ提出了的“找出超幂零根环类的一个模刻划”问题给出了一个不同于文献「２，３」的解法。     

最小二乘解存在的充分必要条件

本文提出了当观测值的权矩阵为正定或半正定的前提下，其最小二乘解存在的充分必要条件为并以间接平差为例验证了该结论的正确性。     

同构问题的关联矩阵亚字典排序判别法

通过研究关联矩阵行列变换对两图同构性的影响情况，定义了关联矩阵的亚字典排序，探讨了关联矩阵亚字典排序的唯一性及两图同构的一个充要条件。最后给出一个通过对关联矩阵的亚字典排序，判定两图是否同构的有效算法。     

关于简化Newton方法收敛性的注记

在假设算子方程解存在的前提下,给出了以解为中心的一个球域,证明了当初始点落到这个球域时,用于判断简化Newton方法收敛性的Kantorovich定理的条件必然满足,从而由简化Newton方法产生的迭代序列收敛.     

NURBS曲线半正交小波分解的Gauss算法

在多分辨率曲线和曲面造型中,B样条小波已经得到广泛应用 为了进行小波分解,通常要解一个线性方程组或者求矩阵的逆 如果曲线比较复杂,控制点较多 (例如:数千个以上 ),则矩阵的阶数就会很大,所需的内存将难以容忍,小波分解的速度也会受到很大影响 本文根据B样条小波的综合滤波器的特点,给出了GaussB样条半正交小波的快速分解算法