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

申请/专利权人：小船出海教育科技(北京)有限公司

摘要：本发明提供了一种科学公式正确性检验方法和装置，所述科学公式正确性检验方法获取并识别科学公式，根据科学公式初始数据格式转换为目标数据格式；判断科学公式是否已经被录入、审核过，如果当前公式未被录入且审核过，则核对初始数据格式所表示的内容与目标数据格式所表示的内容是否一致。所述方法以MathML格式数据为核心，利用MathML的标记式结构解决了当前科学公式数据在Windows、Linux和MacOS操作系统之间跨平台转换过程中易出现错误的问题，同时还可以对已经在纠错模块中进行完纠错的科学公式数据进行保存，对已输入并经过校对的科学公式素材进行重复使用。

主权项：1.一种科学公式正确性检验方法，其特征在于，包括如下步骤：获取并识别科学公式；将科学公式初始数据格式转换为目标数据格式，包括：获取待转换科学公式的初始数据格式和目标数据格式，对待转换科学公式进行解析，验证内容的合法性；根据目标数据格式，进行格式转换；对转换后的公式数据进行格式化，生产统一标准的数据；在根据目标数据格式，进行格式转换之前还包括：设置转换关系匹配表；在转换关系匹配表中对初始数据格式和目标数据格式进行匹配，如查找到匹配项，则按照转换关系匹配表中设置的转换关系进行科学公式的格式转换；所述转换关系匹配表中的数据格式至少包括：SVG数据格式，LaTex数据格式，MathML数据格式，OMML数据格式和MathType数据格式；所述关系匹配表中至少设置有两种数据格式之间的转换匹配关系；判断格式转换后的科学公式是否已经被录入、审核过，如果当前公式未被录入且审核过，则核对初始数据格式所表示的内容与目标数据格式所表示的内容是否一致，包括：将初始数据格式的科学公式和目标数据格式的科学公式渲染为图片；或者，将初始数据格式和或目标数据格式的科学公式转换为第三数据格式，由第三数据格式渲染成图片；判断图片渲染结果；如渲染成功，采用OCR识别将图片中的内容转换为文本；使用最小编辑距离算法对比图片转换后的文本差异值，判断差异值是否处于设置的判断结果区间，包括：计算第一文本信息和第二文本信息的最小编辑距离L；如果L＝0，则认为转换成功，为本次录入的科学公式分配ID号，并保存MathType、MathML和latex格式数据；如果0＜L≤0.5，则认为需要人工纠错，在借助人工核对MathType数据和latex数据的公式后，为本次录入的科学公式分配ID号，并保存MathType、MathML和latex格式数据；如果L＞0.5，则认为所输入的科学公式转化失败。

全文数据：

权利要求：

百度查询： 小船出海教育科技(北京)有限公司 一种科学公式正确性检验方法和装置