基于泛洪的可靠广播算法分析

来源 :哈尔滨工业大学学报 | 被引量 : 0次 | 上传用户:shi123abc
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
由于非一致性可靠广播问题的普遍性,针对该问题已经形成了很多算法,其中最重要的是T.D.Chandra和S.Toueg提出的基于泛洪的可靠广播算法.对该算法的分析,已有的文献或者忽略,或者只是基于简短的自然语言分析.为了深入理解上述算法,对其活动性和安全性进行了严格的分析和证明.在系统模型为Fail-Silent进程和全互联,可靠的通讯子系统的条件下,首先分析了算法的执行逻辑和执行状态.在对算法的活动性分析中得出的结论:允许故障的条件下会出现接收员进程终止于状态S'O的情况.在对算法的安全性分析中得出的结论
其他文献
以笔记本电脑作为研究对象,运用因子分析和结构方程模型,研究了同一个产品享受属性和功能属性的不一致体验与顾客满意度之间的关系。研究发现:(1)同时出现功能属性和享受属性的正
成都地铁5号线为满足车辆调度需求,在九兴大道站小里程端采用左线盾构隧道与右线大断面浅埋暗挖隧道的双线并行布设方案,双洞净距2.9m.本文以该超小净距隧道为背景,采用数值
赞同将走马观花式的旅游认作是与慢旅游相对,但在若作深层次的解读,慢旅游应是指与自然节律相匹配的旅游活动。因此,慢旅游的标准应该参照传统农耕社会的节律,同时慢旅游还受旅游
以池养南美白对虾(Penaeus vannamei)亲虾进行人工促熟,并使之交尾、产卵、受精。实验在上海金山区抗州湾河口低盐地区一套自行设计的水循环系统中进行,育苗用水通过兑配使盐度为
从心里学看,人的需要和目标的确立主要来看生理、安全、社交、尊重和实现的需要。而作少青少年学生,对待一门课学习动机则主要来看于安全、尊重和自我实现的需要,即追求知识的实
萨都剌,元代后期杰出的色目诗人,据不完全统计他现存的900余首诗中,仅赠答诗就有将近300,占其全部诗歌的1/3。由于其创作时代、人生经历、结交友朋的不同,诗人的创作心态也有
根据中国科学技术信息研究所2006年提供的引证数据,对2004~2005年《中国水产科学》被引证情况进行分析,同时根据2005-2006年版《中国科技期刊引证报告》进行计量学指标分析。结
以勉县汉江大桥63m简支梁节段拼装施工为背景,根据项目施工特点,基于建立的BIM模型,进行各部件间的碰撞检查,提高工作效率,降低返工风险;利用BIM技术进行场地优化布置,确保施工安全,
在我国传统的大学英语教学中,忽视了学生的主体作用,对学生的个体发展产生了很不利的影响,因此,本文想从大学英语教学的实际出发,探讨一下学生主体作用在英语教学中的体现。
1982年碧流河水库建成后,被陆封在水库中的香鱼(Plecoglossus altivelis)经10余年适应后,其生物学特性发生了很大变化。其中一部分个体春季水温上升后暂不进入河道,而留在水库中