泰宁新闻网

分享几何证明题做题系统的制作方法

泰宁新闻网 http://www.tainingxinwen.cn 2020-10-18 01:02 出处:网络
这里写的分享几何证明题做题系统的制作方法,下面小编就为大家带来详细介绍,接着往下看吧~

这里写的分享几何证明题做题系统的制作方法,下面小编就为大家带来详细介绍,接着往下看吧~


本发明属于计算机技术领域,尤其涉及一种帮助学生在智适应学习过程中进行数学几何证明题训练的几何证明题做题系统。



背景技术:

目前在互联网教育领域中,大多数的产品中几何证明题会以填空题的形式存在,让学生进行最终答案的填写。也有部分的产品会让学生以照片的形式上传自己的解题过程,或者让学生参照标准答案进行自评。

几何证明题在初中和高中的学习过程中起到非常关键的作用,对于学生理解和运用数学概念,培养数学思维都起到至关重要的作用

如果在互联网的教学系统中,只收集了最终学生的标准答案,那么这样的几何证明题对于学生来说和普通的填空题没有任何区别。对于系统来说,错失了获取学生的步骤信息的机会,也失去了去分析学生水平的数据,对于自适应学习产品来说,这样的损失是灾难性的。现有收集学生作答过程的系统,能够通过学生上传的照片进行后续的ocr(opticalcharacterrecognition,光学字符识别),自然语言处理等步骤分析学生的做题情况,但是时效性会欠缺一些,无法进行实时的反馈,并且通常考虑到用户体验,学生上传照片的步骤不是强制的,所以数据的收集依旧是一个很大的问题。



技术实现要素:

本发明所要解决的技术问题在于针对上述现有技术中的不足,提供几何证明题做题系统,能够在线对几何证明题进行做题训练,并且能够在作答完成后实时对学生的作答步骤进行比对,给出正误。

为解决上述技术问题,本发明采用的技术方案是:几何证明题做题系统,包括做题模块、第一解析模块、第二解析模块和判断模块;

所述做题模块,用于形成做题界面,采集学生的作答信息;

所述第一解析模块,用于解析出证明题中的已知条件信息;

所述第二解析模块,用于对做题模块采集的作答信息进行解析,解析出作答信息中的多个证明步骤,以及多个证明步骤的排序;

所述判断模块,用于对第二解析模块解析出的多个证明步骤,逐个进行判断,若一个证明步骤判断结果为正确,则将该证明步骤加入到已知条件信息中;对每个证明步骤判断完成后,对该证明步骤标记判断结果。

上述几何证明题做题系统,所述做题模块包括第一按钮单元和第二按钮单元;

所述第一按钮单元,用于在所述做题界面上形成第一按钮;所述第一按钮包括“因为”按钮、“所以”按钮、“+”按钮、“-”按钮、“=”按钮、“∠”按钮、“°”按钮、“⊥”按钮和“∥”按钮;

所述第二按钮单元,用于在所述做题界面上形成第二按钮,所述第二按钮包括“延长线”按钮、“辅助线”按钮、“角标记”按钮和“点标记”按钮。

上述几何证明题做题系统,所述第一解析模块包括文本识别单元和图形识别单元;

所述文本识别单元,用于对证明题的文本部分进行识别,识别出文本部分中的已知条件信息;

所述图形识别单元,用于对证明题的图形部分进行识别,识别出图形部分中的已知条件信息。

上述几何证明题做题系统,所述文本识别单元和图形识别单元均在识别出已知条件信息时,若识别出的已知条件信息为线段信息或角度信息,则将线段或角度的名称进行颠倒,颠倒后的名称作为原线段或角度的别名;

若识别出的已知条件信息为多边形信息,则将多边形名称进行重新排列,重新排列所得到的名称均作为多边形的别名。

上述几何证明题做题系统,所述判断模块包括正向判断单元和反向判断单元;

