首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机的应用论文--信息处理(信息加工)论文--模式识别与装置论文

数字家庭无线射频协议的形式化分析与研究

摘要第1-6页
Abstract第6-9页
第1章 前言第9-12页
   ·研究背景第9-10页
     ·数字家庭起源第9-10页
     ·数字家庭技术特点第10页
     ·无线射频协议的提出第10页
   ·研究内容第10-11页
   ·论文的组织和内容安排第11-12页
第2章 数字家庭无线射频协议第12-17页
   ·关键术语第12-13页
   ·应用模型第13页
   ·各层功能第13-17页
     ·应用层第13-14页
     ·会话层第14-15页
     ·网络层第15-16页
     ·链路层第16-17页
第3章 基于Petri网的数字家庭无线射频协议建模与分析第17-28页
   ·Petri网基本原理第17-19页
     ·Petri网的基本定义第17-19页
     ·Petri网的性质第19页
   ·控制设备模块第19-23页
     ·控制工作流第19-20页
     ·控制流程的Petri网模型第20-21页
     ·控制流程分析第21-23页
   ·射频中继器模块第23-26页
     ·中继工作流第23页
     ·中继器Petri网模型第23-25页
     ·中继流程分析第25-26页
   ·终端模块第26-28页
     ·终端工作流第26-27页
     ·终端Petri网模型第27页
     ·终端通信分析第27-28页
第4章 数字家庭RF协议安全分析第28-41页
   ·受控设备注册安全性第28-32页
     ·注册原语第28-29页
     ·注册安全分析第29-32页
   ·会话层安全性第32-35页
   ·网络层安全性第35-37页
   ·链路层安全性第37-41页
第5章 一种基于数字家庭RF协议的自动注册和路径更新系统第41-57页
   ·系统简介第41-45页
     ·系统结构第41-42页
     ·通信数据格式第42-44页
     ·系统优点第44-45页
   ·射频路径自动注册第45-51页
     ·路径自动注册机制第45-46页
     ·基于Petri网的自动注册模型第46-48页
     ·自动注册详细分析第48-51页
   ·动态路由第51-57页
     ·动态路由机制第51-52页
     ·基于Petri网的动态路由模型第52-53页
     ·动态路由详细分析第53-57页
第6章 总结和展望第57-58页
   ·本文总结第57页
   ·进一步的工作展望第57-58页
参考文献第58-61页
致谢第61-62页
攻读学位期间的研究成果第62页

论文共62页,点击 下载论文
上一篇:基于层次分析法的测试用例可复用性研究
下一篇:基于多模纹理分类的图像隐写分析算法