南京鐵信科技股份有限公司 湯連橋

計算機聯(lián)鎖軟件中的邏輯關(guān)系是使用規(guī)則進(jìn)行描述的。產(chǎn)生式系統(tǒng)是一種基于規(guī)則的推理技術(shù)，聯(lián)鎖軟件可采用產(chǎn)生式系統(tǒng)的技術(shù)進(jìn)行開發(fā)。描述了產(chǎn)生式系統(tǒng)中三個部分（規(guī)則庫定義、總數(shù)據(jù)庫設(shè)計、控制策略設(shè)計）在開發(fā)聯(lián)鎖軟件過程中的實現(xiàn)，其中在定義規(guī)則庫時提出了一些新的概念和實施細(xì)則。本文以聯(lián)鎖軟件中的排列進(jìn)路功能為例，闡述了方法的執(zhí)行流程。

計算機聯(lián)鎖系統(tǒng)由冗余配置的安全計算機和聯(lián)鎖軟件構(gòu)成，其中聯(lián)鎖軟件執(zhí)行聯(lián)鎖邏輯，是整個系統(tǒng)的主要組成部分。傳統(tǒng)的軟件開發(fā)以功能為單位進(jìn)行模塊劃分進(jìn)行設(shè)計，聯(lián)鎖軟件中各關(guān)聯(lián)元素的邏輯關(guān)系是一個整體，無法簡單地按照“功能、模塊”的方式將其拆分。鑒于這個特點，可以分析功能梳理出內(nèi)部邏輯關(guān)系，然后對邏輯關(guān)系進(jìn)行整體設(shè)計和實現(xiàn)，即使用規(guī)則來描述邏輯關(guān)系。規(guī)則的形式為A→B，A為條件，B為動作，當(dāng)條件A滿足時，觸發(fā)動作B。

將聯(lián)鎖軟件中的所有邏輯關(guān)系定義成一個規(guī)則庫，聯(lián)鎖功能就可以通過規(guī)則的執(zhí)行來實現(xiàn)。采用產(chǎn)生式系統(tǒng)（production system）技術(shù)并結(jié)合形式化語言開發(fā)聯(lián)鎖軟件是一次新的嘗試和探索。

1 產(chǎn)生式系統(tǒng)的概念

產(chǎn)生式系統(tǒng)是一種基于規(guī)則的推理技術(shù)，屬于人工智能的范疇。由三部分組成：總數(shù)據(jù)庫、產(chǎn)生式規(guī)則和控制策略?？倲?shù)據(jù)庫用來存放事實。產(chǎn)生式規(guī)則是一個規(guī)則庫。當(dāng)總數(shù)據(jù)庫中的某些事實和某條規(guī)則的條件相匹配時，該規(guī)則將被激活執(zhí)行，并把其結(jié)論作為新的事實存入總數(shù)據(jù)庫中?？刂撇呗詾橐粋€推理機構(gòu)，由一組程序組成，用來決定問題求解過程的推理線路，實現(xiàn)問題的求解。

問題求解過程分為3步：匹配、沖突解決和操作。該過程也稱為推理過程，按照搜索方向可分為正向推理、逆向推理和雙向推理。正向推理又稱為事實（或數(shù)據(jù)）驅(qū)動推理，逆向推理又稱為目標(biāo)驅(qū)動推理。其中正向推理的策略是：先提供一批事實（或數(shù)據(jù)）到總數(shù)據(jù)庫中，系統(tǒng)將這些事實（或數(shù)據(jù)）與規(guī)則的條件進(jìn)行匹配，如果匹配成功則觸發(fā)規(guī)則，并把結(jié)果作為新的事實（或數(shù)據(jù)）添加到總數(shù)據(jù)庫中。繼續(xù)上述過程，直到?jīng)]有可匹配的新規(guī)則為止。當(dāng)有多條規(guī)則的條件和總數(shù)據(jù)庫的事實（或數(shù)據(jù)）相匹配時，控制策略決定優(yōu)先使用哪一條規(guī)則，這稱為沖突解決。

2 根據(jù)產(chǎn)生式系統(tǒng)原理開發(fā)聯(lián)鎖軟件

按照產(chǎn)生式系統(tǒng)的原理，聯(lián)鎖軟件的開發(fā)分為3個部分：定義規(guī)則庫、設(shè)計總數(shù)據(jù)庫和設(shè)計控制策略。

2.1 定義規(guī)則庫

聯(lián)鎖軟件中的元素包括進(jìn)路、信號機、軌道區(qū)段和道岔等。每種元素定義了不同用途的屬性，如進(jìn)路有方向?qū)傩裕i閉屬性等。在定義規(guī)則庫時將規(guī)則中的條件定義為“對一組元素屬性值的預(yù)期”，將規(guī)則中的動作定義為“改變一組元素屬性值的行為集合”。有些元素屬性值可以立即改變，有些元素屬性值需要等待一定時間后才能改變，故將行為分為“馬上改變”和“稍后改變”兩種。

