数学公式语法关系规则库的设计与应用

来源 :南开大学 | 被引量 : 0次 | 上传用户:jiaonimaqubao110
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
数学公式图像处理是一个具有相当难度的前沿课题,该问题的解决能够为科研工作和学习提供巨大的便利,具有重要的意义。其中数学公式的分析与理解是该问题的难点,而建立完整的数学公式语法关系规则辅助公式结构分析,是该问题的核心。 本文基于对前人研究成果的总结,系统地总结了数学公式的先验知识与语法规则,对其进行了良好的归类并建立了完整的语法关系规则库,以规范的二进制文件格式进行存储,设计方便的资源调用接口,为数学公式的分析提供灵活高效的语法属性查询,完成与版面关系的交互,实现了数学公式结构的准确分析。 本文在数学公式的语法关系规则的设计上,借鉴了产生式及关系数据库表示方法的优点,为数学公式的语法结构分析提供强大的支持;并采用了数据驱动和目标驱动相结合的混合推理控制策略实现公式的分析、理解与检验,保证系统推理分析的完整和高效。 本文提出的语法关系规则设计方法具有通用性,适用于各种特殊文档的语法关系规则的设计。
其他文献
当前国际经济全球化不断地加强与扩大,各行各业在全球化经济飞速发展的趋势下,对软件应用系统的全球化功能的需求也越来越多。尤其是快递行业的快速发展、跨国业务不断地日益
计算机辅助动画设计的优势在于,可以借助计算机设计软件来完成大量较高难度类型的动作方案,特别是那些需要处理好动作碰撞,冲突关系以及声音同步的动作夸张的人体角色。在真实的
随着计算机图形学、虚拟现实以及三维交互设计等技术的不断发展及广泛应用,大规模复杂场景的快速绘制作为这些应用领域的支撑技术逐渐成为计算机图形学的研究热点。实时绘制技
在IPv6短期内难以在全球广泛使用的今天,NAT仍是解决IP地址资源匮乏问题的重要途径。然而,由于它改变了私网数据包的包头IP地址信息,造成端到端的连接难以建立,使得NAT技术反而成
中轴(MA)和中轴变换(MAT)是物体的一种表示方法,它在外形分析、机器人路径规划、图像分析、有限元分析等方面有着重要的应用价值。 传统的中轴算法众多,但是它们存在着一
通过提供一个标准的实验测试平台,促进多智能体系统在实时对抗环境下的决策与合作问题的研究,机器人足球比赛成为现今机器人领域和人工智能领域的一个研究热点。 RoboCup仿
随着通信行业的高速发展,基于IP技术的通信模式越来越流行,SIP(Session Initiation Protocol,会话启动协议)是由IETF提出的一个应用层的信令控制协议,用来创建、修改和终结一
面向实际应用为嵌入式系统定制具有专用指令集的处理器,可以加快应用程序执行速度、提高设计效率,缩短上市时间。为了快速有效地根据市场需求定制专用指令集处理器,使其满足
为了更好的解决资源配送中网络拥塞、网络安全以及主动配送等问题,以求得能够大幅度提高配送效率的最佳动态路径,人们期待能够研究出一种智能配送系统(Intelligence Purvey S
《电子签名法》的颁布实施,加速了数字签名技术的推广和应用;电子签章是数字签名技术的可视化应用,在国内有着广泛的应用和市场,因为它符合中国人在纸张上签名、盖章的习惯。电子