專利名稱：一種主動(dòng)規(guī)則集終止性判定方法
技術(shù)領(lǐng)域：
本發(fā)明涉及數(shù)據(jù)庫(kù)理論及應(yīng)用領(lǐng)域，特別涉及主動(dòng)規(guī)則集終止性判定。
背景技術(shù)：
目前，主動(dòng)規(guī)則集終止性判定方法主要有靜態(tài)分析和動(dòng)態(tài)檢測(cè)。靜態(tài)分析方法分 析規(guī)則之間可能的觸發(fā)關(guān)系，分析是否存在觸發(fā)環(huán)路，從而推斷是否會(huì)發(fā)生不終止情況，如 果可能發(fā)生不終止情況，進(jìn)一步檢查和修改規(guī)則的定義；動(dòng)態(tài)檢測(cè)方法在運(yùn)行時(shí)檢測(cè)規(guī)則 的觸發(fā)行為，發(fā)現(xiàn)觸發(fā)環(huán)路，并判斷環(huán)路上規(guī)則是否會(huì)無限的觸發(fā)下去，并報(bào)告可能無限觸 發(fā)的情況。靜態(tài)分析判斷結(jié)果通常是保守的，誤報(bào)率較高，如何減少誤報(bào)率是值得深入研究 的問題?，F(xiàn)有靜態(tài)分析方法沒有考慮規(guī)則的條件是復(fù)合條件的情況。一個(gè)規(guī)則的動(dòng)作可通 過對(duì)另一個(gè)規(guī)則的一個(gè)子條件的惰化得到對(duì)整個(gè)規(guī)則條件的惰化，從而形成一條惰化邊， 而一個(gè)規(guī)則的動(dòng)作對(duì)另一個(gè)規(guī)則的活化則要通過對(duì)所有規(guī)則的活化來實(shí)現(xiàn)對(duì)整個(gè)規(guī)則的 活化，從而形成一條活化邊。很有可能出現(xiàn)一個(gè)規(guī)則rl通過惰化另一個(gè)規(guī)則r2的一個(gè)子 條件cl而形成一條惰化邊，而在rl后面被觸發(fā)的規(guī)則r3活化了 r2的子條件cl，因?yàn)閞3 沒有活化r2所有的子條件，所以不能形成活化邊，所以按現(xiàn)有方法基于觸發(fā)圖、活化圖和 惰化圖判定為可終止，而實(shí)際上不終止。動(dòng)態(tài)策略在確定真正不終止的情況下，必須強(qiáng)制停止環(huán)路上某些規(guī)則的執(zhí)行，由 于規(guī)則循環(huán)觸發(fā)已經(jīng)發(fā)生，必然造成語義缺損。

