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

雙機(jī)熱備技術(shù)屬于設(shè)備級(jí)的安全保障技術(shù)。

無(wú)極繼電器對(duì)輸入的電流的方向沒(méi)有要求。

雙動(dòng)道岔是指一次操縱能使兩組道岔同時(shí)或順序轉(zhuǎn)換的道岔。

進(jìn)路選排功能模塊要檢查進(jìn)路處于未鎖閉狀態(tài)。

道岔表示繼電器（DBJ/FBJ）：表明操縱時(shí)選擇道岔位置。

雙機(jī)熱備系統(tǒng)的基本思想是“單機(jī)保證安全，雙機(jī)提高可靠性”。

FKJ和ZJ在進(jìn)路選出后繼續(xù)記錄進(jìn)路始端和終端，在選擇組電路和執(zhí)行組之間起著承上啟下的作用。

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

用來(lái)表示道岔的位置狀態(tài)的數(shù)據(jù)屬于動(dòng)態(tài)數(shù)據(jù)。