并行程序设计工具PTOOL

来源 :计算机工程 | 被引量 : 0次 | 上传用户:QQ343282482
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
PTOOL使用相关理论来分析循环是否可以执行。当一个循环不能并行执行时,PTOOL也给出解释,指出是那些相关使得循环不能平行执行。程序员可以通过PTOOL提供的信息,修改他的程序,消除这些相关,使得循环可以执行。
其他文献
胰蛋白酶抑制剂(TI)在荞麦中的含量非常丰富,属于丝氨酸蛋白酶抑制剂,可以抑制胰蛋白酶活性,拥有较高的热稳定性,并且在强酸性和强碱环境下都较为稳定;具备降血压、降血脂、降
重症肺心病并呼吸衰竭由于感染等因素使缺氧加重和二氧化碳潴留加重,呼吸衰竭明显,临床治疗效果欠佳.我院在常规综合治疗的基础上加用硫酸镁与肝素治疗,取得较好疗效.
【摘 要】创设学生感兴趣的、贴近生活实际的情境,能使学生身临其境,使政治课因情境而精彩。有效教学情境的创设应紧扣教学目标,注重生活逻辑,突出主题,多层次多角度挖掘知识性内涵。问题的有效设计应融合情境素材和教学内容,面向全体学生,设置富有层次性的系列问题,注重提高学生的自主探究能力。  【关键词】教学情境 目标导向 生活导向  【中图分类号】G633.2 【文献标识码】A 【文章编号】2095-30
信息过载已经成为当今人机交互领域的一项主要挑战,可视化利用人类视觉认知系统的特点,将抽象数据映射为可见的图形图像,从而帮助人们从大量数据中快速有效地提取信息。可视化放大了人类的认知,然而不符合视觉认知规律的可视化会适得其反,这就对可视化的设计提出了极高的要求。因此,从视觉认知模式的角度对可视化的呈现方式、视觉认知任务及其认知效率进行研究对于可视化的设计有着重要意义。散点图是一种经典的可视化视觉结构
2015年下半年以来,我国A股市场出现剧烈波动,多家企业股价持续走低,部分企业股价甚至呈现出断崖式的下跌。一些企业的大股东为了提升股价以增加自身利益,不惜采用各种方式去影响二级市场的股票价格,其中兜底式增持作为一种新兴模式首次出现于这次的大规模救市过程当中。近两年来兜底式增持在我国A股市场上频现,但是相关的研究并未形成完善的体系,尤其是兜底式增持的动机以及成效等方面,现有的研究较少涉及。本文借助理
本文利用耦合模方程,对具有不同函数形状耦合系数的光纤光栅的色散特性进行了理论和数值研究,通过比较这些线性啁啾光纤光栅对10Gb/s光通信系统色散补偿的效果,揭示了光纤光栅的耕耘耦
消毒供应室是医院的重要组成部分,供应室的工作直接关系到临床医疗安全、关系到医院感染控制.直接关系到病人的生命安全。湿包是蒸气灭菌中常出现的问题.因为,潮湿使包裹内外形成
以硅粉、碳黑、活性炭为原料,以聚四氟乙烯为添加剂,在氮气中分别用直接燃烧合成和预热燃烧合成工艺制备了高纯βSiC微粉。用扫描电镜测得产物呈等轴球形,平均粒径为100nm。添加
【摘 要】课堂提问是语文课堂教学最重要的一环,它对启发学生思维,提高课堂教学效果起来了不容忽视的作用,它也直接关系到课堂的成败。本文重点关注的是课堂的有效提问,并结合自身的教学实践,对小学语文课堂提问的策略进行研究。  【关键词】小学 语文 课堂 提问 有效性  【分类号】G623.2  有效提问是课堂成败的关键一笔,是课堂教学中不可缺少的环节,是启发学生思维,传授知识的重要手段。教育家陶行知说:
摘要:高中语文选修课程的开设带来了教育理念、教学内容和教学方法的变革,也带来了课程目标、课程服务主体和课程评价公正性的困惑,引发了人们对学生个性发展、教师专业发展以及人文教育的反思。  关键词:高中语文;选修教学;困惑;反思  【中图分类号】G633.3  《普通高中语文课程标准(实验)》(以下简称《课标》)将高中语文课程设置为必修和选修两部分,其中選修课程设计为五个系列:诗歌与散文、小说与戏剧、