所述正向判断单元,用于沿正向路径对证明步骤进行判断;所述沿正向路径对证明步骤进行判断指:以当前需要被判断的证明步骤的上一个证明步骤为已知条件,判断是否可推导出当前证明步骤,若是,则当前证明步骤正确,若否,则调用反向判断单元对当前证明步骤进行判断;

所述反向判断单元,用于沿反向路径对证明步骤进行判断;所述沿反向路径对证明步骤进行判断指:搜索已知条件信息中的所有已知条件,判断是否有可以推导出当前证明步骤的已知条件,若是,则当前证明步骤正确,若否,则当前证明步骤错误。

本发明与现有技术相比具有以下优点:本发明提供了一种能够在线对几何证明题进行做题训练,并且能够在作答完成后实时对学生的作答步骤进行比对,给出正误的系统,并且有利于数据收集。

下面通过附图和实施例,对本发明的技术方案做进一步的详细描述。

附图说明

图1为本发明的模块原理框图。

具体实施方式

如图1所示,几何证明题做题系统,包括做题模块、第一解析模块、第二解析模块和判断模块。

所述做题模块,用于形成做题界面,采集学生的作答信息;所述做题模块包括第一按钮单元和第二按钮单元;

所述第一按钮单元,用于在所述做题界面上形成第一按钮;所述第一按钮包括“因为”按钮、“所以”按钮、“+”按钮、“-”按钮、“=”按钮、“∠”按钮、“°”按钮、“⊥”按钮和“∥”按钮;

所述第二按钮单元,用于在所述做题界面上形成第二按钮,所述第二按钮包括“延长线”按钮、“辅助线”按钮、“角标记”按钮和“点标记”按钮。

需要说明的是,所述第一按钮用于用户在做题界面中输入做题结果使用,所述第二按钮单元用于在证明题中的图形部分添加图形和标记符号使用,其中利用第二按钮单元在图形部分添加图形和标记符号的信息将添加至证明题信息中,例如将△abc中的∠a标记为∠1,则证明题信息中将添加的∠a的一个别名为∠1,还例如在△abc中以a点为起始点向线段bc做垂线,垂足为d点,则证明题信息中将添加线段ad⊥bc的信息。

所述第一解析模块,用于解析出证明题中的已知条件信息;所述第一解析模块包括文本识别单元和图形识别单元;

所述文本识别单元,用于对证明题的文本部分进行识别,识别出文本部分中的已知条件信息;

所述图形识别单元,用于对证明题的图形部分进行识别,识别出图形部分中的已知条件信息。

需要说明的是,所述第一解析模块在获取到证明题信息后,文本识别单元将文本部分中的元素如点,线,角,图形等识别出来,并且将整个文本部分解析成对应的数据结构,以识别出已知条件信息。举例说明,“一道证明题文本部门为:有三条线,m、n、l,m和l相交,n和l相交,交点分别为x,y,x和y为同旁内角。有两个角,一个是角1,id是x,还有一个是角2,id是y。角1的大小是40度,角2的大小是140度。要证明的是m和n平行。”文本识别单元解析成对应的数据结构后为“{“lines”:[“m”,“n”,“l”],“relations”:[{“op”:“intersect”,“elements”:[“m”,“l”],“intersection”:“x”},{“op”:“intersect”,“elements”:[“n”,“l”],“intersection”:“y”},{“op”:“interiorsameside”,“elements”:[“x”,“y”]}],“angles”:[{“name”:“1”,“id”:“x”},{“name”:“2”,“id”:“y”}],“information”:[{“op”:“assign”,“elements”:[“x”,40]},{“op”:“assign”,“elements”:[“y”,140]}],“target”:{“op”:“parallel”,“elements”:[“m”,“n”]}}”。

另外,图形识别单元将图形部分中的元素如点,线,角,图形等识别出来,并且将整个图形部分解析成对应的数据结构,识别出图形部分中的已知条件信息。。

