【摘 要】
：
This paper presents a recovery algorithm for self-stabilizing communication protocols.It first describes some concepts and a formal description method for the a
【机 构】
：
Department of Computer Science & Technology
论文部分内容阅读
This paper presents a recovery algorithm for self-stabilizing communication protocols.It first describes some concepts and a formal description method for the algorithm.Then it proposes the algorithm procedures,proves its correctness and analyses its complexity.Finally,it also verifies the availability and efficiency of the algorithm by illustrating an example protocol with muiti-proceeses.
其他文献
当代的中国政党制度和中国民主政治建设这个主题有很大的研究价值,民主政治建设需要中国政党制度做保证,中国政党制度的发展是中国民主政治建设的重要方面,二者互动关系密切,
西柏坡时期,中国共产党把贯彻落实群众路线作为取得胜利的重要手段,对群众路线的内涵、主客体关系、重要作用等重大理论问题进行了论述,并开展了群众路线的实践,党的群众路线理论达到了前所未有的成熟。在贯彻落实群众路线过程中,强调要进行深刻的学习和教育;强调要赋予群众完全的权利;强调要发扬民主;强调要建立科学长效的考察评价机制;强调要处理好领导与群众的关系;强调党的作风建设。
建立完善的生态文明制度体系,用制度保护推进生态环境建设,是实现经济社会发展的必要途径.本文从完善法律政策保障机制、创新完善生态环境管理制度、完善经济社会发展考核评
覆盖宽度是全景式航空相机的重要指标,深入分析了摄影起始角误差对全景式航空相机所得图像锯齿效应的影响。在介绍全景式航空相机工作方式及工作时序的基础上,分析了所得图像
肺血栓栓塞症(PTE)是临床常见的急危重症.根据“欧洲心血管学会(ECS)2008”及“美国心脏病学会(AHA)2011”指南的意见,大面积或高危PTE的患者应接受溶栓治疗[1-2],但为PTE并
上有天堂，下有苏杭。一座东方水城，让世界读了两千五百年；一个现代工业园，用十年时间磨砺出超越传统的利剑。她用古典园林的精巧，布局出现代经济的版图；她用双面刺绣的绝活，实现了东
非动脉炎性前部缺血性视神经病变尚无被国内外眼科同行广泛接受,经过严格科学验证的有效治疗方法以恢复患眼的视功能损害和防止对侧眼的累及,是否应该采用糖皮质激素类药物治
随着电子交易市场的发展,企业在传统的远期合约采购基础上,开始从现货市场采购产品.在假定制造商通过远期合约和现货市场采购产品的情况下,研究了影响市场需求和现货市场价格
General neural network inverse adaptive controller haa two flaws: the first is the slow convergence speed; the second is the invalidation to the non-minimum pha
着重从城市居住水平整体出发,考虑到城市居民居住情况的各个方面,建立了一套较为完善的城市居住水平综合指标体系.并根据城市居住水平的特点,提出用一致逼近技术对城市居住水