規(guī)則中的動作分為主要動作和輔助動作：主要動作指完成某個具體功能，該動作執(zhí)行成功意味著功能完成，也就是一個功能最多只能由一個主要動作來實現(xiàn)；輔助動作是主要動作中部分行為的補充。先定義主要動作，然后根據(jù)主要動作中的行為確定是否需要定義輔助動作。定義輔助動作遵循下面的原則：

（1）主要動作中的行為如果存在先后關(guān)系，則需要將這些行為提取出來作為輔助動作，直到行為之間沒有先后關(guān)系。如排列進(jìn)路時必須先征用進(jìn)路中元素，然后才能調(diào)整進(jìn)路中位置不正確的道岔，因此把“設(shè)置元素的狀態(tài)屬性為征用”的行為定義為輔助動作。

（2）主要動作中如果存在“稍后改變”的行為，也定義為輔助動作。如排列進(jìn)路時需要將進(jìn)路中位置不符合的道岔轉(zhuǎn)換到正確位置，道岔的轉(zhuǎn)換需要一定時間，因此將“將道岔的位置屬性設(shè)為正確位置”的行為定義為輔助動作。

2.2 設(shè)計總數(shù)據(jù)庫

聯(lián)鎖軟件的總數(shù)據(jù)庫要包含所有元素的屬性信息。有些元素的屬性是靜態(tài)的，稱為“靜態(tài)數(shù)據(jù)”，如進(jìn)路編號、進(jìn)路方向；有些是動態(tài)的，稱為“動態(tài)數(shù)據(jù)”，如進(jìn)路的狀態(tài)?！办o態(tài)數(shù)據(jù)”因為沒法修改，只能出現(xiàn)在規(guī)則的條件中。為了便于查找，可以按關(guān)鍵字建索引，例如進(jìn)路元素可按進(jìn)路ID號建立索引，這樣就可以通過進(jìn)路ID號查找某條進(jìn)路元素的相關(guān)信息?！皠討B(tài)數(shù)據(jù)”存在修改和查找的操作，為了提高查找效率，可以借用前面的索引。

聯(lián)鎖系統(tǒng)是故障安全系統(tǒng)，在定義“動態(tài)數(shù)據(jù)”的賦值范圍時除了正常值外，還要有故障值，可防止設(shè)備出現(xiàn)故障時不產(chǎn)生危及安全的錯誤邏輯。

聯(lián)鎖總數(shù)據(jù)庫采用“結(jié)構(gòu)體+數(shù)組”的組織方式，“結(jié)構(gòu)體”中存放每個元素的屬性信息，相同類別的元素用“數(shù)組”存放?？倲?shù)據(jù)庫的信息都存放在內(nèi)存中，因為不管是“靜態(tài)數(shù)據(jù)”還是“動態(tài)數(shù)據(jù)”，在程序運行期間都會被使用。

2.3 設(shè)計控制策略

需要設(shè)計相應(yīng)的控制策略（即推理過程）來觸發(fā)和執(zhí)行聯(lián)鎖規(guī)則庫中的規(guī)則。聯(lián)鎖軟件通過推理來不斷更新元素的屬性信息?；谶@個特點，在設(shè)計控制策略時通常采用正向推理。

外部設(shè)備對聯(lián)鎖系統(tǒng)的影響主要是控制命令的輸入和設(shè)備狀態(tài)的采集，例如ATS下發(fā)控制命令，聯(lián)鎖系統(tǒng)采集道岔、信號機設(shè)備的狀態(tài)等。這兩種外部接口均能觸發(fā)規(guī)則的執(zhí)行，因此控制策略的程序分兩部分：功能執(zhí)行監(jiān)控和設(shè)備采集觸發(fā)規(guī)則。

（1）功能執(zhí)行監(jiān)控的流程為：某個新功能被要求執(zhí)行時，將該功能放入執(zhí)行列表，并開始對該功能的執(zhí)行時間進(jìn)行監(jiān)控。聯(lián)鎖功能如果沒有在規(guī)定時間內(nèi)完成，則其對應(yīng)的動作中有些需要進(jìn)行回退操作。這取決于該動作是否會對其他功能產(chǎn)生影響，例如對進(jìn)路元素已經(jīng)征用但進(jìn)路因某種原因無法排列成功，可能會導(dǎo)致其他進(jìn)路無法建立，此時則需要進(jìn)行回退操作，取消進(jìn)路元素的征用屬性。如圖1所示。

圖1 功能執(zhí)行監(jiān)控流程圖

