一种初中数学几何辅助线智能生成方法与流程
本发明涉及几何代数求解,尤其涉及一种初中数学几何辅助线智能生成方法。
背景技术:
1、初中数学几何问题的辅助线自动生成是智能教育与自动推理领域的核心技术之一。传统的几何辅助线生成方法通常基于用户绘制的几何图形,通过提取各几何顶点的坐标建立几何约束方程,并在计算内存中将候选辅助线与原图线条进行两两求交计算,进而构建几何逻辑推导树以自动生成辅助线及解题步骤。
2、在三点近乎共线或线段夹角极小的初中几何临界构型下,现有算法强行求交极易产生因数值精度漂移引发的伪交点,且缺乏有效的鉴别与阻断机制,导致算法基于伪交点无限衍生大量无效的次级辅助线,进而引发拓扑爆炸与算法死锁的问题。
技术实现思路
1、为了弥补以上不足,本发明提供了一种初中数学几何辅助线智能生成方法,旨在改善基于伪交点无限衍生大量无效的次级辅助线,进而引发拓扑爆炸与算法死锁的问题。
2、本发明提供了如下技术方案,一种初中数学几何辅助线智能生成方法,包括:
3、s1、获取几何图形的已知条件与顶点坐标,利用所述几何图形的外接包围盒最大边长与质心坐标对所述顶点坐标进行无量纲归一化处理,并将所述几何图形的初始几何关系表述为代数流形方程组;
4、s2、基于几何图素模式匹配预测候选辅助线,并将所述候选辅助线及其与既有线段的求交约束代数方程加入所述代数流形方程组中,构建扩展代数流形方程组;
5、s3、对所述扩展代数流形方程组求偏导以构建局部雅可比矩阵,并对所述局部雅可比矩阵进行奇异值分解获取奇异值谱,同时计算所述局部雅可比矩阵的条件数;
6、s4、基于所述条件数的大小以及所述奇异值谱的相对梯度变化率,联合诊断所述候选辅助线的求交节点是否为因近乎平行求交或数值漂移产生的伪交点;
7、s5、若诊断结果为伪交点,则将所述求交节点标记为虚设退化节点,并封锁所述虚设退化节点引出次级辅助线的计算权限,若诊断结果为非伪交点,则将所述候选辅助线确认为有效辅助线,并输出对应的几何图形。
8、较佳的,在s1中,利用所述几何图形的外接包围盒最大边长与质心坐标对所述顶点坐标进行无量纲归一化处理包括:
9、获取所述顶点坐标在横轴方向与纵轴方向上的跨度,将较长者确定为所述外接包围盒最大边长;
10、求取所有所述顶点坐标的平均值,得到所述质心坐标;
11、基于所述质心坐标对所述顶点坐标求偏移量,并利用所述外接包围盒最大边长对所述偏移量进行缩放,将所述顶点坐标映射至预设的无量纲标准区间内。
12、较佳的,在s1中,将所述几何图形的初始几何关系表述为代数流形方程组包括:
13、提取所述已知条件中所包含的点在线上、线段相等、线段平行、线段垂直以及角度平分中的至少一种初始几何关系;
14、将提取出的每一项所述初始几何关系转换为对应的多项式约束方程;
15、将所有所述多项式约束方程进行联立,构建表达所述几何图形整体空间约束关系的代数流形方程组。
16、较佳的,在s2中,基于几何图素模式匹配预测候选辅助线包括:
17、提取所述已知条件中所包含的组合几何结构,并将所述组合几何结构与预设模板库中的几何模式模板进行拓扑匹配;
18、当匹配成功时,获取所述几何模式模板对应的几何推导规则,并基于所述已知条件提取约束特征向量;
19、将所述约束特征向量代入所述几何推导规则进行协同校验,生成满足逻辑不重复约束的候选辅助线。
20、较佳的,在s2中,构建扩展代数流形方程组包括:
21、确定所述候选辅助线与所述既有线段在二维几何空间中的交点坐标参数;
22、基于所述交点坐标参数建立线段共线约束与几何位置隐式方程,得到所述求交约束代数方程;
23、将所述求交约束代数方程作为增量约束方程并入所述代数流形方程组中,更新方程组维度与变量列表,构建得到扩展代数流形方程组。
24、较佳的,在s3中,对所述局部雅可比矩阵进行奇异值分解获取奇异值谱包括:
25、基于所述扩展代数流形方程组中的各个变量对所述局部雅可比矩阵进行正交分解;
26、提取分解得到的正交特征向量组,计算各阶奇异值并按降序排列,得到所述奇异值谱;
27、基于所述奇异值谱中的最大奇异值与相邻奇异值计算无量纲差值比例,获取所述奇异值谱的相对梯度变化率。
28、较佳的,在s4中,联合诊断所述候选辅助线的求交节点是否为因近乎平行求交或数值漂移产生的伪交点包括:
29、提取所述奇异值谱中的最大奇异值与最小奇异值,计算两者的比值以获取所述局部雅可比矩阵的所述条件数;
30、基于所述条件数判断所述扩展代数流形方程组的病态程度,当所述条件数大于预设病态门限时,触发病态预警;
31、在所述触发病态预警的状态下,将所述奇异值谱的相对梯度变化率与突变梯度门限进行比对;
32、若所述奇异值谱的相对梯度变化率大于所述突变梯度门限,则诊断所述候选辅助线的求交节点为因近乎平行求交或数值漂移产生的伪交点。
33、较佳的,在s5中,将所述求交节点标记为虚设退化节点,并封锁所述虚设退化节点引出次级辅助线的计算权限包括:
34、在内存图数据结构中将所述求交节点的属性状态修改为退化标记,将其确定为所述虚设退化节点;
35、获取所述虚设退化节点对应的拓扑邻接表,将其出度指针强制赋值为空;
36、切断所述虚设退化节点与后续几何图素预测逻辑的调用链路,封锁基于所述虚设退化节点衍生次级候选辅助线的计算权限。
37、较佳的,在s5中,将所述候选辅助线确认为有效辅助线包括:
38、构建所述候选辅助线的空间半代数集,校验其与已有几何关系的空间相容性;
39、计算所述候选辅助线映射至公理链有向无环图后的几何语义向量;
40、利用格拉姆-施密特正交化计算所述几何语义向量在已有辅助线语义空间正交补上的投影分量;
41、在所述空间相容性校验通过且所述投影分量大于零时,将所述候选辅助线确认为有效辅助线。
42、较佳的,在s5中,输出对应的几何图形包括:
43、对所述有效辅助线与原始几何图形的拓扑结构进行矢量编码,生成矢量图形数据;
44、将所述无量纲归一化处理后的顶点坐标逆映射恢复为原始屏幕坐标;
45、基于恢复后的所述原始屏幕坐标与所述矢量图形数据,渲染输出对应的几何图形,并同步生成与所述有效辅助线相对应的推理步骤文本。
46、本发明具有如下有益效果:
47、1、本发明中,通过计算扩展代数流形方程组局部雅可比矩阵的条件数与奇异值谱相对梯度变化率进行联合诊断,并在诊断为伪交点时强制清空其拓扑邻接表出度指针,实现了对数值漂移伪交点的精准识别与计算链路的绝对阻断,解决了传统算法因伪交点无限衍生次级辅助线导致的拓扑爆炸与算法死锁问题。
48、2、本发明中,通过构建候选辅助线的空间半代数集并执行非空相容性校验,实现了对多辅助线组合在几何物理空间中隐性约束与相容性的精确判断,解决了传统算法忽略几何空间物理排斥而生成无法共存的幽灵辅助线组合的问题。
49、3、本发明中,通过计算候选辅助线几何语义向量在已有语义空间正交补上的投影分量,实现了对辅助线公理推理信息增量的定量把控与严格筛选,解决了传统算法因缺乏全局语义评估导致辅助线功能高度重叠、输出图形臃肿冗余的问题。
版权声明:本站专利文献数据主要来源于国家知识产权局等公开渠道,由 技术新讯 进行整理汇编。页面设计及数据汇编的著作权归本站所有。全部内容仅供个人学习、科研评估与技术交流参考,严禁用于任何商业用途(包括但不限于直接生产制造、技术转让、倒卖数据等)。
免责条款:专利技术具有时效性,本站不对资料的绝对准确性、完整性和可实施性提供任何明示或暗示的担保。因参考本站内容造成的直接或间接损失,本站不承担相关法律责任。若您认为本站内容有侵权问题,请及时提供权属证明与我们联系,本站将在核实后依法处理。反馈意见:yyfuon@163.com