專利名稱：基于Petri網的高速鐵路列車行車許可傳輸分析系統及應用的制作方法
技術領域：
本發明涉及一種高速鐵路列車行車許可的分析系統，尤其涉及一種基于Petri網的高速鐵路列車行車許可傳輸分析系統。
背景技術：
目前，我國高速鐵路處于高速發展時期，與此同時，高速鐵路對可靠性和安全性有了更高的要求。為了確保高速鐵路運行的可靠性，我國在借鑒歐洲的列車控制系統ETCS-2 的前提下，自主開發了基于 GSM-R(GSM for Railway)的 CTCS-3 (China Train Control System-3，中國列車控制系統-3)列車控制系統。在整個CTCS-3系統中，最核心的部分是無線閉塞中心(Radio Block Center,RBC)的運作。RBC作為一個非常復雜的安全計算機系統，對于系統的安全性和可靠性有著極高的要求，而列車行車許可(Movement Authority, ΜΑ)管理是RBC的核心功能。RBC通過計算，并向列車車載設備發送行車許可，從而控制列車的運行區間，進而保證列車安全運行。列車MA的傳輸的成功將對列車的行車區間進行擴展，直接決定了列車行進的過程。針對整個MA傳輸的描述和分析將對MA的傳輸過程有著更深刻的了解，并且能夠通過數據的采集，分析GSM-R中不同的指標對MA傳輸過程中的影響，從而對列車MA出現錯誤進行預警，同時也將對列車調度系統提供決策支撐，具有非常重要的意義。現有針對MA分析方法集中在MA的計算方法與過程，而沒有考慮到MA發送通信過程，從而導致MA的分析無法準確體現實際過程。同時，如何采用一種合理的方法對MA傳輸過程進行描述是一個突出的難題。經對現有文獻檢索發現，狄鵬在他的碩士論文《基于安全狀態機的RBC系統行車許可模塊的建模與驗證》中提到使用安全狀態機來對MA進行建模。他對MA的計算過程進行了分析，并利用安全狀態機建立了模型。但是該論文沒有考慮MA的傳輸過程的具體實現，以及傳輸過程中可能遭遇的問題。陳永在《計算機工程與設計》(期刊)上發表的《基于GSM-R鐵路無線通信系統的越區切換分析研究》中，利用Petri網對GSM-R通信中小區切換的過程進行了描述分析。但是該論文并沒有結合MA的實現過程來進行分析，同時也沒有考慮到實時的數據采集和分析。Armin Zimmermann、Gunter Hommel 在 The Journal of Systems and Software Al t^. M- I^tJ "Towards modeling and evaluation of ETCS real-time communication andoperation(ETCS實時通信和操作的建模和評價)” 一文中，利用Petri網對傳輸失誤模型進行了建模，但是同樣是沒有利用實時數據進行描述分析。Petri網以研究模型系統的組織結構和動態行為為目標，它著眼于系統中可能發生的各種狀態變化以及變化之間的關系。Petri網是一種適用于多種系統的圖形化、數學化建模工具，為描述和研究具有并發、異步、分布式和隨機性等特征的復雜系統提供了強有力的手段。作為一種圖形化工具，可以把Petri網看作與數據流圖和網絡相似通信輔助方法；作為一種數學工具，它可以用來建立狀態方程、代數方程和其他描述系統行為的數學模型系統。本發明使用Petri網來分析整個MA傳輸過程，并且加入了實時監測數據，從而能夠應用MA傳輸過程的分析系統對MA的傳輸進行監測應用和分析。

