[发明专利]一种用于检索系统的数学公式索引创建方法与系统有效
| 申请号： | 201911034594.7 | 申请日： | 2019-10-29 |
| 公开（公告）号： | CN110795526B | 公开（公告）日： | 2022-08-12 |
| 发明（设计）人： | 蒋东辰;付双;许博;刘俊杰;欧琳琳 | 申请（专利权）人： | 北京林业大学 |
| 主分类号： | G06F16/31 | 分类号： | G06F16/31;G06F16/332 |
| 代理公司： | 北京科迪生专利代理有限责任公司 11251 | 代理人： | 邓治平;顾炜 |
| 地址： | 100083 *** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提出一种用于检索系统的数学公式索引创建方法与系统，其能够通过公式解析、公式树节点合并、公式树节点重排、叶子节点符号替换、公式树字符串索引创建等几个步骤，实现对Latex数学公式的快速索引创建，解决了由于公式书写习惯差异、基本运算规律使用而导致的索引创建不唯一问题，能够为数学公式的精确检索提供准确、有效的倒排索引。该发明在计算机检索系统中对于数学知识检索、自动推理等方面具有重要的应用价值，提高了检索系统的检索效率。 | ||
| 搜索关键词： | 一种 用于 检索系统 数学公式 索引 创建 方法 系统 | ||
【主权项】：
1.一种用于检索系统的数学公式索引创建方法，其特征在于，包括如下步骤：/n步骤1：进行数学公式的文本解析，对输入的Latex数学公式字符串进行解析，如果解析成功，则将其转化为数学公式树，转步骤2；否则，返回解析错误，结束；/n步骤2：进行基于结合律的公式树节点合并，遍历公式树中的所有父子节点，对具有相同的操作符且操作符满足结合律的父子节点合并，生成新的公式树，转步骤3；/n步骤3：进行基于交换律的公式树节点重排，为Latex符号定义序，遍历公式树的所有节点，对操作符满足交换律的节点，重排其子树顺序，使得重排后该节点各子树按照序从小到大的顺序排列，转步骤4；/n步骤4：进行叶子节点的符号替换，根据检索需求，将公式树的所有叶子节点中的常量符号、变量符号都替换为统一的通识符，转步骤5；/n步骤5：进行公式树的字符串索引创建，按照定义的规则，将标准化公式树转化为标准公式字符串，创建数学公式的各类字符串索引，结束。/n
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京林业大学，未经北京林业大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201911034594.7/，转载请声明来源钻瓜专利网。
