| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 第1章 绪论 | 第11-15页 |
| ·研究背景介绍 | 第11页 |
| ·声明性语言与NetQuest系统 | 第11-12页 |
| ·无线Ad Hoc网络 | 第12页 |
| ·无线传感器网络 | 第12-13页 |
| ·研究内容与论文组织 | 第13-15页 |
| 第2章 逻辑程序设计语言NetLog介绍 | 第15-26页 |
| ·Datalog语言介绍 | 第15-18页 |
| ·Datalog对关系模型的支持 | 第16-17页 |
| ·Datalog的递归应用 | 第17-18页 |
| ·NetLog语言介绍 | 第18-25页 |
| ·NetLog操作语义 | 第19-20页 |
| ·NetLog部分不动点(Partial Fixpoint PFP)语义 | 第20-25页 |
| ·小结 | 第25-26页 |
| 第3章 NetQuest系统介绍 | 第26-37页 |
| ·概述 | 第26-27页 |
| ·把网络封装成数据库 | 第27-28页 |
| ·本地数据库(Local DBMS) | 第28页 |
| ·分布式查询处理引擎(DOE) | 第28-30页 |
| ·协议选择(Protocol Selector) | 第29-30页 |
| ·协议执行(Protocol Executor) | 第30页 |
| ·演绎引擎(Deductive Engine) | 第30页 |
| ·消息分派(Information Dispatcher) | 第30页 |
| ·混合路由器(HR) | 第30-33页 |
| ·分类(Classifier) | 第31-32页 |
| ·传递(Transmitter) | 第32页 |
| ·消息格式(Message Formatter) | 第32页 |
| ·内容提取(Content Extractor) | 第32页 |
| ·时间事件处理(Time Event Handler) | 第32页 |
| ·监视器(Monitor) | 第32-33页 |
| ·实验模拟平台WSNS | 第33-36页 |
| ·节点模拟 | 第33-34页 |
| ·环境模拟 | 第34-35页 |
| ·无线媒介模拟 | 第35页 |
| ·WSNS可扩展性 | 第35-36页 |
| ·小结 | 第36-37页 |
| 第4章 声明性无线Ad Hoc网络声明性协议研究 | 第37-74页 |
| ·Ad Hoc网络概述 | 第37-41页 |
| ·Ad Hoc网络的特点和应用 | 第37-38页 |
| ·Ad Hoc网络的体系结构 | 第38页 |
| ·Ad Hoc网络的路由协议 | 第38-41页 |
| ·先应式Ad Hoc路由协议 | 第41-50页 |
| ·OLSR路由协议 | 第42-43页 |
| ·声明性OLSR路由协议 | 第43-50页 |
| ·反应式Ad Hoc路由协议 | 第50-58页 |
| ·AODV路由协议 | 第50-51页 |
| ·声明性AODV路由协议 | 第51-58页 |
| ·自适应Ad Hoc路由协议 | 第58-66页 |
| ·基于组件的组合路由协议 | 第59-62页 |
| ·粗糙集理论 | 第62页 |
| ·声明性路由协议选择 | 第62-66页 |
| ·无线P2P的文件共享系统 | 第66-73页 |
| ·P2P文件共享系统的查询定位方式 | 第66-69页 |
| ·声明性信息共享系统协议 | 第69-73页 |
| ·小结 | 第73-74页 |
| 第5章 无线传感器网络声明性协议研究 | 第74-109页 |
| ·无线传感器网络 | 第74页 |
| ·无线传感器网络路由 | 第74-75页 |
| ·声明性无线传感器网络研究 | 第75-107页 |
| ·声明性最小生成树协议 | 第76-82页 |
| ·声明性骨干网协议 | 第82-87页 |
| ·声明性Steiner树协议 | 第87-99页 |
| ·无线传感器网络声明性数据融合协议 | 第99-107页 |
| ·小结 | 第107-109页 |
| 第6章 总结 | 第109-111页 |
| 参考文献 | 第111-115页 |
| 致谢 | 第115-116页 |
| 在读期间发表的学术论文与取得的研究成果 | 第116-117页 |
