收藏本站
《华东师范大学》 2008年
收藏 | 手机打开
二维码
手机客户端打开本文

并行符号算法若干问题的研究与应用

陈良育  
【摘要】: 符号计算是数学和计算机领域融合产生的一个新的交叉学科,主要利用计算机严格处理准确的数学运算,没有舍入误差,因此在许多领域有着非常重要的应用。由于准确计算需要耗费大量内存和ICPU运算的缘故,符号计算关于复杂问题的计算效率一直不能满足实用要求,主要表现为计算速度慢和中间表达式膨胀两个问题,严重阻碍问题的求解。另一方面,随着计算机软硬件普及和技术水平的日益提升,并行计算已经成为高性能计算的核心力量。利用集群计算机中多个处理器协同工作的计算优势,并行计算不仅可以大幅度加快问题的求解速度,而且可以平衡计算过程中内存负载。因此,如何将并行计算引入到符号计算过程中,既能发挥并行计算的优势,又能推广符号计算的应用领域,这是目前在符号计算和高性能计算领域里的一个非常重要的问题。 本文立足于并行计算和符号计算的基础上,主要讨论符号计算中若干个问题以及并行化解决方法的研究。本文主要的工作包含以下五点: (1).多项式矩阵行列式展开是符号计算中一个很基础的数学运算。我们讨论了将多项式行列式展开转化为多项式插值的方法。利用多项式插值的思想,将繁杂的行列式展开问题,转化为大量的数值插值点计算和解线性方程组两个步骤。由于计算量很大,特将并行计算引入整个计算过程。首先在插值点计算上,由于需要计算的插值点很多,可以在多个处理器上并行计算插值点,最后将所有的插值点汇总起来。并行计算采用粗粒度方式,每个处理器独立计算自己的插值点,只需要很少的消息传递。在线性方程组求解上,扩展了两个变元的Bjorck-Perevra方法,并且将计算中重点运算部份分配到多个节点同时进行。将原有的文献[135]的Bjorck-Pereyra方法的复杂程度下降到O(r~(n+1)/nc)。通过计算机代数系统MAPLE程序语言实现了以上并行行列式展开方法,并对若干个实际例子进行验证,结果是非常有效的。并行计算不仅加快插值点的求值计算,而且平衡了单个机器过高的内存负载,有效克服了中间表达式膨胀的问题。 (2).不等式的证明一直是个比较困难的问题。我们讨论了差分代换方法。差分代换方法使用起来非常简单,但是却能够非常有效证明许多不平凡的不等式。对于某些次数较高或者变元较多的不等式,其它不等式证明的方法几乎都无法求解,而差分代换却能够化繁为简,利用简单多项式合并和化简步骤就可以证明不等式。而且整个证明过程是可读的,容易被读者理解和验证。在连续差分代换方法的基础上,结合并行计算技术,将差分代换所产生的大量分支不等式分散到多个计算节点上,每个节点独立计算,并将结果汇总到一起,完成整个不等式的证明。通过若干个实际例子证明了并行差分代换方法是非常有效的,不仅加快了计算求解速度,而且还能将计算过程中大多项式所引起的内存消耗峰值平均分配到多个计算节点上,充分克服了符号计算中内存瓶颈的问题,使得求解更加迅速,且延扩了串行差分代换所证明的不等式范围。 (3).差分代换方法的进一步讨论。我们讨论了基于差分代换方法证明的不等式所组成的集合的拓扑结构,证明了这个集合是一个有限生成锥,并且给出一个实用算法用来计算锥的端点。通过连续差分代换,可以对这个锥进行了扩展,使之能够证明更多的不等式。我们还比较差分代换和Schur分拆两种不等式证明方法进行比较,证明了能够被Schur分拆证明的不等式同样可以用差分代换方法来证明,这表明差分代换方法在不等式证明部分可以替代Schur分拆方法。 (4).Heilbronn七点问题。Heilbronn问题是离散组合几何中一个经典的问题,其中七点的Heilbronn问题到目前为止还没有一个满意的解决方法。我们给出了一个合理的解决方法。首先利用蒙特卡罗随机搜索方法,在单位正方形内随意放入七个点后,进行最优化搜索,利用Matlab自带的非线性规划求解得到的结果是目前为止最好的。虽然随机搜索随意性很大,但是经过大量重复的取值后,在某种程度上弥补了结果的随机性。这种随机搜索的方法原理简单,可以推广到其它离散几何问题。接着,利用数值计算和符号计算等工具证明这个结果是最优的。根据H_5,H_6等已知结果,将H7分成两个大类十五个小类分别进行讨论,将最终问题转化为456427个非线性问题求解问题。利用数值计算软件Matlab产生非线性问题的基本条件,然后结合符号计算中GrSbner基、区间代数等多种方法,求出非线性问题的形式实解。由于非线性问题个数高达几十万个,计算量很大,所以采用并行计算策略,在多个计算节点上并发计算,加快问题的求解。由于方程的次数较高,我们的最优结果是以区间表示的形式实解。 (5).计算机代数软件是符号计算的最重要的研究基础。如何高效利用这些计算机代数软件在集群计算机的基础上协同工作提升符号计算效率,是一个非常重要的问题。集群环境下计算机代数软件协同工作需要两个基础:集群管理软件和合适的数学表达式表示方法。首先讨论了集群管理软件SGE和并行消息通讯库MPI,分析它们在并行计算和任务管理调度方面的特性。然后描述了数学表达式在计算机中合理表示的多种方法,分析了它们相应的优缺点。最后在详细分析异构的计算机代数系统之间通讯调用机制的基础上,提出了一种高性能计算机代数环境HHPCAS,综合多种现有的多种计算机代数软件,结合集群管理软件和并行环境,可以提供高性能计算的计算机代数计算环境,并且通过一个并行差分代换的实例证明HHPCAS的准确性和高效性。 通过对四个典型问题的并行化解决方法研究,充分将并行计算和符号计算结合起来,利用并行计算的并发特点,加速符号计算的求解。同时将符号计算中巨大的数学对象分配到多个计算节点上,平衡内存消耗峰值,克服中间表达式膨胀问题。而且经过一系列实验表明,并行计算能够有效加快符号计算的计算速度,扩大符号计算的求解范围,对符号计算的发展是非常有益的。
【学位授予单位】:华东师范大学
【学位级别】:博士
【学位授予年份】:2008
【分类号】:O246

