摘要
为解决并行多层快速多极子算法(MLFMA)的功能和性能评测的问题,分析了MLFMA算法的关键问题分布树最细层数据的建立,提出了一种可以同时进行性能分析和正确性验证的形式化方法Petri网。将Petri网理论应用到具体的项目中,针对基于消息传递机制的最细层数据建立的并行算法进行形式化建模。在体现Petri网对基于消息传递机制的并行程序进行建模的优越性的同时,为后续进一步的程序正确性验证和性能分析打下基础。
To deal with the quantitative and qualitative evaluation for the parallel multi-level fast multi-pole algorithm（MLFMA）,the finest level data building of a distributed tree is analyzed,which is the foundation of the MLFMA.A formal method Petri net is presented,which provides both performance analysis and verification of the parallel programs.The theory of the Petri net is applied into the concrete project,the parallel program of the finest level data building for parallel MLFMA based on MPI is modeled with this theory.The advantage of the theory for modeling the parallel algorithm based on MPI is shown meanwhile,and the foundation for the verification of the parallel algorithm and the performance analysis.
出处
《计算机工程与设计》
CSCD
北大核心
2010年第7期1588-1590,1638,共4页
Computer Engineering and Design
基金
总装预研基金项目
