论文部分内容阅读
本文分析了协议模型形式描述方法(自动机法,Petri-net法,高级语言模型,语义学模型,时态逻辑,代数模型,混合型模型)和特点,并简要介绍了协议形式描述技术的应用和发展趋势。
协议模型形式描述方法与趋势
【摘 要】
：
本文分析了协议模型形式描述方法(自动机法,Petri-net法,高级语言模型,语义学模型,时态逻辑,代数模型,混合型模型)和特点,并简要介绍了协议形式描述技术的应用和发展趋势。
【机 构】
：
华北电力学院电子工程系
【出 处】
：
华北电力学院学报
【发表日期】
：
1990年1期
其他文献
本文提出了一种电子产品在调试过程中应用的电路故障诊断法,并研制了一套能在微机上实现的诊断软件。该软件占用内存少,运算时间短,采用中文交互式会话方式,使用方便,已在IBM
为提高变电站综合自动化系统的可靠性,该文对综合自动化系统在运行中出现的干扰进行分析.提出通过抗干扰措施,优化变电站综合自动化系统.
朱熹的仁说包括本体论、心性论及工夫论三个层面。本体论层面,仁是天理在人性中的呈现,是高于形而下之气（情）的形上本体。心性论层面,仁是兼包四德的心之全德,是孝弟（爱）之所以然
本文介绍了在一个分布式文件系统——3DFS中共享目录和数据文件一致性的控制机构的设计。对共享目录的互斥更改采用令牌控制方式,而对数据文件一致性控制采用主副本上锁方法
在农业农村部“一带一路”热带国家农业资源联合研究专项的支持下,应椰子所的邀请,斯里兰卡椰子研究所组培专家Vijitha博士和椰子育种专家Kasun博士于6月2-6日到椰子所开展学
以江泽民同志为核心的党的第三代中央领导集体,自党的十三届四中全会以来的13年中,充分展示了理论创新的非凡品格,从三个层面上进行了理论创新,并取得了巨大的理论成果.即,丰
根据主成分分析法能够在保证原始数据信息损失最小的情况下，以少数的综合变量取代原有的多个变量的特点，对长春市石头口门水库汇水区的主要河流进行了水环境质量综合评价，并进一
介绍了采用第二代数字处理器实现的零次群数复接器，分析了系统的帧结构、组成及特点；论述了通过设置环形缓冲区由软件实现对多路数据进行调整速率的方法。
ＭＰＳ型磨煤机为我国近年引进的机型，目前电厂已装备２００余台，针对我国煤质特点研制出适合我国资源特点的铬系白口铸铁磨盘瓦，不仅能节约我国稀缺的镍资源，还大大提高了机械性能和耐磨性，圆
基于给出的行程速比系数Ｋ和摇杆摆角，提出了曲柄摇杆机构按最小传动角的优化综合方法。该法适用于Ｋ≠１的任何情况，可提供曲柄摇杆机构设计的精确解答。