异构的分布式实时系统的建模及性能分析
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-7页 |
| 目录 | 第7-9页 |
| CONTENTS | 第9-11页 |
| 第一章 绪论 | 第11-15页 |
| ·论文的选题背景及意义 | 第11-13页 |
| ·分布式实时系统 | 第11-12页 |
| ·形式化方法 | 第12页 |
| ·通信协议的形式化描述技术 | 第12-13页 |
| ·国内外研究动态 | 第13页 |
| ·论文的组织 | 第13-15页 |
| 第二章 模糊时间Petri网 | 第15-17页 |
| ·模糊时间Petri网的定义 | 第15-16页 |
| ·模糊时间Petri网的时间戳更新 | 第16-17页 |
| 第三章 扩展的模糊时间Petri网 | 第17-26页 |
| ·扩展的模糊时间Petri网定义 | 第17页 |
| ·扩展的模糊时间Petri网的模糊时间戳更新 | 第17-18页 |
| ·扩展的模糊时间Petri网的性能分析技术 | 第18-21页 |
| ·扩展的模糊时间Petri网的例子 | 第18-19页 |
| ·网精简(Net Reduction) | 第19-21页 |
| ·使用 CPN Tools仿真 | 第21-26页 |
| ·仿真模糊时间功能 | 第22-23页 |
| ·将扩展的模糊时间Petri网进行仿真 | 第23-26页 |
| 第四章 对分布式多媒体的同步建模和分析 | 第26-30页 |
| ·建立对象级别的EFTN模型的块 | 第27-28页 |
| ·将对象级别模型分解成细粒度时间模型 | 第28-29页 |
| ·计算QoS需求被满足的可能性 | 第29-30页 |
| 第五章 对资源预留协议建模和性能分析 | 第30-66页 |
| ·资源预留协议 | 第30-37页 |
| ·RSVP的基本原理 | 第31-33页 |
| ·RSVP协议机制 | 第33-34页 |
| ·RSVP功能规范 | 第34-35页 |
| ·RSVP消息 | 第35-36页 |
| ·RSVP的定时器 | 第36-37页 |
| ·网络通信协议的验证技术 | 第37-38页 |
| ·对RSVP服务规范建模和验证 | 第38-48页 |
| ·服务原语参数 | 第38-39页 |
| ·模型描述 | 第39-48页 |
| ·对RSVP网络建模 | 第48-60页 |
| ·假设 | 第48-49页 |
| ·模型描述 | 第49-53页 |
| ·RSVP网络模型 | 第53-55页 |
| ·RSVP发送方模型 | 第55-60页 |
| ·网络模型性能分析 | 第60-66页 |
| 第六章 远程教育系统建模 | 第66-71页 |
| ·分布式多媒体应用的框架 | 第66-67页 |
| ·中间件平台 | 第67-68页 |
| ·远程教育系统 | 第68-71页 |
| 结束语 | 第71-72页 |
| 参考文献 | 第72-76页 |
| 攻读学位期间发表论文 | 第76-77页 |
| 独创性声明 | 第77-78页 |
| 致谢 | 第78页 |
