| 基于并行MLFMA最细层数据建立算法的Petri网建模方法 |
| |
| 引用本文： | 侯孟,成斌,童维勤.基于并行MLFMA最细层数据建立算法的Petri网建模方法[J].计算机工程与设计,2010,31(7). |
| |
| 作者姓名： | 侯孟 成斌 童维勤 |
| |
| 作者单位： | 上海大学计算机工程与科学学院,上海,200072 |
| |
| 摘 要： | 为解决并行多层快速多极子算法(MLFMA)的功能和性能评测的问题,分析了MLFMA算法的关键问题分布树最细层数据的建立,提出了一种可以同时进行性能分析和正确性验证的形式化方法Petri网.将Petri网理论应用到具体的项目中,针对基于消息传递机制的最细层数据建立的并行算法进行形式化建模.在体现Petri网对基于消息传递机制的并行程序进行建模的优越性的同时,为后续进一步的程序正确性验证和性能分析打下基础.
|
| 关 键 词： | 多层快速多极子算法 并行 分布树 Petri网 消息传递 |
Petri nets protocol modeling method based on finest level data building for parallel MLFMA |
| |
| HOU Meng,CHENG Bin,TONG Wei-qin.Petri nets protocol modeling method based on finest level data building for parallel MLFMA[J].Computer Engineering and Design,2010,31(7). |
| |
| Authors: | HOU Meng CHENG Bin TONG Wei-qin |
| |
| Affiliation: | HOU Meng,CHENG Bin,TONG Wei-qin(College of Computer Engineering , Science,Shanghai University,Shanghai 200072,China) |
| |
| Abstract: | 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 t... |
| |
| Keywords: | MLFMA parallel distributed tree Petri net MPI |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
