大型稀疏线性方程组的新型预条件算法研究

来源 :中国科学院大学 | 被引量 : 0次 | 上传用户:yuanjian2009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本论文意图为大规模非对称的线性方程组Ax=b并行求解器提供一个兼顾高可扩展性和高逼近精度的新型预条件子核心部件,称之为LST类预条件子,其基于系数矩阵的对称部分而形成,算法构造依托于权重连通图及相关联的Laplacian矩阵和广义逆矩阵。LST类预条件子的算法构造基于两个理论系统,其一为分解理论,主要解决新型预条件子的高可扩展性;其二为近似理论,主要解决新型预条件子的高逼近精度。  LST类预条件子的并行程序实现尽力地保持了权重连通图的局部特性,该特性一方面由聚类形的局地表达方式体现,以Cheeger值和Cheeger常数作为度量函数;另一方面由骨架形的主干路表达方式体现,以均值Stretch值和均值Stretch常数作为度量函数。  LST类预条件子高逼近精度的程序实现尽力地近似了原系数矩阵对应的权重连通图的广义条件数和谱分布,其逼近精度的度量和控制主要采用了两种模式:其一是矩阵A和B之间的谱范数逼近,通过引入广义条件数来实现;其二是矩阵A和B之间的Frobenius范数逼近,通过特征值的和(迹算子)之间的逼近进行实现。新型预条件子对应于权重连通图的谱稀疏化子图,稀疏化子图与原图之间的逼近由迹算子的逼近进行度量,它又归结为以均值Stretch值/均值Stretch常数为测度的逼近度量。  LST类预条件子的程序实现有三个核心算法模块,其一是权重连通图的局部特性保持的算法模块,据此得到系统矩阵的大尺度聚类剖分和中小尺度区域分解;其二是权重连通图的谱稀疏化子图算法与(过)抽样算法模块,其有效利用了大规模集成电路网格的等效电路原理与有效电阻概念,将预条件子与系数矩阵之间的逼近问题转化为广义逆矩阵之间的逼近问题,利用(过)抽样算法的不等式约束手段,得到了近似线性时间开销的高逼近精度的稀疏广义逆,从而得到了高逼近精度的谱稀疏化子图的快速构造算法;其三是Low stretch生成树(LST)模块,它利用分层递进式的Petal-分解策略、分级逐层地渐进式地构造了权重连通图的Low stretch生成树,从而将连通图的全局特性与局地特性有效地融合起来,并为谱稀疏化子图的形成提供了骨架式的主干路,该模块因此而成为新型预处理算法的基础算法模块。  本论文基于通信极小化的图剖分算法、具有(ε)-approx逼近精度的谱稀疏化子图算法、基于Petal-分解的Low stretch生成树算法等构造理论与算法实现,对新型的LST类预条件子进行了系统地理论分析与算法研究,由此给出了求解非对称线性方程组的高可扩展高计算精度的预条件子的核心算法组件;在程序设计和算法实现的基础上,本文利用理论算例、数值算例和应用算例,对LST类预条件子的剖分效果、逼近效果、聚类质量、谱分布效果、求解器加速效果等进行了定性和定量的数值试验与数值分析。  本论文在LST类预条件子的算法构造过程中,系统性的研究了将分解理论与近似理论有机融合的预处理算法构造理论,有效地构建了将聚类形的局地表达方式与骨架形的全局表达方式融合在一起的谱稀疏化子图算法及其程序,充分地使用了分层递进式Petal分解和Low stretch生成树在大尺度聚类剖分中的通信极小化特性,从而得到了兼顾高可扩展性和高逼近精度的新型预条件子。上述的理论研究和算法实现构成了本论文的创新性工作。
其他文献
该文主要围绕网络性能测试、网络传输模型分析、代理签名做了一些研究工作.网络测试是保证网络高性能、高可靠性和高可用率的基本手段,它在IP网络建设和发展中的重要意义正得
该文研究的目标是实现Apla-Java可重用部件库的并行(并发)机制.Apla-Java可重用部件库是PAR方法开发工具的重要组成部分.探索并实现可重用部件库的并行(并发)机制是PAR方法的
基于组件的软件工程的主要思想是使用已有的组件去构建一个大的软件系统。通过增强系统的灵活性和易维护性,使用这种开发方式能降低软件开发成本、快速集成系统、减少维护负担
并发数据结构可以支持多线程并发访问。为了支持并发的访问,并发数据结构必须具有协调同时来自不同线程的读、写请求的能力。如何对并发数据结构进行测试是近些年的一个被不断
混沌动力学和分形学是非线性科学理论中的两个重要组成部分.是当前的非线性理论的一大研究热点和前沿课题,在许多领域都取得了很好的应用.混沌分形理论的研究和应用都离不开
随着科学研究与工程技术的不断发展,出现了许多大型复杂结构的力学分析问题。基于有限元方法的轮轨系统动力学理论就是一种较为复杂的数值计算问题,其复杂性主要表现在自由度多
校园网络是高等学校现代化建设的最主要的基础设施,是衡量一个学校是否具备现代型高校的必要条件,因此,校园信息化建设在整个校园建设中占有十分重要的地位。本文就怎样建立一个
学位
当前,数据仓库技术在为企业提供经营决策分析中得到了越来越多的应用,数据仓库通过将数据从业务系统中抽取出来,按照主题进行组织,为企业提供统一的分析数据平台.在数据仓库
近年来,随着网络化和智能化趋势的发展,人类的应用迅速朝着高性能、多样性、多功能发展,许多大规模的科学计算不仅仅需要一台高性能计算机,它还更需要由多种机器组成、多个系统合