基于有向無環(huán)圖和拓撲排序的自動化測評方法與系統(tǒng)
基本信息
| 申請?zhí)?/td> | CN201610195271.6 | 申請日 | - |
| 公開（公告）號 | CN107292464B | 公開（公告）日 | 2017-10-24 |
| 申請公布號 | CN107292464B | 申請公布日 | 2017-10-24 |
| 分類號 | G06Q10/06(2012.01)I;G09B7/00(2006.01)I | 分類 | 計算；推算；計數(shù); |
| 發(fā)明人 | 俞昊然;楊博洋;楊斌 | 申請（專利權）人 | 北京矩道優(yōu)達網(wǎng)絡科技有限公司 |
| 代理機構 | 北京君尚知識產權代理有限公司 | 代理人 | 北京矩道優(yōu)達網(wǎng)絡科技有限公司 |
| 地址 | 100080北京市海淀區(qū)蘇州街18號院長遠天地A1-1204 | ||
| 法律狀態(tài) | - | ||
摘要
| 摘要 | 本發(fā)明涉及一種基于有向無環(huán)圖和拓撲排序的自動化測評方法與系統(tǒng)。該方法將邏輯節(jié)點和邏輯節(jié)點間指向關系構成有向無環(huán)圖，將有向無環(huán)圖進行拓撲排序，產生解集；將使用者提交的結果序列與解集中的解進行遍歷比對，獲得最終結果。該系統(tǒng)包括信息生成子系統(tǒng)、前臺交互子系統(tǒng)和邏輯驗證子系統(tǒng)。使用者可以使用該系統(tǒng)生成數(shù)學證明和推導過程中的元素，并實現(xiàn)大規(guī)模在線檢測學習者的邏輯思維嚴密性與演繹推理能力，同時獲取學習者在推導過程中遇到的問題。本發(fā)明為教學工作者提供了一個高效率且簡單易用的教學工具，同時也為學習者提供了一個互動性強且有趣味的信息交互和學習平臺，更有效地鍛煉使用者的計算思維。?? |
