含有p-Laplacian算子的非齐次边值问题正解的存在性

研究非齐次边界条件下，含有p-Laplacian算子的微分方程的可解性，在Banach空间中应用Krasnoselskii不动点定理，得到了边值问题正解存在性结果。     

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

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

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

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

基于齐次坐标的微动建模与微多普勒特征分析

针对目标微动数学模型表达不统一的问题,引入计算机图形学中的齐次坐标表示方法,给出了三维坐标系和旋转变换的齐次变换矩阵描述,推导了自旋、锥旋、进动和章动目标微动模型的通用矩阵表达.并分析了目标回波频移的组成,得到了微多普勒的理论表达式.微动回波Gabor变换时频图与微多普勒理论值的仿真结果表明,通用的矩阵表达可以简明且准确地描述目标的微动.     

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

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

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

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

非齐次边值问题解的存在性

研究非齐次边界条件下,含有p—Laplacian算子的微分方程解的存在性,应用上下解方法,得到边值问题可解性的充分条件．     

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

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