论文部分内容阅读
链路访问过程平衡（LAPB）是数据链路层协议,在X.25网络中担当数据链路层的功能,同时也可以在TCP/IP协议栈中实现数据链路层的功能。它在民航通信系统的应用具有代表性和广泛性。因此系统研究LAPB协议对于将来开展民航航空移动通信系统数据链路层研究工作具有重要的意义。文章重点对LAPB协议的工作机制进行研究、使用形式化方法设计、实现和验证通信协议。