期刊文献+

一种分布式吴方法计算模型 被引量:3

A Distributed Computing Model for Wu’s Method
下载PDF
导出
摘要 吴方法是由我国科学家吴文俊院士开创的一个新兴研究领域.考虑到吴方法“分而治之”的思想非常适合分布式计算,将分布式计算技术引入到该方法的计算过程中,给出一种既可以在集群环境下,也可以在网格环境下实现的分布式吴方法计算框架.首先分析了吴方法分布式计算需求,并以特征列计算为例来说明吴方法分布式计算算法,然后讨论了符号计算基本数据类型:大整数和多项式的消息传递方法,最后简单给出了在网格环境下基于符号计算软件系统 ELIMINO 和网格中件间 Globus Toolkits 3 的分布式吴方法计算环境的设计、实现与实验结果. As Wu’s method, based on symbolic computation, has found applications in more and more fields, it is challenged by more and more complicated calculation problems. The soul of the method, dividing and ruling problem, is very suitable for distributed computation. In this paper, a high performance computing technique is introduced into the symbolic computation and a distributed computing model (DCM) for Wu’s method over Internet is put forward. First, the feasibility and requirement for distributed computation of Wu’s method is analyzed. Then the data communications for big integers and polynomials are put forward in detail, and finally the design and implementation for DCM based on ELIMINO and Globus Toolkits 3 are presented.
出处 《软件学报》 EI CSCD 北大核心 2005年第3期384-391,共8页 Journal of Software
基金 国家自然科学基金~~
关键词 分布式计算 吴方法 符号计算 distributed computation Wu’s method symbolic computation
  • 相关文献

参考文献11

  • 1Wu WT. On the decision problem and the mechanization of theorem in elementary geometry. Scientia Sinica, 1978,21:159-172.
  • 2Wang DK, Zhi LH. Software development in MMRC. In: Yang W, Wang D, eds. Proc. of the ATCM'95. Singapore: Academic Press, 1995. 234-243.
  • 3Wang D. An implementation of the characteristic set method in Maple. In: Pfalzgraf J, Wang D, eds. Automated Practical Reasoning: Algebraic Approaches. New York: Springer-Verlag, 1998. 187-201.
  • 4Wang P. Parallel polynomial operations on SMPs: An overview. Journal of Symbolic Computation, 2001,11(1):377-396.
  • 5Rayes M, Wang P. Parallel GCD for sparse multivariate polynomials on shared memory multiple processors. In: Proc. of the PASCO'96. Washington: IEEE Press, 1996. 326-335.
  • 6Ajwa I, Wang P. Applying parallel/distributed computing to advanced algebraic computations. In: Proc. of the 1997 IEEE National Aerospace and Electronics Conf. Washington: IEEE Press, 1997. 156-164.
  • 7林东岱 武永卫 杨宏 见:郑纬民 杨广文 武永卫 编.并行多项式最大公因子计算[A].见:郑纬民,杨广文,武永卫,编.2003年中国计算机大会论文集[C].北京:清华大学出版社,2003.900-905.
  • 8Wu YW, Yang GW, Lin DD. On the parallel computation for characteristic set method. Chinese Journal of Electronics, 2004,18(3):383-388.
  • 9Wang P. Parallel univariate polynomial factorization on shared-memory multiple processors. In: Caviness B, Johnson J, eds. Proc. of the ISSAC'99. New York: ACM Press, 1999. 145-151.
  • 10Lin DD, Liu J, Liu ZJ. Mathematical research software: ELIMINO. In: Li ZB, ed. Proc. of the ACM'98. Lanzhou: Lanzhou University Press, 1998. 107-114.

同被引文献23

  • 1WALD B.Mathematic Software[EB/OL].[2007-05-01].http://www.uni-essen.de/~hrz030/bookmarks/Mathematik-Software.html.
  • 2PETCU D,TEPENCU D,PAPRZYCKI M,et al.Survey of symbolic computations on the grid[C/OL] // The 3rd International Conference:Sciences of Electronic technologies of Information and Telecommunication[EB/OL].[2007-05-02].http://mpaprzy.cki.sups.edu.pl/mp/research/varia-papers/SETIT_2005.pdf.
  • 3PETCU D,BONCHIS C,IZBASA C.Symbolic computations based on grid services[J].International Journal of Computers Communications & Control,2006,1(1):33-39.
  • 4WANG D.An implementation of the characteristic set method in Maple[C]// PFALZGRAF J,WANG D.Automated Practical Reasoning:Algebraic Approaches.New York:Springer-Verlag,1998:187-201.
  • 5WANG D K.Zero decompostion algorithms for systems of polynomial equations[C]// Proceedings of ASCM2000.[S.l.]:World Scientific,2000:67-70.
  • 6BROWN C W,QEPCAD B.A program for computing with semi-algebraic sets using CADs[J].ACM SIGSAM Bulletin,2003,34(4):97-108.
  • 7WOLFGANG S.Distributed maple:parallel computer algebra in networked environment[J].Journal of Symbolic Computation,2003,35 (3):305-347.
  • 8Sun Grid Engine.Introduction of Sun Grid Engine[EB/OL].[2007-05-01].http://gridengine.sunsource.net/.
  • 9MPI.MPI Specification[EB/OL].[2007-05-01].http://www.mpi-forum.org/.
  • 10HONG H.Parallelization of quantifier elimination on a workstation network,LNCS 673[C]//Berlin:Springer,1993:170-179.

引证文献3

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部