基于开放式控制环境下的设备即插即控技术研究
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-5页 |
| 目录 | 第5-7页 |
| 1 绪论 | 第7-12页 |
| ·选题背景及意义 | 第7-8页 |
| ·国内、外研究概况 | 第8-10页 |
| ·论文的工作内容、重点 | 第10页 |
| ·论文结构 | 第10-12页 |
| 2 开放式控制环境下的智能家庭介绍 | 第12-19页 |
| ·开放式控制环境概述 | 第12-15页 |
| ·开放式控制系统与传统控制系统的比较 | 第12-13页 |
| ·开放式控制器设计目标 | 第13-15页 |
| ·基于开放式控制环境下的智能家庭 | 第15-19页 |
| ·基于开放式控制环境下家庭服务器设计 | 第15-17页 |
| ·基于开放式控制环境下智能设备特点 | 第17-19页 |
| 3 即插即控协议栈的设计 | 第19-33页 |
| ·协议栈设计目标及其层次结构 | 第19-21页 |
| ·底层通信接口层 | 第21-22页 |
| ·设备层 | 第22-29页 |
| ·消息类型 | 第23-28页 |
| ·消息元素的类型说明 | 第28页 |
| ·协议转换 | 第28-29页 |
| ·协议栈图形描述 | 第29-32页 |
| ·数据存储问题 | 第32-33页 |
| 4 即插即控协议栈性能分析 | 第33-44页 |
| ·Petri网基本理论 | 第33-36页 |
| ·Petri网定义及实施规则 | 第34-35页 |
| ·Petri网基本性能 | 第35-36页 |
| ·Petri网与自动机比较 | 第36-37页 |
| ·即插即控协议栈的Petri网模型 | 第37-39页 |
| ·基于Petri网的死锁检测 | 第39-41页 |
| ·死锁的定义 | 第39页 |
| ·Petri网死锁检测算法 | 第39-40页 |
| ·可达树构造及死锁标识检测算法 | 第40页 |
| ·初始标识可达性判断算法 | 第40-41页 |
| ·即插即控协议栈死锁分析 | 第41-43页 |
| ·底层通信接口层协议死锁分析 | 第41-42页 |
| ·设备层协议死锁分析 | 第42-43页 |
| ·协议栈的冲突超时解决方案 | 第43-44页 |
| 5 即插即控协议栈仿真环境实现 | 第44-56页 |
| ·仿真系统的整体架构 | 第44-46页 |
| ·智能家庭服务器端实现 | 第46-49页 |
| ·服务器端主程序流程图 | 第46-47页 |
| ·协议转换设计 | 第47-49页 |
| ·智能家庭智能设备端实现 | 第49-53页 |
| ·具体消息数据结构设计 | 第49-52页 |
| ·智能设备端主程序流程图 | 第52-53页 |
| ·仿真试验结果及分析 | 第53-56页 |
| ·仿真结果 | 第53-54页 |
| ·结果分析 | 第54-56页 |
| 6 总结 | 第56-57页 |
| ·论文总结 | 第56页 |
| ·有待研究的工作 | 第56-57页 |
| 致谢 | 第57-58页 |
| 参考文献 | 第58-61页 |
| 附录 A | 第61-62页 |
| 攻读硕士学位期间发表的论文 | 第61页 |
| 攻读硕士学位期间参与的科研项目 | 第61-62页 |
| 附录 B | 第62-66页 |
| B.1 协议栈设备层中消息携带的消息元素 | 第62-65页 |
| B.2 消息元素的类型说明 | 第65-66页 |