所述文本识别单元和图形识别单元均在识别出已知条件信息时,若识别出的已知条件信息为线段信息或角度信息,则将线段或角度的名称进行颠倒,颠倒后的名称作为原线段或角度的别名;例如在△abc中ad⊥bc,∠acb,∠bca,∠dca,∠acd都是指同一个角。

若识别出的已知条件信息为多边形信息,则将多边形名称进行重新排列,重新排列所得到的名称均作为多边形的别名。例如△abc的别名有△bca、△bac、△cba、△acb、△cba。

所述第二解析模块,用于对做题模块采集的作答信息进行解析,解析出作答信息中的多个证明步骤,以及多个证明步骤的排序。

需要说明的是,所述第二解析模块解析过程中,用户的作答被作为一个数组传给序列化服务。数组中的最后一个表达式会被作为用户的作答结果处理。每一证明步骤都标准化为“(条件,效果)”的组合,这个组合的意思是是根据给出的条件,在条件成立的时候执行特定的效果,比如:

[(“因为”,[“角1”,“=”,“180度”,“-”,“角abc”,“=”,“40度”]),(“所以”,[“角1”,“=”,“角2”]),(“所以”,[“ab”,“=”,“cd”]),(“所以”,[“abcd”,“是”,“平行四边形”])]。

经过编译后会变为:

[

([],[(“eq”,(“subtract”,“180”,“角abc”),“40”),(“assign”,“角1”,“40”)]),

([(“eq”,“角1”,“40”)],[(“eq”,“角1”,“角2”)]),

([(“eq”,“角1”,“角2”)],[(“eq”,“ab”,“cd”)]),

([(“eq”,“ab”,“cd”)],[(“eq”,“abcd”,“平行四边形”)])

]

在几何证明题作答中,用户的证明步骤如果是多个“所以”,那么通常后一个“所以”会以前面的“所以”作为条件。

所述判断模块,用于对第二解析模块解析出的多个证明步骤,逐个进行判断,若一个证明步骤判断结果为正确,则将该证明步骤加入到已知条件信息中;对每个证明步骤判断完成后,对该证明步骤标记判断结果。

所述判断模块包括正向判断单元和反向判断单元;

所述正向判断单元,用于沿正向路径对证明步骤进行判断;所述沿正向路径对证明步骤进行判断指:以当前需要被判断的证明步骤的上一个证明步骤为已知条件,判断是否可推导出当前证明步骤,若是,则当前证明步骤正确,若否,则调用反向判断单元对当前证明步骤进行判断;

所述反向判断单元,用于沿反向路径对证明步骤进行判断;所述沿反向路径对证明步骤进行判断指:搜索已知条件信息中的所有已知条件,判断是否有可以推导出当前证明步骤的已知条件,若是,则当前证明步骤正确,若否,则当前证明步骤错误。

需要说明的是,所述判断模块在每次进行判断前,根据证明题所含的知识点信息,从预置数据库中调取相应的“运算符号”,所述“运算符号”为预先定义好的定理规则,例如三角形知识点中“等边对等角”是一个运算符号,当知道三角形中两条边相等的时候,推出两个角相等这个条件,输入两条相等的边,“运算符号”会检验这两条相等的边是否为已知条件中的一个三角形的两条边,如果是,则得出相应的两个角相等。

例如一道证明题所包含的知识点涉及三角形,则所述判断模块将调取三角形所涉及的所有“运算符号”。在对学生的证明步骤进行正向判断时,以当前需要被判断的证明步骤的上一个证明步骤为已知条件,通过对应于该证明题的“运算符号”,判断是否能够推导出当前的证明步骤,若是,则当前证明步骤正确,若否,则调用反向判断单元对当前证明步骤进行判断;沿反向路径对证明步骤进行判断时,搜索已知条件信息中的所有已知条件,通过对应于该证明题的“运算符号”,判断是否有可以推导出当前证明步骤的已知条件,若是,则当前证明步骤正确,若否,则当前证明步骤错误。

以初中数学的几何知识点为范围,预先可被定义的“运算符号”包括:

