论文部分内容阅读
简要说明了协议描述和验证的基本概念，示例地介绍构造实现描述和协议验证的基本思想，最后以Ｐｅｔｒｉ网形式给出了ＡＢ协议一例。
协议描述和验证的基本方法
【摘 要】
：
简要说明了协议描述和验证的基本概念，示例地介绍构造实现描述和协议验证的基本思想，最后以Ｐｅｔｒｉ网形式给出了ＡＢ协议一例。
【机 构】
：
东南大学计算机科学与工程系
【出 处】
：
东南大学学报
【发表日期】
：
1996年5期
其他文献
针对在发射端和接收端都存在空间相关的频率选择性时变MIMO信道,分析了MIMO-OFDM系统中的空时频码的分集度性能,基于成对错误概率准则,推广了空时频码的设计准则.对于一个给
大学校园文化是一种潜在的教育力量,对学生的健康成长起着举足轻重的作用。但校园文化对大学生的影响是通过个体的一系列知觉加工过程而实现的,因此真正对学生发展起作用的是
探讨了高层建筑预应力大跨结构框架中巨型截面柱的刚度对梁中预应力效应的影响，得出的结论也适用于竖向构件刚度较大的，采用预应力平板、扁梁或其它预应力楼面体系的以预应力结
2020年春节前后,新型冠状病毒感染肺炎的疫情在武汉市首先爆发并牵动着全国人民的心。这次疫情发生以来,党中央高度重视,始终把人民群众生命安全和身体健康放在第一位,把疫情
本文对某工程大型钢筋混凝土现浇框架结构梁裂缝的成因进行了系统的分析，着重介绍了处理此类裂缝的一种最有效的方法。
钻孔灌注桩目前广泛应用于铁路桥梁、公路桥梁、城市各种桥梁施工中，这种施工方法可使水下作业为水上施工，从而简化施工，缩短工期，降低了工程造价。本文就混凝土灌注施工时可能发
本文从发光动学观点论述电离气体变色发光的机理，从激发辐射的简化模型着手，研究在合适的变色发光介质中，利用控制电子能量产生选择性激发来实现变色发光。
本文在分析住宅建筑二次装修所带来的缺点与弊端的基础上，说明一次性装修要优于二次装修，有利于实施、推广，最后介绍了一次性“菜单式”，装修的内容与运作等问题。