基于SPIN的协议分析验证研究

为了研究协议分析验证方法的有效性,论文利用协议分析验证工具SPIN对可靠传输协议中的GBN协议进行了分析验证,结果发现单纯依靠工具并不能保证协议的正确性,本文对如何确保协议的正确性进行了研究,提出了具体建议。

在协议工程中应用统一建模语言UML的方法

协议工程与软件工程有着天然的联系。将软件工程中常用的分析工具，统一建模语言UML，应用于协议工程也是非常自然的事。本文结合对GBN—ARQ协议的UML描叙，给出了用UML描叙协议的一些方法。

WCDMA系统中的HARQ技术应用

为了更好地发展数据业务,3GPP在R5版本引入了HSDPA(High Speed Downlink Packages Access,高速下行链路分组接入技术)。而ARQ(Automatic Repeate Quest,自动重复请求)和FEC(Forward Error Control,前向纠错)相结合的HARQ(Hybrid Automatic Repeatre Quest,混合自动重传请求)信道编码技术是实现HSDPA的核心技术之一。本文介绍了3GPP建议的HARQ的基本概念、三种基本HARQ方案和两种应用方法,重点讨论了3GPP在HSDPA中采用的HARQ协议和重传数据分组的译码算法。