【引证文献】
中国期刊全文数据库 前1条
1 何怡芝;;并行算法性能简析[J];电子设计工程;2012年11期
【参考文献】
中国期刊全文数据库 前10条
1 杜家堡;一个Heilbronn型问题的下界[J];湖南教育学院学报;1995年05期
2 杨路,张景中,李传中;一类构造性几何定理并行数值检验证明机(英文)[J];广州大学学报(自然科学版);2002年03期
3 杨路;计算机怎样证明几何不等式[J];广州大学学报(自然科学版);2004年02期
4 田正平;用数学软件研究Heilbronn型问题[J];杭州师范学院学报(自然科学版);2003年04期
5 杨路;姚勇;冯勇;;Tarski模型外的一类机器可判定问题[J];中国科学(A辑:数学);2007年05期
6 冯勇,陈光喜,符红光,曾振柄;基于Linux下的高性能符号计算平台的实现[J];计算机工程与应用;2003年15期
7 王庆先;孙世新;尚明生;刘宴兵;;并行计算模型研究[J];计算机科学;2004年09期
8 潘斌;郭红霞;;几何定理并行验证算法研究[J];计算机工程;2007年01期
9 杨路,夏时洪;一类构造性几何不等式的机器证明[J];计算机学报;2003年07期
10 李耀辉;冯勇;薛继伟;;基于多变元插值算法计算Dixon多项式[J];四川大学学报(自然科学版);2006年03期
【共引文献】
中国期刊全文数据库 前10条
1 李平先,毕苏萍;对称配筋小偏心受压构件的截面设计[J];四川建筑科学研究;2004年02期
2 朱广化;半正定矩阵迹的两个不等式[J];安徽教育学院学报;2004年06期
3 陈征;;一类系统的二次李雅普诺夫函数存在性的判断[J];安徽电子信息职业技术学院学报;2006年04期
4 王吉华,袁翔,孙梅霞;神经网络方法在计算蔗糖溶液粘度值中的应用[J];安徽农业科学;2003年02期
5 何芝仙,李华凯,吴善初;有间隙的机械系统自激振动分析—加权平均法[J];安徽师范大学学报(自然科学版);2004年03期
6 黄荣华;一种用迭代法求一元二次方程的根及收敛情况[J];安庆师范学院学报(自然科学版);2002年02期
7 严利人,李瑞伟,徐春林;一个集成电路工艺诊断实例[J];半导体学报;2003年12期
8 孙福伟,薛清波,陈德庄;样条函数方法在隧道工程问题中的应用[J];北方工业大学学报;1992年03期
9 胡玉;;常德市酸雨化学特征、趋势分析及控制对策[J];环境科学与管理;2008年08期
10 李士松,高荫峰,潘文军;考虑阻尼非线性的汽车平顺性预测[J];北方交通大学学报;1997年04期
中国重要会议论文全文数据库 前10条
1 李美芹;张双喜;许冬梅;刘翠娜;;不同类型散热器流量变化对散热量的影响[A];中国建筑学会建筑热能动力分会第十七届学术交流大会暨第八届理事会第一次全会论文集[C];2011年
2 冯俊娥;崔鹏;;线性奇异时滞系统的干扰解耦[A];第二十六届中国控制会议论文集[C];2007年
3 何冠男;王龙;夏壁灿;郁文生;;比利时巧克力系统的低阶控制器设计[A];第二十六届中国控制会议论文集[C];2007年
4 陈联裙;张群;张锦水;潘耀忠;;实割实测数据支持下的县级尺度冬小麦产量遥感估测[A];全国农业遥感技术研讨会论文集[C];2009年
5 刘福平;杨长春;;孔隙度敏感系数的数值计算[A];中国科学院地质与地球物理研究所二○○三学术论文汇编·第四卷(油气资源)[C];2003年
6 刘庆恒;王巨丰;覃丙川;郭奕亿;;非线性动态电路的数值解法[A];广西电机工程学会第七届青年学术交流会论文集[C];2002年
7 刘志强;;电线应力状态方程式的一种解法[A];“电力大系统灾变防治和经济运行重大课题”部分专题暨第九届全国电工数学学术年会论文集[C];2003年
8 王东;Feroza Begum;曹帆;王镜清;波平宜敬;邹念育;;基于方形光子晶体光纤的拉曼放大器的特性研究[A];2009通信理论与技术新发展——第十四届全国青年通信学术会议论文集[C];2009年
9 蒋振新;丁桂甫;杨春生;张永华;;一种新型MEMS共面波导传输线的理论研究[A];2003'全国微波毫米波会议论文集[C];2003年
10 张扬;周正军;;层冷传热模型参数的优化[A];2009年全国热轧板带生产技术交流会论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 谷海峰;密度锁内水力特性的研究[D];哈尔滨工程大学;2009年
2 谭林;基于动力指纹的结构损伤识别可靠度方法研究[D];华南理工大学;2010年
3 叶征;平面几何的动态可视证明研究[D];浙江大学;2010年
4 套格图桑;论非线性发展方程求解中辅助方程法的历史演进[D];内蒙古师范大学;2011年
5 陶司兴;李超代数与非线性演化方程族的研究[D];上海大学;2011年
6 佟铁钢;E-Hz广域电磁方法研究[D];中南大学;2010年
7 刘文军;利用符号计算解析研究光脉冲相互作用的若干问题[D];北京邮电大学;2011年
8 许韬;符号计算与若干非线性发展方程的解析研究[D];北京邮电大学;2011年
9 华春蓉;内燃机曲轴角振动模态识别方法的研究及应用[D];西南交通大学;2011年
10 吴玉国;冷热原油顺序输送技术研究[D];中国石油大学;2010年
中国硕士学位论文全文数据库 前10条
1 丁凯;基于随机模型的IGS台站高精度解算及其时间序列分析[D];山东科技大学;2010年
2 李国一;自动杀青理条机传动机构的创新设计与动态仿真[D];浙江理工大学;2010年
3 陈娟;水下爆炸冲击载荷的SPH算法研究[D];哈尔滨工程大学;2010年
4 王大治;单点锚泊系统动力学建模仿真与姿态控制研究[D];哈尔滨工程大学;2010年
5 朱碧春;大型舰船在补给过程中的操纵性[D];哈尔滨工程大学;2010年
6 刘禹;内河破冰船艏部型式研究[D];哈尔滨工程大学;2010年
7 包世萍;套装式机器人设计与实验研究[D];哈尔滨工程大学;2010年
8 孙靖;水下机器人状态反馈广义预测解耦控制技术研究[D];哈尔滨工程大学;2010年
9 段桂茹;“战斧”导弹拦截模拟训练系统火炮建模与仿真[D];沈阳理工大学;2010年
10 李旭鸣;煤矿排水系统在线监测变频控制系统研究[D];河北工程大学;2010年
【同被引文献】
中国期刊全文数据库 前1条
1 于泽德;;基于SIMD-MC~2的并行FFT算法[J];现代计算机(专业版);2008年10期
中国重要报纸全文数据库 前1条
1 陈文光;[N];中国电子报;2008年
中国硕士学位论文全文数据库 前1条
1 文剑;并行计算平台的建立及性能分析[D];广东工业大学;2007年
【二级参考文献】
中国期刊全文数据库 前10条
1 黄伟民,陆鑫达,曾国荪;异构BSP模型及其通信协议[J];电子学报;2000年08期
2 杨路,张景中,李传中;一类构造性几何定理并行数值检验证明机(英文)[J];广州大学学报(自然科学版);2002年03期
3 陶志穗;孙健玲;;Heilbronn问题的一些结果及其推广[J];华南理工大学学报(自然科学版);1993年03期
4 陶志穗,蔡俊杰;Heilbronn问题的一个新结果[J];华南理工大学学报(自然科学版);1996年06期
5 田正平;一个Heilbron型问题的渐近估计[J];杭州师范学院学报;1996年03期
6 田正平;Heilbronn型问题上界的改进[J];杭州师范学院学报;1997年03期
7 吴文俊;初等几何判定问题与机械化证明[J];中国科学;1977年06期
8 洪加威;近似计算有效位数的增长不超过几何级数[J];中国科学(A辑 数学 物理学 天文学 技术科学);1986年03期
9 洪加威;能用例证法来证明几何定理吗?[J];中国科学(A辑 数学 物理学 天文学 技术科学);1986年03期
10 张景中;杨路;侯晓荣;;代数方程组相关性的一个判准及其在定理机器证明中的应用[J];中国科学(A辑 数学 物理学 天文学 技术科学);1993年10期
【相似文献】
中国期刊全文数据库 前10条
1 买买提明.艾尼;陈大勇;;微机群并行计算机在工程中的计算性能及基准测试研究[J];新疆大学学报(自然科学版);2007年02期
2 张林;笪良龙;范培勤;;基于MPI+OpenMP混合编程模型的水声传播并行算法[J];微电子学与计算机;2011年08期
3 肖华东;陆洋;;球谐分析及合成并行计算[J];测绘科学;2007年01期
4 章曙雯;;二重积分在积分不等式证明中的应用[J];中国水运(理论版);2006年05期
5 张俊;;齐次化在不等式证明中的应用[J];数学通讯;2009年05期
6 罗亮;彭轩娣;;一道高考不等式试题的另证与推广[J];数学通讯;2010年22期
7 贾太珍;数形结合在不等式证明中的应用[J];数学通讯;1998年12期
8 布仁;;克莱姆法则在不等式证明中的一个应用[J];高等数学研究;2006年01期
9 李永耀;;倒数和不等式的几个结论[J];科技资讯;2006年05期
10 赵云龙;不等式证明的几种常见类型及方法[J];天津教育;1995年02期
中国重要会议论文全文数据库 前10条
1 姜弘道;余天堂;;有限元并行分析的进展——第九届全国结构工程学术会议特邀报告[A];第九届全国结构工程学术会议论文集第Ⅰ卷[C];2000年
2 杨晓云;马永利;齐丽萍;;应用并行和集群技术提高地震处理性能[A];第十八届中国(天津)’2004IT、网络、信息技术、电子、仪器仪表创新学术会议论文集[C];2004年
3 李焱;胡祥云;吴桂桔;廖国忠;;基于MPI的三维大地电磁正反演的并行算法研究[A];中国地球物理2010——中国地球物理学会第二十六届年会、中国地震学会第十三次学术大会论文集[C];2010年
4 许丽;周南;徐泳;;基于MPI的二维稳态温度场并行计算[A];北京力学会第18届学术年会论文集[C];2012年
5 陈连荣;彭朝晖;;高斯射线声场模型在MPI环境下的并行算法设计[A];中国声学学会水声学分会2011年全国水声学学术会议论文集[C];2011年
6 王攀峰;杜云飞;周海芳;杨学军;;面向大规模MPI程序的应用级checkpointing技术[A];第15届全国信息存储技术学术会议论文集[C];2008年
7 刘鹏茂;柳建新;刘文劼;杨杰;周安发;;基于MPI大地电磁二维正则化反演并行算法研究[A];中国地球物理学会第二十七届年会论文集[C];2011年
8 唐锦春;姚坚;;工程结构分析中的并行计算方法[A];第三届全国结构工程学术会议论文集(上)[C];1994年
9 姜咏江;;内存分块并行计算机研究[A];2005年全国开放式分布与并行计算学术会议论文集[C];2005年
10 王恩柱;刘晓平;;一个可视化并行程序开发平台的实现[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(上册)[C];2006年
中国重要报纸全文数据库 前10条
1 赵毅;追赶世界计算机技术的六三一所[N];中国航空报;2001年
2 安世亚太 雷先华;ANSYS高性能并行计算[N];中国航空报;2005年
3 本报记者 赵波 本报特约记者 刘程 本报通讯员 章立丁;一位巾帼学者的无悔征程[N];解放军报;2005年
4 石家庄市第二中学高级教师 杨帆 何智宇;重点突出稳中求变较去年难度有加大[N];石家庄日报;2010年
5 曙光信息产业有限公司研发中心 温鑫;并行计算软件开发概述[N];中国计算机报;2007年
6 本报记者 李建平;“神威”安腾集群系统腾空出世[N];计算机世界;2003年
7 鹏翔;“神威”安腾集群系统腾空出世[N];中国气象报;2003年
8 ;蛋白质模拟引出超高扩展计算机[N];中国计算机报;2005年
9 邰庆国王洪源;提高预报准确率有了科技支撑[N];中国气象报;2007年
10 东梅;全芯全力加速并行数据库[N];中国经营报;2006年
中国博士学位论文全文数据库 前10条
1 陈良育;并行符号算法若干问题的研究与应用[D];华东师范大学;2008年
2 吕兴;计算机符号计算在非线性模型解析研究中的应用[D];北京邮电大学;2012年
3 郭睿;基于符号计算的若干非线性模型可积性质及孤子解的研究[D];北京邮电大学;2012年
4 许韬;符号计算与若干非线性发展方程的解析研究[D];北京邮电大学;2011年
5 赵雷;几种非线性系统的符号计算及其软件实现[D];复旦大学;2011年
6 陆斌;非线性微分方程求解中的构造性方法与符号计算[D];大连理工大学;2010年
7 杨云青;可积系统与混沌系统中若干问题的符号计算研究[D];华东师范大学;2011年
8 周振江;可积系统孤子解的符号计算研究[D];华东师范大学;2012年
9 方守文;关于一些几何流的Harnack不等式的研究[D];浙江大学;2009年
10 张盛;非线性微分方程的若干精确求解法与符号计算[D];大连理工大学;2012年
中国硕士学位论文全文数据库 前10条
1 陈艳;热传导反问题的高效分布式并行算法研究[D];武汉理工大学;2007年
2 孙晗;集群环境下结构静力重分析PCG方法的并行实现[D];吉林大学;2008年
3 谷源;基于MPI的电力系统潮流并行计算实现[D];电子科技大学;2005年
4 高晋树;基于PC机群的化工动态模拟的并行应用研究[D];南京工业大学;2005年
5 郑涛;解抛物型方程的并行算法及其并行实现[D];吉林大学;2009年
6 荣莹;基于MPI和Linux的集群系统的构建和应用[D];成都理工大学;2005年
7 赵琛;一种改进的NHBL并行计算模型及其性能评测[D];北京交通大学;2007年
8 付延友;PC机群环境下蚁群算法的并行化研究[D];河北工业大学;2007年
9 张治宏;基于MPI的并行计算研究[D];中国地质大学(北京);2006年
10 汪睿;KD60平台MPI通信库优化设计[D];中国科学技术大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026