鐵路信號系統(tǒng)是鐵路運輸中保障列車安全運行、提高運輸效率、改善勞動條件和提升運營管理水平的重要系統(tǒng)。聯(lián)鎖系統(tǒng)是鐵路信號系統(tǒng)的重要組成部分,它以聯(lián)鎖軟件為核心,指揮車站內(nèi)的信號機、道岔和軌道電路等基本信號設(shè)備遵循一定的條件按照一定的程序執(zhí)行控制條件,是用于保障列車運行可靠性安全性的重要設(shè)備。聯(lián)鎖軟件的可靠性安全性直接關(guān)系到列車的運行。隨著鐵路行車密度不斷增大、運行速度不斷提高,我們需要更安全高效的聯(lián)鎖軟件來控制列車運行。6502電氣集中聯(lián)鎖系統(tǒng)和計算機聯(lián)鎖系統(tǒng)是我國使用最為廣泛的聯(lián)鎖系統(tǒng),但在實際應(yīng)用中這兩種聯(lián)鎖系統(tǒng)的缺陷日益顯現(xiàn)�；诶^電電路的計算機聯(lián)鎖系統(tǒng)在聯(lián)鎖軟件方面做了改進,他結(jié)合6502電氣集聯(lián)鎖系統(tǒng)與計算機聯(lián)鎖系統(tǒng)兩者的優(yōu)點的同時規(guī)避兩者的缺點,提出一種將計算機內(nèi)部的聯(lián)鎖邏輯過程可視化透明化的計算機聯(lián)鎖系統(tǒng)。本文主要完成基于繼電電路的計算機聯(lián)鎖邏輯模型研究,它是基于繼電電路的計算機聯(lián)鎖系統(tǒng)中的一個重要組成部分。文中建立聯(lián)鎖邏輯模型繪制繼電電路圖,動態(tài)展示聯(lián)鎖程序的執(zhí)行過程,實時反饋聯(lián)鎖程序內(nèi)部的聯(lián)鎖運算情況,使得聯(lián)鎖運算過程更容易理解,實現(xiàn)聯(lián)鎖程序的透明化,也便于排查錯誤,降低... 

【文章來源】：西南交通大學(xué)四川省 211工程院校 教育部直屬院校

【文章頁數(shù)】：83 頁

【學(xué)位級別】：碩士

【部分圖文】：

論文的整體結(jié)構(gòu)

章 系統(tǒng)概述及聯(lián)鎖邏輯模型總體總體介紹基于繼電電路的計算機聯(lián)鎖系統(tǒng)的概念電電路的計算機聯(lián)鎖邏輯模型的設(shè)計過程進行一路的計算機聯(lián)鎖系統(tǒng)概述路的計算機聯(lián)鎖系統(tǒng)開發(fā)方法與傳統(tǒng)聯(lián)鎖軟件的行一個比較，介紹基于繼電電路的計算機聯(lián)鎖系介紹基于繼電電路的計算機聯(lián)鎖系統(tǒng)的概念。軟件開發(fā)方法數(shù)單位研制的聯(lián)鎖系統(tǒng)，其聯(lián)鎖軟件的編制都是基言將聯(lián)鎖軟件的需求和定義寫在文檔中[6]。這種傳的開發(fā)方法。一般用“V”字形開發(fā)流程表示傳統(tǒng)

西南交通大學(xué)碩士研究生學(xué)位論文過程全部由人工完成，會導(dǎo)致大量錯誤代出錯誤代碼并由編碼人員對其進行修正聯(lián)鎖軟件中仍然會包含一些錯誤代碼，。聯(lián)鎖軟件在編碼、測試、應(yīng)用過程中出軟件又極其復(fù)雜，一旦編程人員出現(xiàn)人困難。方法安全苛求高的系統(tǒng)，正好適用于聯(lián)鎖軟件形式化聯(lián)鎖軟件開發(fā)的設(shè)計流程。SCADE 2-2 所示。

【參考文獻】：
期刊論文
[1]計算機聯(lián)鎖系統(tǒng)與6502的技術(shù)對比以及未來發(fā)展方向[J]. 劉家承.  信息化建設(shè). 2016(03)
[2]基于UPPAAL的列車自動防護系統(tǒng)形式化建模與驗證[J]. 蔣建軍,王長林.  鐵路計算機應(yīng)用. 2014(08)
[3]基于SCADE的城軌聯(lián)鎖軟件開發(fā)方法的研究[J]. 張重,劉曉娟,李國瑞.  鐵路計算機應(yīng)用. 2014(02)
[4]計算機聯(lián)鎖控制系統(tǒng)的研究與發(fā)展趨勢[J]. 張振波.  電子世界. 2014(03)
[5]基于雙緩存技術(shù)解決某模擬系統(tǒng)實時顯示屏幕閃爍的方法[J]. 董燕,周燕明,崔衛(wèi)兵.  電腦知識與技術(shù). 2008(26)
[6]繼電控制線路的功能仿真系統(tǒng)[J]. 張穎瑤,耿英三,鄧永慶,張國鋼.  低壓電器. 2008(03)
[7]計算機聯(lián)鎖的進路搜索Petri網(wǎng)模型分析[J]. 馬鑫,董昱.  科技咨詢導(dǎo)報. 2007(07)
[8]TCP/IP下的Socket及Winsock通信機制[J]. 王曉鵬.  航空計算技術(shù). 2004(02)
[9]聯(lián)鎖軟件的Petri網(wǎng)形式化定義[J]. 楊揚,潘明,何梅芳.  中國鐵道科學(xué). 2002(03)
[10]聯(lián)鎖軟件的Petri網(wǎng)模型化[J]. 楊揚,王曉明,何梅芳,肖蒙.  蘭州鐵道學(xué)院學(xué)報. 2002(01)

碩士論文
[1]基于SCADE的城軌正線聯(lián)鎖系統(tǒng)研究[D]. 雷貝貝.西南交通大學(xué) 2017
[2]基于UPPAAL的計算機聯(lián)鎖進路控制過程測試用例自動生成[D]. 謝林.西南交通大學(xué) 2017
[3]基于模型的城軌信號聯(lián)鎖系統(tǒng)開發(fā)方法[D]. 賈赟.北京交通大學(xué) 2017
[4]ZPW2000A/K設(shè)備配置軟件的設(shè)計與實現(xiàn)[D]. 李勝.西南交通大學(xué) 2016
[5]基于UML的鐵路信號計算機聯(lián)鎖仿真系統(tǒng)的研究與實現(xiàn)[D]. 張京晶.北京工業(yè)大學(xué) 2016
[6]基于SCADE的聯(lián)鎖邏輯建模與仿真[D]. 袁晴.西南交通大學(xué) 2016
[7]車站信號計算機聯(lián)鎖邏輯關(guān)系形式化驗證方法的研究[D]. 陶玲.重慶交通大學(xué) 2015
[8]基于TMS570的計算機聯(lián)鎖系統(tǒng)嵌入式計算平臺設(shè)計與實現(xiàn)[D]. 張勇.北京交通大學(xué) 2014
[9]鐵路信號繼電電路動態(tài)邏輯化仿真研究[D]. 蒲加永.西南交通大學(xué) 2013
[10]二乘二取二系統(tǒng)的可靠性和安全性[D]. 許崇.合肥工業(yè)大學(xué) 2013



本文編號：3316647