發(fā)布時(shí)間：2021-08-03 05:01

　　在現(xiàn)階段我國的聯(lián)鎖方法中,主要方法為繼電聯(lián)鎖和計(jì)算機(jī)聯(lián)鎖,正在逐步實(shí)現(xiàn)繼電聯(lián)鎖向計(jì)算機(jī)聯(lián)鎖的過渡。相關(guān)學(xué)者提出了基于繼電聯(lián)鎖邏輯的形式化方法來研究計(jì)算機(jī)聯(lián)鎖,該方法通過繼電電路邏輯與計(jì)算機(jī)聯(lián)鎖的結(jié)合,使繼電聯(lián)鎖的相關(guān)設(shè)計(jì),糾錯(cuò)經(jīng)驗(yàn)?zāi)軌蜻\(yùn)用到計(jì)算機(jī)聯(lián)鎖中,極大地降低了設(shè)備的使用和維護(hù)成本�；诶^電聯(lián)鎖邏輯的形式化方法,使用電路圖直接轉(zhuǎn)化為聯(lián)鎖程序的方式,能夠使聯(lián)鎖程序在電路層次具有可設(shè)計(jì)性和可維護(hù)性。所以,本文將通過以64D型單線繼電半自動閉塞電路為基礎(chǔ)電路示例來探索直接使用電路圖轉(zhuǎn)化為閉塞控制程序的電路模擬過程,探究實(shí)現(xiàn)基于繼電聯(lián)鎖邏輯的計(jì)算機(jī)聯(lián)鎖形式化工具的可行方案。本文關(guān)于繼電聯(lián)鎖電路與聯(lián)鎖程序轉(zhuǎn)化過程中的數(shù)據(jù)相關(guān)工作進(jìn)行了分析,包括控制電路內(nèi)部邏輯運(yùn)算的邏輯相關(guān)工作,展示電路狀態(tài)的仿真程序相關(guān)工作,并設(shè)計(jì)了可行的實(shí)驗(yàn)關(guān)鍵步驟;通過對基礎(chǔ)電路分析得到包括元件,線路相關(guān)的電路關(guān)系;以電路關(guān)系和展示功能的特點(diǎn)設(shè)計(jì)了能夠抽象相關(guān)關(guān)系和功能特點(diǎn)的數(shù)據(jù)結(jié)構(gòu);根據(jù)構(gòu)建的數(shù)據(jù)結(jié)構(gòu)和過程可視化原則設(shè)計(jì)了對應(yīng)的中間文件結(jié)構(gòu);以中間文件結(jié)構(gòu)和數(shù)據(jù)結(jié)構(gòu)為基準(zhǔn),設(shè)計(jì)了從原始文件轉(zhuǎn)化為中間文件,中間文件轉(zhuǎn)化... 

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

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

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

【部分圖文】：

繼電電路動作過程示例圖

本文工作說明圖

界面展示出來以便于觀察電路的狀態(tài)[30]。關(guān)于程序的邏輯部分，由于不同元件有獨(dú)特的功能和參數(shù)，并且元件之間還需要建對應(yīng)的邏輯關(guān)系，所以我們會為這些元件生成對應(yīng)的類，這里我們將這些類稱為輯元件。而對于這些類，他們的相互影響關(guān)系是通過電路線路來決定的，所以我們線路建立相關(guān)的數(shù)據(jù)結(jié)構(gòu) LogLine。綜上，邏輯部分?jǐn)?shù)據(jù)結(jié)構(gòu)包含邏輯元件和邏輯線類 LogLine。在控制程序運(yùn)行過程中，我們需要將電路中的元件狀態(tài)展示出來，所以需要為元展示設(shè)置數(shù)據(jù)結(jié)構(gòu) Part，在用于展示的元件信息中，有的元件是靜態(tài)的，如正負(fù)電，它們的狀態(tài)是固定的；有的元件是動態(tài)的，由其相關(guān)的邏輯元件決定其狀態(tài)，所我們又將展示類元件分為靜態(tài)展示元件 StaticPart 和動態(tài)展示元件 AntonymPart，它與 Part 為繼承關(guān)系，另外在電路展示中還需要相關(guān)的連線，我們將這些連線的數(shù)據(jù)構(gòu)設(shè)定為 Line。綜上，我們將一個(gè)電路圖中的展示元件及展示線路封裝到展示整體數(shù)據(jù)結(jié)構(gòu)owPicture中，將電路整體的邏輯元件以及線路封裝到邏輯整體數(shù)據(jù)結(jié)構(gòu)LogicControl，可以得到如圖 3-1 所示的整體數(shù)據(jù)結(jié)構(gòu)。

