【摘 要】
：
为了使Petri网技术能够应用于MPI并行程序的正确性和性能的验证,提出了Petri网共享合成运算构建MPI并行程序Petri网的算法。对分布式并行处理系统MPI并行程序的结构与消息传
【基金项目】
：
国家自然科学基金项目（60864001）, 广西自然科学基金项目（0731028）, 广西教育厅科研基金项目（200911MS144）
论文部分内容阅读
为了使Petri网技术能够应用于MPI并行程序的正确性和性能的验证,提出了Petri网共享合成运算构建MPI并行程序Petri网的算法。对分布式并行处理系统MPI并行程序的结构与消息传递过程进行分析,给出并行程序基本语句与传递函数的Petri网,将Petri网共享合成运算从两个Petri网的共享合成运算推广到并行程序的多个Petri网的共享合成运算,给出了推广定理和证明。提出了共享合成构建MPI并行程序Petri网的算法,并在消息传递并行系统中给出构建MPI并行程序Petri网的应用示例。实验结果表明,共
其他文献
阿尔兹海默病(Alzheimer’s disease,AD),又称老年痴呆症,是一种进行性神经变性疾病。目前用于治疗AD的药物作用有限。经颅直流电刺激(transcranial direct current stimulat
为了确切地估计软件缺陷分布,提出了基于AODE和再抽样的软件缺陷预测模型。分析了几种常用贝叶斯分类器的优缺点,以及软件缺陷度量元和再抽样方法,设计了多AODE分类器,该分类
摘 要 目的：探讨和研究肝癌患者血清总胆固醇水平的变化及临床意义。方法：对74例未经治疗的肝癌患者、86 例非肿瘤患者、88例健康体检者分别进行胆固醇水平测定，另外对64例低蛋白血症的肝癌患者在纠正低蛋白治疗前后的总胆固醇进行对比分析。结果：肝癌组血清胆固醇水平明显低于非肿瘤组(P0.05)；低白蛋白肝癌患者在蛋白纠正治疗后，胆固醇明显提高，接近正常人水平。结论：血清总胆固水平与肝癌之间呈负相关。
移动通信系统中,针对移动台的定位精度问题,提出基于MPS的混合定位方法。该方法引入一个专门处理目标用户地理位置信息的辅助系统,该系统不仅收集来自GPS的关于目标用户的位
为了解决智能视频监控中阴影对目标检测、跟踪和识别的影响,提出了一种融合纹理和阴影属性的阴影检测去除算法。分析了像素点在阴影覆盖前后它的纹理变化规律,改进了LBP算子对噪声敏感的缺点,根据像素点基于改进LBP算子的纹理值在当前帧和背景帧的差异检测出候选阴影区域。根据光照模型分析得到阴影点具有相同的亮度比值,根据阴影的亮度比值统计数据排除非阴影点,并在亮度比值空间做区域生长得到完整的阴影区域。实验结果
计算机产业现面临的一个重要问题是保证软件的使用合法性,目前很多保护方案都缺少灵活性或是有效性,为此设计一种具有灵活性特征和用户透明性的软件保护体系结构。利用现场可
目的：观察小儿肺热咳喘口服液治疗小儿急性支气管炎的临床疗法。方法：选取93例急性支气管炎患儿，分为治疗组（48例）和对照组（45例），在抗炎治疗基础上，治疗组口服小儿肺热咳喘口服液，对照