排序方式: 共有16条查询结果,搜索用时 62 毫秒
1.
2.
3.
4.
5.
6.
对并行程序进行验证以保证正确性是很重要的,但是由于并行程序比串行程序要复杂得多,因此有必要建立它们的模型。MPI是目前应用最广泛的基于消息传递的并行程序编程标准之一。基于MPI程序的特点,提出了MPI并行程序的Petri网模型——MPINet,给出了MPI函数的基本Petri网模型及对程序建模的基本步骤。定义了静态可执行的和并行正确的并行程序,并研究了MPINet的动态性质,包括安全性、可达性、可逆性以及活性。这些方法可以用于其他并行编程标准的分析。 相似文献
7.
在探讨中外办学理念差异的基础上,根据合作办学班级的特点,从课堂学习环境的创建、教师角色的选取、教学内容的选择、教学方法的选取以及考试方法的革新等诸方面,对中外合作办学班级的课堂教学方法进行了探索,这些措施在实践中取得了较好的效果。 相似文献
8.
为解决三维空间下无线传感器网络节点的精确定位问题,提出了一种三维空间微粒群搜索算法(3D-PSO),将节点定位用优化问题进行描述.为了提高算法的执行效率和定位精度,提出了一种基于距离的目标函数来评价微粒的适应度.对微粒的搜索空间进行了限制,以加快定位结果的收敛速度.在理想环境和有测距误差的情况下证明了该算法的可行性和有效性.仿真结果表明,与典型的定位算法相比,该算法具有更好的健壮性和更高的定位精度. 相似文献
9.
10.
任务的分解是实现多主体系统的关键,运用形式化的方法对任务分解进行描述和验证是十分必要的。对于一般的任务逻辑分解表达式,利用Petri网对任务的分解进行建模,得到任务分解Petri网,进而通过剔除不合理的任务分解结构得到任务有效分解的Petri网系统。通过检查任务有效分解的Petri网的存在与否,可以判断任务的分解结构是否有效。另外,对于任意一个有限的P/T网系统,给出了判断是否存在无效任务分解的充分条件,从而论证了在任务有效分解的Petri网系统中只存在一级活变迁。将任务分解的有效性判断与Petri网活性分析联系起来,实现了多主体系统的一个亟待解决的基础性问题。 相似文献