一种MathML格式数学公式匹配算法  

A Math ML clescribing mathematical formula matching algorithm

作　　者：郭俊楠 秦玉平[2] 张爱华[2] 

机构地区：[1]渤海大学数理学院,辽宁锦州121013 [2]渤海大学工学院,辽宁锦州121013

出　　处：《渤海大学学报（自然科学版）》2015年第4期354-358,286,共5页Journal of Bohai University:Natural Science Edition

基　　金：国家自然科学基金(No:61304149);辽宁省教育厅项目(No:L2014444)

摘　　要：提出了一种基于MathML的数学公式匹配算法.根据数学公式的MathML标记编码得到其二叉树表示,依据规则库对树形结构和变量名作归一化处理,层次遍历二叉树得到二叉树的结构码.对于待匹配的两个数学公式,若它们的结构码相同,分别先序遍历相应的二叉树,若它们先序遍历序列相同,则分别中序遍历相应的二叉树,若它们中序遍历序列相同,那么这两个数学公式匹配,否则不匹配.实验结果表明,该算法既适用于结构相同的数学公式的匹配,也适用于语义相同的数学公式的匹配,且具有较高的准确率,是一种较实用的算法.A mathematical formula matching algorithm based on MathML is proposed. The binary tree pres- entation of the mathematical formula was created by its MathML presentation markup code, and the tree structure and variable names was normalized by rule base, and the structure code of the binary tree was gotten by traver- sing the binary tree. To be matched two mathematical formulas, comparing their structure codes, if their struc- ture codes are equal, then preorder traversaling binary trees respectively was gotten. If their preorder traversal sequence are equal, then inorder traversaling binary trees respectively. If their inorder traversal sequence are e- qual, then two mathematical formulas are matching. The experimental results show that the algorithm is not only suitable for the same structure mathematical formula matching, but also for the same semantic mathematical for- mula matching, and the accuracy is high, so it is a more practical algorithm.

关 键 词：数学公式 MATHML 二叉树 结构码 

分 类 号：TP181[自动化与计算机技术—控制理论与控制工程]