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

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

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

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

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

聯(lián)鎖軟件的進(jìn)路控制邏輯可以模擬6502電氣集中十五條網(wǎng)絡(luò)線的設(shè)計(jì)思路。

繼電電路中，箭頭向上的含義為常態(tài)吸起，箭頭向下表示常態(tài)落下。

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

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

聯(lián)鎖邏輯軟件在聯(lián)鎖計(jì)算機(jī)中執(zhí)行。