軟件的安全性研究的內(nèi)容包括軟件安全性驗(yàn)證和確認(rèn)及軟件安全性評(píng)估。

電路中繼電器通常呈現(xiàn)的狀態(tài)，稱為定位或常態(tài)。

進(jìn)路與軌道區(qū)段的聯(lián)鎖關(guān)系，除了區(qū)段屬于進(jìn)路中的區(qū)段外，還有不是進(jìn)路中的區(qū)段但存在侵限關(guān)系的區(qū)段。

計(jì)算機(jī)聯(lián)鎖系統(tǒng)是是以計(jì)算機(jī)或微處理器實(shí)現(xiàn)聯(lián)鎖邏輯運(yùn)算功能的車站聯(lián)鎖控制系統(tǒng)。

雙機(jī)熱備系統(tǒng)的聯(lián)鎖主機(jī)雙套互為冷備。

二乘二取二計(jì)算機(jī)聯(lián)鎖系統(tǒng)中每一系采用雙處理器進(jìn)行二取二表決運(yùn)算。

計(jì)算機(jī)聯(lián)鎖系統(tǒng)與室外繼電接口電路交互的方式是：驅(qū)動(dòng)接點(diǎn)，采集線圈。

聯(lián)鎖表中的道岔欄，只寫進(jìn)路中的約束道岔關(guān)系即可。

四線制道岔接口電路中要求表示電路有有防混線設(shè)計(jì)。

繼電組合架一般分11層，1-10層安裝繼電器組合。