【摘 要】
：
随着Web服务的高速发展,其可靠性已经受到了越来越多的重视.针对当前拜占庭错误容忍算法对Web服务支持的不足,提出并设计了一种面向Web服务的拜占庭错误容忍算法.该算法与著
【机 构】
：
武汉大学计算机学院,武汉大学空天信息安全与可信计算教育部重点实验室
论文部分内容阅读
随着Web服务的高速发展,其可靠性已经受到了越来越多的重视.针对当前拜占庭错误容忍算法对Web服务支持的不足,提出并设计了一种面向Web服务的拜占庭错误容忍算法.该算法与著名的CLBFT算法有显著区别.在Web服务中,为了支持组合服务必须对进行通信的Web服务双方都创建复制品,而CLBFT算法只在服务器方创建复制品.使用基于状态机的主动复制技术,在进行通信的Web服务双方都创建复制品.引入接收窗口和接收点对异步环境下的消息进行批量确认,同步各复制品收到消息的时间.用I/O自动机给出该算法的自动机模型,并通过遵循TPC-App Benchmark规范的实验平台实现了算法,验证了算法可行性.
其他文献
土木建筑施工是现代建筑工程的主要组成部分，对于建筑的施工质量控制有着很大的关联。本文中针对当前在土木建筑施工中进度、安全以及管理等三方面存在的问题进行了具体分析，并
目的：分析卫生应急管理人员的培训需求，为建立和完善卫生应急管理人员培训方案提供参考依据。方法通过采用调查问卷的形式，涉及培训时间、培训形式、培训内容、培训经费、考核评
本文就护理专业《人体解剖学》课程教学改革的相关问题，对临床各主要科室的护理工作者及临床课教师进行了问卷调查，获得了一些有用的信息。
艺术教育是素质教育的重要组成部分，是学校实施美育的重要途径和内容。全国部分非艺术类普通高校开设的艺术类公共选修课在发展中遇到了瓶颈，文章从多个层面提出了解决对策，以帮
目的：了解目前大连地区0-14岁儿童末梢血中铜、锌、钙、镁、铁5种微量元素水平并分析其影响因素，为防治本地区儿童微量元素缺乏提供依据。方法采集956名儿童末梢全血，采用原子吸
目的：探讨体重指数（BMI）与高血压的关系，为健康教育提供依据。方法将在昌吉州人民医院体检科健康体检中随意抽出一段时间的体检人数测量身高、体重，计算体重指数，测量血压检查并问
目的：：以大鼠为例来进行运动疲劳后脑缺氧在关注和高压氧治疗后脑红蛋白表达情况，对临床治疗提供参考。方法：选取24只雄性大鼠来进行研究，其均为运动后脑缺氧症状，分组为对照组、运
目的：探讨碳酸氢钠水疗法对造影剂肾病（C I N）的临床预防效果。方法：将120例行冠脉造影介入手术患者随机分为观察组及对照组各60例，对照组术前给予0.9%氯化钠注射液静脉输注，观察组
目的：本文从护理患者中发现人性化护理对患者的重要性，提高患者的生活质量，是人性化护理患者的基石，探讨人性化护理的临床应用。方法语言是护士与患者交流的重要桥梁，多沟通了解住
以统治族群变更为表征的元明易代,对中国近世社会文化史产生了深远的影响.明初在“用夏变夷”、“复古”等口号下推行的礼俗整肃,涉及社会生活的方方面面,对民间日常杂礼的清