论文部分内容阅读
从ECS1协议和PFH协议出发,研究三轮乐观合同签订协议的结构。利用协议动作序列及条件图建立协议模型,分析三轮协议满足有限性的条件。在此基础上,结合模型检测工具SPIN,对满足有限性的协议结构的公平性进行分析、验证,并给出反例,说明三轮协议不可能同时满足有限性和公平性。
乐观合同签订协议的模型检测分析
【摘 要】
：
从ECS1协议和PFH协议出发,研究三轮乐观合同签订协议的结构。利用协议动作序列及条件图建立协议模型,分析三轮协议满足有限性的条件。在此基础上,结合模型检测工具SPIN,对满
【机 构】
：
华南师范大学计算机学院
【出 处】
：
计算机工程
【发表日期】
：
2011年7期
【基金项目】
：
国家“973”计划基金资助项目（2009CB320701）, 广东省科技计划基金资助项目（2007B010400068）
其他文献
遥测水情预报方法在抗洪降灾、水库调节、工农业发展中起到了十分重要的作用。伴随高新科技的进步,水文预报的规范性得到了明显的提升,及时研究遥测水情并及时排除水情遥测平
目的探讨湿性医疗与美容整形技术结合治疗皮肤擦挫伤伴灰尘颗粒嵌入的临床效果。方法选择2011年1月~2013年5月,在山东省淄博市中心医院门诊伤后6 h内就诊皮肤擦挫伤患者126例
图钉工作室是20世纪最具影响的设计组合之一。可以毫不夸张地说，披头士改变了音乐的性质，而图钉工作室改变了插图与设计的性质。1954年，由米尔顿·格拉瑟（MiltonGlaser）、西蒙
在经济与金融全球化的趋势下，银行业竞争压力进一步增强。2008年全球融危机的爆发又给全球银行业带来了严峻挑战，也引发了学者们对现行金融体系的思考，对银行竞争力的评价也引起
在分析基于属性加密体制的基础上，结合椭圆曲线上双线性对的基于身份的签名体制，提出一种基于属性的加密和基于身份的签名一体化方法以及一个无线传感器网络签密方案。通过实验
以VL型径向唇形密封结构为研究对象,采用数值仿真和试验研究相结合的方法,基于多尺度分析聚四氟乙烯(PTFE)密封材料的宏观和微观摩擦特性。结果表明,磷酸酯液压油润滑的PTFE