波动方程all-at-once系统的快速α循环绝对值预处理

为了加快预处理MINRES方法求解波动方程all-at-once系统的收敛速度,基于绝对值预处理子和块状三对角Toeplitz预处理子,提出一种新的α循环绝对值预处理子。理论上证明了预处理矩阵可近似分裂成正交矩阵与低秩矩阵的和,且其特征值聚集在±1附近,保证了预处理MINRES方法的快速收敛性质。数值实验结果进一步表明了新预处理子的有效性。     

求解鞍点问题的广义HSS移位分裂方法

提出一种新的矩阵分裂方法,即广义HSS移位分裂方法,用于求解大型稀疏线性方程组(即鞍点问题),其中系数矩阵具有非Hermite正定(1,1)块子矩阵.同时,通过理论分析证明了在一定条件下该方法收敛到方程组的唯一解.此外,也讨论了预处理矩阵的谱性质.     

求解一类复对称线性系统的优化的结构预处理子

针对一类复对称线性系统,提出一个优化的结构预处理子.当用于加速特定的Krylov子空间方法时,该预处理子可导出不依赖网格尺寸的稳定数值表现.理论分析了该预处理子的计算复杂性,并表明相应预处理矩阵的特征值是正实的且分布在[1/2+ε/2√1+ε2,1].数值结果验证了理论推导的正确性,并表明了该预处理子的有效性和稳定性.     

关于BCK代数的模型论性质

研究BCK代数的逻辑性质,对于形式化的BCK代数理论T,证明了在子模型和链连接下T是保存的;T既不具有完备性也不具有模型完备性,因此存在非构建的Skolem函数.另外,通过使用超滤子的概念以及所讨论的模糊理想的相应的性质,提出了超积BCK代数和BCK代数模糊子集的模糊超积.     

蕴涵格的正规MP滤子与素滤子

在蕴涵格上定义了MP-滤子、生成滤子、正规MP-滤子与素滤子的概念,研究了它们的特征性质,讨论了正规MP-滤子和MP-滤子之间的关系,得到正规MP-滤子是MP-滤子的结论,证明了蕴涵格的素滤子定理。它们是R0-代数或MV-代数上相应滤子的性质的共同特征。     

拓扑空间网导出滤子与对应滤子的等价性

对拓扑空间中的序列、网、滤子基和滤子的收敛性质进行了研究,证明了网收敛与网对应的滤子收敛是一致的,并证明了网导出滤子与对应滤子是完全一致的.     

一种全局收敛的线搜索滤子SQP方法

对于求解不等式约束优化问题,将线搜索和滤子方法相结合提出了一种新的线搜索滤子序列二次规划( filterSQP)方法.该方法克服了传统的SQP方法二次子问题不相容的困难,并利用滤子避免了罚函数的使用.同时在合理条件下证明了此方法具有全局收敛性质.     

求解H-矩阵线性方程组的预处理Gauss-Seidel方法

针对系数矩阵A为H-矩阵,为线性方程组Ax=b引入了两种形式的预处理矩阵I+-S和I+S^,给出了相应的预处理Gauss-Seidel方法.证明了若系数矩阵A为H-矩阵,则新的系数矩阵(I+-S)A和(I+S^)A仍是H-矩阵,并给出了相应预条件Gauss-Seidel方法的收敛性分析.通过数值算例验证了新的预处理迭代方法的收敛率比经典的Gauss-Seidel迭代法以及J.P.Milaszewicz提出的改进Gauss-Seidel迭代法更好.     

强剩余BCC-代数及其正规素滤子定理

作为各种非可换模糊逻辑代数的推广,引入剩余BCC-代数及强剩余BCC-代数的概念,研究了它们与psMTL-代数、pseudo-hoop等代数结构的关系.研究了剩余BCC-代数滤子的基本性质,建立了剩余BCC-代数的商代数理论;引入剩余BCC-代数的正规滤子概念,证明了强剩余BCC-代数的正规素滤子定理,从而拓广了相应逻辑代数滤子理论的已有结果.     

子半群与子酉半群

分类归纳子半群与子酉半群的关系，提出并证明了它们之间的某些重要性质。     

"非汉字符号"-Haar子空间的性质

引进1个新的L-Haar子空间,证明了当L为单位算子时, L-Haar子空间与通常的Haar子空间等价,给出了L-Haar子空间的1个性质定理.     

离散度量空间的秩一致ROE代数的理想

研究了离散度量空间上的秩一致ROE代数的理想结构同度量空间的粗几何性质的联系.对度量空间的每个子空间理想,构造了秩一致ROE代数的一个闭理想.证明了若度量空间具有G.YU提出的"性质A",则秩一致ROE代数的每个闭理想都可以由唯一的子空间理想具体构造出来.     

一种多项式预处理算法

基于二次函数的性质, 针对对称正定线性方程组, 提出一种多次多项式预处理算法, 并证明了该算法能有效改善条件数, 提高运算效率. 在此基础上, 设计一种求方程组近似解的方法, 数值实验结果表明了算法的有效性.     

L-Fuzzy闭包空间与其乘积空间

本文引入 L-Fuzzy闭包空间的远域、基和子基等概念,山此讨论了 L-Fuzzy闭包空间与其乘积空间的一些重要性质.在 L-Fuzzy 闭包空间的情形,证明了不附加任何条件乘积算子与闭包算子可交换,从而推广了 L-Fuzzy 拓扑空间中的相应结果.     

三项预处理共轭梯度法与信赖域子问题

信赖域方法是解无约束优化问题的有效的和可靠的方法,共轭梯度法由于不需要矩阵计算和存贮,成了解问题的首选方法,在本文中,我们提出了信赖域子问题的三项预处理共轭梯度法,并将这个方法嵌入解大型最优化问题的信赖域算法中,文章讨论了方法的特性,证明了方法的总体收敛性质,并给出了有限的数值试验。     

极大并滤子及其相关性质

在极大滤子定义基础上引入极大并滤子概念,进而给出分配格的一个新的内部刻画,并证明了其存在性定理.最后,讨论了Heyting代数中极大并滤子及其相关性质.     

半环的近理想

通过对半环的子半环所满足的条件进行加强,提出了半环的近理想的概念.讨论了半环近理想的基本性质,得到了一些相关的结论.最后证明了半域上的矩阵半环是一个近单半环.     

（A,B）不变子空间的结构研究及应用

本文从最小分解的角度来研究(A,B)不变子空间的结构.首次定义了线性系统的(A,B)根子空间,给出了构造这类子空间的方法,证明了任何一个(A,B)不变子空间都能分解成一些(A,B)根子空间的直和,从而得到了(A,B)不变子空间与A 不变子空间相应的几何性质.对(A,B)不变子空间来说,这种分解可能不唯一,本文给出了存在唯一分解的充分必要条件.利用此分解式给出了可配置特征结构的充分必要条件.     

关于收敛级数的子级数和集性质的讨论

主要讨论了收敛级数的子级数和集的结构,得到了绝对收敛的子级数和集的一些有价值的性质,并首次给出了它的构造性证明.这是正项级数的一些性质推广和完善,作为和集性质的一个应用,证明了(0, 1]数的二进制无穷表示是惟一的.     

模糊群的子模糊群和正规子模糊群

设G为在模糊二元运算下的模糊群 .给出了G的子模糊群和正规子模糊群的定义 .讨论子模糊群和正规子模糊群的一些性质 .证明了子模糊群的交为子模糊群 ,子模糊群与正规子模糊群的“积”为子模糊群 .