论文部分内容阅读
在通信协议工程的主要开发作业中，形式描述和自动实现扮演着重要的角色。本文主要研讨通信协议的形式描述及自动实现技术。文中论述了协议的典型形式描述技术，主要包括半形式描述技术；ＡＳＮ．１和ＴＴＣＮ．标准形式描述技术：Ｅｓｔｅｌｌｅ，ＬＯＴＯＳ和ＳＤＬ。
通信协议的形式描述及自动实现技术
【摘 要】
：
在通信协议工程的主要开发作业中，形式描述和自动实现扮演着重要的角色。本文主要研讨通信协议的形式描述及自动实现技术。文中论述了协议的典型形式描述技术，主要包括半形式描
【机 构】
：
武汉交通科技大学,武汉水利电力大学
【出 处】
：
小型微型计算机系统
【发表日期】
：
1995年4期
其他文献
ＶｉｓｕａｌＴｅｌ是一个基于ＴＣＰ／ＩＰ协议的桌面视频会议系统。它的研究涉及到多媒体通信技术、多媒体处理技术、ＣＳＣＷ及分布式系统等多个方面的内容。本文介绍了ＶｉｓｕａｌＴｅｌ系统的设计与实现，对其中实为重要的技术问题
本文首先分析ＰＢＬ库的结构，然后定义了一套ＰｏｗｅｒＢｕｉｌｅｄｅｒ对象的注释观范，最后实现了一个“ＰｏｗｅｒＢｕｉｌｄｅｒ对象功能规格说明文档系统。”
德国赢创工业公司闩前成功研发出一种基于传统丙酮氢醇（ACH）路线的新型甲基丙烯酸甲酯（MMA）工艺，该工艺避免了生产过程中重硫酸铵副产品的产生。
本文结合作者开发的一个数据库管理系统ＲＴＤＢＭＳ，探讨实现数据库快速存取的一些技术及方法。本文首先简述ＲＴＤＢＭＳ的结构特点，然后着重介绍利用固定长双缓冲区实现磁盘文件快速异步读写的方法，并
本文介绍了近几年迅速发展的基于波形编辑的语音合成技术。文中简介了它的研究内容、基本算法，还介绍了用波形编辑方法实现的汉语文－语转换系统。
老年慢性支气管炎,在我国是很常见的,因发病率高对老年人身体健康危险极大,目前还缺乏一种简便易行的判定病情和疗效的客观指标。本文对80例老慢支患者的痰液性状(脓性痰、粘