• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    區(qū)間占用檢查邏輯的建模與安全分析

    2016-05-08 07:08:14趙會(huì)兵
    鐵道學(xué)報(bào) 2016年4期
    關(guān)鍵詞:分路軌道電路區(qū)段

    周 果,趙會(huì)兵

    (北京交通大學(xué) 電子信息工程學(xué)院,北京 100044)

    列車占用檢查一直以來主要依靠軌道電路來完成,但軌道電路在特殊環(huán)境下會(huì)出現(xiàn)故障。如天氣潮濕時(shí)發(fā)生“低道床”現(xiàn)象,使得軌道電路發(fā)生故障占用,在CTC中顯示為故障“紅光帶”;而當(dāng)鋼軌表面生銹或列車較輕時(shí),輪軌接觸電阻過大,使得軌道電路發(fā)生分路不良,在CTC中沒有顯示即發(fā)生故障“飛車”。以上兩種故障都不能真實(shí)反映區(qū)間中列車的占用情況,而傳統(tǒng)的列控中心設(shè)計(jì)中并沒有邏輯檢查功能,使得出現(xiàn)緊急情況時(shí)由調(diào)度員自行決策處理,帶來嚴(yán)重的安全隱患[1,2]。

    以上問題的關(guān)鍵是CTC僅對(duì)區(qū)間軌道占用情況進(jìn)行被動(dòng)的顯示,對(duì)空閑、正常占用、故障占用和失去分路4種真實(shí)占用狀態(tài)無法區(qū)別所導(dǎo)致的,使得正常占用和故障占用都顯示為紅色,而空閑和失去分路都顯示為白色,由此也帶來了信號(hào)專業(yè)中“紅光帶”和“飛車”兩形象化術(shù)語的語義模糊問題,無法區(qū)分正常還是故障。解決列車占用檢查錯(cuò)誤問題的關(guān)鍵是對(duì)不可信的軌道電路繼電器狀態(tài)信息進(jìn)行預(yù)處理,以不同的顏色來顯示不同的邏輯占用狀態(tài),設(shè)計(jì)區(qū)間占用邏輯檢查層,生成明確區(qū)分邏輯狀態(tài)的區(qū)間列車占用信息,提高CTC被動(dòng)顯示的可信程度。列控中心軟件是典型的安全苛求軟件,需通過安全性分析證明其安全性要求滿足安全完整性等級(jí)SIL4[3]。然而傳統(tǒng)安全分析方法,如故障樹FTA和故障模式及影響分析FMEA,只適合靜態(tài)系統(tǒng)的分析,Markov鏈雖可對(duì)動(dòng)態(tài)系統(tǒng)進(jìn)行建模,但在系統(tǒng)規(guī)模大、交互復(fù)雜的情況下,人工的建模方式幾乎不可能遍歷所有狀態(tài),Petri網(wǎng)方法可將系統(tǒng)狀態(tài)轉(zhuǎn)移的識(shí)別過程轉(zhuǎn)化為對(duì)系統(tǒng)并發(fā)行為的直接表達(dá),但缺乏模塊化的建模規(guī)則,使得其分析能力受到限制。

    為了克服以上傳統(tǒng)安全分析中遇到的困難,學(xué)界提出了基于模型的安全分析方法MBSA(Model Based Safety Analysis),它是基于模型系統(tǒng)工程的重要組成部分,其核心理念是讓設(shè)計(jì)人員使用包括正常行為和故障行為兩者在內(nèi)的系統(tǒng)行為模型進(jìn)行安全分析。2005年JOSHI A等[4]首次提出了基于模型的安全分析方法,利用Simulink對(duì)飛機(jī)起落架制動(dòng)系統(tǒng)進(jìn)行了建模和分析。2007年BOZZANO M等[5]開發(fā)了基于故障注入和模型檢驗(yàn)的安全分析平臺(tái)FSAP/NuSMV-SA,可對(duì)模型進(jìn)行自動(dòng)化分析,生成FTA和FMEA,并在2009年后研發(fā)了基于AADL擴(kuò)展語言SLIM語言的自動(dòng)化安全分析平臺(tái)COMPASS[6]。2012年LIPACZEWSKI A等[7]開發(fā)了SAML語言,可進(jìn)行基于NuSMV和PRISM平臺(tái)的自動(dòng)化安全分析。2013年至今達(dá)索航空等正在開發(fā)基于建模語言altarica3.0的自動(dòng)化安全分析平臺(tái)OCAS[8]。

    由于以上工具尚不成熟,還處于進(jìn)一步研究階段。本文結(jié)合MBSA的思想,提出了基于Markov決策過程MDP的系統(tǒng)行為建模和分析方法,首次對(duì)列車占用檢查邏輯進(jìn)行了安全分析和驗(yàn)證,該方法綜合了以上MBSA方法的技術(shù)優(yōu)點(diǎn)。如圖1所示:首先,對(duì)包括物理運(yùn)動(dòng)行為、正常行為和故障行為在內(nèi)的3種行為分別進(jìn)行建模,優(yōu)點(diǎn)在于將系統(tǒng)中所有行為綜合統(tǒng)一到一個(gè)建模體系內(nèi);其次,對(duì)占用邏輯檢查層進(jìn)行建模,處理來自軌道電路繼電器的設(shè)備狀態(tài)信息,并向CTC輸出安全的占用邏輯狀態(tài),優(yōu)點(diǎn)在于通過獨(dú)立模塊化降低了建模難度;第三,識(shí)別綜合行為模型CBM(Comprehensive Behavior Model)中的系統(tǒng)級(jí)目標(biāo)功能和隱患,識(shí)別所有可能的故障模式的組合,對(duì)其進(jìn)行基于概率計(jì)算樹邏輯PCTL的屬性表達(dá),優(yōu)點(diǎn)在于形式表達(dá)的準(zhǔn)確無歧義;最后,運(yùn)用形式驗(yàn)證工具PRISM對(duì)隱患和故障模式進(jìn)行模型檢驗(yàn),生成所有最小割集和危險(xiǎn)失效概率,優(yōu)點(diǎn)在于可高效地自動(dòng)化計(jì)算。

    圖1 建模與分析步驟

    1 區(qū)間軌道行為建模

    1.1 基于MDP的行為建模

    對(duì)列控中心占用邏輯檢查軟件的分析需首先建立系統(tǒng)的行為模型,基于模型的安全分析方法,一方面強(qiáng)調(diào)系統(tǒng)建模,認(rèn)為模型準(zhǔn)確真實(shí)地反映系統(tǒng)抽象屬性是后續(xù)安全分析的基礎(chǔ),直接關(guān)系安全分析結(jié)果的正確性;另一方面弱化分析過程,將分析過程交給自動(dòng)化工具完成。要完整地描述系統(tǒng)的行為,需要包含以下5個(gè)方面的建模要求:首先是物理行為,指的是分析對(duì)象如列車在場(chǎng)景中實(shí)際運(yùn)動(dòng)的過程模型,是整個(gè)系統(tǒng)行為模型的基礎(chǔ);其次是正常行為,指的是無故障前提下分析對(duì)象作為一個(gè)反應(yīng)系統(tǒng)(Reactive System)對(duì)外界環(huán)境的響應(yīng)控制邏輯;第三是故障行為,指的是分析對(duì)象中可能出現(xiàn)的故障模式對(duì)應(yīng)的行為模型;第四是不確定(Non-deterministic)行為,指的是并發(fā)系統(tǒng)中下一步執(zhí)行行為的選擇是不確定的;第五是概率(Probabilistic)行為,指的是一個(gè)行為的執(zhí)行符合某種概率分布。將以上5種行為整合為一個(gè)行為模型稱為綜合行為模型CBM。

    由于有以上5方面的建模需求,選擇Markov決策過程MDP(Markov Decision Process)[9]作為建?;A(chǔ),因?yàn)槠渚哂斜磉_(dá)不確定行為和概率行為的雙重能力,又能實(shí)現(xiàn)物理行為、正常行為和故障行為的并發(fā)建模,這是其他建模工具如Petri網(wǎng)、Markov鏈等難以比擬的。另外,由于建模過程中,下一時(shí)刻系統(tǒng)行為概率分布的確定并不依賴于之前的歷史狀態(tài),而只與當(dāng)前狀態(tài)有關(guān),符合無記憶即馬爾科夫性。基于以上理由,可以實(shí)現(xiàn)在統(tǒng)一的建?;A(chǔ)下完成CBM模型的建立。

    給出Markov決策過程的形式定義。一個(gè)MDP是一個(gè)六元組。

    M=(S,Act,P,s0,AP,L)

    對(duì)于每個(gè)狀態(tài)s∈S,MDP在每一時(shí)刻至少選擇一項(xiàng)不確定性動(dòng)作a∈Act,并按該動(dòng)作的概率分布確定地執(zhí)行。形式上每一步動(dòng)作執(zhí)行是一個(gè)有序?qū)?ai,μi),其中ai∈Act,μi∈P,i∈N。MDP中一條完整的路徑由一系列狀態(tài)與動(dòng)作組成,設(shè)一條無限路徑為

    式中:ai∈Act;μi∈P(〈si,ai+1,si+1〉)且μi>0,i≥0。設(shè)有限路徑為

    它是無限路徑π的前綴,終止?fàn)顟B(tài)為sn。對(duì)無線路徑或有限路徑ρ而言,它是第i個(gè)狀態(tài)si,記做π(i)或ρ(i),跡記做tr(π)=(a0,μ0) (a1,μ1) (a2,μ2)…或tr(ρ)=(a0,μ0) (a1,μ1)(a2,μ2)…(an,μn),由路徑上的所有動(dòng)作組成。如圖2所示,圓表示狀態(tài),三角形表示動(dòng)作,虛線有向弧表示動(dòng)作的選擇,實(shí)線有向弧表示概率狀態(tài)遷移,實(shí)線有向弧上的正實(shí)數(shù)表示動(dòng)作的概率分布中該狀態(tài)遷移的概率,虛線有向弧上標(biāo)注的是觸發(fā)該動(dòng)作的條件衛(wèi)士G,是由狀態(tài)變量組成的布爾表達(dá)式。

    圖2 MDP的圖形表示

    1.2 列車運(yùn)動(dòng)過程模型

    本文設(shè)定列車通過區(qū)間場(chǎng)景如圖3所示,設(shè)定一條設(shè)計(jì)時(shí)速200 km/h以上的線路中,一段典型區(qū)間軌道區(qū)段共5段,從左至右依次為G1到G5,已知列車不減速通過該區(qū)間,列車前方無車占用,起始區(qū)段為G1,停止區(qū)段為G5,不存在斷鉤和改方情況,列車與后續(xù)列車處于同一信號(hào)許可內(nèi)。在理想情況下,道床和軌道電路工作正常,當(dāng)區(qū)段有車占用時(shí),軌道電路繼電器觸點(diǎn)斷開,觸點(diǎn)狀態(tài)由TCC采集并發(fā)送給CTC,顯示為紅色;當(dāng)區(qū)段無車占用時(shí),軌道電路繼電器觸點(diǎn)閉合,在CTC顯示器上顯示為白色。

    圖3 列車不減速通過區(qū)間場(chǎng)景

    以上列車物理運(yùn)動(dòng)過程是一個(gè)MDP,如圖4所示。初始狀態(tài)0為模型初始狀態(tài),目的是為了使?fàn)顟B(tài)轉(zhuǎn)移的決策動(dòng)作在狀態(tài)轉(zhuǎn)移條件滿足時(shí)執(zhí)行,并與模型變遷編號(hào)一致,此時(shí)場(chǎng)景中無車。狀態(tài)1表示列車完全處于第一區(qū)段G1中,隨著列車的向前移動(dòng),所在位置按照表1中的狀態(tài)順序由狀態(tài)1至9依次變化,表中狀態(tài)標(biāo)記“0”表示列車不處于該軌道區(qū)段,標(biāo)記“1”則相反,定義變量t表示列車在各位置時(shí)的場(chǎng)景狀態(tài)變量。該模型中只存在動(dòng)作move,表示列車向前運(yùn)動(dòng),執(zhí)行該動(dòng)作條件衛(wèi)士為true,表示列車運(yùn)動(dòng)無條件進(jìn)行,該動(dòng)作執(zhí)行的概率分布為1,表示可準(zhǔn)確地執(zhí)行該動(dòng)作。列車運(yùn)動(dòng)狀態(tài)轉(zhuǎn)移表見表1,g1~g5分別表示各區(qū)段的設(shè)備狀態(tài)。

    圖4 列車物理運(yùn)動(dòng)過程MDP

    tg1g2g3g4g5000000110000211000301000401100500100600110700010800011900001

    1.3 正常行為模型

    圖5 區(qū)段Gk正常行為模型

    1.4 故障行為模型

    故障行為是指對(duì)象內(nèi)部發(fā)生故障(Fault)后經(jīng)過演變,在對(duì)象邊界上使得表征功能的量產(chǎn)生錯(cuò)誤(Error),最終導(dǎo)致對(duì)象所要實(shí)現(xiàn)的某種功能喪失即失效(Failure)的一系列過程。一個(gè)對(duì)象的故障行為模型也是一個(gè)MDP,可能包含不確定行為和概率行為。根據(jù)故障觸發(fā)的形式,故障行為可分為時(shí)間性故障和請(qǐng)求性故障兩類。時(shí)間性故障指對(duì)象的故障過程是與時(shí)間相關(guān)的連續(xù)故障過程,而請(qǐng)求性故障指故障只在外界環(huán)境請(qǐng)求對(duì)象提供功能時(shí)發(fā)生。本文中故障占用和失去分路分別屬于時(shí)間性故障和請(qǐng)求性故障,且都是瞬態(tài)的,其MDP模型如圖6所示,其中的狀態(tài)0和1分別表示未發(fā)生故障狀態(tài)和發(fā)生故障狀態(tài)。請(qǐng)求性故障本應(yīng)設(shè)置初始狀態(tài),因?yàn)閷?duì)請(qǐng)求的響應(yīng)需要一個(gè)時(shí)間步長(zhǎng),可使故障正好發(fā)生在功能被請(qǐng)求的時(shí)刻而沒有一個(gè)時(shí)間步長(zhǎng)的延遲,但本文中邏輯狀態(tài)的判決是在設(shè)備故障發(fā)生后進(jìn)行的,不必同步,因此不必設(shè)置虛擬的初始狀態(tài)。

    圖6 故障行為模型

    2 邏輯檢查層設(shè)計(jì)與CBM建模

    2.1 邏輯檢查層模型

    在傳統(tǒng)TCC或CTC的設(shè)計(jì)中并沒有區(qū)間列車占用檢查邏輯判斷這一項(xiàng)安全功能,只是根據(jù)軌道電路繼電器狀態(tài)被動(dòng)地進(jìn)行傳輸和顯示該狀態(tài),這導(dǎo)致在軌道電路出現(xiàn)故障時(shí),TCC和CTC無法區(qū)分空閑、正常占用、故障占用和失去分路4種真實(shí)占用狀態(tài),帶來嚴(yán)重安全隱患。為降低隱患風(fēng)險(xiǎn),根據(jù)技術(shù)條件[10]對(duì)列控中心區(qū)間占用邏輯檢查功能進(jìn)行改進(jìn),增加邏輯檢查層,對(duì)TCC采集而來的軌道電路繼電器狀態(tài)進(jìn)行處理,再發(fā)送給CTC顯示終端,如圖7所示。邏輯檢查層將隱患風(fēng)險(xiǎn)較大的兩種設(shè)備狀態(tài)信息轉(zhuǎn)換為風(fēng)險(xiǎn)較低的4種邏輯狀態(tài)信息,并定義了相應(yīng)的顯示顏色,對(duì)它們進(jìn)行嚴(yán)格的區(qū)分,兩種設(shè)備狀態(tài)標(biāo)記符號(hào)e和o的含義如圖7中紅色部分表示,4種邏輯狀態(tài)標(biāo)記符號(hào)ne、no、fo和fe的含義如圖7中綠色部分表示。

    圖7 邏輯檢查層

    圖8 邏輯檢查層設(shè)計(jì)

    邏輯檢查層是設(shè)備狀態(tài)信息與邏輯狀態(tài)之間的安全屏障,其狀態(tài)轉(zhuǎn)移規(guī)則如圖8所示,對(duì)第k個(gè)區(qū)段而言,其邏輯狀態(tài)的判決需要根據(jù)第k-1個(gè)區(qū)段和第k+1個(gè)區(qū)段的設(shè)備狀態(tài)和邏輯狀態(tài)的變化作為判決條件。圖8(a)表示設(shè)備狀態(tài)的轉(zhuǎn)移規(guī)則,其中標(biāo)記o表示Gk設(shè)備狀態(tài)占用,e表示Gk設(shè)備狀態(tài)空閑,狀態(tài)轉(zhuǎn)移條件由設(shè)備狀態(tài)的出發(fā)標(biāo)記和目的標(biāo)記連接組成。圖8(b)表示邏輯狀態(tài)的轉(zhuǎn)移規(guī)則,狀態(tài)轉(zhuǎn)移條件由邏輯狀態(tài)的出發(fā)標(biāo)記和目的標(biāo)記連接組成。與文獻(xiàn)[10]中的技術(shù)要求和假設(shè)保持一致,其中實(shí)線轉(zhuǎn)移弧所帶的條件衛(wèi)士是由Gk相鄰區(qū)段的設(shè)備狀態(tài)轉(zhuǎn)移事件和邏輯狀態(tài)轉(zhuǎn)移事件組成的布爾表達(dá)式,事件命名由出發(fā)標(biāo)記到目的標(biāo)記組合而成;虛線轉(zhuǎn)移?、佗趯儆谡{(diào)整規(guī)則,分別與文獻(xiàn)[10]中6.1.11和6.1.12一致。邏輯檢查層模型是一個(gè)MDP,同樣可以1.1中的建模方式表達(dá),這里不再贅述。

    2.2 CBM行為模型的綜合

    場(chǎng)景中各模型均是基于狀態(tài)和事件的模型,圖9為修正后Gk的正常行為模型。在考慮故障的情況下,正常狀態(tài)模型即為真實(shí)的設(shè)備狀態(tài)模型,其中增加了動(dòng)作FE和FO,條件標(biāo)記a~g表示觸發(fā)設(shè)備狀態(tài)轉(zhuǎn)移的條件衛(wèi)士,是由列車運(yùn)動(dòng)狀態(tài)和故障狀態(tài)組合而成的布爾表達(dá)式。

    圖9 修正后的正常行為模型

    對(duì)邏輯檢查層模型的修正需要實(shí)現(xiàn)與設(shè)備狀態(tài)轉(zhuǎn)移的同步,邏輯狀態(tài)的轉(zhuǎn)移是由條件事件及它們的組合觸發(fā)的,但MDP是基于狀態(tài)的建模方法,不能直接表達(dá)事件。因此,本文提出了以標(biāo)記n同步設(shè)備狀態(tài)層和邏輯檢查層的方法,并在邏輯檢查層模型中使用與設(shè)備狀態(tài)層相同的轉(zhuǎn)移條件,實(shí)現(xiàn)事件同步。定義Gk的邏輯狀態(tài)變量為lk,以邏輯狀態(tài)由正常占用狀態(tài)“1”到空閑“0”的判決為例,修正后的邏輯檢查層模型為

    其中,lk=1∧lk+1=1表示Gk與Gk+1邏輯狀態(tài)為正常占用“1”時(shí),Gk+1設(shè)備狀態(tài)滿足保持占用條件,Gk的邏輯狀態(tài)由正常占用變?yōu)榭臻e,此時(shí)Gk+1設(shè)備狀態(tài)的保持占用動(dòng)作與Gk的狀態(tài)轉(zhuǎn)移動(dòng)作同步完成。

    根據(jù)物理行為模型、正常行為模型、故障行為模型和邏輯檢查層模型4部分的建模方法和模型修訂規(guī)則,可建立場(chǎng)景的行為模型即綜合行為模型CBM。根據(jù)并發(fā)系統(tǒng)建模理論[9],定義兩個(gè)并發(fā)的MDP模型M1和M2,其合成的MDP模型為

    M=M1‖M2=(S,Act,P,s0,AP,L)

    使得

    M=(S1×S2,Act1∪Act2,P,AP1∪AP2,L)

    其中每一項(xiàng)的獲得可根據(jù)兩個(gè)MDP模型合成的規(guī)則迭代完成,這樣就得到了系統(tǒng)的綜合行為CBM模型,該模型將作為功能驗(yàn)證和安全分析的輸入,進(jìn)一步得到驗(yàn)證和分析結(jié)果。

    3 功能驗(yàn)證與安全分析

    3.1 功能驗(yàn)證

    本文采用由牛津大學(xué)開發(fā)的先進(jìn)概率模型檢驗(yàn)工具PRISM[11]對(duì)CBM模型進(jìn)行建模和分析,支持包括MDP在內(nèi)的多種概率行為模型的建模和檢驗(yàn)。首先,建模過程經(jīng)過驗(yàn)證是正確的,即證明在無故障發(fā)生時(shí),邏輯狀態(tài)能正確反映區(qū)間占用情況,且不會(huì)導(dǎo)致危險(xiǎn)發(fā)生。對(duì)于一個(gè)模型MCBM,設(shè)定由故障狀態(tài)變量fek和fok組成故障模式集合F,如果計(jì)算樹邏輯CTL表達(dá)式

    當(dāng)CTC終端以2.1節(jié)中設(shè)計(jì)的四色來顯示占用邏輯狀態(tài)時(shí),調(diào)度員可根據(jù)需要自行處理調(diào)度任務(wù)??紤]最不利情況,調(diào)度員在確認(rèn)列車后方所有區(qū)段無車占用時(shí),就有可能在該列車后方排入新的列車追蹤前車。因此場(chǎng)景中的隱患可表達(dá)為:場(chǎng)景中列車分路某一區(qū)段或跨越區(qū)段邊界時(shí),被分路區(qū)段邏輯狀態(tài)處于空閑或故障占用狀態(tài),且此時(shí)被分路區(qū)段后方所有區(qū)段均處于空閑或故障占用狀態(tài)。在PRISM中以l1~l5分別表示各區(qū)段的邏輯狀態(tài)模塊,以狀態(tài)值0~3分別表示邏輯狀態(tài)ne,no,fo和fe。該隱患可表示為

    Hazardk=(t=k∨t=k+1)∧

    (lk=0∨lk=2)∧(lk-1=0∨lk-1=2)∧

    …∧(l1=0∨l1=2)

    式中:t=k和t=k+1分別表示列車完全處于Gk或同時(shí)分路Gk+1兩類列車實(shí)際占用情況。

    功能驗(yàn)證的目的是證明占用檢查邏輯功能設(shè)計(jì)完整,即不考慮故障情況下,CTC可顯示區(qū)間中真實(shí)的列車占用情況。此時(shí),割集為空即C=?,檢驗(yàn)結(jié)果為false,即無故障發(fā)生時(shí)可安全地顯示占用情況,實(shí)際上此時(shí)邏輯狀態(tài)與設(shè)備狀態(tài)完全一致。

    文獻(xiàn)[10]中附錄B.1涉及的故障占用判決以正常占用情形為例,PRISM生成的結(jié)果見表2,其中g(shù)1~g5分別表示各區(qū)段的設(shè)備狀態(tài)。以G3先發(fā)生故障占用為例,即fo3=1,G3邏輯狀態(tài)由故障占用變?yōu)榭臻e,此時(shí)G4設(shè)備狀態(tài)由空閑變占用,由于G3為故障占用,即邏輯狀態(tài)由空閑變?yōu)楣收险加?;然后G3設(shè)備狀態(tài)由占用變?yōu)榭臻e,邏輯狀態(tài)由故障占用變?yōu)榭臻e,此時(shí)G4設(shè)備狀態(tài)保持占用,即G4邏輯狀態(tài)由故障占用變?yōu)檎U加?,與設(shè)計(jì)規(guī)范一致。

    表2 附錄B.1路徑

    3.2 危險(xiǎn)情形安全分析

    故障具有獨(dú)立并發(fā)性,當(dāng)場(chǎng)景中軌道電路發(fā)生故障時(shí),需找出所有可能導(dǎo)致隱患發(fā)生的故障組合即最小割集。此時(shí),割集Cut≠?,對(duì)26個(gè)故障模式的組合進(jìn)行檢驗(yàn),生成狀態(tài)572 285個(gè),狀態(tài)轉(zhuǎn)移17 376 014個(gè),模型生成時(shí)間1.039 s,屬性檢驗(yàn)平均時(shí)間0.028 s,得到三階以內(nèi)割集6個(gè),最小割集2個(gè),無單點(diǎn)故障,即邏輯檢查層可對(duì)任意的單一故障占用和失去分路故障進(jìn)行防護(hù),不會(huì)出現(xiàn)危險(xiǎn)情況。列車完全處于單一區(qū)段Gk時(shí),最小割集為C1={fok,fek,fok+1}和C2={fek-1,fok,fok+1},處于跨壓相鄰兩區(qū)段Gk和Gk+1時(shí),最小割集為C3={fek-1,fok,fok+1}和C4={fek,fok+1}。

    C1以t=5為例檢驗(yàn)完全處于G3時(shí)的危險(xiǎn),屬性檢驗(yàn)結(jié)果為真,證例見表3。在t=4時(shí)滿足fe3=1且fo4=1的雙重故障情況,使得在t=5時(shí)l3=0,l2=2,l1=0,且列車邏輯占用完全處于G4,而此時(shí)列車應(yīng)完全處于G3內(nèi),占用情形前移了一個(gè)區(qū)段,造成了危險(xiǎn),更重要的問題是由于G3發(fā)生瞬態(tài)故障占用在先,使得此時(shí)G2設(shè)備狀態(tài)為空閑,而邏輯狀態(tài)為故障占用,發(fā)生明顯的矛盾。因此,文獻(xiàn)[10]中限制條件7.2應(yīng)進(jìn)一步明確當(dāng)列車由正常占用區(qū)段準(zhǔn)備進(jìn)入本區(qū)段時(shí),本區(qū)段發(fā)生故障占用在先,下一區(qū)段故障占用在后,最終本區(qū)段失去分路的故障過程不適用。

    表3 完全處于G3內(nèi)時(shí)的危險(xiǎn)

    C2與C3包含元素相同,但導(dǎo)致的危險(xiǎn)情況不同,以t=5和t=6為例檢驗(yàn)完全處于G3及跨壓G3和G4時(shí)的危險(xiǎn)。證例見表4,當(dāng)t=5時(shí),列車應(yīng)完全處于G3內(nèi),而此時(shí)邏輯狀態(tài)顯示列車失去分路狀態(tài)完全處于G4內(nèi);當(dāng)t=6時(shí),列車應(yīng)跨壓G3和G4,而此時(shí)邏輯狀態(tài)顯示列車以正常占用狀態(tài)完全處于G4內(nèi),兩種情形均帶來危險(xiǎn)。這種故障過程沒有在限制條件中明確提出,應(yīng)增加。

    表4 完全處于G3或跨壓G3和G4時(shí)的危險(xiǎn)

    C4以t=6為例檢驗(yàn)同時(shí)分路G3和G4時(shí)的危險(xiǎn),屬性的檢驗(yàn)結(jié)果為真,證例見表5。在t=6時(shí)列車同時(shí)分路G3和G4,此時(shí)fe3=1即車尾所在G3處于失去分路狀態(tài),使得l3=0即列車邏輯占用完全處于G4,占用情形前移了一個(gè)區(qū)段,造成了危險(xiǎn)。因此,文獻(xiàn)[10]中限制條件7.3應(yīng)進(jìn)一步明確列車準(zhǔn)備進(jìn)入下一區(qū)段時(shí),下一區(qū)段故障占用在先,本區(qū)段失去分路在后的故障過程不適用。

    表5 跨壓G3和G4時(shí)G3的危險(xiǎn)

    3.3 危險(xiǎn)失效概率計(jì)算

    安全分析的最終任務(wù)是定量計(jì)算危險(xiǎn)失效概率值,對(duì)MDP來說就是計(jì)算以初始狀態(tài)為起點(diǎn)的危險(xiǎn)可達(dá)概率的最大值。

    式中:Pmax=?為概率計(jì)算樹邏輯運(yùn)算符,表示計(jì)算上限值。假設(shè)系統(tǒng)的失效概率密度函數(shù)符合指數(shù)分布f(t)=λe-λt(t≥0),其中常數(shù)λ為指數(shù)分布失效率,若已知容許危險(xiǎn)失效率λTHR,則可得[0,t]時(shí)間段內(nèi)的累積容許危險(xiǎn)失效概率為

    根據(jù)廣鐵集團(tuán)內(nèi)部統(tǒng)計(jì),高速線路區(qū)間軌道電路發(fā)生故障占用的概率為3.800×10-6,自動(dòng)恢復(fù)正常的概率為0.1,列車通過時(shí)發(fā)生失去分路的概率為3.800×10-7,恢復(fù)正常的概率為0.6。以武廣高鐵為例,全長(zhǎng)約1 100 km,計(jì)算得到場(chǎng)景危險(xiǎn)失效概率返回值5.783×10-13,全程包含重復(fù)場(chǎng)景1 100/3個(gè),即單程危險(xiǎn)失效概率約為2.120×10-10,全程運(yùn)行時(shí)間1 100/300 h,設(shè)定占用邏輯檢查功能單程容許危險(xiǎn)失效率2.000×10-9/h,可得單程容許危險(xiǎn)失效概率為7.339×10-9>2.120×10-10,所以危險(xiǎn)失效概率風(fēng)險(xiǎn)在可接受范圍之內(nèi)。

    4 結(jié)論

    通過在列控中心軟件中增加邏輯檢查功能對(duì)列車占用狀態(tài)進(jìn)行處理,以四色顯示占用邏輯狀態(tài),可保障區(qū)間行車的安全性。本文通過Markov決策過程方法建立列車通過區(qū)間場(chǎng)景的綜合行為模型CBM,準(zhǔn)確地描述了區(qū)段占用設(shè)備狀態(tài)和邏輯狀態(tài)的判決關(guān)系,并驗(yàn)證了CBM模型的完整性,分析了邏輯狀態(tài)判決設(shè)計(jì)的安全性,并找出了導(dǎo)致危險(xiǎn)發(fā)生的準(zhǔn)確故障組合情況,改進(jìn)了技術(shù)條件中的限制條件表達(dá),最后通過定量計(jì)算危險(xiǎn)失效概率證明了設(shè)計(jì)的危險(xiǎn)風(fēng)險(xiǎn)在可接受范圍之內(nèi)。

    參考文獻(xiàn):

    [1]陳鋼. 溫州動(dòng)車追尾事故與 CTCS-2 技術(shù)規(guī)范中的安全隱患[J]. 軟件, 2012, 32(8): 27-30.

    CHEN Gang. The Wenzhou Train Collision and the Safety Issue in CTCS-2 Specification[J].Software, 2012,32(8):27-30.

    [2]李銘, 趙曄. 三點(diǎn)檢查邏輯對(duì)區(qū)間軌道電路分路不良的防護(hù)研究[J]. 鐵路通信信號(hào)工程技術(shù), 2012, 9(3): 59-61.

    LI Ming, ZHAO Ye. The Protection Research of Three Point Logic Checking for Block Track Circuit Fault Occupation Problem[J]. Railway Communication and Signaling Engineering Technology, 2012, 9(3): 59-61.

    [3]British Standards Institution. EN50129 C Railway Applications-Communication, Signalling and Processing Systems-Safety Related Electronic Systems for Signalling[S]. United Kingdom:British Standards Institution, 2003.

    [4]JOSHI A, MILLER S P, WHALEN M, et al. A Proposal for Model-based Safety Analysis[C]// Digital Avionics Systems Conference.New York: IEEE Press, 2005.

    [5]BOZZANO M, VILLAFIORITA A. The FSAP/NuSMV-SA Safety Analysis Platform[J]. International Journal on Software Tools for Technology Transfer, 2007, 9(1): 5-24.

    [6]BOZZANO M, CIMATTI A, KATOEN J P, et al. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems[C]//Computer Safety,Reliability, and Security. Berlin:Springer Berlin Heidelberg, 2009: 173-186.

    [7]LIPACZEWSKI M, STRUCK S, ORTMEIER F. SAML Goes Eclipse-Combining Model-based Safety Analysis and High-level Editor Support[C]// 2012 2nd Workshop on Developing Tools as Plug-ins (TOPI). New York: IEEE Press, 2012: 67-72.

    [8]PROSVIRNOVA T, BRAMERET PA, RAUZY A. Model Based Safety Assessment: the AltaRica 3.0 Project[J]. Insight, 2013, 16(4):24-25.

    [9]BAIER C, KATOEN J P. Principles of Model Checking[M]. Cambridge: MIT Press, 2008.

    [10]中國鐵路總公司.運(yùn)電高信函〔2014〕234號(hào) 中國鐵路總公司運(yùn)輸局關(guān)于印發(fā)《列控中心區(qū)間占用邏輯檢查暫行技術(shù)條件》的通知[Z].2014.

    [11]KWIATKOWSKA M, NORMAN G, PARKER D. PRISM: Probabilistic Model Checking for Performance and Reliability Analysis[J]. Acm Sigmetrics Performance Evaluation Review, 2009, 36(4):40-45.

    猜你喜歡
    分路軌道電路區(qū)段
    中老鐵路雙線區(qū)段送電成功
    軌道電路分路不良問題應(yīng)對(duì)策略
    基于HHT及LCS的軌道電路傳輸變化識(shí)別探討
    JXG-50S型相敏軌道電路接收器自動(dòng)測(cè)試臺(tái)
    接近區(qū)段失去分路故障分析與解決
    站內(nèi)特殊區(qū)段電碼化設(shè)計(jì)
    站內(nèi)軌道區(qū)段最小長(zhǎng)度的探討
    ZPW-2000客專軌道電路掉碼故障分析
    淺析分路不良區(qū)段解鎖的特殊操作
    25Hz相敏軌道電路的計(jì)算和仿真
    電氣化鐵道(2016年2期)2016-05-17 03:42:36
    麻豆国产97在线/欧美| 亚洲真实伦在线观看| 欧美日韩中文字幕国产精品一区二区三区| 久久精品亚洲精品国产色婷小说| 亚洲av免费高清在线观看| av中文乱码字幕在线| 国产亚洲精品一区二区www| 久久性视频一级片| 最好的美女福利视频网| 欧美一级a爱片免费观看看| 国产精品亚洲av一区麻豆| 男女做爰动态图高潮gif福利片| 国产精品国产高清国产av| 51国产日韩欧美| 国产av不卡久久| 波野结衣二区三区在线 | 一个人观看的视频www高清免费观看| 亚洲成人精品中文字幕电影| 欧美日韩精品网址| 男女那种视频在线观看| 99国产综合亚洲精品| 亚洲美女黄片视频| 91在线观看av| 国产美女午夜福利| 亚洲狠狠婷婷综合久久图片| 欧美av亚洲av综合av国产av| netflix在线观看网站| 色视频www国产| 国产精品久久视频播放| 啦啦啦免费观看视频1| 成年版毛片免费区| svipshipincom国产片| 国产精华一区二区三区| 女生性感内裤真人,穿戴方法视频| 久久久久久人人人人人| 亚洲午夜理论影院| 亚洲精品456在线播放app | 首页视频小说图片口味搜索| 亚洲片人在线观看| 九九在线视频观看精品| 制服人妻中文乱码| 色播亚洲综合网| 18禁黄网站禁片免费观看直播| 精品不卡国产一区二区三区| 亚洲精品乱码久久久v下载方式 | 免费观看的影片在线观看| 亚洲一区二区三区色噜噜| 欧美黄色淫秽网站| 神马国产精品三级电影在线观看| 国产成人欧美在线观看| 色在线成人网| 九色国产91popny在线| www.999成人在线观看| 精品久久久久久久久久免费视频| 精品久久久久久久毛片微露脸| 身体一侧抽搐| 很黄的视频免费| 香蕉av资源在线| 一级毛片高清免费大全| 日本一二三区视频观看| 国产免费一级a男人的天堂| 蜜桃亚洲精品一区二区三区| 国产欧美日韩一区二区三| 全区人妻精品视频| 成熟少妇高潮喷水视频| 女人十人毛片免费观看3o分钟| 美女免费视频网站| 久久久久免费精品人妻一区二区| 欧美3d第一页| 欧美性猛交黑人性爽| 男人舔女人下体高潮全视频| 国产欧美日韩精品一区二区| 夜夜夜夜夜久久久久| 成年人黄色毛片网站| 美女高潮喷水抽搐中文字幕| 国产极品精品免费视频能看的| 日日摸夜夜添夜夜添小说| 日韩亚洲欧美综合| 国产一区二区三区在线臀色熟女| 97碰自拍视频| 18+在线观看网站| 午夜激情欧美在线| 噜噜噜噜噜久久久久久91| 2021天堂中文幕一二区在线观| 午夜精品久久久久久毛片777| 好男人电影高清在线观看| 一进一出抽搐动态| 久久久久久国产a免费观看| 国产99白浆流出| 两个人看的免费小视频| 少妇裸体淫交视频免费看高清| 在线观看66精品国产| 18美女黄网站色大片免费观看| 亚洲乱码一区二区免费版| 波多野结衣巨乳人妻| 搡老妇女老女人老熟妇| 全区人妻精品视频| 精品欧美国产一区二区三| 亚洲熟妇中文字幕五十中出| 欧美三级亚洲精品| 亚洲成av人片在线播放无| x7x7x7水蜜桃| 国产精品女同一区二区软件 | 免费观看人在逋| 久久99热这里只有精品18| 熟女电影av网| 搞女人的毛片| 丁香六月欧美| 亚洲在线自拍视频| 午夜激情欧美在线| 嫁个100分男人电影在线观看| 免费看美女性在线毛片视频| 18禁在线播放成人免费| 好男人电影高清在线观看| 又黄又粗又硬又大视频| 午夜久久久久精精品| 黄片大片在线免费观看| 久久久久久大精品| 18禁黄网站禁片免费观看直播| 国产视频一区二区在线看| 国产精品野战在线观看| 久久久国产成人精品二区| 18禁裸乳无遮挡免费网站照片| 88av欧美| 亚洲精品在线美女| av专区在线播放| svipshipincom国产片| 午夜激情欧美在线| 午夜福利视频1000在线观看| 久久久国产精品麻豆| 久久精品国产自在天天线| 午夜两性在线视频| 国产欧美日韩精品一区二区| av女优亚洲男人天堂| 两个人视频免费观看高清| 午夜免费观看网址| 夜夜看夜夜爽夜夜摸| 美女被艹到高潮喷水动态| 亚洲av电影不卡..在线观看| 国产麻豆成人av免费视频| 我要搜黄色片| 男女下面进入的视频免费午夜| 国产极品精品免费视频能看的| 在线观看66精品国产| 免费在线观看日本一区| 久久久国产成人精品二区| 午夜精品在线福利| 99久久无色码亚洲精品果冻| 亚洲精品色激情综合| 少妇人妻一区二区三区视频| 国产免费一级a男人的天堂| 免费在线观看日本一区| 午夜福利成人在线免费观看| 久9热在线精品视频| 日本a在线网址| 变态另类丝袜制服| 国产一区二区三区视频了| 亚洲av不卡在线观看| 欧美成人一区二区免费高清观看| 国产高清激情床上av| 欧美乱码精品一区二区三区| 久9热在线精品视频| 丰满乱子伦码专区| 2021天堂中文幕一二区在线观| 免费无遮挡裸体视频| 精品久久久久久久久久久久久| 亚洲国产日韩欧美精品在线观看 | 国产伦精品一区二区三区四那| 成人av在线播放网站| 日本a在线网址| 91麻豆精品激情在线观看国产| 久久久久亚洲av毛片大全| 在线十欧美十亚洲十日本专区| 老司机午夜十八禁免费视频| 亚洲最大成人中文| 色尼玛亚洲综合影院| 欧美中文日本在线观看视频| 99久久无色码亚洲精品果冻| 午夜福利在线在线| 草草在线视频免费看| 亚洲专区中文字幕在线| 欧美日韩综合久久久久久 | 欧美大码av| 男人舔女人下体高潮全视频| 亚洲熟妇中文字幕五十中出| 亚洲国产精品成人综合色| 欧美丝袜亚洲另类 | 中文字幕av在线有码专区| 亚洲第一欧美日韩一区二区三区| 一卡2卡三卡四卡精品乱码亚洲| 精品午夜福利视频在线观看一区| 日本三级黄在线观看| 一本一本综合久久| 18美女黄网站色大片免费观看| 99riav亚洲国产免费| 一边摸一边抽搐一进一小说| 国模一区二区三区四区视频| 久久性视频一级片| 国产午夜精品久久久久久一区二区三区 | 欧美乱色亚洲激情| 欧美高清成人免费视频www| 亚洲av中文字字幕乱码综合| 久久精品国产综合久久久| 免费av观看视频| 99久久九九国产精品国产免费| 亚洲一区二区三区色噜噜| 中文字幕av成人在线电影| 欧美+亚洲+日韩+国产| 亚洲成人中文字幕在线播放| 久久这里只有精品中国| 在线免费观看的www视频| 国产一区二区激情短视频| 免费看美女性在线毛片视频| 日日干狠狠操夜夜爽| 亚洲av熟女| 99国产精品一区二区蜜桃av| 男插女下体视频免费在线播放| 久久九九热精品免费| 亚洲人成电影免费在线| 老司机午夜十八禁免费视频| 久久久国产成人精品二区| 日本黄色片子视频| 人妻久久中文字幕网| 亚洲国产中文字幕在线视频| 国产av一区在线观看免费| 两个人看的免费小视频| 中文资源天堂在线| 人人妻人人看人人澡| 香蕉久久夜色| 成人高潮视频无遮挡免费网站| 久久国产精品影院| 欧美最新免费一区二区三区 | bbb黄色大片| 99riav亚洲国产免费| 欧美激情在线99| 搡老妇女老女人老熟妇| 日本精品一区二区三区蜜桃| 国产国拍精品亚洲av在线观看 | 老熟妇乱子伦视频在线观看| 国产在线精品亚洲第一网站| 丰满人妻熟妇乱又伦精品不卡| 内地一区二区视频在线| 亚洲国产中文字幕在线视频| 免费看日本二区| 亚洲精品乱码久久久v下载方式 | 一本综合久久免费| 国产在视频线在精品| 亚洲av不卡在线观看| 精品人妻偷拍中文字幕| 99久国产av精品| 黄色片一级片一级黄色片| 嫁个100分男人电影在线观看| 午夜免费激情av| 亚洲av熟女| а√天堂www在线а√下载| 我要搜黄色片| a级毛片a级免费在线| 国产黄a三级三级三级人| 亚洲精品粉嫩美女一区| 亚洲av美国av| 99国产综合亚洲精品| 毛片女人毛片| 最新在线观看一区二区三区| 成人午夜高清在线视频| 91麻豆精品激情在线观看国产| 十八禁网站免费在线| 超碰av人人做人人爽久久 | 综合色av麻豆| 亚洲aⅴ乱码一区二区在线播放| 亚洲国产色片| 99热这里只有精品一区| 天堂网av新在线| 欧美高清成人免费视频www| 动漫黄色视频在线观看| 999久久久精品免费观看国产| 神马国产精品三级电影在线观看| 女人高潮潮喷娇喘18禁视频| 香蕉久久夜色| 在线观看免费午夜福利视频| 久久久精品欧美日韩精品| 欧美av亚洲av综合av国产av| 午夜两性在线视频| 成人精品一区二区免费| 国产v大片淫在线免费观看| 日韩欧美精品免费久久 | 日本三级黄在线观看| 超碰av人人做人人爽久久 | 人妻夜夜爽99麻豆av| 窝窝影院91人妻| 老司机福利观看| 一本一本综合久久| 免费看美女性在线毛片视频| 欧美成人一区二区免费高清观看| 国产真实乱freesex| 欧美日韩一级在线毛片| 成熟少妇高潮喷水视频| 法律面前人人平等表现在哪些方面| 两个人看的免费小视频| 久久精品亚洲精品国产色婷小说| 在线观看66精品国产| av中文乱码字幕在线| 在线观看一区二区三区| 变态另类丝袜制服| 欧美zozozo另类| 亚洲国产色片| 久久草成人影院| 看片在线看免费视频| 亚洲人成网站在线播放欧美日韩| 国产午夜精品久久久久久一区二区三区 | 色精品久久人妻99蜜桃| 午夜激情福利司机影院| 国产色爽女视频免费观看| 特级一级黄色大片| 国产免费一级a男人的天堂| 免费av毛片视频| 国产黄色小视频在线观看| 国产真实乱freesex| 精品久久久久久成人av| 欧美高清成人免费视频www| 两个人的视频大全免费| 91麻豆精品激情在线观看国产| 搡老妇女老女人老熟妇| 黄色片一级片一级黄色片| 国产综合懂色| 又黄又爽又免费观看的视频| 亚洲 欧美 日韩 在线 免费| 少妇丰满av| 偷拍熟女少妇极品色| 一进一出抽搐动态| 亚洲人成网站高清观看| 在线a可以看的网站| 国产伦精品一区二区三区视频9 | 国产麻豆成人av免费视频| 精品国内亚洲2022精品成人| 身体一侧抽搐| 国产精品一区二区三区四区久久| 亚洲五月婷婷丁香| 真实男女啪啪啪动态图| 欧美日韩国产亚洲二区| 久久久久久九九精品二区国产| 国产精品一区二区三区四区久久| 国产成人影院久久av| 99久久成人亚洲精品观看| 精品福利观看| 少妇丰满av| 欧美在线一区亚洲| 中出人妻视频一区二区| 特级一级黄色大片| 亚洲乱码一区二区免费版| 听说在线观看完整版免费高清| 黄色片一级片一级黄色片| 亚洲在线自拍视频| 亚洲一区二区三区色噜噜| 国产高清激情床上av| 搡老妇女老女人老熟妇| 成年女人毛片免费观看观看9| 中文字幕高清在线视频| 不卡一级毛片| 亚洲美女视频黄频| 亚洲黑人精品在线| 日本三级黄在线观看| 亚洲av二区三区四区| 99国产极品粉嫩在线观看| 亚洲欧美日韩无卡精品| 久久久精品欧美日韩精品| 精品欧美国产一区二区三| 欧美最黄视频在线播放免费| 精品人妻偷拍中文字幕| 19禁男女啪啪无遮挡网站| 日韩有码中文字幕| 两性午夜刺激爽爽歪歪视频在线观看| 亚洲成人中文字幕在线播放| 国产黄色小视频在线观看| 国产视频内射| 国产免费男女视频| 一级a爱片免费观看的视频| 一夜夜www| 欧美一级毛片孕妇| 手机成人av网站| 搡女人真爽免费视频火全软件 | 午夜两性在线视频| 亚洲精品国产精品久久久不卡| 精品无人区乱码1区二区| 99热精品在线国产| 欧美一区二区精品小视频在线| 国产成年人精品一区二区| 亚洲成av人片免费观看| 两个人看的免费小视频| 又紧又爽又黄一区二区| 色吧在线观看| 女人十人毛片免费观看3o分钟| 欧美色欧美亚洲另类二区| 又黄又粗又硬又大视频| 国产成人系列免费观看| 久久精品国产亚洲av香蕉五月| 欧美性感艳星| 嫩草影院入口| 欧美中文日本在线观看视频| 内射极品少妇av片p| 欧美+亚洲+日韩+国产| 亚洲av一区综合| 非洲黑人性xxxx精品又粗又长| 国产午夜精品论理片| 精品人妻偷拍中文字幕| 国产黄a三级三级三级人| 女人十人毛片免费观看3o分钟| 免费搜索国产男女视频| 欧美一区二区国产精品久久精品| 精品人妻1区二区| 中文亚洲av片在线观看爽| 中文在线观看免费www的网站| 亚洲第一电影网av| 99热精品在线国产| 在线观看免费视频日本深夜| 国产主播在线观看一区二区| 性色avwww在线观看| 精品午夜福利视频在线观看一区| 搞女人的毛片| 国产野战对白在线观看| 色播亚洲综合网| 国产成人欧美在线观看| 在线国产一区二区在线| 精品电影一区二区在线| 成人特级av手机在线观看| 久久午夜亚洲精品久久| 国产高清三级在线| 老汉色∧v一级毛片| 久久久精品欧美日韩精品| 精品日产1卡2卡| 欧美激情久久久久久爽电影| 久久久久久久久大av| av女优亚洲男人天堂| 久久久久免费精品人妻一区二区| 最新中文字幕久久久久| 给我免费播放毛片高清在线观看| 欧美大码av| 人妻夜夜爽99麻豆av| 哪里可以看免费的av片| 欧美成人一区二区免费高清观看| 中出人妻视频一区二区| 国产黄片美女视频| 五月玫瑰六月丁香| x7x7x7水蜜桃| 日韩欧美国产在线观看| 国产免费一级a男人的天堂| 亚洲av电影在线进入| 狂野欧美激情性xxxx| 色老头精品视频在线观看| 99在线人妻在线中文字幕| 国产97色在线日韩免费| 亚洲av二区三区四区| 噜噜噜噜噜久久久久久91| 香蕉丝袜av| 国产中年淑女户外野战色| 一个人看的www免费观看视频| 色综合站精品国产| 国产av一区在线观看免费| 成人国产一区最新在线观看| 丝袜美腿在线中文| 看片在线看免费视频| 国产伦精品一区二区三区视频9 | 亚洲国产精品久久男人天堂| 精品人妻偷拍中文字幕| 成人午夜高清在线视频| 亚洲人成网站高清观看| 亚洲美女黄片视频| 男人和女人高潮做爰伦理| 日韩精品中文字幕看吧| 淫秽高清视频在线观看| 日本在线视频免费播放| ponron亚洲| 一个人观看的视频www高清免费观看| 免费观看精品视频网站| 久久久久久九九精品二区国产| 母亲3免费完整高清在线观看| 国产熟女xx| 亚洲18禁久久av| 中出人妻视频一区二区| 国产一区二区三区视频了| АⅤ资源中文在线天堂| 麻豆国产97在线/欧美| 51国产日韩欧美| 亚洲色图av天堂| 亚洲国产欧洲综合997久久,| 老鸭窝网址在线观看| 欧洲精品卡2卡3卡4卡5卡区| 手机成人av网站| 国产三级中文精品| 免费看美女性在线毛片视频| 国产成人啪精品午夜网站| 成人av一区二区三区在线看| 91在线精品国自产拍蜜月 | 国产野战对白在线观看| av视频在线观看入口| 99久久精品一区二区三区| 男人舔女人下体高潮全视频| 美女cb高潮喷水在线观看| 午夜免费男女啪啪视频观看 | 久久久精品大字幕| 欧美在线黄色| x7x7x7水蜜桃| 又紧又爽又黄一区二区| 欧美性感艳星| 国产成人av激情在线播放| 无遮挡黄片免费观看| 久久性视频一级片| 91九色精品人成在线观看| 国产成人系列免费观看| 欧美xxxx黑人xx丫x性爽| 午夜久久久久精精品| 日韩成人在线观看一区二区三区| 日本 欧美在线| 91在线观看av| 国产精品免费一区二区三区在线| xxxwww97欧美| 一个人看的www免费观看视频| 国产私拍福利视频在线观看| 欧美中文日本在线观看视频| 免费在线观看影片大全网站| 一区二区三区免费毛片| 日韩欧美在线乱码| 国产欧美日韩精品亚洲av| 亚洲精品乱码久久久v下载方式 | 日本 欧美在线| 脱女人内裤的视频| 国产高清激情床上av| 久久久色成人| 欧美区成人在线视频| 18禁美女被吸乳视频| 色综合婷婷激情| 久久久久久久久久黄片| 欧洲精品卡2卡3卡4卡5卡区| 2021天堂中文幕一二区在线观| 亚洲成av人片免费观看| 白带黄色成豆腐渣| 国产精品精品国产色婷婷| 亚洲在线观看片| 精品国产美女av久久久久小说| 久久草成人影院| 神马国产精品三级电影在线观看| 真人一进一出gif抽搐免费| 国产精品98久久久久久宅男小说| 国产一区二区三区在线臀色熟女| 高潮久久久久久久久久久不卡| 欧美日本亚洲视频在线播放| 午夜福利在线观看吧| 亚洲无线观看免费| 久久久久久大精品| 亚洲国产中文字幕在线视频| 亚洲自拍偷在线| 免费在线观看亚洲国产| ponron亚洲| 亚洲五月婷婷丁香| 小说图片视频综合网站| 国产精品久久久久久人妻精品电影| 99久久99久久久精品蜜桃| АⅤ资源中文在线天堂| 亚洲天堂国产精品一区在线| 国产免费av片在线观看野外av| 婷婷丁香在线五月| 亚洲精品在线观看二区| 母亲3免费完整高清在线观看| 成人国产综合亚洲| 久久久国产精品麻豆| 看免费av毛片| 亚洲av美国av| 九色国产91popny在线| 亚洲激情在线av| 级片在线观看| 久久久久久久久大av| 亚洲男人的天堂狠狠| 在线视频色国产色| 女人被狂操c到高潮| 亚洲真实伦在线观看| 99在线视频只有这里精品首页| 夜夜看夜夜爽夜夜摸| 桃红色精品国产亚洲av| 在线观看免费视频日本深夜| 精品久久久久久久末码| 国产乱人伦免费视频| 母亲3免费完整高清在线观看| 欧美不卡视频在线免费观看| 日日干狠狠操夜夜爽| 成人高潮视频无遮挡免费网站| 超碰av人人做人人爽久久 | 999久久久精品免费观看国产| 日韩欧美精品免费久久 | 在线十欧美十亚洲十日本专区| 叶爱在线成人免费视频播放| 91九色精品人成在线观看| 丰满乱子伦码专区| 欧美高清成人免费视频www| 淫秽高清视频在线观看| 日韩有码中文字幕| 伊人久久大香线蕉亚洲五| 美女 人体艺术 gogo| 神马国产精品三级电影在线观看| 操出白浆在线播放| 日本免费一区二区三区高清不卡| 操出白浆在线播放| 嫩草影视91久久| 国内精品久久久久久久电影| 国产男靠女视频免费网站| 国产69精品久久久久777片| 亚洲成人精品中文字幕电影| 国产成人欧美在线观看| www日本黄色视频网| aaaaa片日本免费| 女人高潮潮喷娇喘18禁视频| 国产亚洲欧美98| 少妇人妻一区二区三区视频| 亚洲国产中文字幕在线视频| av欧美777| 尤物成人国产欧美一区二区三区| 免费电影在线观看免费观看|