发布者/订阅者通信机制的研究与实现
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 引言 | 第7-9页 |
| 第一章 绪论 | 第9-13页 |
| ·研究背景及意义 | 第9-10页 |
| ·问题的提出 | 第9页 |
| ·互操作的定义 | 第9-10页 |
| ·互操作解决的问题 | 第10页 |
| ·国内外研究现状 | 第10-12页 |
| ·论文组织结构 | 第12-13页 |
| 第二章 互操作性解决方案的分析 | 第13-20页 |
| ·CORBA技术 | 第13-15页 |
| ·CORBA技术简介 | 第13-14页 |
| ·CORBA技术的优缺点 | 第14-15页 |
| ·OPC技术 | 第15-17页 |
| ·OPC技术简介 | 第15-16页 |
| ·OPC技术的优缺点 | 第16-17页 |
| ·发布者/订阅者模式 | 第17-19页 |
| ·发布者/订阅者模式的构成 | 第17-18页 |
| ·发布者/订阅者模式的特点 | 第18-19页 |
| ·本章小结 | 第19-20页 |
| 第三章 实时发布者/订阅者协议分析 | 第20-30页 |
| ·RTPS协议分析 | 第20-27页 |
| ·RTPS协议的组成 | 第20-21页 |
| ·发布者/订阅者协议 | 第21-22页 |
| ·复合状态(CST)协议 | 第22-24页 |
| ·利用CST协议进行发现的机制分析 | 第24-27页 |
| ·RTPS协议的实时保证机制 | 第27-29页 |
| ·在消息中加入时间戳属性 | 第27-28页 |
| ·可靠性保证机制 | 第28页 |
| ·流控制方法 | 第28-29页 |
| ·具体实现方法 | 第29页 |
| ·本章小结 | 第29-30页 |
| 第四章 发布者/订阅者中间件的设计与实现 | 第30-45页 |
| ·中间件技术 | 第30-36页 |
| ·中间件概述 | 第30-31页 |
| ·中间件的分类 | 第31-33页 |
| ·消息中间件概述 | 第33-36页 |
| ·消息中间件的实现 | 第36-42页 |
| ·MYMOM实现的特性 | 第36页 |
| ·MYMOM的模块设计 | 第36-39页 |
| ·MYMOM特性的实现原理 | 第39-42页 |
| ·MYMOM的测试 | 第42-44页 |
| ·本章小结 | 第44-45页 |
| 第五章 发布者/订阅者机制实时性能分析 | 第45-54页 |
| ·形式化分析技术 | 第45页 |
| ·PRISM模型检测工具介绍 | 第45页 |
| ·队列理论知识 | 第45-47页 |
| ·实验模型的建立 | 第47-49页 |
| ·网络队列模型 | 第47页 |
| ·实验模型 | 第47-48页 |
| ·模型参数说明 | 第48-49页 |
| ·模型检测方法 | 第49-51页 |
| ·PRISM程序模块构成 | 第49页 |
| ·PRISM模型解释 | 第49-51页 |
| ·消息响应时间的计算 | 第51页 |
| ·实验内容与结果 | 第51-53页 |
| ·实验内容 | 第51-53页 |
| ·实验结果分析 | 第53页 |
| ·本章小结 | 第53-54页 |
| 结束语 | 第54-55页 |
| 参考文献 | 第55-57页 |
| 发表文章 | 第57-58页 |
| 致谢 | 第58页 |
