本文關(guān)鍵詞：基于BFM-STPA的社會(huì)科技系統(tǒng)危險(xiǎn)源識(shí)別方法的設(shè)計(jì)及應(yīng)用，，由筆耕文化傳播整理發(fā)布。

【摘要】：中國(guó)高速鐵路列車(chē)運(yùn)行控制CTCS-3列控系統(tǒng)在朝著高速、高密度列車(chē)運(yùn)營(yíng)的目標(biāo)不斷前進(jìn)的同時(shí)也面臨著系統(tǒng)安全方面的巨大挑戰(zhàn)。而應(yīng)用于CTCS-3列控系統(tǒng)這類(lèi)社會(huì)技術(shù)系統(tǒng)的傳統(tǒng)的危險(xiǎn)分析方法已經(jīng)不足以解決復(fù)雜的社會(huì)組織結(jié)構(gòu)帶來(lái)的安全問(wèn)題。因此,為了分析復(fù)雜系統(tǒng)中潛在的可能導(dǎo)致系統(tǒng)發(fā)生危險(xiǎn)的因素,本文提出了名為BFM-STPA的基于形式化模型的危險(xiǎn)源識(shí)別方法。 首先,本文介紹了危險(xiǎn)源識(shí)別方法的國(guó)內(nèi)外研究現(xiàn)狀和研究背景,并指出了經(jīng)典的、伴隨著機(jī)械系統(tǒng)的發(fā)展而出現(xiàn)的危險(xiǎn)分析方法已經(jīng)不再適用于當(dāng)今的社會(huì)科技系統(tǒng),明確了本文的研究意義。 然后,闡明了社會(huì)科技系統(tǒng)的概念,列舉了影響社會(huì)科技系統(tǒng)危險(xiǎn)源識(shí)別的因素,并詳細(xì)分析了社會(huì)科技系統(tǒng)的復(fù)雜特征與事故致因模型在危險(xiǎn)分析中所起到的主要影響。 第三,提出了基于形式化模型的危險(xiǎn)源識(shí)別方法——BFM-STPA,利用CPN模型強(qiáng)大的描述能力、動(dòng)態(tài)仿真功能和形式化分析功能,建立社會(huì)技術(shù)系統(tǒng)的分層控制結(jié)構(gòu)模型,實(shí)現(xiàn)將文字形式的系統(tǒng)規(guī)范模型化。在已建成的CPN模型的基礎(chǔ)上,根據(jù)一系列引導(dǎo)條件對(duì)系統(tǒng)進(jìn)行危險(xiǎn)源識(shí)別,分析得到系統(tǒng)中的不恰當(dāng)控制,即危險(xiǎn)源,并根據(jù)CPN模型生成的狀態(tài)空間可達(dá)圖及分層控制結(jié)構(gòu)模型找出導(dǎo)致危險(xiǎn)發(fā)生的原因,進(jìn)而得出系統(tǒng)安全需求,構(gòu)成了最終的危險(xiǎn)日志。 最后,將上述方法應(yīng)用于CTCS-3列控系統(tǒng)的臨時(shí)限速下發(fā)場(chǎng)景,共識(shí)別了49個(gè)危險(xiǎn)源,并找出了相關(guān)的致因及安全需求,構(gòu)成了最終的危險(xiǎn)日志；然后,將該結(jié)果與應(yīng)用HAZOP方法針對(duì)相同場(chǎng)景得出的結(jié)果進(jìn)行對(duì)比,驗(yàn)證了應(yīng)用BFM-STPA危險(xiǎn)源識(shí)別方法能夠得到危險(xiǎn)源數(shù)量更可觀、內(nèi)容覆蓋更全面的危險(xiǎn)日志。
【關(guān)鍵詞】：BFM-STPA 危險(xiǎn)源識(shí)別 著色Petri網(wǎng) CTCS-3列控系統(tǒng)
【學(xué)位授予單位】：北京交通大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2014
【分類(lèi)號(hào)】：U284.48;U298
【目錄】：

• 致謝5-6
• 摘要6-7
• ABSTRACT7-8
• 目錄8-10
• 1 引言10-15
• 1.1 研究背景及意義10
• 1.2 國(guó)內(nèi)外研究現(xiàn)狀10-13
• 1.3 論文的主要工作和結(jié)構(gòu)安排13-14
• 1.4 本章小結(jié)14-15
• 2 社會(huì)科技系統(tǒng)危險(xiǎn)源識(shí)別的影響因素分析15-22
• 2.1 危險(xiǎn)分析的相關(guān)定義15-16
• 2.2 社會(huì)科技系統(tǒng)的復(fù)雜特征16-18
• 2.3 事故致因模型18-21
• 2.4 本章小結(jié)21-22
• 3 社會(huì)科技系統(tǒng)危險(xiǎn)源識(shí)別方法的設(shè)計(jì)22-33
• 3.1 BFM-STPA危險(xiǎn)源識(shí)別方法總體框架22
• 3.2 基于著色Petri網(wǎng)的分層控制結(jié)構(gòu)模型設(shè)計(jì)22-28
• 3.2.1 著色Petir網(wǎng)23-26
• 3.2.2 CPN控制結(jié)構(gòu)模型26-28
• 3.3 BFM-STPA危險(xiǎn)源識(shí)別方法定義及流程28-32
• 3.3.1 BFM-STPA方法的相關(guān)定義28-29
• 3.3.2 BFM-STPA方法具體流程29-32
• 3.4 本章小結(jié)32-33
• 4 危險(xiǎn)源識(shí)別方法的應(yīng)用及性能評(píng)估33-57
• 4.1 應(yīng)用場(chǎng)景描述33-35
• 4.2 臨時(shí)限速下達(dá)場(chǎng)景的控制結(jié)構(gòu)模型35-45
• 4.2.1 模型的建立35-40
• 4.2.2 模型的形式化驗(yàn)證40-45
• 4.3 危險(xiǎn)源識(shí)別及危險(xiǎn)日志生成45-55
• 4.4 結(jié)論與分析55
• 4.5 本章小結(jié)55-57
• 5 結(jié)論與展望57-59
• 參考文獻(xiàn)59-61
• 作者簡(jiǎn)歷61-63
• 學(xué)位論文數(shù)據(jù)集63

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前5條

1 肖兵,瞿坦,王明哲;著色Petri網(wǎng)及其在系統(tǒng)建模與仿真中的應(yīng)用[J];計(jì)算機(jī)工程;2001年01期

2 楊澤民;范全潤(rùn);;硬件設(shè)計(jì)的形式化驗(yàn)證技術(shù)[J];太原師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2007年02期

3 何衛(wèi)東,任喜巖,馬思群,李力行;轉(zhuǎn)轍機(jī)可靠性的邏輯診斷與故障樹(shù)分析[J];鐵道學(xué)報(bào);1996年05期

4 呂毅;形式化方法介紹及其在工程中的應(yīng)用[J];微電子學(xué)與計(jì)算機(jī);2003年10期

5 馮登國(guó),范紅;安全協(xié)議形式化分析理論與方法研究綜述[J];中國(guó)科學(xué)院研究生院學(xué)報(bào);2003年04期

  本文關(guān)鍵詞：基于BFM-STPA的社會(huì)科技系統(tǒng)危險(xiǎn)源識(shí)別方法的設(shè)計(jì)及應(yīng)用，由筆耕文化傳播整理發(fā)布。

本文編號(hào)：409591