基于支持向量机的数学公式识别

数学公式识别在拍照搜题、自动阅卷和题库建设等智慧教育任务中有着广泛的应用.由于这些应用中数学公式大多以图片的形式存在,因此识别图片中的数学公式成为智慧教育领域的重要研究问题之一.数学公式结构复杂,从图片中识别数学公式远比一般的光学符号识别要复杂得多.将公式识别分为字符分割、符号识别和公式重组这3个步骤:首先,综合运用投影和连通域方法将字符从图片中分割出来;其次,基于单个字符的区域像素数占总像素比例提取字符特征,建立监督学习模型识别字符;最后,利用每个字符在公式中出现的位置对数学公式进行重组.真实数据集上的实验结果表明,本文提出的数学公式识别方法准确率高达98.0%.     

基于编码器-解码器的离线手写数学公式识别

提出一种改进的编码器 解码器模型。模型采用多尺度密集卷积网络作为编码器,以提取手写数学公式图像的多分辨率特征。采用完全基于注意力机制的Transformer模型作为解码器,依据图像特征将二维手写数学公式解码为一维 LaTeX 序列。通过相对位置编码嵌入图像位置信息和LaTeX符号位置信息。实验结果表明,模型在官方CROHME 2014数据集上取得了优异的性能,相比于当前最先进的方法,其公式识别准确率提高了3.55%,字错误率降低了1.41%。     

终端嵌入式数学公式手写识别中的连笔搜索算法

在数学公式的手写识别中,由于人们的书写习惯造成大量连笔的存在,连笔识别错误给后续公式的识别造成的影响是当前公式识别系统中一个非常重要、而又没有得到很好解决的问题,同时,公式输入的过程中出现连笔又在所难免.本文提出了一种基于DP算法和隐马尔可夫模型的数学公式连笔字符识别方法,识别时,采用DP匹配算法和隐马尔可夫模型相结合的方法,首先使得字库样本与待识样本的码列匹配关系是最优的,当出现连笔字符或结构系统拒识时,采用隐马尔可夫分类器,从而提高整体的识别效率.     

手写数学符号的基元识别方法

对手写数学字符的联机识别进行了研究。首先分析了９４个常用数学符号的结构,指出这些符号均由１０个基本结构元组成,其次抽取数学符号的三个重要特征：基元矢量、基元之间的位置关系和基元长度矢量并采用了一种基元排序法,同时考虑匹配值和不匹配值以及增加几何约束改进了传统的动态规划匹配方法,并用改进的Ｋｕｈｎ－Ｍｕｎｋｒｅｓ算法求最佳匹配。在对２０人无限制书写的数学符号的识别试验中,正确识别率为９２．５２％,误     

基于Transformer模型的手写数学公式语法树解码器

目前对数学公式进行树结构解码的方法大多基于循环神经网络的结构,训练效率低,训练过程复杂,基于此问题,提出一种基于Transformer结构的手写数学公式识别模型,可以直接对公式的语法树进行解码。在手写公式识别任务多个数据集上的实验结果表明,所提出的Transformer树解码方法都取得超越Transformer序列解码方法的性能,并展现出超越循环神经网络树解码方法的潜力。     

数学公式中数学符号的特征分析及提取

为了研制高性能的数学公式自动识别系统,在详细分析印刷体公式中各种数学符号(包括大小写英文字母、数字及各种运算符、关系符)特点的基础上,选择字符图像中的字符宽高比、网格特征、穿线特征、直线特征、孔洞数、交叉点、端点、质心位置、直方图峰值等9个特征共29维作为字符识别的特征进行识别,并在识别过程中,训练一个高性能、高识别率的支持向量机分类器.实验结果表明,使用这些特征,可以很好地区分数学公式中出现的符号,提高整个系统的识别率.     

基于递归策略的数学公式识别模型

在简要介绍数学公式识别发展状况的基础上,提出了一个基于递归策略的数学公式识别模型.该模型由版面分析和数学公式结构表达两部分组成.版面分析主要是提取文档中的数学公式;数学公式结构的表达采用一种递归算法将公式用结构树表示,它是公式识别的关键环节,该方法对公式结构具有较好的适应性.     

基于动态作图的化学符号编辑系统

