CAJ | 학술논문

为解决并行多层快速多极子算法(MLFMA)的功能和性能评测的问题,分析了MLFMA算法的关键问题分布树最细层数据的建立,提出了一种可以同时进行性能分析和正确性验证的形式化方法Petri网.将Petri网理论应用到具体的项目中,针对基于消息传递机制的最细层数据建立的并行算法进行形式化建模.在体现Petri网对基于消息传递机制的并行程序进行建模的优越性的同时,为后续进一步的程序正确性验证和性能分析打下基础.
위해결병행다층쾌속다겁자산법(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.