[发明专利]一种公式化数据的搜索方法及装置

摘要

本发明公开一种公式化数据搜索装置，包括至少一用户端，该用户端包括一公式输入模块，用于输入公式并转换为一文本化编码；一服务器，该服务器包括一搜索模块，该搜索模块至少包括一数据库用于存储与公式对应的文本化编码；该搜索模块根据该文本化编码查询该数据库并将查询结果返回该用户端。

主权项

一种公式化数据搜索装置，其特征在于，包括：至少一用户端，所述用户端包括一公式输入模块，用于输入公式并转换为一文本化编码，所述公式输入模块包括：一输入界面模块，用于提供标准的公式元件；一处理模块，用于接收由所述公式元件所组成的公式并将其转换为一文本化编码，所述文本化编码为Latex语言或MathML语言或OpenMath语言；一网络，用于将所述文本化编码传送至一服务器；一服务器，所述服务器包括一搜索模块，该搜索模块至少包括一数据库用于存储与公式对应的文本化编码，所述搜索模块包含一索引，所述索引规则为将公式划分为运算变量和运算符两种结构类别，所述运算变量和运算符组成一表达式，所述公式由所述表达式递归或非递归定义而成，所述非递归是指如果所述公式无法匹配所述表达式的定义规则，则所述公式被不断分解直至形成一符合所述表达式定义规则的最长子结构，如果某一公式需要被整体识别，则将所述公式的结构特征添加为一定义规则；所述索引的规则为，实现粗粒度的公式中关键词的识别，并结合通过扩展表达式的定义规则，以最细粒度的单元作为索引，将所述粗粒度和最细粒度两者结合，实现精确搜索和模糊搜索的功能，即同时进行粗粒度和最细粒度的方式进行搜索；所述搜索模块根据所述文本化编码查询所述数据库并将查询结果通过所述网络返回所述用户端。