Petri网中的网状路径及其性能的研究
| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第一章 绪论 | 第8-13页 |
| ·研究的目的和意义 | 第8-10页 |
| ·国内外研究现状 | 第8-9页 |
| ·存在的问题 | 第9-10页 |
| ·研究重点和技术路线 | 第10-12页 |
| ·研究重点 | 第10-11页 |
| ·本文采取的技术路线 | 第11-12页 |
| ·小结 | 第12-13页 |
| 第二章 赋时Petri网中的网状路径的定义和寻找 | 第13-32页 |
| 引言 | 第13-14页 |
| ·问题描述和模型定义 | 第14-16页 |
| ·问题描述 | 第14页 |
| ·模型定义 | 第14-16页 |
| ·算法 | 第16-27页 |
| ·算法核心思想 | 第16-17页 |
| ·基本概念定义 | 第17-18页 |
| ·子过程描述 | 第18-26页 |
| ·算法步骤 | 第26-27页 |
| ·实例研究 | 第27-32页 |
| ·参数设置 | 第28页 |
| ·算法运行 | 第28-29页 |
| ·结果 | 第29-32页 |
| 第三章 SPN中网状路径的研究和性能解算 | 第32-48页 |
| 引言 | 第32页 |
| ·LS-SPN模型和网状路径定义 | 第32-34页 |
| ·蚂蚁运行规则和网状路径寻找 | 第34-39页 |
| ·蚂蚁前进的概率计算(规则1) | 第35-36页 |
| ·蚂蚁选则前进方向(规则2) | 第36页 |
| ·判断变迁是否可被触发(规则3) | 第36页 |
| ·蚂蚁触发变迁(规则4) | 第36-37页 |
| ·信息素更新(规则5) | 第37页 |
| ·清除蚂蚁(规则6) | 第37-38页 |
| ·生成蚂蚁(规则7) | 第38页 |
| ·网状路径寻找(规则8) | 第38-39页 |
| ·网状路径性能以及系统性能的计算 | 第39-43页 |
| ·部件可靠性服从指数分布的路径可靠性解算 | 第39-41页 |
| ·部件延时服从指数分布的路径延时解算 | 第41-42页 |
| ·系统总体性能解算 | 第42-43页 |
| ·算法步骤及实例研究 | 第43-47页 |
| ·算法步骤 | 第43-44页 |
| ·实例研究 | 第44-47页 |
| ·结束语 | 第47-48页 |
| 第四章 UCON的CSPN表示和网状路径性能研究 | 第48-57页 |
| 引言 | 第48-49页 |
| ·使用控制模型 | 第49-50页 |
| ·访问证书模型及策略 | 第50-52页 |
| ·访问证书模型 | 第50-51页 |
| ·访问证书过程及策略 | 第51-52页 |
| ·访问证书模型的形式化描述 | 第52-55页 |
| ·着色随机Petri网 | 第52页 |
| ·访问证书模型的CSPN表示 | 第52-55页 |
| ·访问证书模型的可靠性分析 | 第55-56页 |
| ·结束语 | 第56-57页 |
| 第五章 总结与展望 | 第57-59页 |
| ·总结 | 第57-58页 |
| ·展望 | 第58-59页 |
| 致谢 | 第59-60页 |
| 参考文献 | 第60-64页 |
| 作者在硕士研究生期间发表的学术论文 | 第64页 |