1过两点有且只有一条直线

2两点之间线段最短

3同角或等角的补角相等

4同角或等角的余角相等

5过一点有且只有一条直线和已知直线垂直

6直线外一点与直线上各点连接的所有线段中,垂线段最短

7平行公理经过直线外一点,有且只有一条直线与这条直线平行

8如果两条直线都和第三条直线平行,这两条直线也互相平行

9同位角相等,两直线平行

10内错角相等,两直线平行

11同旁内角互补,两直线平行

12两直线平行,同位角相等

13两直线平行,内错角相等

14两直线平行,同旁内角互补

15定理三角形两边的和大于第三边

16推论三角形两边的差小于第三边

17三角形内角和定理三角形三个内角的和等于180°

18推论1直角三角形的两个锐角互余

19推论2三角形的一个外角等于和它不相邻的两个内角的和

20推论3三角形的一个外角大于任何一个和它不相邻的内角

21全等三角形的对应边、对应角相等

22边角边公理有两边和它们的夹角对应相等的两个三角形全等

23角边角公理有两角和它们的夹边对应相等的两个三角形全等

24推论有两角和其中一角的对边对应相等的两个三角形全等25边边边公理有三边对应相等的两个三角形全等

26斜边、直角边公理有斜边和一条直角边对应相等的两个直角三角形全等

27定理1在角的平分线上的点到这个角的两边的距离相等

28定理2到一个角的两边的距离相同的点,在这个角的平分线上

29角的平分线是到角的两边距离相等的所有点的集合

30等腰三角形的性质定理等腰三角形的两个底角相等

31推论1等腰三角形顶角的平分线平分底边并且垂直于底边

32等腰三角形的顶角平分线、底边上的中线和高互相重合

33推论3等边三角形的各角都相等,并且每一个角都等于60°34等腰三角形的判定定理如果一个三角形有两个角相等,那么这两个角所对的边也相等(等角对等边)

35推论1三个角都相等的三角形是等边三角形

36推论2有一个角等于60°的等腰三角形是等边三角形

37在直角三角形中,如果一个锐角等于30°那么它所对的直角边等于斜边的一半

38直角三角形斜边上的中线等于斜边上的一半

39定理线段垂直平分线上的点和这条线段两个端点的距离相等

40逆定理和一条线段两个端点距离相等的点,在这条线段的垂直平分线上

41线段的垂直平分线可看作和线段两端点距离相等的所有点的集合

42定理1关于某条直线对称的两个图形是全等形

43定理2如果两个图形关于某直线对称,那么对称轴是对应点连线的垂直平分线

44定理3两个图形关于某直线对称,如果它们的对应线段或延长线相交,那么交点在对称轴上

45逆定理如果两个图形的对应点连线被同一条直线垂直平分,那么这两个图形关于这条直线对称

46勾股定理直角三角形两直角边a、b的平方和、等于斜边c的平方,即a+b=c

47勾股定理的逆定理如果三角形的三边长a、b、c有关系a+b=c,那么这个三角形是直角三角形

48定理四边形的内角和等于360°

49四边形的外角和等于360°

50多边形内角和定理n边形的内角的和等于(n-2)×180°

51推论任意多边的外角和等于360°

52平行四边形性质定理1平行四边形的对角相等

53平行四边形性质定理2平行四边形的对边相等

54推论夹在两条平行线间的平行线段相等

55平行四边形性质定理3平行四边形的对角线互相平分

56平行四边形判定定理1两组对角分别相等的四边形是平行四边形

57平行四边形判定定理2两组对边分别相等的四边形是平行四边形

58平行四边形判定定理3对角线互相平分的四边形是平行四边形

59平行四边形判定定理4一组对边平行相等的四边形是平行四边形

60矩形性质定理1矩形的四个角都是直角

61矩形性质定理2矩形的对角线相等

62矩形判定定理1有三个角是直角的四边形是矩形

63矩形判定定理2对角线相等的平行四边形是矩形

