并行编程模型的确定性的证明方法及其应用

来源 :电子技术 | 被引量 : 0次 | 上传用户:lzslzs2002
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文章研究并行编程模型的确定性与其证明方法。论文介绍了确定性并行的构成因素,并给出较统一的认识;基于这些认识,提出一种从一组操作语义中归纳而得的性质证得确定性的证明方法;以一个使用共享消息通道的确定性并行编程模型为例,形式化该编程模型并证明其确定性。本文弥补了对确定性已有认识的不足,能更完善地指导测试与调试,且证明方法有一定的适用性。
其他文献
眼动跟踪技术作为一种新的人机交互方式,已受到越来越多人的关注,现有的眼动跟踪系统大都是头戴式的,它的硬件设备复杂,对人干扰较大,而且价格昂贵。文章实现了一个简单的基于桌面的眼动跟踪系统,本系统硬件构成简单,而且不与人直接接触,使用虹膜中心坐标来估计用户的注视点。实验表明,当误差距离不超过40个像素时,系统估计的人眼注视点准确率超过80%。
任何一次离别都有可能成为今生的永别,所谓“世路交游悲落叶,人生离合类浮萍。”古人的离别虽苦,也美,幻化出了许多诗意。“昔我往矣,杨柳依依。今我来思,雨雪霏霏。”(《诗
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
蜻蜓蛹含有丰富的蛋白质、脂肪、氨基酸、微量元素等营养成分。采用现代分析技术手段对蜻蜓蛹中Na、K、Fe、Cu、Zn、Mn、Mg 7种微量元素进行分析,结果表明:蜻蜓蛹(干品)中Na
一  阮小青在QQ签名上写下“飞翔的棉花糖。”同桌柳眉,也就是六中校花马上跟帖写道:“亲,别让棉花糖飞,快到我的碗里来吧,哈哈!”  虽然棉花糖洁白如云,却固定在竹签上,怎么飞呢?但阮小青多么希望,棉花糖像白云一样,没有烦恼没有忧伤,自由自在地飞在蓝天上。  每次,阮小青需要多走三条街道,再穿过嘈杂闹市,只为在街角那个小摊前,买一支棉花糖。  卖棉花糖的那位阿姨,不仅技术精湛而且还很健谈,双手不停
随着科技的发展,工具理性被过分强调而价值理性遭到忽视,导致了生态平衡的严重破坏和现代社会的种种危机,人类不同程度地被科技主导的时代所异化,因此,人类面临着极大威胁和
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
目的探讨煤矿井下工人脂肪肝发病情况及与体力劳动、膳食营养状况的关系。为脂肪肝的防治提供科学依据。方法采用食物频数问卷法对206名煤矿井下作业工人和169名井上工人进行
本文通过对荣华二采区10
华裔美国文学作为一支近些年来蓬勃发展的文学分支有其值得研究的诸多原因。首先,我们可以通过对华裔美国文学的研究去进一步了解华裔美国历史和文化;而且,也可以对华裔美国人的