用形式化技术求河内塔的并行解

论文以求河内塔(Hanoi Tower)问题的并行解为例，介绍了并行程序设计的一般方法和步骤。一种行之有效的方法是，先将复杂的问题和复杂的并行环境分离，仔细分析用户需求并进行形式化规格，求得正确的解，然后逐步求精，并保证在逐步求精的过程中不失去正确性，最后阶段再得到可以运行的并行程序。     

一种扩展的随机DAG模型

针对并行程序结构产生任务计算量和通信量随机性的情况,提出了一种扩展的随机DAG(Directed Acyclic Graph)模型,同时考虑了计算环境异构性和并行程序结构带来的计算时间和通信时间偏移量;基于此扩展的随机DAG,给出了DAG中节点的EST(Earliest Start Time)和偏移量的计算方法,以标准方差和平均值的和的数学期望来表示;最后,给出了基于扩展随机DAG的并行程序建模方法,通过计算实例验证了该扩展的合理性.实验结果表明,通过优化并行程序结构,可以提高并行程序的执行效率,并且更好地实现并行计算负载平衡.      

MPI环境下并行程序准确性验证及效率分析

把已有的串行数值模拟程序改编成消息传递接口(MPI)下并行环境的并行数值模拟程序,模拟了基于NASA-TP1680单级透平的4种不同组合的流场,验证了并行程序的有效性和较好的并行效率.同时,分析了影响并行效率的主要因素.