通信协议的自稳定性研究

研究了通信协议的自稳定性理论、方法及技术。提出了基于形式语义的通信协议自稳定性设计理论及方法，提出了通信协议满足自稳定性的充分必要条件及相关定理，提供了自稳定协议证明的形式方法，研究并发现了某些著名通信协议的非自稳定性，并给出了其自稳定协议设计实例。提出了一种适应于通信协议自稳定性的算法途径，其中包括容错全局状态算法和自稳定性恢复算法，验证了它们的正确性和有效性。研究并提出了一类抽象形式化模型，给出了一类容错路由通信协议设计与实现实例。理论及实验研究结果表明，本项目提出的通信协议自稳定性理论及方法是有效可行的，从而为自稳定通信协议的设计及正确性验证提出了一种新的思路和途径。