應(yīng)急事件處置流程建模及其過(guò)程協(xié)同研究.pdf

1、基于應(yīng)急預(yù)案的應(yīng)急決策生成問(wèn)題是一個(gè)復(fù)雜條件下決策的科學(xué)問(wèn)題。臨機(jī)決策過(guò)程的實(shí)質(zhì)是迅速生成突發(fā)事件的應(yīng)急處置方案。在臨機(jī)決策過(guò)程中基于應(yīng)急預(yù)案的決策生成是應(yīng)急決策的基礎(chǔ)問(wèn)題,目前由于突發(fā)公共事件的多樣性和復(fù)雜性,針對(duì)突發(fā)事件的處置往往需要基于多個(gè)應(yīng)急預(yù)案進(jìn)行臨機(jī)決策生成過(guò)程。在臨機(jī)決策過(guò)程中,往往會(huì)發(fā)生以下兩個(gè)問(wèn)題:應(yīng)急任務(wù)的過(guò)程協(xié)作和應(yīng)急資源的沖突與協(xié)調(diào)。本文首先對(duì)應(yīng)急事件處理過(guò)程進(jìn)行建模,并基于該模型對(duì)這兩個(gè)問(wèn)題進(jìn)行深入研究,具體研

2、究?jī)?nèi)容如下；
　　 (1)提出了一個(gè)應(yīng)急事件處理過(guò)程模型 EEP_ETCPN。該模型借鑒了模型驅(qū)動(dòng)體系結(jié)構(gòu)的思想,基于賦時(shí)層次著色Petri網(wǎng)這一形式化模型,對(duì)應(yīng)急事件處理過(guò)程進(jìn)行描述、分析驗(yàn)證及仿真運(yùn)行,且模型獨(dú)立于具體流程描述語(yǔ)言；模型將應(yīng)急事件處理過(guò)程的描述細(xì)化到應(yīng)急任務(wù)的執(zhí)行操作,而且同時(shí)可描述應(yīng)急事件狀態(tài)流程,支持層次化應(yīng)急任務(wù)組合描述,并以圖形方式表示應(yīng)急事件處理過(guò)程,精確、全面、清晰、直觀地刻畫(huà)了應(yīng)急事件處理過(guò)程。

3、
　　 (2)EEP_ETCPN模型的事件狀態(tài)流程正確性分析與檢測(cè)。給出了EEP_ETCPN模型中應(yīng)急事件狀態(tài)進(jìn)程網(wǎng)的形式化定義及其變遷規(guī)則,參照工作流模型合理性給出了狀態(tài)進(jìn)程網(wǎng)的正確性定義并利用轉(zhuǎn)移矩陣的方法進(jìn)行正確性分析與檢測(cè),著重對(duì)狀態(tài)進(jìn)程網(wǎng)的死鎖進(jìn)行分析檢測(cè)且給出死鎖消除策略。
　　 (3)EEP_ETCPN模型應(yīng)急任務(wù)協(xié)作的分析與檢測(cè)。首先分析了應(yīng)急任務(wù)協(xié)作類型,給出了單組織內(nèi)基本的應(yīng)急任務(wù)協(xié)作模式和跨組織的組

4、合應(yīng)急任務(wù)協(xié)作模式,分析了幾種錯(cuò)誤的應(yīng)急任務(wù)協(xié)作類型,給出了應(yīng)急任務(wù)協(xié)作的分析與檢測(cè)算法。
　　 (4)EEP_ETCPN模型資源協(xié)調(diào)的分析與檢測(cè)。分析了應(yīng)急過(guò)程中的資源沖突和資源協(xié)調(diào),定義了資源沖突和資源協(xié)調(diào),給出了EEP ETCPN模型的資源協(xié)調(diào)檢測(cè)算法,分析了EEP_ETCPN模型的應(yīng)急任務(wù)時(shí)間特征并給出了基于應(yīng)急任務(wù)時(shí)間特征的資源協(xié)調(diào)檢測(cè)算法,基于關(guān)鍵任務(wù)路徑和最小應(yīng)急過(guò)程處理時(shí)間策略給出了EEP ETCPN模型的資源協(xié)