64菱形性质定理1菱形的四条边都相等

65菱形性质定理2菱形的对角线互相垂直,并且每一条对角线平分一组对角

66菱形面积=对角线乘积的一半,即s=(a×b)÷2

67菱形判定定理1四边都相等的四边形是菱形

68菱形判定定理2对角线互相垂直的平行四边形是菱形

69正方形性质定理1正方形的四个角都是直角,四条边都相等

70正方形性质定理2正方形的两条对角线相等,并且互相垂直平分,每条对角线平分一组对角

71定理1关于中心对称的两个图形是全等的72定理2关于中心对称的两个图形,对称点连线都经过对称中心,并且被对称中心平分

73逆定理如果两个图形的对应点连线都经过某一点,并且被这一点平分,那么这两个图形关于这一点对称

74等腰梯形性质定理等腰梯形在同一底上的两个角相等

75等腰梯形的两条对角线相等

76等腰梯形判定定理在同一底上的两个角相等的梯形是等腰梯形

77对角线相等的梯形是等腰梯形

78平行线等分线段定理如果一组平行线在一条直线上截得的线段相等,那么在其他直线上截得的线段也相等

79推论1经过梯形一腰的中点与底平行的直线,必平分另一腰

80推论2经过三角形一边的中点与另一边平行的直线,必平分第三边

81三角形中位线定理三角形的中位线平行于第三边,并且等于它的一半

82梯形中位线定理梯形的中位线平行于两底,并且等于两底和的一半l=(a+b)÷2s=l×h

83(1)比例的基本性质如果a:b=c:d,那么ad=bc;如果ad=bc,那么a:b=c:d

84(2)合比性质如果a/b=c/d,那么(a±b)/b=(c±d)/d

85(3)等比性质如果a/b=c/d=…=m/n(b+d+…+n≠0),那么(a+c+…+m)/(b+d+…+n)=a/b

86平行线分线段成比例定理三条平行线截两条直线,所得的对应线段成比例

87推论平行于三角形一边的直线截其他两边(或两边的延长线),所得的对应线段成比例

88定理如果一条直线截三角形的两边(或两边的延长线)所得的对应线段成比例,那么这条直线平行于三角形的第三边

89平行于三角形的一边,并且和其他两边相交的直线,所截得的三角形的三边与原三角形三边对应成比例

90定理平行于三角形一边的直线和其他两边(或两边的延长线)相交,所构成的三角形与原三角形相似

91相似三角形判定定理1两角对应相等,两三角形相似(asa)

92直角三角形被斜边上的高分成的两个直角三角形和原三角形相似

93判定定理2两边对应成比例且夹角相等,两三角形相似(sas)

94判定定理3三边对应成比例,两三角形相似(sss)

95定理如果一个直角三角形的斜边和一条直角边与另一个直角三角形的斜边和一条直角边对应成比例,那么这两个直角三角形相似

96性质定理1相似三角形对应高的比,对应中线的比与对应角平分线的比都等于相似比

97性质定理2相似三角形周长的比等于相似比

98性质定理3相似三角形面积的比等于相似比的平方

99任意锐角的正弦值等于它的余角的余弦值,任意锐角的余弦值等于它的余角的正弦值

需要说明的是,

100任意锐角的正切值等于它的余角的余切值,任意锐角的余切值等于它的余角的正切值

101圆是定点的距离等于定长的点的集合

102圆的内部可以看作是圆心的距离小于半径的点的集合

103圆的外部可以看作是圆心的距离大于半径的点的集合

104同圆或等圆的半径相等

105到定点的距离等于定长的点的轨迹,是以定点为圆心,定长为半径的圆

106和已知线段两个端点的距离相等的点的轨迹,是着条线段的垂直平分线

107到已知角的两边距离相等的点的轨迹,是这个角的平分线

108到两条平行线距离相等的点的轨迹,是和这两条平行线平行且距离相等的一条直线

109定理不在同一直线上的三个点确定一条直线