發明內容
有鑒于現有技術的上述缺陷，本發明所要解決的技術問題是提供一種基于Petri 網的高速鐵路列車行車許可傳輸分析系統技術，針對高速鐵路列車MA傳輸過程利用Petri 網進行分析，結合實時采集數據實現MA傳輸過程分析系統的構建和應用，并著重考慮越區切換中切換觸發概率和越區切換成功率等指標。為實現上述目的，本發明提供了一種基于Petri網的高速鐵路列車行車許可傳輸分析系統，其特征在于，包括現場監測子系統、控制子系統和數據庫子系統；所述現場監測子系統通過在基站收發信機設置的采集模塊以及Abis接口記錄越區切換的信息；所述數據庫子系統通過在無線閉塞中心設置的對比緩沖器采集行車許可的信息；現場監測子系統通過通信網絡與控制子系統連接以傳輸現場數據，所述現場數據包括所述行車許可的信息和所述越區切換的信息；所述控制子系統通過有線通信網絡與所述數據庫子系統連接以傳輸數據分析信息；所述行車許可傳輸分析系統進一步地包括步驟構建所述行車許可的傳輸過程的Petri網，所述現場檢測子系統采集所述現場數據，所述數據庫子系統利用所述 Petri網對所述行車許可進行數據分析。進一步地，所述現場監測子系統包括車載現場監測子系統和基站現場監測子系統；所述車載現場監測子系統包括車載數據采集模塊、車載數據預處理模塊和無線通信模塊，所述車載數據采集模塊與所述車載數據預處理模塊相連以傳輸列車的所述現場數據， 所述車載數據預處理模塊與所述無線通信模塊相連接并且通過無線通信網絡與所述控制子系統相連以傳輸預處理后的所述列車的現場數據；所述車載現場監測子系統包括基站數據采集模塊、基站數據預處理模塊和有線通信模塊，所述基站數據采集模塊與所述基站數據預處理模塊相連以傳輸基站的所述現場數據，所述基站數據預處理模塊與所述有線通信模塊相連接并且通過所述有線通信網絡與所述控制子系統相連以傳輸所述預處理后的所述基站的現場數據。進一步地，所述無線通信網絡是GSM-R無線網絡。進一步地，所述數據庫子系統包括數據庫和顯示模塊，所述數據庫通過所述有線通信網絡與所述顯示模塊相連以傳輸所述數據庫的信息。進一步地，所述控制子系統包括控制模塊、數據處理模塊、數據緩存模塊和控制界面模塊，所述控制模塊與所述現場監測子系統、所述數據庫子系統相連以傳輸控制指令，所述數據處理模塊通過所述有線通信網絡與所述數據庫子系統相連以傳輸所述數據庫的信息，所述數據緩存模塊與所述現場監測子系統相連以傳輸所述現場數據，所述數據緩存模塊與所述數據庫子系統相連以傳輸接收到的所述現場數據。進一步地，所述行車許可的信息包含所述行車許可的發送次數和所述行車許可的不發送次數，所述越區切換的信息包含所述越區切換的發生次數、不進行所述越區切換而直接傳輸所述行車許可的次數、所述越區切換的成功次數和所述越區切換的不成功次數。進一步地，所述構建所述行車許可的傳輸過程的Petri網包括以下步驟將新的所述行車許可與舊的所述行車許可進行比較，如果所述新的所述行車許可的區間終點在所述舊的所述行車許可的區間之內，那么就不發送所述行車許可，否則發送所述新的所述行車許可；判斷所述行車許可的傳輸過程中是否發生所述越區切換，如果沒有發生所述越區切換，則將所述行車許可通過基站傳輸到所述無線通信模塊；如果發生所述越區切換，則必須經歷所述越區切換，并且在三次以內成功完成所述越區切換之后，將所述行車許可傳輸到所述無線通信模塊。構建所述行車許可的傳輸過程的所述Petri網。進一步地，所述數據庫子系統利用所述Petri網對所述行車許可進行的所述數據分析包括計算所述行車許可的次數和概率、所述越區切換的次數和概率、所述越區切換成功的次數和概率以及所述行車許可從請求到成功擴展的時間。進一步地，所述數據庫子系統利用所述Petri網對所述行車許可進行的所述數據分析還包括設計一個實時圖形界面來動態地顯示所述行車許可的次數和概率、所述越區切換的次數和概率、所述越區切換成功的次數和概率以及所述行車許可從請求到成功擴展的時間。進一步地，所述數據庫子系統的所述數據庫是SQL server數據庫。在本發明的較佳實施方式中，基于Petri網的高速鐵路列車行車許可傳輸分析系統包括現場監測子系統、控制子系統、數據庫子系統及監測系統管理界面。其中，現場監測子系統包括分別設置在無線通信基站和行列車上的基站現場監測子系統和車載現場監測子系統。現場監測子系統通過設置在基站收發信機的采集模塊和Abis接口記錄越區切換的信息，數據庫子系統通過設置在無線閉塞中心的對比緩沖器采集行車許可的信息，現場監測子系統通過通信網絡與控制子系統連接，并且傳輸經過預處理的現場數據(包括行車許可的信息和越區切換的信息)到數據庫子系統。其中，基站現場監測子系統通過GSM-R無線網絡與控制子系統連接，車載現場監測子系統通過有線通信網絡與控制子系統連接。通過構建MA的傳輸過程的Petri網，數據庫子系統使用此Petri網對MA進行數據分析，包括計算MA的次數和概率、越區切換的次數和概率、越區切換成功的次數和概率以及MA從請求到成功擴展的時間。由此可見，本發明通過利用實時數據采集方法收集實時數據，結合MA的傳輸 Petri網的分析技術，建立了高速鐵路列車MA傳輸分析系統，得到了 MA傳輸概率、越區切換發生率、越區成功概率對MA傳輸成功的影響等指標。因此，本發明的基于Petri網的高速鐵路列車行車許可傳輸分析系統建立了 MA擴展實時監控的系統構架，實現了實時的信息采集和分析，有著良好的應用前景，為鐵路決策提供數據支撐，從而保障列車可靠安全的運行。以下將結合附圖對本發明的構思、具體結構及產生的技術效果作進一步說明，以充分地了解本發明的目的、特征和效果。


