• <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ì)與研究
    avwww免费| 国产亚洲精品一区二区www| 九色亚洲精品在线播放| 日韩国内少妇激情av| 香蕉久久夜色| 97人妻天天添夜夜摸| 日韩免费av在线播放| 国产成人系列免费观看| 亚洲国产毛片av蜜桃av| 搡老岳熟女国产| 一级a爱片免费观看的视频| 国产主播在线观看一区二区| 久久久国产欧美日韩av| 国产成人系列免费观看| 久久精品国产亚洲av香蕉五月| 国产一卡二卡三卡精品| 一进一出好大好爽视频| 欧美日本中文国产一区发布| 美女高潮到喷水免费观看| 黑丝袜美女国产一区| 国产成人精品久久二区二区91| 电影成人av| 日韩有码中文字幕| 国产国语露脸激情在线看| 欧美成人免费av一区二区三区| 国产精品亚洲av一区麻豆| svipshipincom国产片| 一级片'在线观看视频| 老司机福利观看| 亚洲欧洲精品一区二区精品久久久| 两个人看的免费小视频| 一区二区三区国产精品乱码| 精品卡一卡二卡四卡免费| 不卡av一区二区三区| 在线观看免费视频日本深夜| 亚洲 国产 在线| 日韩成人在线观看一区二区三区| 男人舔女人下体高潮全视频| 亚洲熟妇中文字幕五十中出 | 亚洲第一欧美日韩一区二区三区| 50天的宝宝边吃奶边哭怎么回事| 久久久久久久久中文| ponron亚洲| 亚洲熟妇熟女久久| 欧美精品一区二区免费开放| 日日爽夜夜爽网站| 亚洲少妇的诱惑av| 满18在线观看网站| 正在播放国产对白刺激| 久久国产精品影院| 十八禁网站免费在线| 制服诱惑二区| 国产成人精品久久二区二区免费| 成人国产一区最新在线观看| 黄频高清免费视频| www.精华液| 老熟妇乱子伦视频在线观看| 1024香蕉在线观看| 别揉我奶头~嗯~啊~动态视频| 夜夜躁狠狠躁天天躁| 日韩中文字幕欧美一区二区| 啦啦啦 在线观看视频| 午夜精品在线福利| 看片在线看免费视频| 国产精品综合久久久久久久免费 | 叶爱在线成人免费视频播放| 两人在一起打扑克的视频| 99久久99久久久精品蜜桃| 神马国产精品三级电影在线观看 | 久久国产精品影院| 中文字幕人妻丝袜一区二区| 黄色片一级片一级黄色片| 黄色毛片三级朝国网站| 亚洲 国产 在线| 国产一区二区三区在线臀色熟女 | 男女下面进入的视频免费午夜 | 亚洲激情在线av| 超色免费av| 91大片在线观看| 国产99白浆流出| 一二三四社区在线视频社区8| 如日韩欧美国产精品一区二区三区| 搡老乐熟女国产| 日日摸夜夜添夜夜添小说| 大型av网站在线播放| 国产亚洲精品久久久久5区| 久久九九热精品免费| 在线观看免费午夜福利视频| 国产国语露脸激情在线看| 伦理电影免费视频| 欧美日韩亚洲高清精品| 亚洲熟妇中文字幕五十中出 | 欧美成人午夜精品| 亚洲av日韩精品久久久久久密| 免费在线观看黄色视频的| 中文字幕高清在线视频| 99re在线观看精品视频| 久久性视频一级片| 黑人操中国人逼视频| 涩涩av久久男人的天堂| 在线观看午夜福利视频| 搡老乐熟女国产| 国产无遮挡羞羞视频在线观看| 老汉色av国产亚洲站长工具| 首页视频小说图片口味搜索| 激情在线观看视频在线高清| 男女床上黄色一级片免费看| 亚洲免费av在线视频| 国产免费男女视频| 亚洲片人在线观看| 国产色视频综合| 人妻丰满熟妇av一区二区三区| 精品电影一区二区在线| 极品教师在线免费播放| 多毛熟女@视频| av免费在线观看网站| av天堂在线播放| 黄色视频不卡| 精品久久蜜臀av无| 午夜激情av网站| 1024香蕉在线观看| 国产亚洲精品久久久久5区| 亚洲一卡2卡3卡4卡5卡精品中文| 精品日产1卡2卡| 日韩大尺度精品在线看网址 | 一边摸一边抽搐一进一出视频| ponron亚洲| 亚洲视频免费观看视频| 黄频高清免费视频| 免费在线观看黄色视频的| 国产片内射在线| 搡老熟女国产l中国老女人| 国产亚洲精品久久久久久毛片| 村上凉子中文字幕在线| 国产精品爽爽va在线观看网站 | 久久99一区二区三区| 免费久久久久久久精品成人欧美视频| 999精品在线视频| 午夜福利免费观看在线| 国产精品永久免费网站| 黑人巨大精品欧美一区二区mp4| 天堂动漫精品| 亚洲第一欧美日韩一区二区三区| 麻豆久久精品国产亚洲av | a级毛片黄视频| 久久国产乱子伦精品免费另类| 国产一区二区三区在线臀色熟女 | 欧美精品亚洲一区二区| 国产av在哪里看| 亚洲熟妇中文字幕五十中出 | 一级黄色大片毛片| 国产精品二区激情视频| 亚洲第一欧美日韩一区二区三区| 丝袜在线中文字幕| 欧美在线一区亚洲| 可以在线观看毛片的网站| 无遮挡黄片免费观看| 老鸭窝网址在线观看| 黄色怎么调成土黄色| 乱人伦中国视频| 国产成人精品久久二区二区91| 两个人看的免费小视频| 国产成人系列免费观看| 国产欧美日韩一区二区精品| 色老头精品视频在线观看| 亚洲第一青青草原| 欧美丝袜亚洲另类 | 91麻豆精品激情在线观看国产 | 午夜福利欧美成人| 99精品久久久久人妻精品| 国产精品久久久久成人av| 午夜福利一区二区在线看| 一区在线观看完整版| netflix在线观看网站| 久久亚洲精品不卡| 很黄的视频免费| 老熟妇乱子伦视频在线观看| 久久精品人人爽人人爽视色| 国产片内射在线| 亚洲专区中文字幕在线| 1024视频免费在线观看| 色播在线永久视频| 黄片小视频在线播放| 日本wwww免费看| a级毛片黄视频| 亚洲精品美女久久久久99蜜臀| 色婷婷av一区二区三区视频| 午夜激情av网站| 国产一区二区在线av高清观看| 少妇的丰满在线观看| 国产精品亚洲一级av第二区| 日本免费a在线| 国产精品一区二区免费欧美| 精品国产一区二区三区四区第35| 国产精品久久久久久人妻精品电影| 亚洲一区高清亚洲精品| 看黄色毛片网站| 久久久久亚洲av毛片大全| 欧美成人性av电影在线观看| 久久人人爽av亚洲精品天堂| 国产又色又爽无遮挡免费看| 两人在一起打扑克的视频| 国产亚洲精品久久久久久毛片| 日韩视频一区二区在线观看| 怎么达到女性高潮| 国产av一区二区精品久久| 无人区码免费观看不卡| 国产99白浆流出| 黄频高清免费视频| 热re99久久国产66热| 在线观看免费视频网站a站| 99香蕉大伊视频| 欧美日韩瑟瑟在线播放| 欧美日韩中文字幕国产精品一区二区三区 | 日本精品一区二区三区蜜桃| 亚洲一区高清亚洲精品| 色老头精品视频在线观看| 男人舔女人的私密视频| 日本黄色日本黄色录像| 国产精品成人在线| 免费在线观看视频国产中文字幕亚洲| 色综合站精品国产| 91大片在线观看| 久久国产乱子伦精品免费另类| 国产精华一区二区三区| 亚洲专区字幕在线| 国产免费现黄频在线看| 淫妇啪啪啪对白视频| 久久国产精品男人的天堂亚洲| 两性夫妻黄色片| 老司机亚洲免费影院| 欧美日本中文国产一区发布| 欧美大码av| 亚洲美女黄片视频| 午夜老司机福利片| 亚洲欧美激情在线| 满18在线观看网站| 国产成+人综合+亚洲专区| 99国产精品免费福利视频| 欧美成人免费av一区二区三区| 欧美一区二区精品小视频在线| 亚洲aⅴ乱码一区二区在线播放 | 亚洲人成电影观看| 欧美日韩精品网址| 日日干狠狠操夜夜爽| 国产成人免费无遮挡视频| av视频免费观看在线观看| 亚洲欧美激情综合另类| 欧美一区二区精品小视频在线| 国产精品久久视频播放| 色婷婷久久久亚洲欧美| 久久中文字幕人妻熟女| 男男h啪啪无遮挡| 99精国产麻豆久久婷婷| 大码成人一级视频| 免费看a级黄色片| 欧美成狂野欧美在线观看| 757午夜福利合集在线观看| 啦啦啦 在线观看视频| 丰满人妻熟妇乱又伦精品不卡| 人人妻,人人澡人人爽秒播| 超色免费av| 色婷婷久久久亚洲欧美| 欧美日韩乱码在线| 欧美日韩国产mv在线观看视频| 91精品三级在线观看| 高清av免费在线| 女人高潮潮喷娇喘18禁视频| 18禁黄网站禁片午夜丰满| 国产视频一区二区在线看| 午夜亚洲福利在线播放| 99久久99久久久精品蜜桃| 国产精品二区激情视频| xxx96com| 亚洲成人国产一区在线观看| 国产精品久久电影中文字幕| 国产在线观看jvid| 亚洲成a人片在线一区二区| 999久久久精品免费观看国产| а√天堂www在线а√下载| 丁香六月欧美| 国产黄a三级三级三级人| 中文字幕最新亚洲高清| 午夜福利一区二区在线看| 久久精品国产99精品国产亚洲性色 | 岛国在线观看网站| 日韩欧美免费精品| 国产亚洲精品综合一区在线观看 | 99精品在免费线老司机午夜| 久久国产精品男人的天堂亚洲| 国产精品国产av在线观看| av在线播放免费不卡| 满18在线观看网站| 夜夜躁狠狠躁天天躁| 日韩欧美在线二视频| 国产精品亚洲一级av第二区| 亚洲,欧美精品.| 热99re8久久精品国产| 欧美精品啪啪一区二区三区| 欧美日本亚洲视频在线播放| 免费观看人在逋| 国产人伦9x9x在线观看| 午夜精品国产一区二区电影| 亚洲av电影在线进入| 色综合欧美亚洲国产小说| 国产精品免费视频内射| 国产午夜精品久久久久久| 成年女人毛片免费观看观看9| 欧洲精品卡2卡3卡4卡5卡区| 妹子高潮喷水视频| 国产av精品麻豆| 成人三级做爰电影| 不卡一级毛片| 久久久精品欧美日韩精品| 欧美日韩亚洲国产一区二区在线观看| 亚洲熟女毛片儿| 亚洲精品粉嫩美女一区| 99久久综合精品五月天人人| 亚洲成人免费电影在线观看| 国产精品自产拍在线观看55亚洲| 午夜成年电影在线免费观看| 国产一区二区三区视频了| 男女床上黄色一级片免费看| 精品熟女少妇八av免费久了| 九色亚洲精品在线播放| 午夜福利免费观看在线| 女人被狂操c到高潮| 女同久久另类99精品国产91| 五月开心婷婷网| 在线观看免费午夜福利视频| 99国产精品一区二区三区| 国产蜜桃级精品一区二区三区| tocl精华| 一本综合久久免费| 亚洲精品一二三| 日本wwww免费看| 亚洲人成网站在线播放欧美日韩| 免费高清视频大片| 夜夜躁狠狠躁天天躁| 亚洲视频免费观看视频| 国产日韩一区二区三区精品不卡| 他把我摸到了高潮在线观看| 精品久久久久久电影网| 夜夜看夜夜爽夜夜摸 | 日韩视频一区二区在线观看| 欧美日韩亚洲国产一区二区在线观看| 亚洲熟女毛片儿| 成在线人永久免费视频| 国内久久婷婷六月综合欲色啪| 亚洲精品在线观看二区| 亚洲人成伊人成综合网2020| 久久人人精品亚洲av| 99久久精品国产亚洲精品| 成人av一区二区三区在线看| 日韩有码中文字幕| 日韩欧美国产一区二区入口| 十分钟在线观看高清视频www| ponron亚洲| 亚洲一卡2卡3卡4卡5卡精品中文| 亚洲国产欧美日韩在线播放| 99香蕉大伊视频| 午夜视频精品福利| bbb黄色大片| 999久久久国产精品视频| 欧美精品一区二区免费开放| 99久久久亚洲精品蜜臀av| a在线观看视频网站| 欧美日韩精品网址| 丝袜人妻中文字幕| 一区二区三区激情视频| 男人操女人黄网站| 欧美+亚洲+日韩+国产| bbb黄色大片| 久久人人97超碰香蕉20202| 视频区图区小说| www.自偷自拍.com| 欧美黄色淫秽网站| 精品国产一区二区三区四区第35| 色尼玛亚洲综合影院| 国产精品国产av在线观看| 搡老乐熟女国产| 免费在线观看完整版高清| 久久影院123| 岛国视频午夜一区免费看| 淫妇啪啪啪对白视频| 一二三四社区在线视频社区8| 精品国内亚洲2022精品成人| 琪琪午夜伦伦电影理论片6080| 99国产精品99久久久久| 亚洲九九香蕉| 亚洲午夜精品一区,二区,三区| 久久亚洲真实| 亚洲熟女毛片儿| 久久午夜亚洲精品久久| 天天躁夜夜躁狠狠躁躁| 亚洲欧美激情综合另类| 免费少妇av软件| 熟女少妇亚洲综合色aaa.| 精品人妻在线不人妻| 亚洲欧洲精品一区二区精品久久久| 亚洲精品一二三| 淫妇啪啪啪对白视频| 中文字幕人妻丝袜一区二区| 美女福利国产在线| 免费女性裸体啪啪无遮挡网站| 在线十欧美十亚洲十日本专区| 国产成人精品久久二区二区91| 欧美精品亚洲一区二区| 两性夫妻黄色片| 成人av一区二区三区在线看| 色婷婷av一区二区三区视频| 亚洲国产看品久久| 一级片'在线观看视频| 亚洲成人免费av在线播放| 国产精品免费一区二区三区在线| 亚洲五月天丁香| 日韩免费高清中文字幕av| 欧美黄色片欧美黄色片| 成人黄色视频免费在线看| 不卡av一区二区三区| 久久天堂一区二区三区四区| 国产97色在线日韩免费| 身体一侧抽搐| 久久久久九九精品影院| 99国产精品一区二区三区| 欧美激情高清一区二区三区| 久久 成人 亚洲| 久久天堂一区二区三区四区| 国产成人一区二区三区免费视频网站| 精品少妇一区二区三区视频日本电影| 黄频高清免费视频| 美女福利国产在线| 美女午夜性视频免费| av福利片在线| 精品久久久精品久久久| 久久久久国产精品人妻aⅴ院| 久久这里只有精品19| 国产成人免费无遮挡视频| 深夜精品福利| 国产aⅴ精品一区二区三区波| 美女午夜性视频免费| 老司机福利观看| 亚洲成人免费av在线播放| 国产熟女午夜一区二区三区| 中文亚洲av片在线观看爽| 18禁国产床啪视频网站| 欧洲精品卡2卡3卡4卡5卡区| 一区福利在线观看| 成人三级做爰电影| 国产又色又爽无遮挡免费看| 精品午夜福利视频在线观看一区| 日本欧美视频一区| 国产精品亚洲av一区麻豆| 精品电影一区二区在线| 久久精品亚洲av国产电影网| a级毛片黄视频| 国产一区二区三区在线臀色熟女 | www.自偷自拍.com| 国产精品美女特级片免费视频播放器 | av超薄肉色丝袜交足视频| 我的亚洲天堂| 亚洲av美国av| 制服人妻中文乱码| 精品一品国产午夜福利视频| 午夜成年电影在线免费观看| 国产高清激情床上av| 男女高潮啪啪啪动态图| 波多野结衣av一区二区av| 成人国语在线视频| 国产在线观看jvid| 国产激情久久老熟女| 在线视频色国产色| 人妻久久中文字幕网| 精品一品国产午夜福利视频| 亚洲男人的天堂狠狠| 久久国产精品男人的天堂亚洲| 首页视频小说图片口味搜索| 午夜免费成人在线视频| 一边摸一边抽搐一进一小说| 欧美日韩精品网址| 国产精品久久久久久人妻精品电影| 国产精品99久久99久久久不卡| 欧美成人性av电影在线观看| 亚洲午夜精品一区,二区,三区| а√天堂www在线а√下载| 亚洲va日本ⅴa欧美va伊人久久| 亚洲七黄色美女视频| 激情在线观看视频在线高清| a级毛片在线看网站| 午夜福利影视在线免费观看| 精品国产乱码久久久久久男人| 女人爽到高潮嗷嗷叫在线视频| 丝袜美腿诱惑在线| 99久久99久久久精品蜜桃| 少妇裸体淫交视频免费看高清 | 少妇粗大呻吟视频| 日本一区二区免费在线视频| 国产无遮挡羞羞视频在线观看| 香蕉国产在线看| 精品国产超薄肉色丝袜足j| 波多野结衣一区麻豆| 国产亚洲av高清不卡| 香蕉丝袜av| 欧美性长视频在线观看| 99国产精品一区二区蜜桃av| 国产亚洲av高清不卡| tocl精华| 亚洲av成人不卡在线观看播放网| 久久久国产成人免费| 99久久久亚洲精品蜜臀av| 日本一区二区免费在线视频| 热re99久久精品国产66热6| 国产欧美日韩一区二区精品| 日本黄色视频三级网站网址| 99在线视频只有这里精品首页| 午夜视频精品福利| 99久久国产精品久久久| 午夜精品国产一区二区电影| 国产精品秋霞免费鲁丝片| 91字幕亚洲| 国产精品秋霞免费鲁丝片| 亚洲精品在线观看二区| 人人妻人人澡人人看| 久久精品91蜜桃| 久久久久九九精品影院| 色老头精品视频在线观看| 狠狠狠狠99中文字幕| 欧美精品亚洲一区二区| 电影成人av| 一级a爱视频在线免费观看| 男女下面插进去视频免费观看| 免费观看精品视频网站| 成人亚洲精品一区在线观看| 一级毛片高清免费大全| 国产亚洲欧美在线一区二区| 久久久久久久久中文| 国产有黄有色有爽视频| 无限看片的www在线观看| 亚洲狠狠婷婷综合久久图片| 麻豆一二三区av精品| 88av欧美| 在线播放国产精品三级| 午夜a级毛片| 丰满人妻熟妇乱又伦精品不卡| 国产91精品成人一区二区三区| 精品第一国产精品| 国产精品一区二区三区四区久久 | 丁香欧美五月| 欧美一级毛片孕妇| 亚洲片人在线观看| 国产亚洲欧美精品永久| 亚洲精品一区av在线观看| 夜夜夜夜夜久久久久| 亚洲国产毛片av蜜桃av| 老司机福利观看| 亚洲精品久久成人aⅴ小说| 多毛熟女@视频| 男女床上黄色一级片免费看| xxxhd国产人妻xxx| 嫩草影院精品99| 黑人操中国人逼视频| 日本黄色日本黄色录像| 久久国产亚洲av麻豆专区| 淫秽高清视频在线观看| 中文字幕精品免费在线观看视频| 亚洲黑人精品在线| 国产精品亚洲一级av第二区| 嫁个100分男人电影在线观看| 一区二区三区激情视频| 久久久国产成人免费| 国产深夜福利视频在线观看| 日韩一卡2卡3卡4卡2021年| 天天影视国产精品| 国产日韩一区二区三区精品不卡| 黄色视频不卡| 99国产精品一区二区三区| 日韩欧美免费精品| 国产精品99久久99久久久不卡| 在线观看午夜福利视频| 在线观看免费视频日本深夜| 美女扒开内裤让男人捅视频| 精品国产美女av久久久久小说| 自拍欧美九色日韩亚洲蝌蚪91| 少妇被粗大的猛进出69影院| 国产亚洲欧美精品永久| 国产精品免费一区二区三区在线| 亚洲色图综合在线观看| 男女之事视频高清在线观看| 亚洲专区国产一区二区| 久久久久久久久久久久大奶| 女性被躁到高潮视频| 日韩人妻精品一区2区三区| 妹子高潮喷水视频| 免费不卡黄色视频| 在线观看免费视频网站a站| 久久人妻av系列| 在线天堂中文资源库| 91九色精品人成在线观看| 电影成人av| 天堂俺去俺来也www色官网| 美女 人体艺术 gogo| 99re在线观看精品视频| 亚洲精品久久午夜乱码| 免费观看人在逋| 一边摸一边做爽爽视频免费| 无人区码免费观看不卡| 国产又色又爽无遮挡免费看| 久久人妻av系列| 久久中文字幕人妻熟女| 午夜激情av网站| 国产极品粉嫩免费观看在线| 国产真人三级小视频在线观看| 精品一区二区三区av网在线观看| 亚洲性夜色夜夜综合| 亚洲专区国产一区二区|