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

    CTCS-3級(jí)GSM-R車地通信數(shù)據(jù)丟失概率及其影響的研究

    2014-01-03 05:24:12張霞馬連川曹源張玉琢
    通信學(xué)報(bào) 2014年12期
    關(guān)鍵詞:級(jí)列通信協(xié)議單層

    張霞 ,馬連川 ,曹源 ,張玉琢

    (1. 北京交通大學(xué) 軌道交通控制與安全國(guó)家重點(diǎn)實(shí)驗(yàn)室,北京 100044;2. 北京交通大學(xué) 軌道交通運(yùn)行控制系統(tǒng)國(guó)家工程研究中心,北京 100044;3. 北京交通大學(xué) 電子信息工程學(xué)院,北京 100044)

    1 引言

    CTCS-3級(jí)列控系統(tǒng)在我國(guó)高速鐵路中得到廣泛應(yīng)用,其列控?cái)?shù)據(jù)傳輸基于鐵路綜合數(shù)字移動(dòng)通信系統(tǒng)(GSM-R, GSM for railway)實(shí)現(xiàn)?!禖TCS-3級(jí)列控系統(tǒng)無(wú)線通信功能接口規(guī)范》(對(duì)應(yīng)于歐洲的Euroradio FIS[1],以下簡(jiǎn)稱Euroradio)中的安全功能模塊(SFM, safe functional module)為數(shù)據(jù)傳輸過(guò)程中可能出現(xiàn)的風(fēng)險(xiǎn)提供安全防護(hù)措施。根據(jù)最新版本的EN 50159標(biāo)準(zhǔn)[2]的規(guī)定,GSM-R屬于第三類開放傳輸系統(tǒng),應(yīng)對(duì)于重復(fù)、刪除、插入、亂序、損壞、延遲和偽裝等所有7種傳輸風(fēng)險(xiǎn)提供強(qiáng)防護(hù)措施。Euroradio SFM 所提供的防護(hù)措施只有源和宿標(biāo)識(shí)符、認(rèn)證過(guò)程和加密過(guò)程,能夠?qū)Σ迦?、損壞和偽裝等3種傳輸風(fēng)險(xiǎn)提供強(qiáng)防護(hù)措施,但對(duì)重復(fù)、刪除、亂序、延遲等4種與時(shí)間相關(guān)的傳輸風(fēng)險(xiǎn)則沒(méi)有提供相應(yīng)的防護(hù)措施。因此可以認(rèn)為分析CTCS-3級(jí)數(shù)據(jù)傳輸安全特性時(shí)可以排除插入、損壞和偽裝等傳輸風(fēng)險(xiǎn),而只考慮與時(shí)間相關(guān)的傳輸風(fēng)險(xiǎn)。

    2009年,單振宇[3]利用有色Petri網(wǎng)對(duì)根據(jù)系統(tǒng)需求所設(shè)計(jì)的CTCS-3級(jí)通信協(xié)議進(jìn)行建模,分析驗(yàn)證所設(shè)計(jì)的通信協(xié)議能滿足性能需求。2012年,陳黎潔[4]選擇分層賦時(shí)有色Petri網(wǎng)對(duì)安全通信協(xié)議進(jìn)行研究,通過(guò)改變信道與應(yīng)用層模型的參數(shù)分析所修改的安全通信協(xié)議中安全連接建立的時(shí)間特性。2014年,全宏宇[5]利用Matlab SimEvents清晰地模擬了車地通信系統(tǒng)的信息交互流程,并統(tǒng)計(jì)分析了通信協(xié)議的安全連接建立時(shí)間以及不同長(zhǎng)度無(wú)線消息傳輸延遲時(shí)間。上述研究成果在研究安全通信協(xié)議時(shí),通過(guò)在現(xiàn)有Euroradio安全通信協(xié)議中添加時(shí)間戳和序列號(hào)等措施防護(hù)時(shí)間相關(guān)風(fēng)險(xiǎn)[3,6],并對(duì)改變后的安全通信協(xié)議進(jìn)行了功能或性能驗(yàn)證。但這些研究的不足之處在于沒(méi)有闡明添加這些針對(duì)時(shí)間相關(guān)傳輸風(fēng)險(xiǎn)防護(hù)措施的理由。

    根據(jù) GSM-R數(shù)據(jù)傳輸原理[7],可以發(fā)現(xiàn)數(shù)據(jù)延遲和數(shù)據(jù)丟失是造成重復(fù)、刪除、亂序、延遲等時(shí)間相關(guān)傳輸風(fēng)險(xiǎn)的2種主要原因。在實(shí)際情況中,數(shù)據(jù)丟失會(huì)造成列控車載設(shè)備由于接收不到數(shù)據(jù)而導(dǎo)致移動(dòng)授權(quán)縮短失敗等危險(xiǎn)。根據(jù)文獻(xiàn)[1]可知,數(shù)據(jù)幀在重傳多次后仍沒(méi)傳輸成功則視該數(shù)據(jù)幀為丟失。相對(duì)數(shù)據(jù)延遲而言,數(shù)據(jù)丟失發(fā)生的概率更低。因此,本文主要分析CTCS-3級(jí)列控系統(tǒng)數(shù)據(jù)傳輸中數(shù)據(jù)丟失的概率能否滿足相關(guān)規(guī)范的安全要求。

    2 基于DSPN的CTCS-3級(jí)無(wú)線通信模型與故障恢復(fù)模型

    由于Petri網(wǎng)能夠完成系統(tǒng)的形勢(shì)描述、正確性驗(yàn)證、性能評(píng)價(jià)、目標(biāo)實(shí)現(xiàn)和測(cè)試等任務(wù),Petri網(wǎng)成為了研究人員分析通信系統(tǒng)與通信協(xié)議的主要工具。而確定與隨機(jī)Petri網(wǎng)(DSPN, deterministic and stochastic Petri nets)是一般Petri網(wǎng)的擴(kuò)充,允許變遷的實(shí)施延時(shí)既可以是常數(shù),也可以是指數(shù)分布的隨機(jī)變量,這對(duì)周期性通信或數(shù)據(jù)傳輸?shù)膯?wèn)題非常適用。所以本文選用DSPN作為建模工具[8]。

    2.1 數(shù)據(jù)傳輸過(guò)程中的故障恢復(fù)模型

    無(wú)線傳輸過(guò)程容易受外界環(huán)境的影響,導(dǎo)致信道故障的來(lái)源主要有無(wú)線降質(zhì)、越區(qū)切換和鏈路中斷3種類型[9]。而根據(jù)相關(guān)研究成果[10]可知多普勒頻移對(duì)于2G和3G無(wú)線傳輸系統(tǒng)基本無(wú)影響,因此本文研究時(shí)不考慮多普勒頻移的影響。

    在實(shí)際建模過(guò)程中,上述3種故障模型單獨(dú)設(shè)計(jì),其好處在于不僅能仿真數(shù)據(jù)傳輸過(guò)程中數(shù)據(jù)與單一故障“碰撞”的過(guò)程,還能仿真這3種故障全部發(fā)生情況下的數(shù)據(jù)傳輸過(guò)程,這樣仿真結(jié)果更加準(zhǔn)確。數(shù)據(jù)傳輸過(guò)程中的故障恢復(fù)模型如圖1所示。該模型描述的是3種不同的故障由未發(fā)生到發(fā)生的轉(zhuǎn)變過(guò)程,3個(gè)模型初始狀態(tài)表示3種故障均沒(méi)有發(fā)生。

    圖1 數(shù)據(jù)傳輸過(guò)程中的故障恢復(fù)模型

    2.2 數(shù)據(jù)傳輸過(guò)程中的通信模型

    建立Euroradio SFM以下部分的數(shù)據(jù)傳輸過(guò)程中的通信模型需要考慮以下3點(diǎn)。

    1) 根據(jù)文獻(xiàn)[1]對(duì)數(shù)據(jù)傳輸性能指標(biāo)影響最大的是 GSM-R物理層,其他層對(duì)于數(shù)據(jù)的處理時(shí)間相對(duì)整個(gè)數(shù)據(jù)傳輸過(guò)程而言可以忽略。因此在模型的初始狀態(tài),數(shù)據(jù)直接以TDMA幀形式準(zhǔn)備發(fā)送。

    2) 由于CTCS-3規(guī)范中規(guī)定每幀數(shù)據(jù)為30 byte,而TDMA幀中一個(gè)時(shí)隙的長(zhǎng)度為156.25 bit,所以要完成這30 byte數(shù)據(jù)幀的傳輸,需要2個(gè)TDMA幀。在建立DSPN模型時(shí)為建模方便,將2個(gè)TDMA幀看做是一個(gè)Petri網(wǎng)標(biāo)識(shí)。

    3) 基于GSM-R進(jìn)行數(shù)據(jù)傳輸時(shí),以下2種情況引起數(shù)據(jù)重傳:一是由于傳輸過(guò)程中遇到故障而導(dǎo)致數(shù)據(jù)部分丟失或錯(cuò)誤;二是由于傳輸超時(shí)。文獻(xiàn)[1]中規(guī)定數(shù)據(jù)的最大重發(fā)次數(shù)為5次。

    CTCS-3級(jí)列控系統(tǒng)數(shù)據(jù)傳輸過(guò)程中的通信模型如圖2所示。

    表1給出了圖1和圖2的庫(kù)所說(shuō)明,表2中給出圖1和圖2的變遷含義及各變遷的取值,數(shù)據(jù)取自文獻(xiàn)[1,11]。

    表1 圖1和圖2的庫(kù)所說(shuō)明

    在圖2所示的通信模型中,當(dāng)數(shù)據(jù)傳送到達(dá)空中接口時(shí),首先要判斷是否發(fā)生故障。

    1) 當(dāng)數(shù)據(jù)傳輸過(guò)程中沒(méi)有任何故障發(fā)生時(shí),變遷Twgz被激發(fā)進(jìn)行數(shù)據(jù)傳輸,經(jīng)過(guò)數(shù)據(jù)的上行、下行和接收方的判斷之后Ttrade被激發(fā),表示發(fā)送方收到數(shù)據(jù)的應(yīng)答幀,經(jīng)過(guò)一定時(shí)間的應(yīng)答幀分析后變遷Twgzsucc被激發(fā),開始準(zhǔn)備傳輸下一幀數(shù)據(jù)。

    2) 當(dāng)數(shù)據(jù)傳輸過(guò)程中發(fā)生無(wú)線降質(zhì),則變遷Tcoll1被激發(fā),由于無(wú)線降質(zhì)是在數(shù)據(jù)傳輸過(guò)程中由于信道衰落或者受到干擾而造成,對(duì)數(shù)據(jù)而言,造成的最惡劣影響就是部分?jǐn)?shù)據(jù)錯(cuò)誤,并不會(huì)引起傳輸延時(shí),所以經(jīng)過(guò)正常的上、下行傳輸和接收方的數(shù)據(jù)校驗(yàn)之后變遷Tdrde被激發(fā),將庫(kù)所Ptradr中的標(biāo)記轉(zhuǎn)入Pprocess中,表示發(fā)送方收到接收方傳輸回來(lái)的要求數(shù)據(jù)幀重傳的信息,發(fā)送方對(duì)這一信息進(jìn)行處理判斷之后變遷Tprocess被激發(fā),開始準(zhǔn)備數(shù)據(jù)重發(fā)。

    3) 當(dāng)數(shù)據(jù)傳輸過(guò)程中遇到越區(qū)切換時(shí),變遷Tcoll2被激發(fā)。由于GSM-R采用的是硬切換技術(shù),所以越區(qū)切換執(zhí)行時(shí)會(huì)造成一定時(shí)間的通信中斷,而在該通信中斷過(guò)程中正在進(jìn)行的傳輸數(shù)據(jù)就會(huì)發(fā)生丟失,導(dǎo)致接收方不會(huì)接收到數(shù)據(jù)而產(chǎn)生相應(yīng)的應(yīng)答幀。所以只有在定時(shí)器Ttimer溢出后才能進(jìn)行重發(fā)。

    4) 當(dāng)數(shù)據(jù)傳輸過(guò)程中發(fā)生鏈路中斷的時(shí)候,變遷Tcoll3被激發(fā)。由于鏈路中斷同樣會(huì)造成一定時(shí)間的通信中斷,數(shù)據(jù)傳輸及重發(fā)過(guò)程與越區(qū)切換基本一致,只是由于二者的中斷時(shí)間不同,需要發(fā)送的重傳的數(shù)據(jù)幀數(shù)不同而已。

    5) 當(dāng)數(shù)據(jù)傳輸過(guò)程中無(wú)線降質(zhì)和鏈路中斷同時(shí)發(fā)生、越區(qū)切換和鏈路中斷同時(shí)發(fā)生或者3種故障全部發(fā)生時(shí),由于鏈路中斷或者越區(qū)切換而造成數(shù)據(jù)丟失,等待超時(shí)重發(fā)。

    6) 關(guān)于定時(shí)器部分,變遷Tgen被激發(fā),數(shù)據(jù)幀開始發(fā)送的同時(shí)啟動(dòng)定時(shí)器Ttimer,即標(biāo)記進(jìn)入Psenddata的同時(shí)另一個(gè)標(biāo)記同樣進(jìn)入Pon。當(dāng)標(biāo)記到達(dá)Pwgzsucc或者Pprocess時(shí)清除Pon中的標(biāo)記,表示當(dāng)發(fā)送方收到接受方發(fā)回的應(yīng)答幀時(shí),無(wú)論是數(shù)據(jù)成功的信息還是要求數(shù)據(jù)重傳的信息,都滿足定時(shí)器溢出之前收到應(yīng)答幀就清零定時(shí)器的要求。當(dāng)定時(shí)器超時(shí)Ttimer被激發(fā),標(biāo)記進(jìn)入Pout1。實(shí)際數(shù)據(jù)傳輸過(guò)程中定時(shí)器超時(shí)立即重新發(fā)送數(shù)據(jù),而不管已經(jīng)發(fā)送的數(shù)據(jù)是否仍在傳輸中,但是在DSPN模型中,某一時(shí)刻只能保證一個(gè)標(biāo)記被傳輸,否則會(huì)造成標(biāo)記堆積而導(dǎo)致仿真失敗。當(dāng)定時(shí)器超時(shí)且數(shù)據(jù)仍在傳輸沒(méi)有應(yīng)答幀到達(dá)發(fā)送方時(shí),即庫(kù)所Pout1中存在標(biāo)記,同時(shí)Pduan中存在標(biāo)記,Tca3被激發(fā),清除Pduan中的標(biāo)記,表明數(shù)據(jù)丟失等待定時(shí)器超時(shí)超發(fā)。當(dāng)定時(shí)器超時(shí)的同時(shí)恰巧收到數(shù)據(jù)幀應(yīng)答時(shí),即Pout1中存在標(biāo)記,Pwgzsucc或者 Pprocess中存在標(biāo)記,激發(fā)變遷 Ttiao5或者Ttiao6,清除Pwgzsucc或者Pprocess中的標(biāo)記來(lái)進(jìn)行超時(shí)重發(fā)。

    圖2 CTCS-3級(jí)列控系統(tǒng)數(shù)據(jù)傳輸過(guò)程中的通信模型

    表2 圖1和圖2的變遷說(shuō)明

    考慮到GSM-R網(wǎng)絡(luò)主要存在2種覆蓋方式:?jiǎn)螌痈采w和冗余覆蓋。冗余覆蓋較單層覆蓋能提高數(shù)據(jù)傳輸?shù)目煽啃裕瑥亩溌分袛嗪蜔o(wú)線降質(zhì)發(fā)生概率降低,但冗余覆蓋會(huì)造成越區(qū)切換更加頻繁。

    根據(jù)文獻(xiàn)[11],單層覆蓋下無(wú)線降質(zhì)出現(xiàn)周期大于7 s的概率為99%,降質(zhì)持續(xù)時(shí)間小于1 s的概率為99%??紤]極端情況假定列車時(shí)速為500 km/h,無(wú)線小區(qū)之間的距離L為7 km,則越區(qū)切換發(fā)生的時(shí)間間隔為50 s,切換導(dǎo)致的通信中斷時(shí)間最長(zhǎng)為300 ms。鏈路中斷故障每小時(shí)發(fā)生的概率為 10-2,GSM-R設(shè)備檢查到中斷后重新建立鏈接。鏈接中斷后5 s內(nèi)重新建立鏈接的概率為95%[11]。而冗余覆蓋下越區(qū)切換發(fā)生的時(shí)間間隔為單層覆蓋的 1/2,無(wú)線降質(zhì)出現(xiàn)周期為大于70 s的概率為99%,降質(zhì)持續(xù)時(shí)間小于1 s的概率為99%,鏈路中斷故障每小時(shí)發(fā)生的概率為10-3,鏈接中斷后5 s內(nèi)重新建立鏈接的概率為95%。因此,單層覆蓋及冗余覆蓋下故障恢復(fù)模型參數(shù)選擇如表3所示。

    表3 單層覆蓋及冗余覆蓋下故障恢復(fù)模型參數(shù)選擇

    3 模型分析

    結(jié)合上述數(shù)據(jù)傳輸過(guò)程中的通信模型和故障恢復(fù)模型,利用TimeNET4.0進(jìn)行仿真,可以分別得到單層覆蓋和冗余覆蓋下數(shù)據(jù)丟失的穩(wěn)態(tài)概率Plost,如圖3和圖4所示。

    圖3 單層覆蓋下列車速度對(duì)于數(shù)據(jù)丟失概率的影響

    圖4 冗余覆蓋下列車速度對(duì)于數(shù)據(jù)丟失概率的影響

    由圖3和圖4可得出,單層或冗余覆蓋下,隨著列車速度的提高,數(shù)據(jù)丟失概率都會(huì)微升。但對(duì)于相同列車速度而言,冗余覆蓋下數(shù)據(jù)丟失概率一直低于單層覆蓋下的數(shù)據(jù)丟失概率,說(shuō)明無(wú)線降質(zhì)和鏈路中斷對(duì)于數(shù)據(jù)丟失起主要作用,列車速度的變化對(duì)于通信的影響較小。

    在實(shí)際情況中,數(shù)據(jù)丟失會(huì)使列車由于接收不到數(shù)據(jù),而出現(xiàn)文獻(xiàn)[7]中所描述的由于移動(dòng)授權(quán)縮短失敗所造成的危險(xiǎn)。根據(jù)文獻(xiàn)[7],分配給CTCS-3級(jí)列控系統(tǒng)車地GSM-R傳輸系統(tǒng)危險(xiǎn)失效率為 1.0×10-11,結(jié)合前文“分析 CTCS-3級(jí)數(shù)據(jù)傳輸安全特性時(shí)只考慮與時(shí)間相關(guān)的傳輸風(fēng)險(xiǎn)”的假設(shè),可以認(rèn)為時(shí)間相關(guān)的危險(xiǎn)失效率就是 1.0×10-11。為了說(shuō)明問(wèn)題,將單層覆蓋和冗余覆蓋下數(shù)據(jù)丟失概率及上述時(shí)間相關(guān)的危險(xiǎn)失效率同時(shí)繪制于圖5中。

    圖 5中“標(biāo)準(zhǔn)”代表文獻(xiàn)[7]規(guī)定的時(shí)間相關(guān)風(fēng)險(xiǎn)的危險(xiǎn)失效率,當(dāng)數(shù)據(jù)丟失概率在“標(biāo)準(zhǔn)”代表的圖線下方時(shí)才滿足SIL4級(jí)要求。但從圖 5中可以看出,不論是單層覆蓋還是冗余覆蓋,數(shù)據(jù)丟失概率都遠(yuǎn)在“標(biāo)準(zhǔn)”圖線之上。這說(shuō)明即使在只有數(shù)據(jù)丟失才會(huì)造成列控系統(tǒng)危險(xiǎn)輸出這一極端情況下,也不能滿足相關(guān)規(guī)范對(duì)于數(shù)據(jù)傳輸?shù)腟IL4級(jí)要求,如果再考慮數(shù)據(jù)傳輸延時(shí)所造成的影響,就更不會(huì)滿足相關(guān)規(guī)范的要求。

    因此,現(xiàn)有 Euroradio安全協(xié)議沒(méi)有提供時(shí)間相關(guān)風(fēng)險(xiǎn)防護(hù)措施,不能滿足相關(guān)規(guī)范對(duì)于數(shù)據(jù)傳輸?shù)?SIL4級(jí)要求,為了保證CTCS-3級(jí)列控系統(tǒng)GSM-R車地?cái)?shù)據(jù)傳輸滿足數(shù)據(jù)傳輸安全要求必須在其 SFM 上添加相應(yīng)的時(shí)間相關(guān)風(fēng)險(xiǎn)防護(hù)措施。例如,可使用《RSSP-II鐵路信號(hào)安全通信協(xié)議》的安全應(yīng)用中間子層協(xié)議。

    4 結(jié)束語(yǔ)

    圖5 單層、冗余覆蓋下數(shù)據(jù)丟失概率及時(shí)間相關(guān)的危險(xiǎn)失效率對(duì)比

    本文從分析CTCS-3級(jí)列控系統(tǒng) Euroradio的SFM對(duì)于時(shí)間相關(guān)風(fēng)險(xiǎn)防護(hù)能力出發(fā),基于DSPN建立了CTCS-3級(jí)列控系統(tǒng)數(shù)據(jù)傳輸過(guò)程中的通信模型和故障恢復(fù)模型。將 2種模型相結(jié)合,利用TimeNET4.0進(jìn)行仿真,得出以下結(jié)論。

    1) 單層覆蓋或者冗余覆蓋下,列車速度對(duì)于數(shù)據(jù)丟失的概率影響較小。

    2) 相同列車速度下,冗余覆蓋下數(shù)據(jù)丟失概率一直低于單層覆蓋下的數(shù)據(jù)丟失概率。

    3) 單層覆蓋或者冗余覆蓋下,即使只考慮數(shù)據(jù)丟失才會(huì)造成列控系統(tǒng)危險(xiǎn)輸出,也不能滿足相關(guān)規(guī)范對(duì)于CTCS-3級(jí)列控系統(tǒng)數(shù)據(jù)傳輸?shù)腟IL4級(jí)要求。

    因此,現(xiàn)有 Euroradio安全協(xié)議沒(méi)有提供時(shí)間相關(guān)風(fēng)險(xiǎn)防護(hù)措施,不能滿足相關(guān)規(guī)范對(duì)于數(shù)據(jù)傳輸?shù)腟IL4級(jí)要求,為了保證 CTCS-3級(jí)列控系統(tǒng)GSM-R車地?cái)?shù)據(jù)傳輸滿足數(shù)據(jù)傳輸安全要求,必須在其SFM上添加相應(yīng)的時(shí)間相關(guān)風(fēng)險(xiǎn)防護(hù)措施。

    [1] ETRMS/ETCS . Euroradio FIS[S]. 2005.

    [2] ERTMS. EN50159-2010 Railway Applications—Communication,Signalling and Processing Systems—Safety-Related Communication in Transmission Systems[S]. 2010.

    [3] 單振宇. CTCS-3級(jí)車地通信協(xié)議設(shè)計(jì)與驗(yàn)證[D]. 北京: 北京交通大學(xué), 2009.SHAN Z Y. Design and Verification of CTCS-3 Train Ground Communication Protocol[D]. Beijing: Beijing Jiaotong University, 2009.

    [4] 陳黎潔,單振宇,唐濤. 列車運(yùn)行控制系統(tǒng)中安全通信協(xié)議的形式化分析[J]. 鐵道學(xué)報(bào), 2012,34(7):70-76.CHEN L J, SHAN Z Y, TANG T. Formal analysis on safety communication protocol in train control system[J]. Journal of the China Railway Society, 2012, 34(7):70-76.

    [5] 全宏宇. CTCS-3級(jí)列控系統(tǒng)地車安全信息傳輸子系統(tǒng)的建模與分析[D]. 北京: 北京交通大學(xué), 2014.QUAN H Y. Modeling and Analysis of Safety Information Transmission Subsystem Between Train and Ground for CTCS-3 Train Control System[D]. Beijing: Beijing Jiaotong University, 2014.

    [6] 陳黎潔. 列車運(yùn)行控制系統(tǒng)安全通信協(xié)議驗(yàn)證方法的研究[D]. 北京: 北京交通大學(xué), 2013.CHEN L J. Research of Authentication Methods on Safety Communication Protocol in Train Control System[J]. Beijing: Beijing Jiaotong University, 2013.

    [7] ETRMS/ETCS. ETCS Application Levels 1 & 2 - Safety Analysis[S].

    [8] 林闖. 隨機(jī)Petri網(wǎng)和系統(tǒng)性能評(píng)價(jià)[M]. 北京: 清華大學(xué)出版社, 2009.LIN C. Stochastic Petri Nets and System Performance Evaluation[M].Beijing: Tsinghua University Press, 2009.

    [9] ZIMMERMANN A. Modeling and evaluation of stochastic Petri nets with TimeNET 4.1[A].Performance Evaluation Methodologies and Tools (VALUETOOLS), 2012 6th International Conference on[C].2012.54-63.

    [10] 蘇華鴻. 移動(dòng)通信多普勒頻移與高鐵覆蓋技術(shù)[J]. 郵電設(shè)計(jì)技術(shù),2009, (12):1-4.SU H H. Mobile communication doppler frequency shift and high-speed railway coverage technology[J]. Designing Techniques of Posts and Telecommunications, 2009,(12):1-4.

    [11] GSM-R QoS Working Group. ERTMS/GSM-R Quality of Service Test Specification[S]. 2006.

    猜你喜歡
    級(jí)列通信協(xié)議單層
    二維四角TiC單層片上的析氫反應(yīng)研究
    分子催化(2022年1期)2022-11-02 07:10:16
    CTCS-2級(jí)列控系統(tǒng)反向運(yùn)行的相關(guān)問(wèn)題探討
    基于PLC控制的立式單層包帶機(jī)的應(yīng)用
    電子制作(2019年15期)2019-08-27 01:12:04
    探討CTCS-3級(jí)列控系統(tǒng)對(duì)STP系統(tǒng)的指導(dǎo)作用
    單層小波分解下圖像行列壓縮感知選擇算法
    CTCS-3級(jí)列控系統(tǒng)RBC外部接口故障處理
    基于ITCS的CTCS-4級(jí)列控系統(tǒng)關(guān)鍵技術(shù)研究
    基于Z-Stack通信協(xié)議棧的紅外地溫采集電路設(shè)計(jì)
    新型單層布置汽輪發(fā)電機(jī)的研制
    基于DMX512通信協(xié)議的多路轉(zhuǎn)發(fā)器設(shè)計(jì)與研究
    亚洲成人精品中文字幕电影| 岛国在线免费视频观看| 五月伊人婷婷丁香| 18+在线观看网站| 成人二区视频| 深爱激情五月婷婷| 中文欧美无线码| 伊人久久精品亚洲午夜| 亚洲天堂国产精品一区在线| 国内精品宾馆在线| 国产视频首页在线观看| 日韩av不卡免费在线播放| 波多野结衣巨乳人妻| 亚洲国产精品久久男人天堂| 国内精品宾馆在线| av在线天堂中文字幕| 国产三级在线视频| 看十八女毛片水多多多| a级一级毛片免费在线观看| 又爽又黄无遮挡网站| 麻豆成人午夜福利视频| 日本免费a在线| 亚洲精品成人久久久久久| 精品熟女少妇av免费看| 99视频精品全部免费 在线| 日韩成人伦理影院| 亚洲图色成人| 免费在线观看成人毛片| 亚洲高清免费不卡视频| 国产一区二区三区在线臀色熟女| 99热只有精品国产| АⅤ资源中文在线天堂| 男女做爰动态图高潮gif福利片| 精品一区二区三区人妻视频| 波野结衣二区三区在线| 国产亚洲精品久久久久久毛片| 女同久久另类99精品国产91| av在线亚洲专区| 日韩视频在线欧美| 国产乱人偷精品视频| 国产91av在线免费观看| 亚洲人成网站高清观看| 中文字幕人妻熟人妻熟丝袜美| 久久久国产成人免费| 久久综合国产亚洲精品| 日韩制服骚丝袜av| 中文欧美无线码| 永久网站在线| 三级经典国产精品| 精品少妇黑人巨大在线播放 | 免费看a级黄色片| 国产探花极品一区二区| 国产又黄又爽又无遮挡在线| 一进一出抽搐动态| 91在线精品国自产拍蜜月| 丰满乱子伦码专区| 国产精品免费一区二区三区在线| 婷婷色综合大香蕉| 国产极品天堂在线| 久久99蜜桃精品久久| 男的添女的下面高潮视频| 国产女主播在线喷水免费视频网站 | 亚洲欧美精品综合久久99| 毛片一级片免费看久久久久| 免费av毛片视频| 国产精品福利在线免费观看| 欧美日韩综合久久久久久| 成人欧美大片| 亚洲一区高清亚洲精品| 99久久无色码亚洲精品果冻| 青青草视频在线视频观看| 久久久久久大精品| 久久这里只有精品中国| 国产成人91sexporn| 亚洲国产欧美在线一区| 久久精品夜夜夜夜夜久久蜜豆| 国产亚洲5aaaaa淫片| 日韩av不卡免费在线播放| 两个人的视频大全免费| 中文字幕人妻熟人妻熟丝袜美| 久久精品久久久久久久性| 99久久精品国产国产毛片| 99久久无色码亚洲精品果冻| 亚洲国产欧洲综合997久久,| 我的女老师完整版在线观看| 国内揄拍国产精品人妻在线| 久久人人精品亚洲av| 亚洲精品久久久久久婷婷小说 | 日本撒尿小便嘘嘘汇集6| 直男gayav资源| 干丝袜人妻中文字幕| 午夜爱爱视频在线播放| 一本久久中文字幕| av在线播放精品| 欧美性感艳星| 美女黄网站色视频| 少妇的逼好多水| 波多野结衣高清无吗| 国产极品精品免费视频能看的| 日本黄色视频三级网站网址| 亚洲色图av天堂| av天堂中文字幕网| 两个人的视频大全免费| 2022亚洲国产成人精品| 12—13女人毛片做爰片一| 91aial.com中文字幕在线观看| 波多野结衣高清无吗| 日韩国内少妇激情av| 一本精品99久久精品77| 国产综合懂色| 久久精品国产亚洲av天美| 成熟少妇高潮喷水视频| 一进一出抽搐动态| 插阴视频在线观看视频| 久久久精品欧美日韩精品| 一级二级三级毛片免费看| 亚洲国产精品成人综合色| 国产精品人妻久久久影院| 国内揄拍国产精品人妻在线| 日产精品乱码卡一卡2卡三| 身体一侧抽搐| 永久网站在线| 午夜福利在线在线| 午夜a级毛片| 日韩精品有码人妻一区| 欧美日韩综合久久久久久| 久久亚洲国产成人精品v| 免费一级毛片在线播放高清视频| 国产 一区 欧美 日韩| 特大巨黑吊av在线直播| 日韩亚洲欧美综合| 搡老妇女老女人老熟妇| 国产一区亚洲一区在线观看| 波多野结衣高清作品| 久久亚洲精品不卡| 日本与韩国留学比较| 日日啪夜夜撸| 国产白丝娇喘喷水9色精品| 久久久久久久久久成人| 欧美高清成人免费视频www| 亚洲天堂国产精品一区在线| 国产日韩欧美在线精品| 亚洲中文字幕日韩| 国语自产精品视频在线第100页| 在线a可以看的网站| 国语自产精品视频在线第100页| 不卡视频在线观看欧美| 国产探花极品一区二区| 看免费成人av毛片| 久久久久久久久久久免费av| 大香蕉久久网| 成人高潮视频无遮挡免费网站| 色5月婷婷丁香| 国产精品一区二区在线观看99 | 亚洲激情五月婷婷啪啪| 22中文网久久字幕| 亚洲激情五月婷婷啪啪| 国产三级在线视频| 在线观看一区二区三区| 黑人高潮一二区| 少妇的逼好多水| 亚洲国产欧美人成| 久久久久久久午夜电影| 国产精品精品国产色婷婷| 欧美精品国产亚洲| 青春草亚洲视频在线观看| 一级毛片我不卡| 成人性生交大片免费视频hd| 一本久久中文字幕| 久久久色成人| 日韩一区二区三区影片| 精品久久久久久成人av| 国产综合懂色| 91精品一卡2卡3卡4卡| 一个人看的www免费观看视频| 在线天堂最新版资源| 又粗又爽又猛毛片免费看| www日本黄色视频网| 久久精品国产清高在天天线| 亚洲精品粉嫩美女一区| 一级毛片久久久久久久久女| 91久久精品国产一区二区三区| 天美传媒精品一区二区| 毛片女人毛片| 少妇熟女欧美另类| 中文字幕制服av| 亚洲精华国产精华液的使用体验 | 九九热线精品视视频播放| 亚洲精品成人久久久久久| 中文欧美无线码| 亚洲第一区二区三区不卡| 精品人妻偷拍中文字幕| 日本与韩国留学比较| 亚洲自拍偷在线| 男女做爰动态图高潮gif福利片| 成人漫画全彩无遮挡| 亚洲欧美中文字幕日韩二区| 成人亚洲精品av一区二区| 亚洲美女搞黄在线观看| 亚洲av电影不卡..在线观看| 乱码一卡2卡4卡精品| 亚洲三级黄色毛片| 久久久久久久久中文| 国产综合懂色| 午夜视频国产福利| 欧美日韩国产亚洲二区| 婷婷精品国产亚洲av| 高清午夜精品一区二区三区 | 简卡轻食公司| 极品教师在线视频| 国内久久婷婷六月综合欲色啪| 国产色婷婷99| 啦啦啦韩国在线观看视频| 亚洲无线观看免费| 成人特级黄色片久久久久久久| 在线观看免费视频日本深夜| 成人毛片a级毛片在线播放| 亚洲综合色惰| 变态另类丝袜制服| 国产精品爽爽va在线观看网站| 1024手机看黄色片| 成熟少妇高潮喷水视频| 免费一级毛片在线播放高清视频| 成人午夜精彩视频在线观看| 国产午夜精品论理片| 成年女人看的毛片在线观看| 午夜福利高清视频| 欧美精品一区二区大全| 亚洲精品久久久久久婷婷小说 | 久久久精品大字幕| 国产精品国产高清国产av| 日韩一本色道免费dvd| 久久精品国产清高在天天线| 又粗又硬又长又爽又黄的视频 | 日本免费a在线| 午夜亚洲福利在线播放| 最后的刺客免费高清国语| 久久人人爽人人片av| 蜜桃久久精品国产亚洲av| 久久这里有精品视频免费| 三级男女做爰猛烈吃奶摸视频| 村上凉子中文字幕在线| 国国产精品蜜臀av免费| 亚洲欧美精品自产自拍| 99国产极品粉嫩在线观看| 日韩欧美一区二区三区在线观看| 波多野结衣高清作品| 一夜夜www| 亚洲精品久久国产高清桃花| 日本黄色片子视频| 久久人妻av系列| 国产精品一区二区在线观看99 | 欧美日韩精品成人综合77777| 成人三级黄色视频| 长腿黑丝高跟| 久久综合国产亚洲精品| 国产真实乱freesex| 精品久久久久久成人av| 久久久精品大字幕| 日韩欧美在线乱码| 国产精品1区2区在线观看.| 亚洲精品成人久久久久久| 亚洲av一区综合| 久99久视频精品免费| 一本精品99久久精品77| 欧美日韩国产亚洲二区| 人妻制服诱惑在线中文字幕| 亚洲国产高清在线一区二区三| 蜜臀久久99精品久久宅男| 在线免费观看的www视频| 欧美日韩乱码在线| 国产真实乱freesex| 久久精品国产亚洲av天美| 在线国产一区二区在线| 国产亚洲精品久久久久久毛片| 国产成人91sexporn| 99国产精品一区二区蜜桃av| 亚洲一区高清亚洲精品| 国产乱人偷精品视频| 中国美白少妇内射xxxbb| 一个人看的www免费观看视频| 国产三级中文精品| 国产国拍精品亚洲av在线观看| 国产老妇伦熟女老妇高清| 欧美一级a爱片免费观看看| h日本视频在线播放| 国产乱人视频| 亚洲精品粉嫩美女一区| 禁无遮挡网站| 最近最新中文字幕大全电影3| 婷婷精品国产亚洲av| 日韩av不卡免费在线播放| 精品午夜福利在线看| 亚洲精品久久国产高清桃花| 亚洲第一电影网av| 不卡视频在线观看欧美| 蜜臀久久99精品久久宅男| av在线天堂中文字幕| 超碰av人人做人人爽久久| 国模一区二区三区四区视频| 欧美丝袜亚洲另类| 国产色爽女视频免费观看| 亚洲国产高清在线一区二区三| 黑人高潮一二区| 熟女人妻精品中文字幕| 九九爱精品视频在线观看| 亚洲,欧美,日韩| 国产精品福利在线免费观看| АⅤ资源中文在线天堂| 成人av在线播放网站| 高清在线视频一区二区三区 | 午夜免费激情av| 夜夜夜夜夜久久久久| 日韩一区二区视频免费看| 国产黄片美女视频| av在线观看视频网站免费| 岛国在线免费视频观看| 在线免费观看不下载黄p国产| 中国美白少妇内射xxxbb| 自拍偷自拍亚洲精品老妇| 波多野结衣高清作品| 好男人视频免费观看在线| 成人亚洲精品av一区二区| 亚洲成av人片在线播放无| 只有这里有精品99| av免费在线看不卡| 日本欧美国产在线视频| 国产一级毛片在线| 久久这里有精品视频免费| 99国产极品粉嫩在线观看| 亚洲最大成人av| 女人被狂操c到高潮| 两性午夜刺激爽爽歪歪视频在线观看| 国产一区二区三区av在线 | 国内精品久久久久精免费| 夫妻性生交免费视频一级片| 久久这里只有精品中国| 美女cb高潮喷水在线观看| 一本精品99久久精品77| 高清午夜精品一区二区三区 | 国产大屁股一区二区在线视频| 伊人久久精品亚洲午夜| 18禁黄网站禁片免费观看直播| 欧美激情在线99| 亚洲av成人精品一区久久| 男的添女的下面高潮视频| 嫩草影院新地址| 少妇熟女欧美另类| 少妇熟女aⅴ在线视频| 色噜噜av男人的天堂激情| 一夜夜www| 久久精品久久久久久久性| 大香蕉久久网| 亚洲一级一片aⅴ在线观看| 日日摸夜夜添夜夜爱| 日本撒尿小便嘘嘘汇集6| 91精品一卡2卡3卡4卡| 精华霜和精华液先用哪个| 国产一区二区亚洲精品在线观看| 亚洲国产色片| 美女被艹到高潮喷水动态| 校园春色视频在线观看| 国产av麻豆久久久久久久| 亚洲欧美精品专区久久| 少妇猛男粗大的猛烈进出视频 | 天堂影院成人在线观看| 中文亚洲av片在线观看爽| 国产午夜精品久久久久久一区二区三区| 99九九线精品视频在线观看视频| 少妇熟女欧美另类| 国产成人一区二区在线| 村上凉子中文字幕在线| 日韩欧美精品免费久久| 亚洲第一电影网av| 永久网站在线| 国内揄拍国产精品人妻在线| 亚洲av一区综合| 日韩一区二区三区影片| 国产白丝娇喘喷水9色精品| 亚洲美女视频黄频| 美女cb高潮喷水在线观看| 亚洲国产日韩欧美精品在线观看| 男女啪啪激烈高潮av片| 国产成人精品婷婷| 亚洲四区av| 欧美高清性xxxxhd video| 三级经典国产精品| 热99在线观看视频| 午夜免费激情av| 尤物成人国产欧美一区二区三区| 欧美最新免费一区二区三区| 九九久久精品国产亚洲av麻豆| 欧美一区二区亚洲| a级毛色黄片| 日本三级黄在线观看| 波野结衣二区三区在线| 在线观看av片永久免费下载| 青青草视频在线视频观看| 极品教师在线视频| 免费av观看视频| 久久99精品国语久久久| 18禁在线播放成人免费| 免费看日本二区| 午夜精品一区二区三区免费看| 大型黄色视频在线免费观看| 亚洲国产欧美在线一区| 最近手机中文字幕大全| 乱码一卡2卡4卡精品| 亚洲激情五月婷婷啪啪| 日本爱情动作片www.在线观看| 国产精品麻豆人妻色哟哟久久 | av视频在线观看入口| 成熟少妇高潮喷水视频| 边亲边吃奶的免费视频| 国产av不卡久久| 51国产日韩欧美| 国产精品电影一区二区三区| 亚洲av中文av极速乱| 成人漫画全彩无遮挡| 免费在线观看成人毛片| 国产毛片a区久久久久| 午夜a级毛片| 国产老妇伦熟女老妇高清| 乱码一卡2卡4卡精品| 国产精品综合久久久久久久免费| 国产男人的电影天堂91| 久久九九热精品免费| 亚洲成av人片在线播放无| 国产成人91sexporn| 韩国av在线不卡| 亚洲不卡免费看| 在线a可以看的网站| 久久99热这里只有精品18| 国产精华一区二区三区| 一级黄色大片毛片| 综合色丁香网| 亚洲成av人片在线播放无| 黑人高潮一二区| 亚洲图色成人| 欧美日韩精品成人综合77777| 国产成人影院久久av| 国产毛片a区久久久久| av在线播放精品| 天天一区二区日本电影三级| а√天堂www在线а√下载| 亚洲精华国产精华液的使用体验 | 国产人妻一区二区三区在| 国产亚洲精品久久久久久毛片| 日韩欧美精品v在线| 国产国拍精品亚洲av在线观看| 男人狂女人下面高潮的视频| 亚洲精品亚洲一区二区| 午夜免费激情av| 久久久欧美国产精品| 久久久久久久久久黄片| 久久久久性生活片| 熟女电影av网| 欧美激情在线99| 国产在线男女| 搡女人真爽免费视频火全软件| 国产淫片久久久久久久久| h日本视频在线播放| 亚洲精品国产成人久久av| 精品99又大又爽又粗少妇毛片| 日本-黄色视频高清免费观看| 久久综合国产亚洲精品| 中文字幕制服av| 一级黄色大片毛片| 国产蜜桃级精品一区二区三区| 欧美色欧美亚洲另类二区| 91久久精品电影网| videossex国产| 在线播放无遮挡| 国内揄拍国产精品人妻在线| 久久精品国产99精品国产亚洲性色| 又粗又爽又猛毛片免费看| 最后的刺客免费高清国语| 欧美激情久久久久久爽电影| 国产黄a三级三级三级人| 女人被狂操c到高潮| 成人毛片a级毛片在线播放| 日日摸夜夜添夜夜爱| 熟妇人妻久久中文字幕3abv| 舔av片在线| 精品久久久久久久人妻蜜臀av| 国产精品无大码| 能在线免费看毛片的网站| 中文资源天堂在线| 国产精品三级大全| 老师上课跳d突然被开到最大视频| 欧美日韩在线观看h| 久久人人精品亚洲av| 国产亚洲av嫩草精品影院| 看免费成人av毛片| 国产黄色小视频在线观看| 看黄色毛片网站| 哪里可以看免费的av片| 国产av一区在线观看免费| 中文欧美无线码| 日本撒尿小便嘘嘘汇集6| avwww免费| 亚洲av第一区精品v没综合| 亚洲丝袜综合中文字幕| 日韩三级伦理在线观看| 一本精品99久久精品77| 久久精品国产清高在天天线| 国产69精品久久久久777片| 国内少妇人妻偷人精品xxx网站| 插阴视频在线观看视频| 国语自产精品视频在线第100页| 国产高清有码在线观看视频| 亚洲,欧美,日韩| 免费观看人在逋| 国产精品电影一区二区三区| 久久婷婷人人爽人人干人人爱| 久久精品国产亚洲av天美| 国产高清激情床上av| 成熟少妇高潮喷水视频| 国产精品福利在线免费观看| 99riav亚洲国产免费| 黄色一级大片看看| 精品免费久久久久久久清纯| 国产伦理片在线播放av一区 | 国产一区二区亚洲精品在线观看| 中文字幕人妻熟人妻熟丝袜美| 最新中文字幕久久久久| 热99re8久久精品国产| 中文亚洲av片在线观看爽| 美女内射精品一级片tv| 国产精品一区二区三区四区免费观看| 爱豆传媒免费全集在线观看| 亚洲精品乱码久久久v下载方式| 26uuu在线亚洲综合色| 精品无人区乱码1区二区| 神马国产精品三级电影在线观看| 18禁裸乳无遮挡免费网站照片| 成年版毛片免费区| 一级毛片久久久久久久久女| 伊人久久精品亚洲午夜| 最近中文字幕高清免费大全6| 91精品一卡2卡3卡4卡| 国产精品日韩av在线免费观看| a级毛色黄片| 在线观看免费视频日本深夜| 天美传媒精品一区二区| 国产精品野战在线观看| 美女黄网站色视频| 日韩视频在线欧美| 久久人人爽人人爽人人片va| 免费观看精品视频网站| 免费观看a级毛片全部| 欧美成人精品欧美一级黄| 国产极品天堂在线| 日本撒尿小便嘘嘘汇集6| 亚洲精品亚洲一区二区| 狂野欧美白嫩少妇大欣赏| 国产高潮美女av| 国产真实乱freesex| 中文字幕av成人在线电影| 欧美xxxx性猛交bbbb| 自拍偷自拍亚洲精品老妇| 婷婷色av中文字幕| 国内揄拍国产精品人妻在线| 日韩欧美国产在线观看| 黑人高潮一二区| 国产 一区 欧美 日韩| 国产成年人精品一区二区| 亚洲天堂国产精品一区在线| 国产精品人妻久久久影院| 少妇的逼水好多| 激情 狠狠 欧美| 成人高潮视频无遮挡免费网站| 久久韩国三级中文字幕| 人体艺术视频欧美日本| 日韩高清综合在线| 精品一区二区三区人妻视频| 欧美xxxx性猛交bbbb| 午夜福利在线在线| 非洲黑人性xxxx精品又粗又长| 精品人妻偷拍中文字幕| 麻豆av噜噜一区二区三区| 五月伊人婷婷丁香| 直男gayav资源| av免费在线看不卡| 国产探花在线观看一区二区| 免费不卡的大黄色大毛片视频在线观看 | 又黄又爽又刺激的免费视频.| 我的女老师完整版在线观看| 又爽又黄无遮挡网站| 亚洲欧美日韩无卡精品| 欧美成人精品欧美一级黄| 亚洲自拍偷在线| 午夜精品在线福利| 欧美一区二区精品小视频在线| 亚洲人与动物交配视频| 国产爱豆传媒在线观看| 1024手机看黄色片| 亚洲中文字幕一区二区三区有码在线看| 狠狠狠狠99中文字幕| 精品不卡国产一区二区三区| 99久国产av精品国产电影| 91午夜精品亚洲一区二区三区| 久久久国产成人精品二区| 男人舔女人下体高潮全视频| 亚洲图色成人| 成人国产麻豆网| 久久久精品大字幕| 精品午夜福利在线看| 欧美高清成人免费视频www| 超碰av人人做人人爽久久| 婷婷亚洲欧美| 男女视频在线观看网站免费| 国产高清不卡午夜福利| 久久国内精品自在自线图片| 一进一出抽搐gif免费好疼|