圖1是本發明的實施例的基于Petri網的高速鐵路列車行車許可傳輸分析系統的結構示意圖；圖2是本發明的實施例的基于Petri網的高速鐵路列車行車許可傳輸分析方法對 MA擴展過程的描述；圖3是本發明的實施例的基于Petri網的高速鐵路列車行車許可傳輸分析方法的 Petri網描述MA擴展過程的網絡模型具體實施例方式如圖1所示，本實施例的基于Petri網的高速鐵路列車行車許可傳輸分析系統包括現場監測子系統、控制子系統3、數據庫子系統4及監測系統管理界面5，其中現場監測子系統包括設置在基站的基站現場監測子系統1和設置在列車上的車載現場監測子系統2， 現場監測子系統利用傳感器等器件采集系統分析所需要的信息，如MA傳輸到達統計信息、 MA傳輸過程中信令信息等。控制子系統3分別與基站現場監測子系統1、車載現場監測子系統2、數據庫子系統4相連，傳輸控制指令。控制子系統3向基站現場監測子系統1和車載現場監測子系統2發出的控制指令包括采集的開斷、運行時間以及其采集數據的流向等， 控制子系統3向數據庫子系統4發出的控制指令包括查詢歷史數據、控制顯示當然數據、分析數據關聯等。當控制子系統3發出控制指令使基站現場監測子系統1和車載現場監測子系統2開始采集數據，獲取的數據被傳輸存入數據庫子系統4中。監測系統管理界面5用以顯示本發明的監測系統當前狀況，同時用戶可以通過監測系統管理界面5對系統進行操作命令，如對MA擴展成功率進行分析、查看歷史成功率數據等。基站現場監測子系統1包括基站數據采集模塊、基站數據預處理模塊和有線通信模塊，車載現場監測子系統2包括車載數據采集模塊、車載數據預處理模塊和無線通信模塊。基站數據采集模塊與基站數據預處理模塊相連以傳輸基站的現場數據，基站數據預處理模塊與有線通信模塊相連接并且通過有線通信網絡與控制子系統相連以傳輸預處理后的所述基站的現場數據。車載數據采集模塊與車載數據預處理模塊相連以傳輸列車的現場數據，車載數據預處理模塊與無線通信模塊相連接并且通過無線通信網絡與控制子系統相連以傳輸預處理后的列車的現場數據。對于基站現場監測子系統1，也可以不使用有線通信模塊而直接通過基站數據預處理模塊與控制子系統的直接連接將處理后的現場數據傳輸到控制子系統。數據預處理模塊(包括基站數據預處理模塊和車載數據預處理模塊)對現場數據的預處理包括對數據進行噪聲數據的光滑、錯誤數據的糾正、異常數據的刪除、不一致格式的規范等。現場數據指在基站或者列車上實時采集到的數據。數據庫子系統4包括數據庫和顯示模塊，數據庫用以存儲基站現場監測子系統1 和車載現場監測子系統2所采集的現場數據，顯示模塊用于顯示監測系統管理界面5。控制子系統3包括控制模塊、數據處理模塊、數據緩存模塊和控制界面模塊。控制模塊與基站現場監測子系統1、車載現場監測子系統2和數據庫子系統4相連，并傳輸控制指令。數據處理模塊通過與數據庫子系統4的數據庫相連以傳輸數據庫處理后的信息，并且在控制界面模塊上顯示出來。數據緩存模塊連接基站現場監測子系統1和車載現場監測子系統2，接受現場數據并將其傳輸到數據庫子系統4。控制子系統3與數據庫子系統4之間通過有線通信網絡實現連接，進行信息交互。本實施例中的有線通信網絡是由光纖架構的有線通信網絡。通過在無線閉塞中心(RBC)設置對比緩沖器(comparator buffer, CB)來采集MA 的信息，通過在基站收發信機(Base Transceiver Station, BTS)設置采集模塊以及檢測 Abis接口來記錄越區切換的信息，本發明可以構建行車許可的傳輸過程的Petri網。其中， 行車許可的信息包含行車許可的發送次數和行車許可的不發送次數，越區切換的信息包含越區切換的發生次數、不進行越區切換而直接傳輸行車許可的次數、越區切換的成功次數和越區切換的不成功次數。本發明的MA傳輸過程包括將新的MA與舊的MA進行比較，如果新的MA的區間終點在舊的MA的區間之內，那么就不發送MA，否則發送新的MA;判斷MA的傳輸過程中是否發生越區切換，如果沒有發生越區切換，則將MA通過基站傳輸到車載設備；如果發生越區切換，則必須經歷越區切換，并且在三次以內成功完成越區切換之后，將MA傳輸到無線通信模塊。在本實施例中，具體MA擴展過程如圖2所示，包括以下步驟步驟100，無線通信模塊請求MA擴展。設置在列車上的無線通信模塊請求基站發送新的MA以進行MA擴展，RBC接受串路徑信息，得到新的MA。步驟101，數據收集。控制子系統3發出控制指令，基站現場監測子系統1和車載現場監測子系統2采集現場數據，包括MA的信息和越區切換的信息。其中，基站現場監測子系統1獲得新的MA 的信息，車載現場監測子系統2獲得舊的MA的信息。控制子系統3發出控制指令，基站現場監測子系統1和車載現場監測子系統2采集的現場數據分別經過基站預處理模塊和車載預處理模塊進行預處理后，被傳送到數據庫子系統4。預處理包括對數據進行噪聲數據的光滑、錯誤數據的糾正、異常數據的刪除、不一致格式的規范等。步驟102，計算 MA。數據庫子系統4的數據庫中存放了用以分析數據庫中所獲得的數據的系統內核， 數據庫子系統4據此計算步驟101中接收的MA的信息。步驟103，對比Ε0Α，決定是否發送MA。根據步驟102中得到的計算結果，將新的MA與舊的MA進行比較。對比舊MA的終點(EOA)，如果新的MA的終點在舊的MA的區間以內，那么進入步驟100 ；如果新的MA的終點在舊的MA的區間以外，則進入步驟104。步驟104，發送 MA。基站向無線通信模塊發送新的MA0步驟105，判斷是否發生越區切換。數據庫子系統4根據計算步驟101中接收的越區切換的信息判斷是否發生越區切換，如果沒有發生越區切換，則進入步驟107 ；如果發生了越區切換，則進行越區切換。步驟106，判斷越區切換是否成功。車載現場監測子系統2采集實時的越區切換的信息，數據庫子系統4根據接收的越區切換的信息判斷越區切換是否成功，如果成功則進入步驟107，如果失敗則進入步驟 116。步驟107，無線通信模塊接受MA，并進行擴展。
無線通信模塊接受基站發出的新的MA，并且進行MA的擴展。步驟116，再次請求切換。車載現場監測子系統2采集實時的越區切換的信息，數據庫子系統4根據接收的越區切換的信息判斷越區切換是否成功，如果成功則進入步驟107，如果失敗則進入步驟
117。步驟117，再次請求切換。車載現場監測子系統2采集實時的越區切換的信息，數據庫子系統4根據接收的越區切換的信息判斷越區切換是否成功，如果成功則進入步驟107，如果失敗則進入步驟
118。步驟118，再次請求切換。車載現場監測子系統2采集實時的越區切換的信息，數據庫子系統4根據接收的越區切換的信息判斷越區切換是否成功，如果成功則進入步驟107，如果失敗則進入步驟 119。步驟119，無線通信模塊無法擴展MA，進行制動。無線通信模塊不接受基站發出的新的MA，并且讓行列車停止運行。使用Petri網對上述過程進行描述，如圖3所示。其中，Petri網的庫所含義如下PO 行車狀態，Pl =RBC接受串路徑信息，P3 =MA計算，P4 =RBC決定不發送MA，P5 重復請求MA，P6 列車MA擴展失敗，實行制動，P7 :RBC決定發送MA，P8 越區切換觸發，P9 越區切換處理，PlO 越區切換回饋信息，Pll 越區切換處理完成狀態，P12 再次發送越區切換請求，P13 車載設備接受MA，并執行MA擴展，P14 不進行越區切換，P20 車載設備未接受MA。Petri網的變遷含義如下TO 提出MA請求；Tl =MA計算；T2 對比Ε0Α，決定是否發送MA ；T3 信息傳輸；T4 MA請求過程；T5 越區切換激活；T6 越區切換觸發請求；T7 越區切換處理；T8 越區切換完成；T9 越區切換失敗；TlO :MA傳送過程；Tll 系統時間。其中，列車運行過程中決定發送MA和不發生MA的次數(記為aO和al)、越區切換發生的次數和不越區切換發生的次數(記為bO和bl)、越區切換成功的次數和越區切換失敗的次數(記為c0、cl)通過設置在T2、T5、T8三處的數據采集記錄模塊，由現場監測子系統進行記錄。同時，現場監測子系統通過設置在PO和Ρ13處的計時器，得到從PO傳輸到 Ρ13所需要的時間，從而可以計算出MA從請求到成功發送所需要的時間。根據圖3，對Petri網進行簡化并對MA擴展成功的概率進行計算從而得到MA傳輸成功發生的概率。在此需要提出的是，由于列車調度系統CTCS-3中，已經實現對T5、T8這兩個數據的監測，從而使得在這個系統中獲得這兩個數據的變得非常的容易。數據采集記錄模塊只需要從相關的數據中，引入到本系統的模塊就能完成。對于T2處的數據，可以根據RBC在每次計算完成MA之后，在其發出接口處設置的一個對比緩沖器(CB)進行記錄。讓每次計算好的MA在對比緩沖器中進行記錄，從而實現T2對于是否發送MA的次數的記錄。這樣的話，就能容易的實現對MA擴展成功率的計算和監測。
接下來，可以利用所記錄的數據，以及系統Petri網系統技術方法所計算出來的 P13制作出同一個圖表，動態的顯示出每個數據之間的動態變化過程，從而來反映數據之間的關聯，為列車行車預警和列車調度系統決策進行數據支撐。在本實施例的基于Petri網的高速鐵路列車行車許可傳輸分析系統中，數據庫子系統4的數據庫是SQL server數據庫，具有數據采集、數據存儲、數據融合和數據查詢的功能。其中，數據采集為數據庫子系統通過對比緩沖器和計時器獲得MA的信息并且直接導入數據庫；數據存儲為數據庫子系統利用采集的數據，通過列表的形式加上時間屬性和基站地理位置屬性，存儲在數據庫中；數據融合為數據庫子系統指利用所獲取的原始數據，通過本發明構建的MA的傳輸過程的Petri網，計算出MA擴展成功率的值。以上詳細描述了本發明的較佳具體實施例。應當理解，本領域的普通技術人員無需創造性勞動就可以根據本發明的構思做出諸多修改和變化。因此，凡本技術領域的技術人員依本發明的構思在現有技術的基礎上通過邏輯分析、推理或者有限的實驗可以得到的技術方案，皆應在由權利要求書所確定的保護范圍內。
權利要求
1.一種基于Petri網的高速鐵路列車行車許可傳輸分析系統，其特征在于，包括現場監測子系統、控制子系統和數據庫子系統；所述現場監測子系統通過在基站收發信機設置的采集模塊以及Abis接口記錄越區切換的信息；所述數據庫子系統通過在無線閉塞中心設置的對比緩沖器采集行車許可的信息；現場監測子系統通過通信網絡與控制子系統連接以傳輸現場數據，所述現場數據包括所述行車許可的信息和所述越區切換的信息；所述控制子系統通過有線通信網絡與所述數據庫子系統連接以傳輸數據分析信息；所述行車許可傳輸分析系統進一步地包括步驟構建所述行車許可的傳輸過程的Petri網，所述現場檢測子系統采集所述現場數據，所述數據庫子系統利用所述Petri網對所述行車許可進行數據分析。
2.如權利要求1所述的基于Petri網的高速鐵路列車行車許可傳輸分析系統，其中所述現場監測子系統包括車載現場監測子系統和基站現場監測子系統；所述車載現場監測子系統包括車載數據采集模塊、車載數據預處理模塊和無線通信模塊，所述車載數據采集模塊與所述車載數據預處理模塊相連以傳輸列車的所述現場數據，所述車載數據預處理模塊與所述無線通信模塊相連接并且通過無線通信網絡與所述控制子系統相連以傳輸預處理后的所述列車的現場數據；所述基站現場監測子系統包括基站數據采集模塊、基站數據預處理模塊和有線通信模塊，所述基站數據采集模塊與所述基站數據預處理模塊相連以傳輸基站的所述現場數據，所述基站數據預處理模塊與所述有線通信模塊相連接并且通過所述有線通信網絡與所述控制子系統相連以傳輸所述預處理后的所述基站的現場數據。
3.如權利要求2所述的基于Petri網的高速鐵路列車行車許可傳輸分析系統，其中所述無線通信網絡是GSM-R無線網絡。
4.如權利要求3所述的基于Petri網的高速鐵路列車行車許可傳輸分析系統，其中所述數據庫子系統包括數據庫和顯示模塊，所述數據庫通過所述有線通信網絡與所述顯示模塊相連以傳輸所述數據庫的信息。
5.如權利要求4所述的基于Petri網的高速鐵路列車行車許可傳輸分析系統，其中所述控制子系統包括控制模塊、數據處理模塊、數據緩存模塊和控制界面模塊，所述控制模塊與所述現場監測子系統、所述數據庫子系統相連以傳輸控制指令，所述數據處理模塊通過所述有線通信網絡與所述數據庫子系統相連以傳輸所述數據庫的信息，所述數據緩存模塊與所述現場監測子系統相連以傳輸所述現場數據，所述數據緩存模塊與所述數據庫子系統相連以傳輸接收到的所述現場數據。
6.如權利要求5所述的基于Petri網的高速鐵路列車行車許可傳輸分析系統，其中所述行車許可的信息包含所述行車許可的發送次數和所述行車許可的不發送次數，所述越區切換的信息包含所述越區切換的發生次數、不進行所述越區切換而直接傳輸所述行車許可的次數、所述越區切換的成功次數和所述越區切換的不成功次數。
7.如權利要求6所述的基于Petri網的高速鐵路列車行車許可傳輸分析系統，其中所述構建所述行車許可的傳輸過程的Petri網包括以下步驟將新的所述行車許可與舊的所述行車許可進行比較，如果所述新的所述行車許可的區間的終點在所述舊的所述行車許可的區間之內，那么就不發送所述行車許可，否則發送所述新的所述行車許可；判斷所述行車許可的傳輸過程中是否發生所述越區切換，如果沒有發生所述越區切換，則將所述行車許可通過基站傳輸到所述無線通信模塊；如果發生所述越區切換，則必須經歷所述越區切換，并且在三次以內成功完成所述越區切換之后，將所述行車許可傳輸到所述無線通信模塊。構建所述行車許可的傳輸過程的所述Petri網。
8.如權利要求7所述的基于Petri網的高速鐵路列車行車許可傳輸分析系統，其中所述數據庫子系統利用所述Petri網對所述行車許可進行的所述數據分析包括計算所述行車許可的次數和概率、所述越區切換的次數和概率、所述越區切換成功的次數和概率以及所述行車許可從請求到成功擴展的時間。
9.如權利要求8所述的基于Petri網的高速鐵路列車行車許可傳輸分析系統，其中所述數據庫子系統利用所述Petri網對所述行車許可進行的所述數據分析還包括設計一個實時圖形界面來動態地顯示所述行車許可的次數和概率、所述越區切換的次數和概率、所述越區切換成功的次數和概率以及所述行車許可從請求到成功擴展的時間。
10.如權利要求9所述的基于Petri網的高速鐵路列車行車許可傳輸分析系統，其中所述數據庫子系統的所述數據庫是SQL server數據庫。
全文摘要
本發明公開了一種基于Petri網的高速鐵路列車行車許可傳輸分析系統，包括現場監測子系統、控制子系統和數據庫子系統。現場監測子系統通過設置在基站收發信機的采集模塊和Abis接口記錄越區切換的信息，數據庫子系統通過設置在無線閉塞中心的對比緩沖器采集行車許可(MA)的信息，現場監測子系統通過通信網絡與控制子系統連接，并且傳輸經過預處理的現場數據到數據庫子系統。本發明還公開了構建MA的傳輸過程的Petri網，數據庫子系統使用此Petri網對MA進行數據分析，包括計算MA的次數和概率、越區切換的次數和概率、越區切換成功的次數和概率以及MA從請求到成功擴展的時間。
文檔編號G05B13/04GK102566429SQ201210005118
公開日2012年7月11日 申請日期2012年1月9日 優先權日2012年1月9日
發明者關新平, 陳彩蓮, 雷濤 申請人:上海交通大學