| 摘要 | 第1-6页 |
| Abstract | 第6-15页 |
| 第1章 绪论 | 第15-22页 |
| 1．1 研究背景 | 第15-16页 |
| 1．2 研究挑战 | 第16-17页 |
| 1．3 主要工作 | 第17-20页 |
| 1．4 论文结构 | 第20-22页 |
| 第2章 研究现状和研究基础 | 第22-40页 |
| 2．1 无线网络传感器概述 | 第22-26页 |
| 2．1．1 基本组成 | 第22-23页 |
| 2．1．2 研究分类 | 第23-24页 |
| 2．1．3 应用领域 | 第24-25页 |
| 2．1．4 基本特性 | 第25-26页 |
| 2．2 几个主要的无线网络传感器研究项目 | 第26-29页 |
| 2．2．1 Smart Dust | 第27页 |
| 2．2．2 uAMPS | 第27-28页 |
| 2．2．3 WINS | 第28页 |
| 2．2．4 其他项目 | 第28-29页 |
| 2．3 若干关键软件技术 | 第29-38页 |
| 2．3．1 支持无线网络传感器的超微型嵌入式操作系统内核 | 第29-33页 |
| 2．3．2 支持传感通信的无线网络通信协议 | 第33-37页 |
| 2．3．3 支持超微型嵌入式设备的系统编程语言 | 第37-38页 |
| 2．4 本章小结 | 第38-40页 |
| 第3章 γOS系统框架的研究和设计 | 第40-57页 |
| 3．1 主要设计挑战 | 第40-41页 |
| 3．2 相关研究工作 | 第41-43页 |
| 3．3 典型硬件平台 | 第43-46页 |
| 3．3．1 硬件平台一简介 | 第43-44页 |
| 3．3．2 硬件平台二简介 | 第44-45页 |
| 3．3．3 硬件平台规格比较 | 第45-46页 |
| 3．4 系统设计特点 | 第46-55页 |
| 3．4．1 组件化的功能设计 | 第47-49页 |
| 3．4．2 自定义的组件模型 | 第49-53页 |
| 3．4．3 微线程的系统架构 | 第53-55页 |
| 3．5 功能比较和评估 | 第55-56页 |
| 3．6 本章小结 | 第56-57页 |
| 第4章 γOS实时任务容错调度机制的研究和设计 | 第57-81页 |
| 4．1 设计要求分析 | 第57页 |
| 4．2 相关研究工作 | 第57-61页 |
| 4．2．1 传感器操作系统调度机制分析 | 第58-59页 |
| 4．2．2 实时任务调度算法分析 | 第59-61页 |
| 4．3 基本概念定义 | 第61-62页 |
| 4．4 任务模型分析 | 第62-66页 |
| 4．4．1 硬件模型分析 | 第62-63页 |
| 4．4．2 过程模型分析 | 第63-64页 |
| 4．4．3 任务集分析 | 第64-66页 |
| 4．5 调度机制实现 | 第66-70页 |
| 4．5．1 基本条件设定 | 第66-67页 |
| 4．5．2 调度机制分析 | 第67-70页 |
| 4．6 可调度性分析 | 第70-74页 |
| 4．6．1 基于 CPU利用率的分析方法 | 第71-72页 |
| 4．6．2 RM算法可调度性分析 | 第72-74页 |
| 4．7 容错性实现 | 第74-80页 |
| 4．7．1 容错性分析 | 第74-75页 |
| 4．7．2 主副版本机制 | 第75-76页 |
| 4．7．3 错误检测 | 第76-77页 |
| 4．7．4 可调度性分析 | 第77-78页 |
| 4．7．5 错误修复 | 第78-80页 |
| 4．8 本章小结 | 第80-81页 |
| 第5章 γOS MAC层无线通信协议的研究和设计 | 第81-101页 |
| 5．1 应用背景介绍 | 第81-82页 |
| 5．2 设计要求分析 | 第82-83页 |
| 5．3 相关研究工作 | 第83-85页 |
| 5．4 ST-MAC协议设计 | 第85-95页 |
| 5．4．1 协议设计特点 | 第85-86页 |
| 5．4．2 通信参数设定 | 第86-87页 |
| 5．4．3 数据包格式定义 | 第87-88页 |
| 5．4．4 媒体访问控制 | 第88-90页 |
| 5．4．5 网络自适应策略 | 第90-93页 |
| 5．4．6 节能侦听策略 | 第93-95页 |
| 5．4．7 时钟同步策略 | 第95页 |
| 5．5 实验性能评估 | 第95-100页 |
| 5．5．1 实验条件设定 | 第96-97页 |
| 5．5．2 传输成功率分析 | 第97页 |
| 5．5．3 传输时延分析 | 第97-98页 |
| 5．5．4 传输公平性分析 | 第98-99页 |
| 5．5．5 模拟器结果分析 | 第99-100页 |
| 5．6 本章小结 | 第100-101页 |
| 第6章 γOS生成器 AntC的研究和设计 | 第101-120页 |
| 6．1 主要设计挑战 | 第101-102页 |
| 6．2 相关研究工作 | 第102-103页 |
| 6．3 AntC设计概述 | 第103-107页 |
| 6．3．1 基本特点 | 第103-105页 |
| 6．3．2 编译流程 | 第105-107页 |
| 6．4 AntC设计思想 | 第107-114页 |
| 6．4．1 程序示例 | 第107-109页 |
| 6．4．2 组件和接口 | 第109-110页 |
| 6．4．3 并发性和原子性 | 第110-113页 |
| 6．4．4 任务和事件模型 | 第113页 |
| 6．4．5 整体分析和优化 | 第113-114页 |
| 6．5 性能比较和评估 | 第114-118页 |
| 6．5．1 核心组件规模 | 第114-115页 |
| 6．5．2 优化效率分析 | 第115-116页 |
| 6．5．3 并发性分析 | 第116-117页 |
| 6．5．4 可靠性分析 | 第117-118页 |
| 6．6 本章小结 | 第118-120页 |
| 第7章 总结和展望 | 第120-122页 |
| 7．1 本文工作总结 | 第120-121页 |
| 7．2 下一步工作 | 第121-122页 |
| 附录 AntC的语法设计 | 第122-126页 |
| 1 实现工具-JavaCC | 第122-123页 |
| 2 AntC的 BNF范式 | 第123-126页 |
| 参考文献 | 第126-134页 |
| 攻读学位期间发表的学术成果及专利申请 | 第134-136页 |
| 攻读博士期间参加项目情况 | 第136-137页 |
| 致谢 | 第137页 |