110垂径定理垂直于弦的直径平分这条弦并且平分弦所对的两条弧

111推论1①平分弦(不是直径)的直径垂直于弦,并且平分弦所对的两条弧;②弦的垂直平分线经过圆心,并且平分弦所对的两条弧;③平分弦所对的一条弧的直径,垂直平分弦,并且平分弦所对的另一条弧

112推论2圆的两条平行弦所夹的弧相等

113圆是以圆心为对称中心的中心对称图形

114定理在同圆或等圆中,相等的圆心角所对的弧相等,所对的弦相等,所对的弦的弦心距相等

115推论在同圆或等圆中,如果两个圆心角、两条弧、两条弦或两弦的弦心距中有一组量相等那么它们所对应的其余各组量都相等

116定理一条弧所对的圆周角等于它所对的圆心角的一半

117推论1同弧或等弧所对的圆周角相等;同圆或等圆中,相等的圆周角所对的弧也相等

118推论2半圆(或直径)所对的圆周角是直角;90°的圆周角所对的弦是直径

119推论3如果三角形一边上的中线等于这边的一半,那么这个三角形是直角三角形

120定理圆的内接四边形的对角互补,并且任何一个外角都等于它的内对角

121①直线l和⊙o相交d﹤r;②直线l和⊙o相切d=r;③直线l和⊙o相离d﹥r

122切线的判定定理经过半径的外端并且垂直于这条半径的直线是圆的切线

123切线的性质定理圆的切线垂直于经过切点的半径

124推论1经过圆心且垂直于切线的直线必经过切点

125推论2经过切点且垂直于切线的直线必经过圆心

126切线长定理从圆外一点引圆的两条切线,它们的切线长相等,圆心和这一点的连线平分两条切线的夹角

127圆的外切四边形的两组对边的和相等

128弦切角定理弦切角等于它所夹的弧对的圆周角

129推论如果两个弦切角所夹的弧相等,那么这两个弦切角也相等

130相交弦定理圆内的两条相交弦,被交点分成的两条线段长的积相等

131推论如果弦与直径垂直相交,那么弦的一半是它分直径所成的两条线段的比例中项

132切割线定理从圆外一点引圆的切线和割线,切线长是这点到割线与圆交点的两条线段长的比例中项

133推论从圆外一点引圆的两条割线,这一点到每条割线与圆的交点的两条线段长的积相等

134如果两个圆相切,那么切点一定在连心线上

135①两圆外离d﹥r+r;②两圆外切d=r+r;③两圆相交r-r﹤d﹤r+r(r﹥r);④两圆内切d=r-r(r﹥r);⑤两圆内含d﹤r-r(r﹥r)

136定理相交两圆的连心线垂直平分两圆的公共弦

137定理把圆分成n(n≥3):⑴依次连结各分点所得的多边形是这个圆的内接正n边形;⑵经过各分点作圆的切线,以相邻切线的交点为顶点的多边形是这个圆的外切正n边形138定理任何正多边形都有一个外接圆和一个内切圆,这两个圆是同心圆

139正n边形的每个内角都等于(n-2)×180°/n

140定理正n边形的半径和边心距把正n边形分成2n个全等的直角三角形

141正n边形的面积sn=pnrn/2p表示正n边形的周长

142正三角形面积√3a/4a表示边长

143如果在一个顶点周围有k个正n边形的角,由于这些角的和应为360°,因此k×(n-2)180°/n=360°化为(n-2)(k-2)=4

144弧长计算公式:l=n∏r/180

145扇形面积公式:s扇形=n∏r/360=lr/2

146内公切线长=d-(r-r)外公切线长=d-(r+r)

以上所述,仅是本发明的较佳实施例,并非对本发明作任何限制,凡是根据本发明技术实质对以上实施例所作的任何简单修改、变更以及等效结构变化,均仍属于本发明技术方案的保护范围内。


技术特征:

