排序方式: 共有16条查询结果,搜索用时 46 毫秒
1.
2.
3.
4.
5.
6.
对并行程序进行验证以保证正确性是很重要的,但是由于并行程序比串行程序要复杂得多,因此有必要建立它们的模型。MPI是目前应用最广泛的基于消息传递的并行程序编程标准之一。基于MPI程序的特点,提出了MPI并行程序的Petri网模型——MPINet,给出了MPI函数的基本Petri网模型及对程序建模的基本步骤。定义了静态可执行的和并行正确的并行程序,并研究了MPINet的动态性质,包括安全性、可达性、可逆性以及活性。这些方法可以用于其他并行编程标准的分析。 相似文献
7.
传统的基于深度优先遍历的回路求解算法限于计算机内存无法对大规模图进行求解,而已有的分布式图计算系统需要借助计算机集群,成本较高。针对此问题,给出一种可在普通计算机上求解大规模有向图所有回路的多线程并行算法。该算法根据顶点的出度,首先删除出度为0的顶点,然后采用多线程并行求解包含出度较大的顶点的回路,最后使用串行算法求出图剩余部分的回路。实验表明,此算法能够在普通计算机上求得大规模有向稀疏图的所有回路。 相似文献
8.
在探讨中外办学理念差异的基础上,根据合作办学班级的特点,从课堂学习环境的创建、教师角色的选取、教学内容的选择、教学方法的选取以及考试方法的革新等诸方面,对中外合作办学班级的课堂教学方法进行了探索,这些措施在实践中取得了较好的效果。 相似文献
9.
为解决三维空间下无线传感器网络节点的精确定位问题,提出了一种三维空间微粒群搜索算法(3D-PSO),将节点定位用优化问题进行描述.为了提高算法的执行效率和定位精度,提出了一种基于距离的目标函数来评价微粒的适应度.对微粒的搜索空间进行了限制,以加快定位结果的收敛速度.在理想环境和有测距误差的情况下证明了该算法的可行性和有效性.仿真结果表明,与典型的定位算法相比,该算法具有更好的健壮性和更高的定位精度. 相似文献
10.