基于并行MLFMA最细层数据建立算法的Petri网建模方法
为解决并行多层快速多极子算法(MLFMA)的功能和性能评测的问题,分析了MLFMA算法的关键问题分布树最细层数据的建立,提出了一种可以同时进行性能分析和正确性验证的形式化方法Petri网.将Petri网理论应用到具体的项目中,针对基于消息传递机制的最细层数据建立的并行算法进行形式化建模.在体现Petri网对基于消息传递机制的并行程序进行建模的优越性的同时,为后续进一步的程序正确性验证和性能分析打下基础.
多层快速多极子算法、并行、分布树、Petri网、消息传递
31
TP302.7(计算技术、计算机技术)
总装预研基金
2010-06-02(万方平台首次上网日期,不代表论文的发表时间)
共4页
1588-1590,1638