软件技术的发展,使得数学公式可视编辑非常方便,W ord的公式编辑器更是深受用户喜爱.但目前的公式编辑器一般只对数学类支持较好.文章在对比各类公式编辑软件的基础上,提出了基于动态作图的图形符号编辑模型.针对化学符号的特殊性,给出了动态作图的面向对象设计,实现了化学符号可视化编辑.     

一种实时手写数学公式识别系统

该文讨论了设计一个实时手写数学公式识别系统时需要解决的主要问题。系统通过手写输入接口及输入笔划组合软件,进行符号、字符识别及图形语法分析,产生与输入相对应的语法分析树,并由此转换成诸如Latex、数学的或LISP-like符号等输出形式,与基于特殊方程描述语言的识别系统相比,该文的手写数学公式识别系统相对简单,使用方便。     

多笔画联机手写字符识别的动态时间规正算法

在单笔画符号(或字符)联机手写识别中,动态时间规正(DTW)算法遵循时间次序约束和边界约束,并具有较高的识别率.为了将此算法应用于多笔画符号识别,常用而简单的方法是按照人们的手写顺序连接多笔画符号为单笔画符号.但此方法存在一个问题:人们常使用不同的笔画顺序和笔画方向书写同一个符号,用朴素(Brute Force)方法寻找所有笔画可能性非常耗时.为了降低计算复杂度,文中提出了DTW A*算法.在部分笔画匹配时,此算法保留着次序约束,并用A*算法降低计算复杂度.文中还通过流程图数据库多笔画符号识别实验对比了DTW A*算法、DTW算法、改良Hausdorff距离3种算法的性能,结果表明DTW A*算法具有最高的识别率和最好的稳定性.     

MapInfo矢量符号库扩充方法研究

针对计算机制图软件自身符号库类型不够的问题,以MapInfo软件为研究对象,分析了其在矢量符号制作上存在的点符号和填充图案修改扩充困难问题,并提出了解决问题的优化方案:对于点符号,利用True Type字库实现点矢量符号存储;对于填充图案,则借助于AutoCAD软件,通过数据交换的方式来实现,并提供了一种可行的自动化方案,简化用户的操作.     

图形符号在海报设计中的视觉传达作用

视觉传达是人与人之间的物象交流，在海报设计中，有着通过图形符号向受众传递信息，实现信息的贮存、记忆、交流的重要作用。     

符号学视角下的军事文化

从实践唯物主义符号文化学的视角对军事文化进行了研究,指出军事文化可以归结为推论性符号和表象性符号两种。军事文化的发展动力、内在本质、动态结构和理想目标都可以在＂文化即人化＂这一命题的基础上得到澄清。中国特色军事变革,战斗精神的培育,以及引领大众文化等军事文化建设的相关问题也可以在符号学的视角下获得启示。     

基于符号映射机制的GIS数据共享研究

为了解决现阶段不同GIS平台间的数据共享问题,采用集合论和符号学方法对各类地理要素在不同GIS平台的不同的表达方式,提出了基于嵌套的地图符号树状结构描述、符号解析以及符号映射的机制,在此基础上通过制定模版以实现不同GIS平台间的数据共享.实践表明:这种方法能够实现多个GIS平台间的数据共享,具有开放性、实用性的特点.     

语言符号与非语言符号在体育教学不同阶段的运用

本文通过教学实践，初步探析了语言符号与非语言符号在体育教学不同阶段的具体运用情况．     

论视觉符号与视觉传达设计

阐述了符号、视觉符号、视觉传达设计的概念及视觉符号与视觉传达设计的关系．     

设计符号刍议

符号是人类古老的文化创造活动形式;延续至今，已成为社会生活中不可缺少的有机体，其功能和内涵在不断深化;认识和了解这一视觉语言的意义与特性，有助于创造更好的形象和深刻地表达其思想内涵.     

基于ArcGIS的地图符号库的创建

重点论述了ArcGIS环境下地图符号库的创建方法,阐述了点状符号、线状符号和面状符号的实现方式。     

MASSCOMP机目标文件符号表信息的提取

从目标文件中提取符号表信息是源程序调试的基础。本文较详细地分析了MASSCOMP机目标文件中符号表信息的存放格式,介绍了提取符号表信息所采用的主要数据结构,最后还以举例的方式分别介绍了几种典型符号的字符串表的处理。