无线传感网应用重编程技术研究
| 摘要 | 第4-6页 |
| Abstract | 第6-8页 |
| 第一章 绪论 | 第18-32页 |
| 1.1 无线传感网应用 | 第19-22页 |
| 1.1.1 无线传感网应用的发展 | 第19-21页 |
| 1.1.2 无线传感网应用更新的原因 | 第21-22页 |
| 1.2 无线传感网应用重编程 | 第22-23页 |
| 1.3 研究思路 | 第23-28页 |
| 1.3.1 研究问题 | 第24页 |
| 1.3.2 研究挑战 | 第24-25页 |
| 1.3.3 研究现状概述 | 第25-27页 |
| 1.3.4 技术路线 | 第27-28页 |
| 1.4 本文工作与贡献 | 第28-29页 |
| 1.5 论文组织结构 | 第29-32页 |
| 第二章 相关工作 | 第32-52页 |
| 2.1 编程语言 | 第32-39页 |
| 2.1.1 编程抽象 | 第33-37页 |
| 2.1.2 编程风范 | 第37-39页 |
| 2.1.3 讨论 | 第39页 |
| 2.2 语言处理系统 | 第39-44页 |
| 2.2.1 编译实现 | 第39-43页 |
| 2.2.2 编译/解释实现 | 第43-44页 |
| 2.2.3 讨论 | 第44页 |
| 2.3 批量数据分发协议 | 第44-51页 |
| 2.3.1 参与分发过程传感器选择 | 第44-45页 |
| 2.3.2 数据源传感器选择 | 第45-47页 |
| 2.3.3 通信冲突处理 | 第47-50页 |
| 2.3.4 讨论 | 第50-51页 |
| 2.4 本章小结 | 第51-52页 |
| 第三章 高效重编程方法技术框架 | 第52-64页 |
| 3.1 无线传感网应用特征分析 | 第52-59页 |
| 3.1.1 应用属性 | 第52-58页 |
| 3.1.2 应用总结 | 第58页 |
| 3.1.3 特征分析 | 第58-59页 |
| 3.2 高效重编程技术框架 | 第59-63页 |
| 3.2.1 设计原则 | 第59页 |
| 3.2.2 重编程模型 | 第59-61页 |
| 3.2.3 技术方案选择 | 第61页 |
| 3.2.4 技术框架 | 第61-63页 |
| 3.3 本章小结 | 第63-64页 |
| 第四章 面向重编程的逻辑式编程语言 | 第64-84页 |
| 4.1 语言成分 | 第64-69页 |
| 4.1.1 ReLog程序示例 | 第65-66页 |
| 4.1.2 注释 | 第66页 |
| 4.1.3 谓词 | 第66页 |
| 4.1.4 子句 | 第66-67页 |
| 4.1.5 Shell | 第67-68页 |
| 4.1.6 属性 | 第68-69页 |
| 4.2 操作语义 | 第69-78页 |
| 4.2.1 定义与表示方法 | 第70-72页 |
| 4.2.2 子句部分操作语义 | 第72-75页 |
| 4.2.3 Shell部分操作语义 | 第75-77页 |
| 4.2.4 属性的操作语义 | 第77-78页 |
| 4.3 应用案例与程序 | 第78-82页 |
| 4.3.1 应用程序规模 | 第80-81页 |
| 4.3.2 应用程序修改规模 | 第81-82页 |
| 4.4 本章小结 | 第82-84页 |
| 第五章 支持高效重编程的语言处理系统 | 第84-106页 |
| 5.1 编译器 | 第84-92页 |
| 5.1.1 中间代码设计 | 第85-88页 |
| 5.1.2 中间代码变化量生成 | 第88-92页 |
| 5.2 虚拟机 | 第92-98页 |
| 5.2.1 中间代码优化 | 第93-95页 |
| 5.2.2 中间代码执行 | 第95-98页 |
| 5.3 实验评估与分析 | 第98-104页 |
| 5.3.1 评估指标与方法 | 第98-99页 |
| 5.3.2 更新数据规模 | 第99-100页 |
| 5.3.3 更新数据规模对分发效率的影响 | 第100-101页 |
| 5.3.4 应用代码执行 | 第101-104页 |
| 5.4 本章小结 | 第104-106页 |
| 第六章 高效批量数据分发协议 | 第106-130页 |
| 6.1 协议设计选择 | 第106-107页 |
| 6.1.1 数据源传感器选择方法 | 第106-107页 |
| 6.1.2 信道分配方法 | 第107页 |
| 6.2 协议描述 | 第107-121页 |
| 6.2.1 连通支配集建立 | 第108-114页 |
| 6.2.2 信道分配 | 第114-120页 |
| 6.2.3 数据分发 | 第120-121页 |
| 6.3 实验评估与分析 | 第121-129页 |
| 6.3.1 评估指标与方法 | 第121-122页 |
| 6.3.2 模拟实验结果 | 第122-127页 |
| 6.3.3 场景描述与结果 | 第127-129页 |
| 6.4 本章小结 | 第129-130页 |
| 第七章 重编程服务管理系统的设计与实现 | 第130-144页 |
| 7.1 系统功能 | 第130-132页 |
| 7.1.1 重编程任务管理 | 第131-132页 |
| 7.1.2 重编程支撑 | 第132页 |
| 7.2 系统架构与设计、实现细节 | 第132-138页 |
| 7.2.1 Web层 | 第133-134页 |
| 7.2.2 Server层 | 第134-137页 |
| 7.2.3 WSN层 | 第137-138页 |
| 7.3 应用案例 | 第138-141页 |
| 7.3.1 无线传感网注册 | 第138-139页 |
| 7.3.2 应用程序上传 | 第139-140页 |
| 7.3.3 重编程任务提交 | 第140-141页 |
| 7.3.4 重编程任务查询 | 第141页 |
| 7.4 本章小结 | 第141-144页 |
| 第八章 总结与展望 | 第144-148页 |
| 8.1 工作总结 | 第144-145页 |
| 8.2 研究展望 | 第145-148页 |
| 参考文献 | 第148-166页 |
| 附录A 命题证明 | 第166-168页 |
| 附录B ReLogy语言语法 | 第168-180页 |
| B.1 语法 | 第168-174页 |
| B.1.1 程序 | 第168页 |
| B.1.2 配置定义 | 第168-169页 |
| B.1.3 谓词定义 | 第169页 |
| B.1.4 子句定义 | 第169-171页 |
| B.1.5 Shell定义 | 第171-174页 |
| B.2 词法单元 | 第174-180页 |
| B.2.1 引导字 | 第174-175页 |
| B.2.2 属性 | 第175页 |
| B.2.3 配置定义 | 第175页 |
| B.2.4 事件与动作 | 第175-176页 |
| B.2.5 感知设备与接口 | 第176-177页 |
| B.2.6 符号 | 第177页 |
| B.2.7 标识符 | 第177-178页 |
| B.2.8 常数 | 第178-179页 |
| B.2.9 操作符 | 第179-180页 |
| 简历与科研成果 | 第180-182页 |
| 致谢 | 第182-183页 |
