摘要 | 第1-4页 |
ABSTRACT | 第4-9页 |
第一章 前言 | 第9-17页 |
·课题背景 | 第9-12页 |
·突发公共事件及应急预案流程 | 第9-10页 |
·离散事件动态系统与急事件处理过程 | 第10-12页 |
·问题的提出 | 第12-14页 |
·研究意义 | 第14页 |
·研究内容 | 第14-17页 |
·研究目标 | 第14-15页 |
·本文工作 | 第15页 |
·论文组织 | 第15-17页 |
第二章 相关研究 | 第17-24页 |
·Petri网理论 | 第17-20页 |
·Petri网 | 第17-19页 |
·Petri网系统建模研究 | 第19-20页 |
·基于Petri网的协同研究 | 第20-23页 |
·基于Petri网的任务协作研究 | 第20-21页 |
·基于Petri网的资源冲突研究 | 第21-23页 |
·本章 小结 | 第23-24页 |
第三章 应急事件处理流程模型(EEP_ETCPN) | 第24-51页 |
·Petri网 | 第24-27页 |
·Petri网 | 第24-26页 |
·着色Petri网 | 第26-27页 |
·赋时层次着色Petri网 | 第27页 |
·应急事件处理流程建模分析 | 第27-31页 |
·建模特点 | 第27-28页 |
·建模要素 | 第28-30页 |
·建模方法 | 第30-31页 |
·应急事件处理流程模型EEP_ETCPN | 第31-44页 |
·应急事件处理流程层次结构分析 | 第31页 |
·EEP_ETCPN模型定义 | 第31-35页 |
·EEP_ETCPN模型特点 | 第35-36页 |
·EEP_ETCPN模型使能条件与激发规则 | 第36-38页 |
·EEP_ETCPN模型的描述能力 | 第38-44页 |
·基于EEP_ETCPN的建模研究 | 第44-49页 |
·EEP_ETCPN模型设计分析 | 第44-45页 |
·建模实例 | 第45-49页 |
·本章 小结 | 第49-51页 |
第四章 EEP_ETCPN模型的事件状态流程分析与检测 | 第51-66页 |
·应急事件状态进程网EEP_SPN | 第51-53页 |
·EEP_SPN定义 | 第51-52页 |
·EEP_SPN变迁规则 | 第52页 |
·EEP_SPN正确性定义 | 第52-53页 |
·EEP_SPN正确性分析与检测 | 第53-64页 |
·转移矩阵 | 第53-56页 |
·死锁分析 | 第56-59页 |
·死锁检测及消除 | 第59-61页 |
·EEP_SPN的正确性检测算法 | 第61-64页 |
·本章 小结 | 第64-66页 |
第五章 应急事件处理过程协同分析与检测 | 第66-99页 |
·应急事件处理过程协同分析 | 第66-68页 |
·应急过程协同特点 | 第66-67页 |
·应急过程协同方式 | 第67-68页 |
·EEP_ETCPN模型的应急任务协作分析与检测 | 第68-79页 |
·任务协作分类 | 第68页 |
·单组织任务协作模式分析 | 第68-71页 |
·跨组织任务协作模式分析 | 第71-75页 |
·EEP_SPN任务协作错误分析 | 第75页 |
·应急过程任务协作分析与检测 | 第75-77页 |
·实例分析 | 第77-79页 |
·EEP_ETCPN模型的资源协调分析与检测 | 第79-98页 |
·应急过程资源协调分析 | 第79-81页 |
·EEP_ETCPN模型的资源协调检测 | 第81-85页 |
·EEP_ETCPN模型的应急任务时间特征分析及冲突验证 | 第85-89页 |
·EEP_ETCPN模型的资源冲突解决方法 | 第89-95页 |
·实例研究 | 第95-98页 |
·本章小结 | 第98-99页 |
第六章 系统仿真、性能分析及原型设计 | 第99-108页 |
·系统仿真 | 第99-102页 |
·模型实例的设定 | 第99页 |
·模型实例的仿真运行 | 第99-101页 |
·模型实例的仿真过程 | 第101-102页 |
·性能分析 | 第102-104页 |
·状态空间分析 | 第102页 |
·系统性能分析 | 第102-104页 |
·原型系统设计 | 第104-107页 |
·项目介绍 | 第104-105页 |
·系统流程设计 | 第105页 |
·系统总体架构 | 第105-106页 |
·原型系统实现 | 第106-107页 |
·本章小结 | 第107-108页 |
第七章 结论与展望 | 第108-111页 |
·本文工作总结 | 第108-109页 |
·研究展望 | 第109-111页 |
参考文献 | 第111-120页 |
发表论文 | 第120-121页 |
科研情况说明 | 第121-122页 |
致谢 | 第122页 |