軌道電路讀取器測試序列生成方法的研究.pdf

1、軌道電路讀取器(TCR)是專門設(shè)計(jì)用于350km/h高速客運(yùn)專線動車組的信號子系統(tǒng)。它利用了JT1-CZ2000的成熟技術(shù)，是根據(jù)既有的JT1-CZ2000機(jī)車信號車載系統(tǒng)設(shè)備改進(jìn)而來的。針對機(jī)車信號或軌道電路讀取器的測試系統(tǒng)的研究在鐵路安全生產(chǎn)中起著非常重要的作用。測試是一項(xiàng)非常耗時(shí)的工程，好的測試方法可以極大的提高測試效率。本課題主要是對TCR系統(tǒng)測試序列生成方法進(jìn)行研究。
　　論文的主要工作如下：1)根據(jù)機(jī)車信號及TCR相關(guān)

2、標(biāo)準(zhǔn)提取測試平臺可測的功能及性能指標(biāo)；2)根據(jù)實(shí)驗(yàn)室仿真環(huán)境將測試系統(tǒng)分為上位機(jī)、測試工裝、待測TCR三個(gè)模塊，闡述三個(gè)模塊的功能及接口；3)根據(jù)提取的測試指標(biāo)，將測試系統(tǒng)分為五個(gè)流程：設(shè)備上電通信接口測試流程、載頻自動切換流程、應(yīng)變時(shí)間測試流程、制式/絕緣節(jié)應(yīng)變時(shí)間測試流程、靈敏度測試流程，并分析各流程的測試步驟以及各個(gè)設(shè)備的狀態(tài)轉(zhuǎn)換；4)提出一種基于時(shí)間自動機(jī)理論的建模方法，運(yùn)用uPPAAL建模工具對各個(gè)流程進(jìn)行建模，并驗(yàn)證模型是否