论文部分内容阅读
介绍了形式化描述语言SDL及SDL语言中面向对象的技术,并以停止等待协议为例,研究了协议的形式化开发全过程。重点研究如何利用面向对象的技术对协议进行形式化开发,及如何结合MSC对协议系统进行分析和验证。
基于SDL的停止等待协议设计与实现
【摘 要】
：
介绍了形式化描述语言SDL及SDL语言中面向对象的技术,并以停止等待协议为例,研究了协议的形式化开发全过程。重点研究如何利用面向对象的技术对协议进行形式化开发,及如何结
【机 构】
：
中国民航大学电子信息工程学院
【出 处】
：
通信技术
【发表日期】
：
2008年4期
其他文献
我国近代养老模式普遍以家庭养老为主,以居住社区为依托,老年人对社区公共活动空间的依赖程度和使用频率大大高于其他人群,社区环境品质对老年人的生活质量有着重要影响.以北
目的 分析缝合神经的第一掌骨桡背侧皮神经营养血管皮瓣修复儿童拇指指腹缺损的临床效果.方法 2009年6月至2012年12月,对7例单侧拇指指腹缺损合并指固有神经缺损的患儿,采用第一掌骨桡背侧皮神经营养血管皮瓣进行修复,皮神经与指神经缝合.指腹缺损面积为2.5 cm×1.5 cm～ 2.0 cm×1.2 cm.结果 术后7例皮瓣全部存活,供、受区创面Ⅰ期愈合.术后随访3～24个月,平均9个月,拇指外
随着时代的不断进步,信息技术得到了快速的发展,应用也逐渐深入,企业项目信息化管理对于节约成本、减少数据错误的概率、提高管理水平具有重要的作用,项目信息化管理对于施工
9月19日下午4时,在世界太阳能大会上,清华阳光展区闪光灯闪成一片.这是清华阳光的新品推介会现场.素以技术创新见长的清华阳光一口气推出了“双核舱”承压式、“壁龙”壁挂式
对原CO2压缩机组存在的问题进行了调查和分析,并采用实际运行分析和理论计算相结合的方法,重新设计了5#CO2机,使5#CO2机组的运行效率与旧机组相比提高了40%以上,同时,机组清
Steinert等于1909年首次描述了强直性肌营养不良(myotonicdystrophy,DM),认为该病是一种常染色体显性遗传的多系统疾病,但DM发病的分子机制直至1992年才有所揭示。
腕管综合征(CTS)是多种因素所引起的腕管内压力增高使正中神经受压、缺血,表现出相应支配区域的功能障碍,是临床上较为常见的周围神经卡压性疾病.目前,对于中及重型患者主张手术治疗,手术指征的确定主要以患者的临床表现及电生理检测为主,但只能评价正中神经的功能状况,无法反映正中神经及其周围组织结构的变化,且电生理检测结果存在一定程度的假阴性,可对CTS手术指征的选择造成误导作用.本研究拟通过MRI检查,
期刊
企业人力资源管理通过信息化途径可实现资源核心竞争力的构建,分为人力资源电子信息化、职能分解和外部优势互补以及职能虚拟化,在互联网环境下与其他形成动态合作关系的三个
1994年Oberlin等[1]首次报告采用同侧1/10尺神经束支移位缝合肌皮神经肱二头肌肌支修复臂丛神经损伤,随后该术式获得广泛临床应用,并得到不断改进[2-3].此方法适用于臂丛神经上干或上中干损伤而下干完好者,可快速重建屈肘功能,手术创伤小,疗效肯定,且对尺神经供区功能无明显影响[4].2005年6月至2010年12月,我院共收治10例臂丛神经上干损伤患者,采用尺神经部分束支移位术,重建屈肘
期刊