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

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

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

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

【部分圖文】：

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

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

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

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

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



本文編號(hào)：3316647