發(fā)明內(nèi)容
本發(fā)明是為減少靜態(tài)分析方法的誤報(bào)率，提出一種主動(dòng)規(guī)則集終止性判定方法。 判定主動(dòng)規(guī)則集的終止性算法比現(xiàn)有方法發(fā)現(xiàn)更多的無限循環(huán)的情況。該主動(dòng)規(guī)則集終止性判定方法，根據(jù)復(fù)合條件分解圖判定主動(dòng)規(guī)則集終止性，判 定方法包括判斷該復(fù)合條件分解圖是否存在惰化邊，當(dāng)判斷結(jié)果為否，則主動(dòng)規(guī)則集為無 限循環(huán)；當(dāng)判斷結(jié)果為是，則確定該惰化邊的數(shù)值，當(dāng)該惰化邊數(shù)大于1或者等于1，則該主 動(dòng)規(guī)則集終止，當(dāng)惰化邊數(shù)小于1，則該主動(dòng)規(guī)則集無限循環(huán)。優(yōu)選地，該復(fù)合條件分解圖包括復(fù)合條件活化圖和復(fù)合條件惰化圖。優(yōu)選地，該復(fù)合條件分解圖中的復(fù)合條件滿足該主動(dòng)規(guī)則集的條件是多個(gè)條件的 邏輯與運(yùn)算表達(dá)式。優(yōu)選地，在該主動(dòng)規(guī)則集上的復(fù)合條件活化圖是由<R，CCAE>構(gòu)成的有向圖；其中，R為任意主動(dòng)規(guī)則集，r e R表示規(guī)則結(jié)點(diǎn)，r的條件是由k個(gè)子條件組成的 復(fù)合條件，其中，1是有限正整數(shù)；ri表示第一規(guī)則，rj表示第二規(guī)則，有向邊(ri，rj) e CCAE表示ri的執(zhí)行使r j 的第m個(gè)子條件為真，其中，l^m^k,子條件活化邊用點(diǎn)劃線表示，并在邊上標(biāo)明活化的 子條件序號(hào)，如果活化全部子條件省略條件序號(hào)。
優(yōu)選地，在該主動(dòng)規(guī)則集上的復(fù)合條件惰化圖是由<R'，(XDE>構(gòu)成的有向圖；其中，R'為任意主動(dòng)規(guī)則集，r' e R'表示規(guī)則結(jié)點(diǎn)，r'的條件是由k'個(gè)子條 件組成的復(fù)合條件，其中，Kk' Sn，η是有限正整數(shù)；ri'表示第三規(guī)則，ri'表示第四規(guī)則，有向邊(ri ‘ ,rj' )e(XDE表示ri'的 執(zhí)行使ri'的第m'個(gè)子條件為假，其中，Km' ^k'，子條件惰化邊用雙虛線表示，并在 邊上標(biāo)明惰化的子條件序號(hào)，如果惰化全部子條件省略條件序號(hào)。優(yōu)選地，該主動(dòng)規(guī)則集終止性判定方法對(duì)應(yīng)的計(jì)算機(jī)語言為判定主動(dòng)規(guī)則集終止性 的算法，所述算法的步驟包括建立主動(dòng)規(guī)則集的觸發(fā)圖、復(fù)合條件活化圖和復(fù)合條件惰化圖， 刪除不在任何觸發(fā)環(huán)中或者不能被任何觸發(fā)環(huán)觸發(fā)可達(dá)的結(jié)點(diǎn)；如果沒有觸發(fā)環(huán)，主動(dòng)規(guī)則集 判斷為終止，如果有觸發(fā)環(huán)，記錄子條件惰化邊終點(diǎn)規(guī)則被惰化的子條件序號(hào)；如果有子條件 活化邊指向該規(guī)則，記錄該規(guī)則被活化的子條件序號(hào)；如果活化發(fā)生在惰化后并且該被惰化的 子條件序號(hào)與該被活化的子條件序號(hào)相等，刪除被惰化的子條件序號(hào)的子條件惰化邊；如果圖 中惰化邊數(shù)大于1或者等于1，則該主動(dòng)規(guī)則集終止，否則，該主動(dòng)規(guī)則集無限循環(huán)。本發(fā)明還提出了一種主動(dòng)規(guī)則集終止性判定系統(tǒng)，包括復(fù)合條件活化單元、復(fù)合 條件惰化單元、判定單元、信號(hào)單元，該復(fù)合條件活化單元與復(fù)合條件惰化單元進(jìn)行交互生 成信號(hào)輸入判定單元，該判定單元對(duì)主動(dòng)規(guī)則集終止性進(jìn)行判斷，將判斷信號(hào)輸入信號(hào)單 元，由該信號(hào)單元顯示主動(dòng)規(guī)則集終止性判斷結(jié)果。優(yōu)選地，該復(fù)合條件活化單元生成復(fù)合條件活化圖，該復(fù)合條件惰化單元生成復(fù) 合條件惰化圖，該復(fù)合條件活化圖與復(fù)合條件惰化圖包括在復(fù)合條件分解圖中。優(yōu)選地，該判定單元的判定方法包括判斷該復(fù)合條件分解圖是否存在惰化邊，當(dāng) 判斷結(jié)果為否，則主動(dòng)規(guī)則集為無限循環(huán)；當(dāng)判斷結(jié)果為是，則確定該惰化邊的數(shù)值，當(dāng)該 惰化邊數(shù)大于1或者等于1，則該主動(dòng)規(guī)則集終止，當(dāng)該惰化邊數(shù)小于1，則該主動(dòng)規(guī)則集無 限循環(huán)。本發(fā)明基于復(fù)合條件活化圖和復(fù)合條件惰化圖，給出了基于復(fù)合條件分解圖判定 主動(dòng)規(guī)則集終止性的方法。該方法充分考慮一個(gè)規(guī)則的執(zhí)行對(duì)其他規(guī)則的子條件的影響， 用現(xiàn)有方法判定為可終止的主動(dòng)規(guī)則集，使用該方法進(jìn)行進(jìn)一步判定后可確定為無限循 環(huán)，提高了主動(dòng)規(guī)則集判定的準(zhǔn)確性。本發(fā)明還提出了一種主動(dòng)規(guī)則集終止性判定系統(tǒng)，通過該系統(tǒng)的信息傳輸可以對(duì) 主動(dòng)規(guī)則集的終止性做判定，使用該主動(dòng)規(guī)則集終止性判定系統(tǒng)能提高主動(dòng)規(guī)則集判定的 準(zhǔn)確性。


參照附圖閱讀了本發(fā)明的具體實(shí)施方式
以后，將會(huì)更清楚地了解本發(fā)明的各個(gè)方 面。其中，圖1為主動(dòng)規(guī)則集終止性判定系統(tǒng)模塊結(jié)構(gòu)圖；以及圖2為定義的四個(gè)規(guī)則所對(duì)應(yīng)的觸發(fā)圖、復(fù)合條件活化圖和復(fù)合條件惰化圖。
具體實(shí)施例方式下面參照附圖，對(duì)本發(fā)明的具體實(shí)施方式
作進(jìn)一步的詳細(xì)描述。在整個(gè)描述中，相同的附圖標(biāo)記表示相同的部件。本發(fā)明提出的主動(dòng)規(guī)則集終止性判定方法，充分考慮規(guī)則的條件是復(fù)合條件的情 況。該方法充分考慮一個(gè)規(guī)則的執(zhí)行對(duì)其他規(guī)則的子條件的影響，用現(xiàn)有方法判定為可終 止的主動(dòng)規(guī)則集，使用該方法進(jìn)行進(jìn)一步判定后可確定為無限循環(huán)，提高了主動(dòng)規(guī)則集判 定的準(zhǔn)確性。另外，基于主動(dòng)規(guī)則集終止性判定方法提出的主動(dòng)規(guī)則集終止性判定系統(tǒng)，可 以通過該系統(tǒng)的信息傳輸對(duì)主動(dòng)規(guī)則集的終止性做判定，使用該主動(dòng)規(guī)則集終止性判定系 統(tǒng)能提高主動(dòng)規(guī)則集判定的準(zhǔn)確性。該主動(dòng)規(guī)則集終止性判定方法，根據(jù)復(fù)合條件分解圖判定主動(dòng)規(guī)則集終止性，判 定方法包括判斷該復(fù)合條件分解圖是否存在惰化邊，當(dāng)判斷結(jié)果為否，則主動(dòng)規(guī)則集為無 限循環(huán)；當(dāng)判斷結(jié)果為是，則確定該惰化邊的數(shù)值，當(dāng)該惰化邊數(shù)大于1或者等于1，則該主 動(dòng)規(guī)則集終止，當(dāng)惰化邊數(shù)小于1，則該主動(dòng)規(guī)則集無限循環(huán)。如果主動(dòng)規(guī)則的條件是多個(gè)條件的邏輯與運(yùn)算表達(dá)式，則該規(guī)則的條件是復(fù)合條 件，組成復(fù)合條件的每個(gè)條件為子條件。復(fù)合條件分解圖包括復(fù)合條件活化圖和復(fù)合條件惰化圖。復(fù)合條件分解圖中的復(fù) 合條件滿足該主動(dòng)規(guī)則集的條件是多個(gè)條件的邏輯與運(yùn)算表達(dá)式。在該主動(dòng)規(guī)則集上的復(fù)合條件活化圖是由<R，CCAE>構(gòu)成的有向圖；其中，R為 任意主動(dòng)規(guī)則集，r e R表示規(guī)則結(jié)點(diǎn)，r的條件是由k個(gè)子條件組成的復(fù)合條件，其中， l^k^n, η是有限正整數(shù)；ri表示第一規(guī)則，rj表示第二規(guī)則，有向邊(ri，rj) e CCAE 表示ri的執(zhí)行使rj的第m個(gè)子條件為真，其中，1 <m<k，子條件活化邊用點(diǎn)劃線表示， 并在邊上標(biāo)明活化的子條件序號(hào)，如果活化全部子條件省略條件序號(hào)。在主動(dòng)規(guī)則集上的復(fù)合條件惰化圖是由<R'，(XDE>構(gòu)成的有向圖；其中，R'為 任意主動(dòng)規(guī)則集，r' e R'表示規(guī)則結(jié)點(diǎn)，r'的條件是由k'個(gè)子條件組成的復(fù)合條件， 其中，Kk' <n，n是有限正整數(shù)；ri'表示第三規(guī)則，ri'表示第四規(guī)則，有向邊(ri ‘， rj' ) e(XDE表示ri'的執(zhí)行使ri'的第m'個(gè)子條件為假，其中，1 < m' ^k'，子條 件惰化邊用雙虛線表示，并在邊上標(biāo)明惰化的子條件序號(hào)，如果惰化全部子條件省略條件 序號(hào)。圖1為主動(dòng)規(guī)則集終止性判定系統(tǒng)模塊結(jié)構(gòu)圖。參照?qǐng)D1，基于主動(dòng)規(guī)則集終止性 判定方法的主動(dòng)規(guī)則集終止性判定系統(tǒng)100，包括復(fù)合條件活化單元101、復(fù)合條件惰化 單元102、判定單元103以及信號(hào)單元104，該復(fù)合條件活化單元101與復(fù)合條件惰化單元 102進(jìn)行交互生成信號(hào)輸入判定單元103，該判定單元103對(duì)主動(dòng)規(guī)則集終止性進(jìn)行判斷， 將判斷信號(hào)輸入信號(hào)單元104，由該信號(hào)單元104顯示主動(dòng)規(guī)則集終止性判斷結(jié)果。該復(fù)合條件活化單元101生成復(fù)合條件活化圖，該復(fù)合條件惰化單元102生成復(fù) 合條件惰化圖，該復(fù)合條件活化圖與復(fù)合條件惰化圖包括在復(fù)合條件分解圖中。該判定單元103的判定方法包括判斷該復(fù)合條件分解圖是否存在惰化邊，當(dāng)判 斷結(jié)果為否，則主動(dòng)規(guī)則集為無限循環(huán)；當(dāng)判斷結(jié)果為是，則確定該惰化邊的數(shù)值，當(dāng)該惰 化邊數(shù)大于1或者等于1，則該主動(dòng)規(guī)則集終止，當(dāng)該惰化邊數(shù)小于1，則該主動(dòng)規(guī)則集無限 循環(huán)。圖2為定義的四個(gè)規(guī)則所對(duì)應(yīng)的觸發(fā)圖、復(fù)合條件活化圖和復(fù)合條件惰化圖。參 照?qǐng)D2，第一規(guī)則201表示當(dāng)更新規(guī)則集R中的一個(gè)子集a時(shí)，如果滿足條件b = 1，則將0
6賦值給條件b，將1賦值給條件c，將1賦值給條件e ；第二規(guī)則202表示當(dāng)更新規(guī)則集R中 的一個(gè)子集b時(shí)，如果滿足條件c = 1，則將0賦值給條件c，將0賦值給條件d ；第三規(guī)則 203表示當(dāng)更新規(guī)則集R中的一個(gè)子集d時(shí)，如果滿足條件c = 0并且e = 1，則將0賦值 給條件e，將0賦值給條件f，將1賦值給條件a，將1賦值給條件b ；第四規(guī)則204表示當(dāng)更 新規(guī)則集R中的一個(gè)子集f時(shí)，如果滿足條件f = 0，則將1賦值給條件g。根據(jù)第一規(guī)則201、第二規(guī)則202、第三規(guī)則203、第四規(guī)則204的定義，第一規(guī)則 201的執(zhí)行結(jié)果中的將1賦值給條件c滿足第二規(guī)則202的條件c = 1，第一規(guī)則201的執(zhí) 行結(jié)果中的將1賦值給條件e以及第二規(guī)則202的執(zhí)行結(jié)果中的將0賦值給條件c滿足第 三規(guī)則203的條件c = 0并且e = 1，第三規(guī)則203的執(zhí)行結(jié)果中的將0賦值給條件f滿足 第四規(guī)則204的條件f = 0。第一規(guī)則201、第二規(guī)則202、第三規(guī)則203、第四規(guī)則204形 成一個(gè)觸發(fā)環(huán)，該觸發(fā)環(huán)[[第一規(guī)則201，第二規(guī)則202，第三規(guī)則203]]有兩個(gè)執(zhí)行序列， 分別是 第一規(guī)則201，第二規(guī)則202，第三規(guī)則203 和 第一規(guī)則201，第二規(guī)則202， 第三規(guī)則203，第四規(guī)則204》，第三規(guī)則203的第1個(gè)子條件被第一規(guī)則201惰化，同時(shí)第 三規(guī)則203的第2個(gè)子條件被第一規(guī)則201活化，第三規(guī)則203的第1個(gè)子條件被第二規(guī) 則202活化。對(duì)于觸發(fā)環(huán)[[第一規(guī)則201，第二規(guī)則202，第三規(guī)則203]]的兩個(gè)執(zhí)行序列 第一規(guī)則201，第二規(guī)則202，第三規(guī)則203 和 << 第一規(guī)則201，第二規(guī)則202，第三規(guī) 則203，第四規(guī)則204》，第一規(guī)則201惰化第三規(guī)則203的第1個(gè)子條件總是發(fā)生在被第 二規(guī)則202活化前，也就是說第三規(guī)則203的第1個(gè)子條件在被觸發(fā)時(shí)已經(jīng)為真，而第三規(guī) 則203的第2個(gè)子條件被第一規(guī)則201活化后沒有被更新，仍然為真，即第三規(guī)則203被觸 發(fā)時(shí)它的2個(gè)子條件都為真，那么第三規(guī)則203可以執(zhí)行它的動(dòng)作觸發(fā)第一規(guī)則201，從而 構(gòu)成循環(huán)，觸發(fā)環(huán)[[第一規(guī)則201，第二規(guī)則202，第三規(guī)則203]]可能無限循環(huán)下去，從而 判定圖2的主動(dòng)規(guī)則集是無限循環(huán)的。該方法充分考慮一個(gè)規(guī)則的執(zhí)行對(duì)其他規(guī)則的子條 件的影響，用現(xiàn)有方法判定為可終止的主動(dòng)規(guī)則集，使用該方法進(jìn)行進(jìn)一步判定后可確定 為無限循環(huán)，提高了主動(dòng)規(guī)則集判定的準(zhǔn)確性。將基于復(fù)合條件分解圖判定主動(dòng)規(guī)則集終止性的方法運(yùn)用于計(jì)算機(jī)，提出相應(yīng)的 判定規(guī)則集終止性的算法，該算法的步驟包括建立主動(dòng)規(guī)則集的觸發(fā)圖、復(fù)合條件活化圖 和復(fù)合條件惰化圖，刪除不在任何觸發(fā)環(huán)中或者不能被任何觸發(fā)環(huán)觸發(fā)可達(dá)的結(jié)點(diǎn)；如果 沒有觸發(fā)環(huán)，主動(dòng)規(guī)則集判斷為終止，如果有觸發(fā)環(huán)，記錄子條件惰化邊終點(diǎn)規(guī)則被惰化的 子條件序號(hào)；如果有子條件活化邊指向該規(guī)則，記錄該規(guī)則被活化的子條件序號(hào)；如果活 化發(fā)生在惰化后并且該被惰化的子條件序號(hào)與該被活化的子條件序號(hào)相等，刪除被惰化的 子條件序號(hào)的子條件惰化邊；如果圖中惰化邊數(shù)大于1或者等于1，則該主動(dòng)規(guī)則集終止， 否則，該主動(dòng)規(guī)則集無限循環(huán)。按照判定規(guī)則集終止性算法的步驟，判定圖2中的主動(dòng)規(guī)則集終止性，子條件惰化 邊終點(diǎn)規(guī)則為第三規(guī)則203，惰化條件序號(hào)為1，有子條件活化邊指向第三規(guī)則203，活化條件 序號(hào)為1，惰化條件序號(hào)與活化條件序號(hào)相等，活化發(fā)生在惰化后，所以刪除第一規(guī)則201到 第三規(guī)則203的子條件惰化邊，圖1中惰化邊數(shù)為0，判定圖1的主動(dòng)規(guī)則集是無限循環(huán)的。上文中，參照附圖描述了本發(fā)明的具體實(shí)施方式
。但是，本領(lǐng)域中的普通技術(shù)人員 能夠理解，在不偏離本發(fā)明的精神和范圍的情況下，還可以對(duì)本發(fā)明的具體實(shí)施方式
作各 種變更和替換。這些變更和替換都落在本發(fā)明權(quán)利要求書所限定的范圍內(nèi)。
權(quán)利要求
一種主動(dòng)規(guī)則集終止性判定方法，其特征在于，根據(jù)復(fù)合條件分解圖判定主動(dòng)規(guī)則集終止性，所述判定方法包括判斷所述復(fù)合條件分解圖是否存在惰化邊，當(dāng)判斷結(jié)果為否，則主動(dòng)規(guī)則集為無限循環(huán)；當(dāng)判斷結(jié)果為是，則確定所述惰化邊的數(shù)值，當(dāng)所述惰化邊數(shù)大于1或者等于1，則所述主動(dòng)規(guī)則集終止，當(dāng)所述惰化邊數(shù)小于1，則所述主動(dòng)規(guī)則集無限循環(huán)。
2.根據(jù)權(quán)利要求1所述的主動(dòng)規(guī)則集終止性判定方法，其特征在于，所述復(fù)合條件分 解圖包括所述復(fù)合條件活化圖和所述復(fù)合條件惰化圖。
3.根據(jù)權(quán)利要求1或2所述的主動(dòng)規(guī)則集終止性判定方法，其特征在于，所述復(fù)合條件 分解圖中的復(fù)合條件滿足所述主動(dòng)規(guī)則集的條件是多個(gè)條件的邏輯與運(yùn)算表達(dá)式。
4.根據(jù)權(quán)利要求2所述的主動(dòng)規(guī)則集終止性判定方法，其特征在于，在所述主動(dòng)規(guī)則 集上的所述復(fù)合條件活化圖是由<R，CCAE>構(gòu)成的有向圖，其中，R為任意主動(dòng)規(guī)則集，r e R表示規(guī)則結(jié)點(diǎn)，r的條件是由k個(gè)子條件組成的復(fù)合 條件，其中，1是有限正整數(shù)；ri表示第一規(guī)則，rj表示第二規(guī)則，有向邊(ri，rj) e CCAE表示ri的執(zhí)行使rj的 第m個(gè)子條件為真，其中，1 ^m^k,子條件活化邊用點(diǎn)劃線表示，并在邊上標(biāo)明活化的子 條件序號(hào)，如果活化全部子條件省略條件序號(hào)。
5.根據(jù)權(quán)利要求2所述的主動(dòng)規(guī)則集終止性判定方法，其特征在于，在所述主動(dòng)規(guī)則 集上的所述復(fù)合條件惰化圖是由<R'，(XDE>構(gòu)成的有向圖，其中，R'為任意主動(dòng)規(guī)則集，r' e R'表示規(guī)則結(jié)點(diǎn)，r'的條件是由k'個(gè)子條件組 成的復(fù)合條件，其中，Kk' Sn，η是有限正整數(shù)；ri'表示第三規(guī)則，ri'表示第四規(guī)則，有向邊(ri' ,rj' )e(XDE表示ri'的執(zhí)行 使ri'的第m'個(gè)子條件為假，其中，Km' ^k'，子條件惰化邊用雙虛線表示，并在邊上 標(biāo)明惰化的子條件序號(hào)，如果惰化全部子條件省略條件序號(hào)。
6.根據(jù)權(quán)利要求2所述的主動(dòng)規(guī)則集終止性判定方法，其特征在于，所述主動(dòng)規(guī)則集 終止性判定方法對(duì)應(yīng)的計(jì)算機(jī)語言為判定主動(dòng)規(guī)則集終止性的算法，所述算法的步驟包 括a.建立所述主動(dòng)規(guī)則集的觸發(fā)圖、復(fù)合條件活化圖和復(fù)合條件惰化圖，刪除不在任何 觸發(fā)環(huán)中或者不能被任何觸發(fā)環(huán)觸發(fā)可達(dá)的結(jié)點(diǎn)；b.如果沒有觸發(fā)環(huán)，所述主動(dòng)規(guī)則集判斷為終止；c.如果有觸發(fā)環(huán)，記錄子條件惰化邊終點(diǎn)規(guī)則被惰化的子條件序號(hào)；d.如果有子條件活化邊指向所述規(guī)則，記錄所述規(guī)則被活化的子條件序號(hào)；e.如果活化發(fā)生在惰化后并且所述被惰化的子條件序號(hào)與所述被活化的子條件序號(hào) 相等，刪除所述被惰化的子條件序號(hào)的子條件惰化邊；f.如果圖中惰化邊數(shù)大于1或者等于1，所述主動(dòng)規(guī)則集終止，否則，所述主動(dòng)規(guī)則集 無限循環(huán)。
7.—種主動(dòng)規(guī)則集終止性判定系統(tǒng)，其特征在于，包括復(fù)合條件活化單元、復(fù)合條件 惰化單元、判定單元、信號(hào)單元，所述復(fù)合條件活化單元與所述復(fù)合條件惰化單元進(jìn)行交互 生成信號(hào)輸入所述判定單元，所述判定單元對(duì)主動(dòng)規(guī)則集終止性進(jìn)行判斷，將判斷信號(hào)輸 入信號(hào)單元，由所述信號(hào)單元顯示主動(dòng)規(guī)則集終止性判斷結(jié)果。
8.根據(jù)權(quán)利要求7所述的主動(dòng)規(guī)則集終止性判定系統(tǒng)，其特征在于，所述復(fù)合條件活 化單元生成復(fù)合條件活化圖，所述復(fù)合條件惰化單元生成復(fù)合條件惰化圖，所述復(fù)合條件 活化圖與所述復(fù)合條件惰化圖包括在復(fù)合條件分解圖中。
9.根據(jù)權(quán)利要求7或8所述的主動(dòng)規(guī)則集終止性判定系統(tǒng)，其特征在于，所述判定單元 的判定方法包括判斷所述復(fù)合條件分解圖是否存在惰化邊，當(dāng)判斷結(jié)果為否，則主動(dòng)規(guī)則 集為無限循環(huán)；當(dāng)判斷結(jié)果為是，則確定所述惰化邊的數(shù)值，當(dāng)所述惰化邊數(shù)大于1或者等 于1，則所述主動(dòng)規(guī)則集終止，當(dāng)所述惰化邊數(shù)小于1，則所述主動(dòng)規(guī)則集無限循環(huán)。
全文摘要
本發(fā)明提出了主動(dòng)規(guī)則集終止性判定方法，根據(jù)復(fù)合條件分解圖判定主動(dòng)規(guī)則集終止性，判定方法包括判斷復(fù)合條件分解圖是否存在惰化邊，當(dāng)判斷結(jié)果為否，主動(dòng)規(guī)則集為無限循環(huán)；當(dāng)判斷結(jié)果為是，則確定惰化邊的數(shù)值，當(dāng)惰化邊數(shù)大于1或者等于1，主動(dòng)規(guī)則集終止，當(dāng)惰化邊數(shù)小于1，主動(dòng)規(guī)則集無限循環(huán)。本發(fā)明還提供主動(dòng)規(guī)則集終止性判定系統(tǒng)，包括復(fù)合條件活化單元、復(fù)合條件惰化單元、判定單元、信號(hào)單元，判定單元對(duì)主動(dòng)規(guī)則集終止性進(jìn)行判斷，將判斷信號(hào)輸入信號(hào)單元。本發(fā)明充分考慮一個(gè)規(guī)則的執(zhí)行對(duì)其他規(guī)則的子條件的影響，用現(xiàn)有方法判定為可終止的主動(dòng)規(guī)則集，使用本發(fā)明進(jìn)行判定后可確定為無限循環(huán)，提高了主動(dòng)規(guī)則集判定的準(zhǔn)確性。
文檔編號(hào)G06F17/30GK101950292SQ20101025264
公開日2011年1月19日 申請(qǐng)日期2010年8月13日 優(yōu)先權(quán)日2010年8月13日
發(fā)明者劉泓漫, 辜碧容, 閆俊英 申請(qǐng)人:上海電機(jī)學(xué)院