【摘 要】
：
针对目前绝大多数形式化描述技术在处理协议的活性等方面存在的不足，提出一种新的基于公平性假设的时态逻辑技术描述协议，并给出ＡＢ协议的形式化描述实例。
Aiming at the shortc
论文部分内容阅读
针对目前绝大多数形式化描述技术在处理协议的活性等方面存在的不足，提出一种新的基于公平性假设的时态逻辑技术描述协议，并给出ＡＢ协议的形式化描述实例。
Aiming at the shortcomings of most formal description techniques in handling protocol activity, a new description technique of temporal logic based on the assumption of fairness is proposed and a formal description example of AB protocol is given.
其他文献
科学探究是科学学习的中心环节。科学探究不仅可以使小学生体验到探究的乐趣,获得自信,形成正确的思维方式,而且使他们识别什么是科学,什么不是科学。引导学生通过一定的过程
八年前的一天,我突然接到一位老乡的求援信,他父亲得了重病,要住院治疗,住院费尚差几百块钱,问我能不能借他一百块。一百元在当时可不是小数,我刚中专毕业分配工作,每月才拿
胃动素(Motilin)是一种胃肠道激素,分子量2700,由22个氨基酸组成.其生成细胞主要集聚于十二指肠和近端空肠的粘膜隐窝中,神经组织和垂体、下丘脑等中枢系统也有发现,故称为
丽珠肠乐治疗各种原因的慢性腹泻62例,设补脾益肠丸组和强力正露丸组各42例相对照.结果:丽珠肠乐组明显优于对照组,并无副作用.
There were 62 cases of chronic diarrhea t
(转载自贵州省科技厅官方网站)《贵州茶产业关键技术研究与产业化示范》重大科技专项,由贵州省茶叶研究所联合浙江大学、贵州大学、贵州省山地农业机械研究所、贵州湄潭兰馨
我讲一个真实的案例,海尔每天11:30~12:30要开一个会议,叫战略调频会。大概有40多人参加,支持部门如财务、人力要来,核心骨干要来,高管团队要来,还有20多名基层员工。海尔现
本文剖析了Ｍｉｃｒｏｓｏｆｔ公司的视频会议系统ＮｅｔＭｅｅｔｉｎｇ的体系结构及其实现机制，着重讨论了如何利用ＮｅｔＭｅｅｔｉｎｇ去开发网络上的视频应用，并就有关技术细节提出了自己的解决方案．
This article analyzes the Micros
《我很勇敢》著|(韩)全美花中国电力出版社推荐理由:死亡,是成人与孩子绕不开的成长话题。《我很勇敢》一书,经由孩子之口讲述有关亲人突然离世的故事,真实地呈现了这个过程
本文认为，仅从书本上谈论社会主义的时代，已经一去不复返了，因而要强调在实践中深化对社会主义的认识。全文分三部分：一、依据社会主义实践的经验教训，阐述了社会主义的普遍性(社会主义的历史必然性，社会主义制度的基本特征和主要原则)与特殊性(普遍原则在不同国度、不同历史条件下的创造性运用和具体体现)的辩证关系，认为二者的有机结合是实现社会主义制度的本质要求；二、扼要地论述了有中国特色社会主义理论的基本内容；三、从国际和国内形势出发，提出了坚持和发展科学社会主义亟需在实践中探索的一系列重大理论和实践课题。
通常的情况下,专业技术人员由于长时间的潜心工作容易产生倦怠心理,降低工作效率,影响工作效益,制约工作质量。这属于人体机能正常调节范畴,只需劳逸结合,暂时抛开工作,换个