摘要 | 第1-5页 |
Abstract | 第5-6页 |
目录 | 第6-8页 |
1 绪论 | 第8-12页 |
·选题背景和意义 | 第8-9页 |
·国内外研究现状 | 第9-11页 |
·主要研究内容 | 第11-12页 |
2 RBC建模方案 | 第12-19页 |
·RBC系统及需求分析 | 第12-13页 |
·基于UML和有色Petri网的集成建模方法 | 第13-14页 |
·UML及其优缺点 | 第13-14页 |
·有色Petri网及其优缺点 | 第14页 |
·RBC形式化建模过程 | 第14-19页 |
·集成建模方法 | 第14-15页 |
·UML转换为有色Petri网的基本规则 | 第15-19页 |
3 基于UML和有色Petri网的RBC切换模型构建 | 第19-33页 |
·RBC切换 | 第19-24页 |
·RBC切换策略 | 第19-22页 |
·RBC切换流程设计 | 第22-24页 |
·UML模型构建 | 第24-27页 |
·用例图的建立 | 第24-25页 |
·顺序图的建立 | 第25-26页 |
·状态图的建立 | 第26-27页 |
·分层有色Petri网模型构建 | 第27-33页 |
·分层有色Petri网 | 第27页 |
·顶层模型的建立 | 第27-28页 |
·子网模型的建立 | 第28-33页 |
4 RBC切换模型验证 | 第33-43页 |
·有色Petri网建模工具及验证方法 | 第33-34页 |
·CPN Tools工具 | 第33页 |
·验证方法 | 第33-34页 |
·仿真运行过程 | 第34-37页 |
·模型的状态空间分析 | 第37-42页 |
·状态空间报告的生成 | 第37-39页 |
·可达图的生成 | 第39-41页 |
·状态空间问询 | 第41-42页 |
·验证结果分析 | 第42-43页 |
5 RBC切换赋时模型的时间性能分析 | 第43-50页 |
·RBC切换赋时模型的建立 | 第43-45页 |
·RBC切换时间性能分析 | 第45-49页 |
·监控器及设置 | 第45-47页 |
·时间性能分析 | 第47-49页 |
·结果与分析 | 第49-50页 |
结论 | 第50-51页 |
致谢 | 第51-52页 |
参考文献 | 第52-55页 |
攻读学位期间的研究成果 | 第55页 |