求解非对称线性方程组的 s-BiCR算法

在BiCR算法的基础上,提出了求解非对称线性方程组的s-BiCR算法。首先,给出了s-BiCR的基本计算框架,介绍了算法基本原理及参数求解方法;其次,通过分析s-BiCR中剩余向量与方向向量序列的基本性质,推导出减少参数求解计算量的方法,并在此基础上提出了一种更为高效的s-BiCR算法;最后,证明了s-BiCR的正确性,即在第i步产生的近似解与BiCR第is步产生的近似解是一致的,同时,通过性能分析发现,s-BiCR的同步通信次数与访存次数明显少于BiCR,说明该算法具有很好的并行特性和数据本地性。大量实验验证了s-BiCR的高效性和正确性。     

线性方程组二级迭代法的收敛速度

二级迭代法由内、外迭代和内迭代次数三部分组成。给出了线性方程组二级迭代法R1-收敛因子的一个上界,这个上界由内、外迭代的R1-收敛因子和内迭代次数所决定,其主部为外迭代的R1-收敛因子。在矩阵单调性条件下,对于任何内迭代方法和任意内迭代次数,证明了外迭代的R1-收敛因子也是二级迭代法R1-收敛因子的下界。所得结果反映了内、外迭代的收敛速度以及内迭代次数对于二级迭代法收敛速度的综合影响。     

利用单位矩阵求有解线性方程组

将n行m列矩阵A与n阶单位矩阵E联合组成一个矩阵(AE)。对矩阵(AE)的行施行初等变换变为矩阵(—AE)。可以看出：—A是距阵A施行该变换的结果；-E是矩阵E施行该变换的结果并且还有以下结论存在：     

基于非齐次线性方程组的认证协议的研究

认证技术是信息安全理论与技术的一个重要方面.认证技术主要包括用户认证和信息认证2个方面.前者用于鉴别用户身份,后者用于保证信息的真实来源.本文基于线性代数的方程组的解的理论建立了一种身份认证协议和一种消息认证协议.通过安全性分析结果表明这个新的身份认证协议能够保证用户身份的正确认证,新的信息认证协议能够保证数据的机密性、完整性,同时能够防止重传攻击认证信息来源.     

一类复变函数问题的统一解法

本文通过具体例子阐述了一类复变函数问题的统一解法,而且简单易行。     

推广的Vandermond 行列式之值不为零的证明

本文证明了在一定条件下,推广的Vandermond行列式之值不等于零。这个结论在证明常系数齐次线性递归关系的通解定理中有关键性的作用。     

基于渐进性的线性方程组教学设计的研究

针对线性方程组传统教学中的一些问题,给出了引入线性方程组、解线性方程组、分析解结构的渐进性三步教学设计,同时给出了maple求解线性方程组的两种方法,将理论与实践初步结合了起来,丰富了教学手段,激发了学生的学习兴趣。     

线性方程组迭代解法的另类矩阵形式

改进了线性方程组迭代解法的矩阵形式．以最简单的Jacobi迭代法的迭代矩阵为基础,只需经过简单的加减和数乘运算就可得到Seidel和SOR的迭代过程,使得算法新形式的求解过程数学意义非常明确,表达形式也非常简洁,这样不仅便于理解记忆,还非常有利于编程实现。改进后的矩阵迭代形式求解计算量为:Seidel需要大约n2次乘除法．SOR约为2n2次乘除法,且改进后的Seidel迭代法和SOR方法存储空间也较传统形式为少。