论文部分内容阅读
本文论述了计算机网络协议描述的一些方法,并介绍了时序逻辑理论,还应用该方法对能源部颁布的电力系统实时数据传输应用层协议进行了描述,并探讨了推广到描述计算机网络高层协议的可能性。
This paper discusses some methods of computer network protocol description and introduces the theory of sequential logic. It also describes the real-time data transmission application layer protocol of power system promulgated by the Ministry of Energy and explores the extension to the description of high-level protocols in computer networks possibility.