【參考文獻(xiàn)】：
期刊論文
[1]鐵路信號計(jì)算機(jī)聯(lián)鎖控制系統(tǒng)的容錯(cuò)技術(shù)探討[J]. 劉邦鵬.  工程技術(shù)研究. 2018(03)
[2]計(jì)算機(jī)聯(lián)鎖系統(tǒng)安全可靠性設(shè)計(jì)略談[J]. 徐燕飛.  數(shù)字技術(shù)與應(yīng)用. 2017(01)
[3]計(jì)算機(jī)聯(lián)鎖系統(tǒng)中人機(jī)會話層安全分析[J]. 孫寧,邱兆陽.  鐵路通信信號工程技術(shù). 2016(04)
[4]論城軌車站計(jì)算機(jī)聯(lián)鎖仿真系統(tǒng)重要性[J]. 胡偉.  信息通信. 2015(06)
[5]車站聯(lián)鎖進(jìn)路控制邏輯的形式化方法[J]. 胡曉輝,韓佳芮.  計(jì)算機(jī)工程與應(yīng)用. 2016(17)
[6]基于CPN的聯(lián)鎖進(jìn)路控制建模及驗(yàn)證[J]. 陶玲,宋軍.  工業(yè)控制計(jì)算機(jī). 2014(11)
[7]計(jì)算機(jī)聯(lián)鎖故障遠(yuǎn)程診斷系統(tǒng)[J]. 陸志雄.  上海鐵道科技. 2011(01)
[8]計(jì)算機(jī)聯(lián)鎖控制邏輯的模型檢驗(yàn)方法[J]. 燕飛,唐濤.  鐵道通信信號. 2009(05)
[9]計(jì)算機(jī)聯(lián)鎖進(jìn)一步發(fā)展的探索[J]. 傅世善.  鐵路通信信號工程技術(shù). 2006(02)
[10]6502故障處理方法探討[J]. 馮良華.  鐵道通信信號. 2003(09)

博士論文
[1]CBTC聯(lián)鎖系統(tǒng)的形式化建模與驗(yàn)證方法研究[D]. 于瀟.中國鐵道科學(xué)研究院 2017
[2]基于Agent的全電子智能分布式應(yīng)急聯(lián)鎖系統(tǒng)研究[D]. 魏文軍.蘭州交通大學(xué) 2015
[3]軌道交通安全計(jì)算機(jī)系統(tǒng)及安全控制機(jī)制關(guān)鍵技術(shù)研究[D]. 陳光武.蘭州交通大學(xué) 2014
[4]軌道交通全電子化聯(lián)鎖系統(tǒng)安全技術(shù)研究與系統(tǒng)分析[D]. 何濤.蘭州交通大學(xué) 2014

碩士論文
[1]基于繼電電路的計(jì)算機(jī)聯(lián)鎖控制邏輯研究[D]. 黃祥.西南交通大學(xué) 2018
[2]城軌計(jì)算機(jī)聯(lián)鎖仿真系統(tǒng)的研究與實(shí)現(xiàn)[D]. 黃龍.西南交通大學(xué) 2018
[3]計(jì)算機(jī)聯(lián)鎖系統(tǒng)冗余結(jié)構(gòu)的設(shè)計(jì)[D]. 施宇鋒.蘇州大學(xué) 2017
[4]鐵路車站計(jì)算機(jī)聯(lián)鎖軟件建模研究[D]. 董丹.蘭州交通大學(xué) 2017
[5]ZPW2000A/K設(shè)備配置軟件的設(shè)計(jì)與實(shí)現(xiàn)[D]. 李勝.西南交通大學(xué) 2016
[6]基于安全狀態(tài)機(jī)的計(jì)算機(jī)聯(lián)鎖系統(tǒng)建模與分析[D]. 侯宇婷.西南交通大學(xué) 2016
[7]車站信號計(jì)算機(jī)聯(lián)鎖邏輯關(guān)系形式化驗(yàn)證方法的研究[D]. 陶玲.重慶交通大學(xué) 2015
[8]基于圖論的聯(lián)鎖程序的研究與設(shè)計(jì)[D]. 石擎宇.蘭州交通大學(xué) 2014
[9]鐵路信號繼電電路動態(tài)邏輯化仿真研究[D]. 蒲加永.西南交通大學(xué) 2013
[10]基于Protel設(shè)計(jì)文件的貼片機(jī)虛擬制造系統(tǒng)[D]. 黃昊.西南交通大學(xué) 2011



本文編號：3318986