[發(fā)明專利]基于有向無環(huán)圖和拓撲排序的自動化測評方法與系統(tǒng)

有效

• 申請?zhí)枺?/td>: 201610195271.6
• 申請日: 2016-03-30
• 公開（公告）號: CN107292464B
• 公開（公告）日: 2020-09-29
• 發(fā)明（設計）人: 俞昊然;楊博洋;楊斌
• 申請（專利權）人: 北京矩道優(yōu)達網絡科技有限公司
• 主分類號: G06Q10/06
• 分類號: G06Q10/06;G09B7/00
• 代理公司: 北京君尚知識產權代理有限公司 11200
• 代理人: 邱曉鋒

1.一種基于有向無環(huán)圖和拓撲排序的自動化測評方法，其特征在于，包括以下步驟：

1)生成在邏輯證明過程中所涉及的邏輯節(jié)點、邏輯節(jié)點間關系及干擾項，并存儲；

2)將邏輯節(jié)點作為圖結構中的若干頂點，將邏輯節(jié)點間指向關系作為圖結構中連接頂點的若干條有向邊，構成有向無環(huán)圖，將該有向無環(huán)圖進行拓撲排序，產生至少一個正確解的序列，作為解集；

3)從存儲的邏輯節(jié)點和對應的干擾項中選取出具有一定混淆度的數據，展現給使用者并等待使用者提交排序后的結果序列；

4)獲取使用者提交的結果序列，使用該結果序列與解集中的解進行遍歷比對，并將最終結果返回；

其中，步驟1)采用下列方法中的一種或多種生成所述干擾項：第一種方法為數字波動，將邏輯節(jié)點中的數字內容進行一定范圍的調整；第二種方法為運算符號波動，將邏輯節(jié)點中的運算符號內容進行調整；第三種方法為謂詞邏輯變更，根據邏輯節(jié)點中的內容，將任意邏輯條件調整為存在邏輯條件，或將存在邏輯條件調整為任意邏輯條件；第四種方法為否定邏輯變更，將原有邏輯節(jié)點內容調整為否定邏輯；第五種方法為逆命題邏輯變更，將原有邏輯節(jié)點內容中的條件與結論置換，調整為根據結論推導出條件的邏輯；

其中，步驟4)包括如下子步驟：

a)獲取步驟1)所產生的邏輯節(jié)點、邏輯節(jié)點間關系及干擾項，將其進行分組整理，供后面的步驟使用；

b)當接收到使用者提交的結果序列信息時，先對該序列所包含的信息進行簡單分析，如果該序列中包含步驟a)中的干擾項分組的元素，則視為錯誤解，將錯誤信息返回；否則，繼續(xù)檢測該結果序列是否為正確的解；

c)將步驟b)中的結果序列與步驟2)中的解集進行遍歷匹配，如果結果序列存在于解集中，即結果序列為正確解，返回正確的提示信息；否則，返回錯誤的提示信息。

2.一種采用權利要求1所述方法的基于有向無環(huán)圖和拓撲排序的自動化測評系統(tǒng)，其特征在于，包括信息生成子系統(tǒng)、前臺交互子系統(tǒng)和邏輯驗證子系統(tǒng)；所述信息生成子系統(tǒng)生成在邏輯證明過程中所涉及的邏輯節(jié)點、邏輯節(jié)點間關系及干擾項目，對于生成的信息進行有效性校驗，并將其發(fā)送至前臺交互子系統(tǒng)；所述前臺交互子系統(tǒng)接收并響應使用者在交互過程中產生的結果序列，并將結果序列發(fā)送至邏輯驗證子系統(tǒng)，并顯示邏輯驗證子系統(tǒng)的反饋信息；所述邏輯驗證子系統(tǒng)分析信息生成子系統(tǒng)所產生的邏輯節(jié)點和邏輯節(jié)點間關系，生成有效解的集合，作為解集，然后根據前臺交互子系統(tǒng)提交的結果序列，匹配并驗證該結果序列是否為有效解，之后將檢測結果返回到前臺交互子系統(tǒng)。

3.如權利要求2所述的系統(tǒng)，其特征在于，所述信息生成子系統(tǒng)包括：

邏輯節(jié)點生成模塊，用于添加邏輯節(jié)點中的信息，并將所有生成的邏輯節(jié)點發(fā)送到干擾項生成模塊、邏輯節(jié)點關系生成模塊以及前臺交互子系統(tǒng)的邏輯節(jié)點篩選模塊；

干擾項生成模塊，獲取邏輯節(jié)點生成模塊中的信息，并根據該信息自動生成一系列干擾項供使用者選擇；或者使用者直接添加新的干擾項；之后將確定生成的干擾項信息發(fā)送到前臺交互子系統(tǒng)的邏輯節(jié)點篩選模塊；

邏輯節(jié)點關系生成模塊，為邏輯節(jié)點生成模塊中產生的邏輯節(jié)點添加指向關系，并將該指向關系發(fā)送到邏輯節(jié)點與節(jié)點關系檢驗模塊；

邏輯節(jié)點及節(jié)點關系檢驗模塊，根據邏輯節(jié)點生成模塊和邏輯節(jié)點關系生成模塊產生的信息，將邏輯節(jié)點視為圖結構中的頂點，同時將邏輯節(jié)點關系視為圖結構中的有向邊，然后檢驗該圖是否符合有向無環(huán)圖的條件。

4.如權利要求3所述的系統(tǒng)，其特征在于，所述干擾項生成模塊采用下列方法中的一種或多種生成干擾項：第一種方法為數字波動，將邏輯節(jié)點中的數字內容進行一定范圍的調整；第二種方法為運算符號波動，將邏輯節(jié)點中的運算符號內容進行調整；第三種方法為謂詞邏輯變更，根據邏輯節(jié)點中的內容，將任意邏輯條件調整為存在邏輯條件，或將存在邏輯條件調整為任意邏輯條件；第四種方法為否定邏輯變更，將原有邏輯節(jié)點內容調整為否定邏輯；第五種方法為逆命題邏輯變更，將原有邏輯節(jié)點內容中的條件與結論置換，調整為根據結論推導出條件的邏輯。