基于GTST的安全性建模與仿真系統(tǒng)設(shè)計(jì)研究.pdf

1、安全性是工程系統(tǒng)的重要設(shè)計(jì)屬性，大型工程系統(tǒng)的事故后果越來越難以被人們所接受。隨著工程系統(tǒng)的復(fù)雜性與動(dòng)態(tài)交互性的日益增加，傳統(tǒng)的安全性分析方法已經(jīng)難以全面、系統(tǒng)地對工程系統(tǒng)進(jìn)行有效安全性研究。本文融合多種安全性分析方法的優(yōu)點(diǎn)，立足于工程系統(tǒng)的設(shè)計(jì)階段，結(jié)合 GTST模型與DEVS仿真模型，以相鄰層次節(jié)點(diǎn)的分析為核心，采用建模-仿真的分析思路開展安全性分析研究。主要研究內(nèi)容有以下幾個(gè)方面：
　　提出融合了控制約束思想的 GTST模型

2、以及以相鄰層次節(jié)點(diǎn)的分析為核心的安全性設(shè)計(jì)分析流程。整個(gè)分析流程以事故鏈的鑒別為主線，與工程設(shè)計(jì)同步建立融合了控制約束思想的 GTST安全性模型，以相鄰層次節(jié)點(diǎn)的安全性分析為核心，通過鑒別系統(tǒng)危險(xiǎn)源，從源頭上開始對事故鏈進(jìn)行鑒別。提出充分的安全性要求來防止危險(xiǎn)源的失控，從而減少事故鏈引發(fā)事件與環(huán)節(jié)事件發(fā)生的概率，并增加環(huán)節(jié)事件的數(shù)量，達(dá)到降低安全風(fēng)險(xiǎn)的目的。
　　依據(jù)融合了控制約束思想的 GTST模型，提出基于DEVS的安全性仿真

3、模型。在建立了安全模型后，需要利用仿真手段驗(yàn)證安全模型的正確性，并對系統(tǒng)的安全風(fēng)險(xiǎn)進(jìn)行進(jìn)一步評估。DEVS模型是一種離散事件系統(tǒng)描述規(guī)范，利用DEVS能對節(jié)點(diǎn)進(jìn)行有效的描述，便于將安全模型轉(zhuǎn)化為仿真模型進(jìn)行仿真，仿真的核心同樣是相鄰層次之間的仿真。
　　在建立安全性模型以及仿真模型的基礎(chǔ)上，對安全性建模仿真系統(tǒng)進(jìn)行了初步設(shè)計(jì)。仿真系統(tǒng)的設(shè)計(jì)對工程系統(tǒng)的安全性分析具有十分重要的現(xiàn)實(shí)意義。設(shè)計(jì)包括需求分析、數(shù)據(jù)庫設(shè)計(jì)以及主要模塊的設(shè)計(jì)