（2）設(shè)備采集觸發(fā)規(guī)則的流程為：周期性采集設(shè)備狀態(tài)后，遍歷規(guī)則庫，將所有可以觸發(fā)的規(guī)則放入沖突集合中。根據(jù)沖突解決策略從沖突集合中取出一條規(guī)則執(zhí)行，該規(guī)則執(zhí)行后，重新遍歷一遍規(guī)則庫，將所有可以觸發(fā)的規(guī)則繼續(xù)放入沖突集合。如此往復(fù)，直至沒有可以觸發(fā)的規(guī)則。

圖2 設(shè)備采集觸發(fā)規(guī)則流程圖

其中沖突解決策略是根據(jù)規(guī)則中動作所屬的類別進(jìn)行設(shè)計，優(yōu)先執(zhí)行主要動作其次執(zhí)行輔助動作。當(dāng)動作的類別相同時，根據(jù)放入沖突集合的先后順序執(zhí)行。

3 聯(lián)鎖系統(tǒng)舉例

因總數(shù)據(jù)庫涉及到的信息較多，限于篇幅這里不描述。下面以排列進(jìn)路為例，詳細(xì)介紹規(guī)則庫的定義和控制策略執(zhí)行流程。

3.1 定義規(guī)則庫

首先，定義排列進(jìn)路的主要動作，列出所有行為，如表1所示。

表1中將“稍后改變”的行為標(biāo)注為，有先后關(guān)系的行為標(biāo)注為。根據(jù)2.1節(jié)規(guī)則需要將部分行為定義成輔助動作，如表2所示。

表1 主要動作

表2 主要動作和輔助動作

在表2中標(biāo)注（I）的為主要動作，標(biāo)注①-④的為輔助動作。

3.2 控制策略說明

聯(lián)鎖軟件啟動，初始化聯(lián)鎖總數(shù)據(jù)庫中所有元素的屬性信息。

假設(shè)聯(lián)鎖系統(tǒng)收到排列進(jìn)路號為R的排路命令，此時該進(jìn)路的狀態(tài)屬性為空閑，進(jìn)路中元素的狀態(tài)屬性為空閑，其中有一組道岔的位置不正確，側(cè)防元素的狀態(tài)為空閑，同樣有一組道岔位置不正確。

處理流程如下：

（1）收到排路命令，對排列進(jìn)路R執(zhí)行監(jiān)控。

（2）設(shè)備狀態(tài)屬性的采集在不斷進(jìn)行，每次采集后，檢查一遍規(guī)則庫。此時，發(fā)現(xiàn)“①進(jìn)路征用”規(guī)則可以執(zhí)行。將其放入沖突集合，因為此時沖突集合中只有一個規(guī)則，便將其取出執(zhí)行。

（3）繼續(xù)檢查規(guī)則庫，發(fā)現(xiàn)“②進(jìn)路道岔位置調(diào)整”、“③側(cè)防道岔位置調(diào)整”2個規(guī)則可以執(zhí)行，便將它們放入沖突集合。從沖突集合中取出一個規(guī)則，根據(jù)放入的先后順序取出執(zhí)行。一般控制策略設(shè)計成優(yōu)先取出“②進(jìn)路道岔位置調(diào)整”規(guī)則。

（4）該規(guī)則執(zhí)行后，繼續(xù)檢查規(guī)則庫，沒找到可以執(zhí)行的規(guī)則。從沖突集合中取出“③側(cè)防道岔位置調(diào)整”規(guī)則執(zhí)行。

（5）經(jīng)過一定時間后，進(jìn)路中的道岔和側(cè)防中的道岔轉(zhuǎn)換到位。這時，設(shè)備狀態(tài)采集之后，檢查規(guī)則庫，發(fā)現(xiàn)“④進(jìn)路鎖閉”規(guī)則可以繼續(xù)執(zhí)行。

（6）接著執(zhí)行“⑤開放信號機”規(guī)則。

（7）經(jīng)過一定時間信號機被點亮，遍歷規(guī)則庫“（I）排列進(jìn)路”規(guī)則被執(zhí)行，此時結(jié)束對排列進(jìn)路R的監(jiān)控，返回執(zhí)行結(jié)果。

產(chǎn)生式系統(tǒng)具有自然直觀，便于推理，格式清晰，設(shè)計和檢測方便等優(yōu)點。采用該技術(shù)開發(fā)計算機聯(lián)鎖軟件，可以在開發(fā)前期將邏輯關(guān)系制定出來，便于早期評審確定，有利于問題早發(fā)現(xiàn)早解決；一旦邏輯關(guān)系確定，設(shè)計和開發(fā)聯(lián)鎖總數(shù)據(jù)庫和控制策略也會相對容易，從而提高了開發(fā)效率，縮短了開發(fā)周期。