【摘 要】
：
归约算法在并行计算中应用广泛,目前有很多归约算法应用于不同的情形.这些归约算法各不相同,逻辑拓扑是造成区别的关键.为了统一描述归约算法,揭示它们的共性,给出了一个逻辑
论文部分内容阅读
归约算法在并行计算中应用广泛,目前有很多归约算法应用于不同的情形.这些归约算法各不相同,逻辑拓扑是造成区别的关键.为了统一描述归约算法,揭示它们的共性,给出了一个逻辑拓扑的定义及其性质.在此基础上,给出了归约算法的统一描述,以利于对归约算法的理解,从而设计适应不同应用和环境的归约算法.该描述也可视为可集成不同语义的归约算法框架,从而有助于设计具有新语义的归约算法.本质上,该统一描述是一个归约算法形式定义,有助于验证归约算法的正确性.
其他文献
从今年开始，新报批的房地产开发项目都要提供精装修住宅，这无疑给目前鼎盛的房地产市场又一次带来了利好的契机，许多开发商认为，精装修住宅的推广，有利于住宅项目的销售，更好的满足
我国BE词汇教学缺乏有效教学策略。受传统隐喻理论影响,很多人意识不到隐喻的认知性对于BE词汇的记忆功能,因而很少有人将隐喻用于BE词汇教学。通过对高职学生BE词汇学习现状
商圈已成为城市的重要经济现象，如何有效利用商圈将是地方政府所面临的问题。
目的 探讨放松式心理护理对老年白内障患者术前焦虑及血压的影响。方法80例伴有焦虑、血压升高的老年白内障患者随机分为放松式心理护理组40例、常规护理组40例，常规护理组接
云南作家范稳是一个充满了艺术情怀的人,他历时三年完成了《重庆之眼》。该书是一部长篇抗战题材的历史性小说,主要是以重庆大轰炸事件为题材。范稳在《重庆之眼》中很好地结
目的探讨PI3K/Akt通路在尼古丁促进人肺腺癌细胞NCI-H1975增殖及抑制其凋亡中的作用。方法不同浓度尼古丁(0 nmol/L、1 nmol/L、10 nmol/L、100 nmol/L、1μmol/L、10μmol/L
为了明确高职院校医学专业课堂教学的效果,通过对我院488名学生进行问卷调查,并对其随堂测验、期末考试成绩进行分析,探讨在医学教学中,使用多媒体教学手段及情境教学法是否
<正> 信息化程度已经成为国家乃至个人现代化程度的重要标志。作为知识经济的基础.社会信息化由政府、企业、个人信息化构成。我国政府一直致力于推进中国信息化的发展,特别
近年来我国商品住宅价格普遍上涨较快,某些城市的房价甚至出现"飞涨".造成房价过快、过大幅度上涨的原因是多种多样的,但主要是如下几个方面综合作用的结果:一是1998年停止住
<正> 有比作品本身更重要的意义,即由作品主题阐释、说明、或暗示出来的社会内容、哲学内容、历史内容以及来自作家本人经历的内容等等.这一切看来都比作品本身形成的语言关