基于系統(tǒng)理論危害分析的列車自動防護系統(tǒng)安全分析方法

頁面導航

摘要
著錄項
相似文獻

摘要

本發(fā)明提出一種基于系統(tǒng)理論危害分析的列車自動防護系統(tǒng)安全分析方法，屬于列車自動防護系統(tǒng)安全工程領(lǐng)域。本發(fā)明包括：通過對系統(tǒng)結(jié)構(gòu)組成與功能邏輯的梳理確定系統(tǒng)級事故與危險；構(gòu)建系統(tǒng)的分層控制結(jié)構(gòu)框圖，建立系統(tǒng)過程模型，對系統(tǒng)控制行為進行分析，得到危險控制行為；分析危險控制行為是如何發(fā)生的，確定起因，明確危險控制場景，制定相應(yīng)的安全約束，以用于列車自動防護系統(tǒng)的設(shè)計中。本發(fā)明還對得到文本使安全約束進行形式化表達，轉(zhuǎn)化為線性時序邏輯語言，添加到SMV規(guī)范模型中進行驗證。本發(fā)明與傳統(tǒng)的安全分析方法相比，故障分析覆蓋更廣，分析有效性更高，經(jīng)驗證所得安全約束更加有效。

著錄項

公開/公告號CN110843859B

專利類型發(fā)明專利
公開/公告日2021-11-26

原文格式PDF
申請/專利權(quán)人中車戚墅堰機車有限公司;
展開▼

申請/專利號CN201911072903.X
發(fā)明設(shè)計人張輝;馮敏健;李培功;丁可;吳亦寧;陳誠;何國福;張征碩;王明巖;葛學超;
展開▼

申請日2019-11-05
分類號B61L23/00(20060101);B61L27/00(20060101);G06F30/20(20200101);G06F30/15(20200101);
代理機構(gòu)11121 北京永創(chuàng)新實專利事務(wù)所;
代理人祗志潔
地址 213000 江蘇省常州市延陵東路358號
入庫時間 2022-08-23 12:51:51

相似文獻

專利
中文文獻
外文文獻

1. 基于系統(tǒng)理論危害分析的列車自動防護系統(tǒng)安全分析方法 [P] . 中國專利： CN110843859B . 2021.11.26
2. 基于系統(tǒng)理論危害分析的車道保持輔助系統(tǒng)安全分析方法 [P] . 中國專利： CN110386153B . 2021.01.26
3. DEFORMATION ANALYSIS METHOD ASSOCIATED WITH PILE FOUNDATION AND PILE DRAFT FOUNDATION FOR BEARING HORIZONTAL FORCE IN MULTILAYERED GROUND, BASED ON HYBRID ELASTIC THEORY [P] . 日本專利： JP2009174158A . 2009-08-06

機譯：基于混合彈性理論的多層地基中水平承載力的樁基礎(chǔ)與樁筏基礎(chǔ)相關(guān)的變形分析方法
4. POWER MODULE CIRCUIT NOISE ANALYSIS METHOD USING TWO-PORT NETWORK THEORY [P] . 韓國專利： KR20070066051A . 2007-06-27

機譯：基于兩端口網(wǎng)絡(luò)理論的功率模塊電路噪聲分析方法
5. SECURITY INFORMATION ANALYSIS DEVICE, SECURITY INFORMATION ANALYSIS METHOD, SECURITY INFORMATION ANALYSIS PROGRAM, SECURITY INFORMATION EVALUATION DEVICE, SECURITY INFORMATION EVALUATION METHOD, SECURITY INFORMATION ANALYSIS SYSTEM, AND RECORDING MEDIUM [P] . 美國專利： US2019392140A1 . 2019-12-26

機譯：安全信息分析設(shè)備，安全信息分析方法，安全信息分析程序，安全信息評估設(shè)備，安全信息評估方法，安全信息分析系統(tǒng)和記錄介質(zhì)

獲取專利

客服郵箱：kefu@zhangqiaokeyan.com

京公網(wǎng)安備：11010802029741號 ICP備案號：京ICP備15016152號-6 六維聯(lián)合信息科技 (北京) 有限公司?版權(quán)所有

客服微信
服務(wù)號