蓝牙核心协议的研究与开发
| 第1章 绪论 | 第1-14页 |
| ·蓝牙技术起源 | 第8页 |
| ·蓝牙技术的特点 | 第8-10页 |
| ·国内外研究动态 | 第10-11页 |
| ·课题来源和论文工作的内容 | 第11页 |
| ·论文的内容安排 | 第11-12页 |
| ·本论文各项工作的意义 | 第12-13页 |
| ·本章小结 | 第13-14页 |
| 第2章 网络协议的理论基础 | 第14-27页 |
| ·协议概述 | 第14-18页 |
| ·网络协议的定义和基本元素 | 第14-15页 |
| ·网络协议的开发过程 | 第15-18页 |
| ·协议的形式化模型 | 第18-22页 |
| ·有限状态机定义 | 第18-19页 |
| ·协议的FSM模型 | 第19-22页 |
| ·协议的形式化综合 | 第22-24页 |
| ·协议综合概述 | 第22-23页 |
| ·协议的串行综合 | 第23-24页 |
| ·协议的测试 | 第24-26页 |
| ·协议测试概述 | 第24页 |
| ·协议的一致性测试 | 第24-26页 |
| ·本章小结 | 第26-27页 |
| 第3章 蓝牙协议体系结构和总体设计 | 第27-36页 |
| ·蓝牙协议标准 | 第27-30页 |
| ·协议实现环境 | 第30-33页 |
| ·LINUX操作系统的优点 | 第30-31页 |
| ·LINUX的设备和模块分类 | 第31-32页 |
| ·LINUX内核模块和字符设备驱动程序 | 第32页 |
| ·LINUX字符设备驱动程序 | 第32-33页 |
| ·LINUX上的开发工具 | 第33页 |
| ·协议总体设计思路 | 第33-35页 |
| ·本章小结 | 第35-36页 |
| 第4章 服务发现协议的分析和设计 | 第36-48页 |
| ·服务发现协议概述 | 第36-37页 |
| ·服务记录 | 第37-38页 |
| ·SDP协议数据单元 | 第38-39页 |
| ·服务发现协议实现 | 第39-47页 |
| ·服务发现应用模型 | 第39-41页 |
| ·服务发现协议实现 | 第41-47页 |
| ·本章小结 | 第47-48页 |
| 第5章 逻辑链路控制与适配协议的分析和设计 | 第48-63页 |
| ·L2CAP协议概述 | 第48-54页 |
| ·L2CAP协议实现 | 第54-62页 |
| ·本章小结 | 第62-63页 |
| 第6章 网络协议的深入研究 | 第63-72页 |
| ·协议性质概述 | 第63-65页 |
| ·多层自动机映射 | 第65-66页 |
| ·网络协议构建性验证 | 第66-70页 |
| ·构建性验证策略 | 第66-67页 |
| ·协议构建性验证的步骤 | 第67-68页 |
| ·一般性的证明策略 | 第68-70页 |
| ·实际系统的验证结果 | 第70页 |
| ·本章小结 | 第70-72页 |
| 结论 | 第72-73页 |
| 参考文献 | 第73-77页 |
| 攻读硕士学位期间发表论文和取得的科研成果 | 第77-78页 |
| 致谢 | 第78页 |
