蓝牙核心协议的研究与开发-计算机应用技术专业论文.docxVIP

哈尔滨工粮大学陨士学佼论文 攘攘 蓝5于是短距离、低成本无线淄讯技术之一。它可以用于替代移动设备 之间的通讯电缆，从而形成个人无线网络。它不仅使计算机和通信的融合 成为可能，而且随着它的不断进步，还可以把家电、娱乐电子产品与计算 机、通信系统的终端融为叩 休，使人们我家勇豆、办公室或其他公共场所就 能实现统…的操作和控制，为办公室的自动化和家庭通倦的实施创造了良 好的条件。直至牙技术可视为开放的、全球无线谱锋和数据 i遵信的技术标准 之→。 藏:r-通信协议规范是fè蓝:r-特别利益级织制定的、会球开放的技术标 准。它是设计览:r-产品时所必须满循的技术规泡本文夜班牙技术规范的 草草架下，结合蓝牙协议的体系结构，重点分析了般务发现协议和逻辑键路 控制和适配协议。并从协议分析出发，以协议分腥的设计思想为现念，以 协议工程学的方法为指导，充分利用有限状态自动机的工作方式，在 LINUX 平台上用 ANSI C 诱苦于开放实现了这两个协议。 tE对这两个协议开发实践的同时深入探索协议验证理论是本文的特 点。在开发协议的过程中，本文将对网络协议的验证理论进行进一步的深 层次研究。为解决复杂协议的验证问题以运应新的网络环境，在巨充分吸取 当前的协议验证现论方法成果后，本文提出了一种新的网络协议的验证方 法一→毒号子多层自动机映射的网络协议的构建性的验证。文中不假对