基于有向无环图和拓扑排序的自动化测评方法与系统
基本信息
| 申请号 | CN201610195271.6 | 申请日 | - |
| 公开（公告）号 | CN107292464B | 公开（公告）日 | 2017-10-24 |
| 申请公布号 | CN107292464B | 申请公布日 | 2017-10-24 |
| 分类号 | G06Q10/06(2012.01)I;G09B7/00(2006.01)I | 分类 | 计算；推算；计数; |
| 发明人 | 俞昊然;杨博洋;杨斌 | 申请（专利权）人 | 北京矩道优达网络科技有限公司 |
| 代理机构 | 北京君尚知识产权代理有限公司 | 代理人 | 北京矩道优达网络科技有限公司 |
| 地址 | 100080北京市海淀区苏州街18号院长远天地A1-1204 | ||
| 法律状态 | - | ||
摘要
| 摘要 | 本发明涉及一种基于有向无环图和拓扑排序的自动化测评方法与系统。该方法将逻辑节点和逻辑节点间指向关系构成有向无环图，将有向无环图进行拓扑排序，产生解集；将使用者提交的结果序列与解集中的解进行遍历比对，获得最终结果。该系统包括信息生成子系统、前台交互子系统和逻辑验证子系统。使用者可以使用该系统生成数学证明和推导过程中的元素，并实现大规模在线检测学习者的逻辑思维严密性与演绎推理能力，同时获取学习者在推导过程中遇到的问题。本发明为教学工作者提供了一个高效率且简单易用的教学工具，同时也为学习者提供了一个互动性强且有趣味的信息交互和学习平台，更有效地锻炼使用者的计算思维。 |
