论文部分内容阅读
本文提出了适用于通信协议形式描述的一种新的混合模型,称为FCA混合模型。本模型由有限状态机FSM通信顺序进程CSP和抽象数据类型ADT结合而成,从而使得所描述的协议具有准确性、完全性和无二义性。文中给出了IEEE802.3MAC协议的FCA协议的ECA描述和验证实例。
通信协议形式描述的一种混合模型研究
【摘 要】
：
本文提出了适用于通信协议形式描述的一种新的混合模型,称为FCA混合模型。本模型由有限状态机FSM通信顺序进程CSP和抽象数据类型ADT结合而成,从而使得所描述的协议具有准确性
【出 处】
：
计算机工程与设计
【发表日期】
：
1989年1期
其他文献
研究了深冷处理对ＧＣｒ１５轴承钢和Ｗ９Ｍｏ３Ｃｒ４Ｖ高速钢组织和性能的影响。结果得出：ＧＣｒ１５钢冷处理后在－１２０℃等温下可获得最高硬度，深冷处理时得到的马氏体以短而粗的片状马氏体为主。Ｗ９Ｍｏ３Ｃｒ４Ｖ钢铣刀在正常热处理后的
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
根据常减压蒸馏装置腐蚀环境的体系特点,合成了一种耐酸性强的高效缓蚀剂HS-1,并与目前炼厂使用的2种缓蚀剂HS-2和HS-3进行了对比。通过静态和动态挂片失重实验,对3种缓蚀剂
习近平总书记在2018年9月全国教育大会上指出:“要努力构建德智体美劳全面发展的教育体系,形成更高水平的人才培养体系。”“要在学生中弘扬劳动精神,教育引导学生崇尚劳动、
分布式计算机控制系统是当前工业过程中一种比较理想和先进的自动监测和控制系统。本文具体介绍两个分布式微机监控系统的应用实例:电网微型机监控与调度自动化系统和煤矿安
文中给出了广义正规自动机上L关系的定义。由此出发刻画了广义标准自动机,即L是等价关系的广义正规自动机。证明了L是广义标准自动机上的同余关系,并给出了商自动机A/L是循环
将全反射红外光谱(ATR-FTIR)和X射线光电子能谱(XPS)技术用于测试四款聚酰胺纳滤和反渗透商品膜的表面组成.通过ATR-FTIR方法,可知纳滤膜HL 4040FM与其他反渗透膜相比,缺少酰
本文是我们自行设计和开发的图文管理系统的总结。文中概述了系统的设计思想,模型结构系统的创建和编辑,数据集管理,系统维护功能和安全保密体系,人机交互界面的设计。本系统
以二硫化二苯甲酸为起始原料，经酰胺化后以双氧水为氧化剂，制备1，2-苯并异噻唑啉-3-酮。结果表明，在氧化剂与酰胺的摩尔比为1.2：1，反应时间为3 h，反应温度60℃条件下，反应总收率可达6