【摘 要】
：
利用形式化描述技术FDT(FormalDescriptionTechnique),可以进行高效、可靠的通信协议与系统开发。以220B协议为例,介绍了MSC、SDL、TTCN等形式化描述语言对通信协议进行描述
【机 构】
：
中国科学技术大学6系信息处理中心,中国科学技术大学6系信息处理中心 合肥230027,合肥230027
论文部分内容阅读
利用形式化描述技术FDT(FormalDescriptionTechnique),可以进行高效、可靠的通信协议与系统开发。以220B协议为例,介绍了MSC、SDL、TTCN等形式化描述语言对通信协议进行描述、分析、仿真、实现的过程;最后说明了如何将整个协议栈在硬件平台上进行实现。
FormalDescriptionTechnique (FDT) can be used to develop efficient and reliable communication protocols and systems. Taking 220B as an example, this paper introduces the formal description language of MSC, SDL, TTCN and so on to describe, analyze, simulate and realize the communication protocol. Finally, it shows how to implement the whole protocol stack on the hardware platform.
其他文献
通过对办公OA系统现状进行分析,找出存在的主要问题,结合桌面云技术的突出优点,研究提出办公桌面云系统的建设方案,并探究投入使用后的实际应用效果.
随着科学技术的发展,计算机办公在生活中和工作中扮演的角色越来越重要.现阶段,计算机办公已成为工作中的一个重要部分,因为计算机的便捷性和简洁性给人们的办公带来了诸多方
提出了一种基于DEM数据的谷地分维估算方法,该方法以汇水量阈值为标度,基于谷地形态的自相似性确定汇水量的无标度区间,在无标度区间内通过谷底线长度与汇水量阈值的线性拟合计算谷地的长度分维,通过谷地平均分叉比与平均长度比的比值逼近谷地网络的结构分维值。实验表明,基于本文方法计算的谷地分维值符合不同地貌类型流域水系的形态结构特征。
目的 观察醛同酮(ALD)刺激对足细胞培养上清液中基质金属蛋白酶2、9(MMP-2、MMP-9)活性、Ⅳ型胶原的影响及探讨ALD对足细胞细胞外基质分泌、降解的调节机制.方法 分别用不同浓度ALD(10-11、10-9、10-7mol/L)以不同时间(24、48、72 h)作用足细胞,并设立空白对照组.用明胶酶谱、Western印迹、ELISA方法检测培养上清液中MMP-2、MMP-9、Ⅳ型胶原α5
Hot-corrosion behaviors of nickel-base superalloy and aluminide diffusion coating have been investigated in conditions of contents of Na2SO4 and NaCl molten sal
公路收费站调整对策的提出,可为公路部门适应经济发展需要更合理布局站点提供参考,以保证收费公路的可持续发展。在简要介绍武汉市收费公路及站点现状基础上,综合多学科,多层
在我国科技发展阶段,计算机的应用日益广泛,为很多行业工作的有效开展提供了机会,但与此同时,在网络开放性环境的影响下,计算机的应用安全无法得到有效的保障.针对这一情况,
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
长期以来,胃癌一直是全球发病率和病死率最高的恶性肿瘤之一。由于日本的早期胃癌研究较为成功,日本胃癌总的5年生存率为40%～60%,居世界之首;其他国家约为20%[1]。中国每年死