买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉中国海洋大学申请的专利基于抽象语法树与语义网络的数学表达式诊断方法及装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121118886B 。

龙图腾网通过国家知识产权局官网在2026-01-27发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511665959.1，技术领域涉及：G06F40/226；该发明授权基于抽象语法树与语义网络的数学表达式诊断方法及装置是由姜禾欣;郑建国;李超设计研发完成，并于2025-11-14向国家知识产权局提交的专利申请。

本基于抽象语法树与语义网络的数学表达式诊断方法及装置在说明书摘要公布了：本发明公开了一种基于抽象语法树与语义网络的数学表达式诊断方法及装置，属于数学表达式处理技术领域，所述方法包括：基于扩展巴科斯范式建立数学表达式的形式化语法规则；对输入的数学表达式进行词法分析，生成标记流；基于所述形式化语法规则对所述标记流进行语法分析，构建抽象语法树；在构建抽象语法树的过程中，运行结构性诊断过程，所述结构性诊断过程包括基于数学知识库构建语义网络，并将抽象语法树中的节点与语义网络进行图匹配，识别数学表达式中的结构性错误；基于识别出的结构性错误，生成纠错建议。本发明能够实现从语法正确性检查到数学合理性的深度分析，提高数学表达式处理的准确性。

本发明授权基于抽象语法树与语义网络的数学表达式诊断方法及装置在权利要求书中公布了：1.一种基于抽象语法树与语义网络的数学表达式诊断方法，其特征在于，包括如下步骤： 步骤S1，基于扩展巴科斯范式建立数学表达式的形式化语法规则； 步骤S2，对输入的数学表达式进行词法分析，生成标记流； 步骤S3，基于所述形式化语法规则对所述标记流进行语法分析，构建抽象语法树； 步骤S4，在构建所述抽象语法树的过程中，运行结构性诊断过程，结构性诊断过程与构建抽象语法过程并行执行或顺序执行，所述结构性诊断过程包括： 构建基于预构建数学知识库的语义网络，所述语义网络包括数学恒等式、运算法则和数学关系，语义网络的构建方法包括：从数学知识库中提取数学概念、关系和规则，构建概念节点和关系边；使用图数据库存储语义网络，支持高效的图查询和匹配操作；根据不同的数学领域构建专门的语义子网络； 通过图匹配算法将抽象语法树片段与语义网络中的模式进行相似度计算，所述图匹配算法包括：提取抽象语法树的结构特征和语义特征，计算与语义网络中预定义模式的图同构或子图同构关系，基于匹配程度生成结构合理性评分，基于相似度评分识别潜在的结构性错误，所述结构特征包括节点类型、子树结构和节点间关系； 基于预设的相似度阈值识别数学表达式中的结构性错误，所述结构性错误包括数学恒等式应用错误、运算优先级错误、函数参数类型错误，所述相似度阈值根据数学表达式的复杂度和应用领域动态调整，其中复杂度的计算基于表达式的结构深度、操作符数量和函数复杂度； 步骤S5，基于识别出的结构性错误，生成纠错建议。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国海洋大学，其通讯地址为：266101 山东省青岛市崂山区松岭路238号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。