1.几何证明题做题系统,其特征在于:包括做题模块、第一解析模块、第二解析模块和判断模块;

所述做题模块,用于形成做题界面,采集学生的作答信息;

所述第一解析模块,用于解析出证明题中的已知条件信息;

所述第二解析模块,用于对做题模块采集的作答信息进行解析,解析出作答信息中的多个证明步骤,以及多个证明步骤的排序;

所述判断模块,用于对第二解析模块解析出的多个证明步骤,逐个进行判断,若一个证明步骤判断结果为正确,则将该证明步骤加入到已知条件信息中;对每个证明步骤判断完成后,对该证明步骤标记判断结果。

2.按照权利要求1所述的几何证明题做题系统,其特征在于:所述做题模块包括第一按钮单元和第二按钮单元;

所述第一按钮单元,用于在所述做题界面上形成第一按钮;所述第一按钮包括“因为”按钮、“所以”按钮、“+”按钮、“-”按钮、“=”按钮、“∠”按钮、“°”按钮、“⊥”按钮和“∥”按钮;

所述第二按钮单元,用于在所述做题界面上形成第二按钮,所述第二按钮包括“延长线”按钮、“辅助线”按钮、“角标记”按钮和“点标记”按钮。

3.按照权利要求1所述的几何证明题做题系统,其特征在于:所述第一解析模块包括文本识别单元和图形识别单元;

所述文本识别单元,用于对证明题的文本部分进行识别,识别出文本部分中的已知条件信息;

所述图形识别单元,用于对证明题的图形部分进行识别,识别出图形部分中的已知条件信息。

4.按照权利要求3所述的几何证明题做题系统,其特征在于:所述文本识别单元和图形识别单元均在识别出已知条件信息时,若识别出的已知条件信息为线段信息或角度信息,则将线段或角度的名称进行颠倒,颠倒后的名称作为原线段或角度的别名;

若识别出的已知条件信息为多边形信息,则将多边形名称进行重新排列,重新排列所得到的名称均作为多边形的别名。

5.按照权利要求1所述的几何证明题做题系统,其特征在于:所述判断模块包括正向判断单元和反向判断单元;

所述正向判断单元,用于沿正向路径对证明步骤进行判断;所述沿正向路径对证明步骤进行判断指:以当前需要被判断的证明步骤的上一个证明步骤为已知条件,判断是否可推导出当前证明步骤,若是,则当前证明步骤正确,若否,则调用反向判断单元对当前证明步骤进行判断;

所述反向判断单元,用于沿反向路径对证明步骤进行判断;所述沿反向路径对证明步骤进行判断指:搜索已知条件信息中的所有已知条件,判断是否有可以推导出当前证明步骤的已知条件,若是,则当前证明步骤正确,若否,则当前证明步骤错误。

技术总结
本发明公开了一种几何证明题做题系统,包括做题模块、第一解析模块、第二解析模块和判断模块;所述做题模块,用于形成做题界面,采集学生的作答信息;所述第一解析模块,用于解析出证明题中的已知条件信息;所述第二解析模块,用于对做题模块采集的作答信息进行解析,解析出作答信息中的多个证明步骤,以及多个证明步骤的排序;所述判断模块,用于对第二解析模块解析出的多个证明步骤,逐个进行判断,若一个证明步骤判断结果为正确,则将该证明步骤加入到已知条件信息中;对每个证明步骤判断完成后,对该证明步骤标记判断结果。本发明能够在线对几何证明题进行做题训练,并且能够在作答完成后实时对学生的作答步骤进行比对,给出正误。

技术研发人员:张丽媛;曹晓烨
受保护的技术使用者:上海乂学教育科技有限公司
技术研发日:2020.02.25
技术公布日:2020.06.26

分享几何证明题做题系统的制作方法的相关内容如下:

本文标题:分享几何证明题做题系统的制作方法
http://www.tainingxinwen.cn/qitaxinxi/520655.html

0

精彩评论

暂无评论...
验证码 换一张
取 消