论文部分内容阅读
基于应急预案的应急决策生成问题是一个复杂条件下决策的科学问题。临机决策过程的实质是迅速生成突发事件的应急处置方案。在临机决策过程中基于应急预案的决策生成是应急决策的基础问题,目前由于突发公共事件的多样性和复杂性,针对突发事件的处置往往需要基于多个应急预案进行临机决策生成过程。在临机决策过程中,往往会发生以下两个问题:应急任务的过程协作和应急资源的冲突与协调。本文首先对应急事件处理过程进行建模,并基于该模型对这两个问题进行深入研究,具体研究内容如下;(1)提出了一个应急事件处理过程模型EEP_ETCPN。该模型借鉴了模型驱动体系结构的思想,基于赋时层次着色Petri网这一形式化模型,对应急事件处理过程进行描述、分析验证及仿真运行,且模型独立于具体流程描述语言;模型将应急事件处理过程的描述细化到应急任务的执行操作,而且同时可描述应急事件状态流程,支持层次化应急任务组合描述,并以图形方式表示应急事件处理过程,精确、全面、清晰、直观地刻画了应急事件处理过程。(2)EEP_ETCPN模型的事件状态流程正确性分析与检测。给出了EEP_ETCPN模型中应急事件状态进程网的形式化定义及其变迁规则,参照工作流模型合理性给出了状态进程网的正确性定义并利用转移矩阵的方法进行正确性分析与检测,着重对状态进程网的死锁进行分析检测且给出死锁消除策略。(3)EEP_ETCPN模型应急任务协作的分析与检测。首先分析了应急任务协作类型,给出了单组织内基本的应急任务协作模式和跨组织的组合应急任务协作模式,分析了几种错误的应急任务协作类型,给出了应急任务协作的分析与检测算法。(4)EEP_ETCPN模型资源协调的分析与检测。分析了应急过程中的资源冲突和资源协调,定义了资源冲突和资源协调,给出了EEP_ETCPN模型的资源协调检测算法,分析了EEP_ETCPN模型的应急任务时间特征并给出了基于应急任务时间特征的资源协调检测算法,基于关键任务路径和最小应急过程处理时间策略给出了EEP_ETCPN模型的资源协调求解算法。(5)应急事件处理仿真系统的设计及原型实现,提供图形化的应急事件处理过程设计、正确性分析检测功能,并给出应急事件处理过程的仿真实现和性能分析。