论文部分内容阅读
论述了有限状态机、ＳＤＬ形式描述语言以及协议的一些具体实现技术，列举了一个协议实现的实例，并对协议的半自动实现技术做了较详细的描述。它们都是协议工程的一部分，可与协议设计技术、协议验证分析技术、协议测试技术一起构成完整的协议工程技术。
协议实现技术研究
【摘 要】
：
论述了有限状态机、ＳＤＬ形式描述语言以及协议的一些具体实现技术，列举了一个协议实现的实例，并对协议的半自动实现技术做了较详细的描述。它们都是协议工程的一部分，可与协议设计技
【机 构】
：
北京邮电大学电信工程系
【出 处】
：
北京邮电大学学报
【发表日期】
：
1996年4期
其他文献
目的对比精索静脉高位结扎＋左精索内-腹壁下静脉分流／肾静脉减压术与单纯精索静脉高位结扎术在青少年男性胡桃夹综合征并精索静脉曲张中的疗效。方法回顾性分析2002~2015年我院
如何克服传统教学体制下学生被动学习的惰性,提升在严峻就业形势下的竞争力,培养学生理性的思维模式和积极的行为方式,这是职业院校课堂改革的基本理念。本文针对高职课程教
目的探讨术前血清前列腺特异性抗原(PSA)对经尿道前列腺等离子双极电切术(TUPKP)患者疗效的影响。方法根据术前血清PSA水平,将国内20家医院收治的774例行TUPKP治疗的良性前列
现代寓言小说《蝇王》中的人物都有象征意义。象征野蛮 ,邪恶和专政的杰克一派几乎彻底战败象征文明 ,理性和民主的拉尔夫一派。这象征一旦人类劣根性膨胀 ,文明与民主就要濒
大学生党员是大学生群体中思想觉悟和政治水平较高的优秀分子,是建设社会主义事业源源不断的生力军和骨干力量,在新的时代下如何学习和落实科学发展观,教育和引导好广大大学
本文就西部地区经济发展的现状、影响西部地区经济可持续发展的因素进行了较为深入的分析，并在借鉴发迭国家发展经验的基础上提出了解决我国西部经济可持续发展的途径及措施建
一、确立施工方案。可以保证工程施工质量在建设工程施工项目质量管理中，施工方案的正确与否，是直接影响施工质量的关键所在。对建设项目中工程量大、施工难度高，并就整个建设项
企业是一种盈利性组织,都是以获得最大收益为其最终目标的。对于生产类企业来说,获得最大收益就是在一定的市场条件下,以最少的投入下获得最大的产品数量。文章选取经济极限