【摘 要】
：
对并行程序进行验证以保证正确性是很重要的,但是由于并行程序比串行程序要复杂得多,因此有必要建立它们的模型。MPI是目前应用最广泛的基于消息传递的并行程序编程标准之一。基于MPI程序的特点,提出了MPI并行程序的Petri网模型——MPINet,给出了MPI函数的基本Petri网模型及对程序建模的基本步骤。定义了静态可执行的和并行正确的并行程序,并研究了MPINet的动态性质,包括安全性、可达性、可
论文部分内容阅读
对并行程序进行验证以保证正确性是很重要的,但是由于并行程序比串行程序要复杂得多,因此有必要建立它们的模型。MPI是目前应用最广泛的基于消息传递的并行程序编程标准之一。基于MPI程序的特点,提出了MPI并行程序的Petri网模型——MPINet,给出了MPI函数的基本Petri网模型及对程序建模的基本步骤。定义了静态可执行的和并行正确的并行程序,并研究了MPINet的动态性质,包括安全性、可达性、可逆性以及活性。这些方法可以用于其他并行编程标准的分析。
其他文献
在这个应用为王的时代,全球许多政府,企业以及高校都已经通过采用信息无障碍技术或产品,成功的让更多的人们从中受益,也使他们的工作、生活跨上一个新的台阶,进而提升了政府企业以及高校在人们心目中良好形象。
随着数字图像处理技术的发展,图像处理系统的应用已经深入到关系国计民生的许多领域.但同时,由于图像处理涉及的数据量比较大,处理速度成为了制约其发展的瓶颈之一,实时图像处理技术正是在这种需求下应运而生,其广泛的应用能力对图像处理的发展和社会生产力的提高产生了深远的影响.基于系统的实用性考虑,介绍了一种实时红外图像处理系统.该系统以 Analog Devices 公司的高性能数字信号处理器ADSP-21
实时运动结构重建是自主车辆、机器人导航、空间探测器自主降落、智能监控等领域中的重要研究课题.目前实时运动结构重建主要存在着特征匹配困难、鲁棒性差、系统无法自动获取初始参数和需要大量人工干预等诸多问题.利用高速CMOS摄像机与惯性传感数据融合提高了运动结构重建算法的精度及其鲁棒性。该算法在扩展卡尔曼滤波框架下是通过融合惯性与视觉传感器的数据来进行运动估计的。对场景中的每一个待估计结构的特征点建立对应
在工业生产线上,一般运用人工方法识别零件钢印号码.这种识别方法既费工时、又易出错.故本文系统地提出了运用图像预处理来处理零件钢印号码,经过实验证明,运用这些方法能保证经过处理后的零件图像易于识别,为后续的识别工作奠定了基础.
靶场光测图像处理的一个突出难题是如何分辨图像上出现的大量小目标。利用单站序列图像上目标的运动关联、目标在多站图像上像点之间的对极几何约束关系,提出了靶场多站图像多目标判读的新技术,采用单站序列图像目标卡尔曼运动轨迹预测及跟踪识别技术,以及多站图像对极几何约束同名目标匹配技术,突破了传统方法仅进行单站图像判读的局限。仿真结果证明其能有效解决多站、多目标的判读问题,已成功应用于我们研制的多套靶场图像判
联合功率谱的高频成份对相关峰识别具有重要作用,实验中记录的联合功率谱随着频率的增加其强度迅速降低.为增强联合功率谱的高频成分,改善其调制程度,可对功率谱进行对数变换,从而有效保留更多的高频成份,压低零级衍射光斑,提高联合变换相关器的识别能力。
随着图像系统的广泛应用,对图像的稳定要求也越来越高.图像的运动和不稳定是常见的,往往是由于载体的运动引起的,为了达到图像稳定的目的,就需要对其运动进行描述,然后采用相应的算法进行补偿.给出了运动对图像清晰度的影响及像偏移的估算,并对数字电子图像稳定系统进行了简单阐述.
提出一种协同模式识别的不变性算法,利用协同模式识别的有势动力学理论,求取测试样本的仿射变换参数。通过原型模式对测试样本的自适应或原型模式对测试样本的同化,由序参量动力学演化过程得到正确的识别模式。此算法避免利用傅立叶等方法进行变换域的处理,而且更符合人的认知过程。仿真实验验证了算法的有效性和鲁棒性。
块方向图增强是指纹图像预处理过程中很关键的一个步骤。针对块方向图平滑计算过程中运算量过大的问题,文中提出了一种块方向图计算方法,引入矢量点积,通过若干步整数四则运算,较快速地得到块方向图。文中详细介绍了该方法的理论依据,通过程序仿真,对这种计算方法的效果进行了检验。