【摘 要】
：
对并行程序进行验证以保证正确性是很重要的，但是由于并行程序比串行程序要复杂得多，因此有必要建立它们的模型。MPI是目前应用最广泛的基于消息传递的并行程序编程标准之一。
论文部分内容阅读
对并行程序进行验证以保证正确性是很重要的，但是由于并行程序比串行程序要复杂得多，因此有必要建立它们的模型。MPI是目前应用最广泛的基于消息传递的并行程序编程标准之一。基于MPI程序的特点，提出了MPI并行程序的Petri网模型——MPINet，给出了MPI函数的基本Petri网模型及对程序建模的基本步骤。定义了静态可执行的和并行正确的并行程序，并研究了MPINet的动态性质，包括安全性、可达性、可逆性以及活性。这些方法可以用于其他并行编程标准的分析。
其他文献
IEEE802.15.4的无时隙CSMA/CA算法没有对数据进行分流的能力,基于此,提出了一种针对带有多优先级数据处理的无时隙改进算法。改进后的算法会对高优先级数据采取减少退避计数
“钢琴考级”在音乐社会学背景下，愈演愈烈，在一定程度上，“钢琴考级”不仅证明了学生学习钢琴的水平，还对学生的钢琴学习给予了指导，同时促进和推动了我国钢琴音乐教育的发展，但是
指数类软件可靠性模型是应用广泛的一类软件可靠性预测模型,其基本假设之一是缺陷一经发现立即纠正。该假设过于苛刻,与实际情况不符,影响了模型的应用和预测准确性。针对通用指数类软件可靠性模型,提出了成组缺陷纠正的指数类软件可靠性模型。同时以指数类模型中的J-M模型为例,利用实际工程数据对成组缺陷纠正的J-M模型进行了验证。
针对传统调度模型得出的方案由于决策参数变化而不能应用于实际生产等问题,分析了在实际生产环境中可能导致重调度的各种不确定因素,从调度稳定性的角度使用两阶段随机规划方法重新设计了包含随机参数的模型,不仅使调度可以稳定在某置信水平上,而且允许调度结果以一定的风险获取更好的性能指标。最后,应用一个化工调度模型讨论了新方法的特点。
在整个艺术人才培养体系中,高师音乐教育专业的实践教学环节非常关键。它对于学生实践能力和创新精神的培养,以及综合素质的提升,具有重要的作用。同时,在高师音乐教育课堂教
电子音乐是时代发展和科技技术进步完美结合的产物,电子音乐是指利用多媒体电脑以及音乐相关的制作软件为工具制作并播放出来的音乐,它既是一种音乐的表现形式,又是一种表现
针对不同领域虚拟控制系统的构建问题,提出一种通用集成平台,解决系统配置升级、系统控制界面、系统控制三个关键问题。通过ActiveX动态加载方法,实现系统升级的平台源代码无关性。文章最后对虚拟数控系统进行源代码级升级和配置级升级的对比实验,实验结果表明,对比源代码级升级,配置级升级不仅具有升级效率高、无全局效应、通用性强、测试局部化、处理逻辑可定制的优点,而且在时间、付出、质量三种度量上存在显著优势
交通信号优化是智能交通控制中的难点。对单交叉路口信号控制提出了一种优化控制模型,该模型先以三层BP人工神经网络对交叉路口的车辆到达进行预测,并根据交通流饱和度理论,用模糊控制器对路口各方向的绿灯时间进行调整。仿真研究表明提出的控制模型可以提高交叉路口通行能力,减少车辆延误,达到交通信号优化的目的,同时比传统方法能更好地适应变交通流的情形。如果做进一步的研究可将该控制方法应用于多路口的区域交通控制,
研究主动防侧倾杆控制半挂汽车列车侧翻问题,建立了包含非线性轮胎模型的柔性车身整车数学模型,以车辆的横向载荷转移为依据,判断车辆的稳定性,采用最优控制算法,制定防侧翻控制策略,并在Matlab/Simulink中搭建了仿真模型,分别在角阶跃转向和鱼钩转向工况下,对被动悬架车辆和含主动防侧翻控制系统的车辆分别进行仿真。结果看出半挂汽车列车的侧倾得到了很好的控制,能够有效地防止侧翻的发生,证明了所建立的