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