【摘 要】
：
目前Agent的容错研究中,一般都是通过在Agent的每一步迁移过程中产生复本(Replication),然后通过选举(Voting)得到结果.但是大量Agent复本会浪费网络资源与时间.为此,本文提
【机 构】
：
复旦大学,计算机与信息技术系,上海,200433
论文部分内容阅读
目前Agent的容错研究中,一般都是通过在Agent的每一步迁移过程中产生复本(Replication),然后通过选举(Voting)得到结果.但是大量Agent复本会浪费网络资源与时间.为此,本文提出了一种基于完整性检测的Agent迁移容错模型NAMFTM及其改进模型P-NAMFTM.该模型能有效降低通信复杂度与复本数量,避免大量冗余Agent复本所带来的资源负载与时间耗费.最后,本文构造了P-NAMFTM的π演算模型,采用π演算对其进行了分析验证,演算结果证实本文提出的模型是正确可行的.
其他文献
篆书在清代的复兴,论者多关注金石学、考据学与文字学对篆书兴盛的推波助澜,少有提及篆刻创新对篆书复兴的客观作用。篆书艺术创新高潮出现在清中晚期,篆刻家们的篆刻创新是
男,66岁。因头昏、头痛8年加重伴持物不稳、恶心,四肢乏力4天入院。无慢性咳嗽史。体查:血压26.7/14.7kPa,神清懒言,胸廓对称,双肺清。心前区无隆起,心尖搏动在右第5肋间锁
1月8日至10日在北京召开的中国共产党第十七届中央纪委第七次全会,回顾总结2011年党风廉政建设和反腐败工作,科学分析当前反腐倡廉形势,研究部署了2012年任务。中共中央总书
对于所有的新大洲人来说,这是一个非常特别的日子。这一天,创业者们来了,经销商和供应商们来了,还有那些风雨同舟的老朋友们也来了,于是这里成了“老战友”久别重逢的幸福之
为了及时、准确地掌握支架立柱压力情况,保障煤矿工作面安全生产,以可编程计算机控制器PCC为核心,提出了人机交互界面良好、具有RS485、CAN通信接口的液压支架压力监测顺槽总
最近,我院用常量心律平引起了室性心动过速(VT)、心脏严重传导阻滞及心脏停搏2例,现报道如下: 例1 男,38岁,劳力性心悸20年,加重半年,下肢浮肿,不能平卧3月。1989年9月11日
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
7月1日已经如期到来,对于摩托车行业而言这是一个具有非凡意义的日子。因为从这一天开始,满足国Ⅱ排放标准的摩托车生产已成为历史,取而代之企业生产的摩托车全部要满足国Ⅲ
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