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

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

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

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

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