基于LaTex的Web数学公式提取方法研究

数学论坛、Wiki等社会性网站对数学教育的影响日益增长,数学公式广泛存在这些网站中,如何对这些网站中的数学公式进行搜索,对学习和科研非常重要。数学公式提取是索引系统的前提和基础,文中主要研究LaTex格式的数学公式的提取方法,结合BNF表述方式,提出自动分析提取包含LaTex公式特征的方法。依据公式包含的特征,提出提取和过滤LaTex数学公式的方法规则。通过实验发现,该方法的查全率达到75%,查准率达到99%。     

基于MathEdit的数学公式转换器

针对目前数学公式的计算机表示与存储方法的多样性,兰州大学ICCM实验室研发出基于数学公式编辑器MathEdit的公式转换器。该转换器实现了MathML-Content、MathML-Presentation及Infix数学公式之间的相互转换,为不同形式的数学公式的计算机输入、传输与存储提供了极大的方便。     

汉语短语结构定界歧义类型分析及分布统计

本文对汉语短语结构的定界歧义做了全面考察,从歧义格式的组成成分,歧义对外造成的影响,模式歧义和实例歧义的对应关系三方面考察了短语结构定界歧义的不同类型,并对汉语短语结构定界歧义的不同类型进行了初步统计。希望能将计算机处理汉语时碰到的短语结构边界歧义问题进一步清晰化,供理论研究者和应用系统开发人员参考。     

数学公式图像的结构理解与重现

数学公式图像识别与理解是文档图像处理领域的重要组成部分,目前尚无满足一般应用的处理方法. 提出了一种鲁棒的数学公式结构理解方法,使用公式图像识别结果、语法规则和句法规则分析数学公式结构,对数学公式的类型进行了完整的划分,对识别结果的错误进行自动的检查和纠正,能够自动分析数学公式符号的优先级和计算顺序. 既可以应用于数学公式图像的识别与格式转换,也可应用于对数学公式的检索和辅助编辑. 基于1 000个真实公式图像的实验结果证明了分析方法的有效性和稳定性.     

Flash浏览、搜索、格式转换一条龙

Dream FlashSee是一款功能强大的Flash动画浏览、搜索、格式转换和管理软件，支持swf到exe，exe到swf，swf到screen saver的格式转换。并且可以列表、详细资料或缩略图形式预览Flash动画，而且可根据文件名、版本、文件大小等信息搜索Flash文件。     

一种基于二叉树的数学公式匹配算法

提出了一种基于二叉树结构的LaTeX格式数学公式匹配算法。首先根据数学公式的LaTeX格式生成其二叉树表示,并对树形结构作归一化处理,然后先序遍历二叉树得到公式元素序列,并对序列中的变量名称作归一化处理。对于待匹配的两个数学公式,根据两个公式元素序列对应位相同的公式元素数计算两个公式的相似度。实验结果表明,该算法实现了数学公式的准确匹配,是一种较实用的算法。     

基于c#.net的PDM图档子系统的关键技术研究

在.NET平台下运用C#面向对象编程语言,实现了用户登录PDM系统后,根据用户权限的不同而对AutoCAD生成的DWG格式图档的编辑,和对DWG格式图档转换生成的DWF格式图档的浏览;通过C#编程实现了DWG格式图档从数据库中的下载和存入,以及DWG格式图档到DWF格式图档的后台转换;运用C#编程实现的用户自定义类,完成了DWF格式图档由服务器端计算机向客户端计算机的有效传输,从而保证了系统中随时处于编辑状态的图档和处于浏览状态的图档的数据一致性,为产品的设计和加工提供了有力保证。     

化学结构的计算机处理(V)几类重要歧义化学结构的解决方案

根据歧义结构的不同特点，结合计算机结构处理的实际要求，可将歧义结构分为互变异构、环交替键化合物、带离域电荷离子、配价键化合物、金属盐、有机氮盐及类似物、多肽、碳水化合物等不同类型，分别采用转换录入、选择录入、多重录入等方式解决结构歧义性问题。本文介绍实际处理中的一些基本算法，并举例说明。     

化学结构的计算机处理（V

根据歧义结构的不同特点，结合计算机结构处理的实际要求，可将歧义结构分为互变异构、环交替键化合物、带离域电荷离子、配价键化合物、金属盐、有机氮盐及类似物、多肽、碳水化合物等不同类型，分别采用转换录入、选择录入、多重录入等方式解决结构歧义性问题。本文介绍实际处理中的一些基本算法，并举例说明。     

数学公式与WEB

文章首先研究了数学公式在Web上的发展和问题,而后介绍了W3C组织提出的一种基于可扩展标记语言（XML）的数学标记语言（MathML）,它主要包括表现（Presentation）和表义（content）两种形式。文章认为MathML将成为数学材料计算机化的最重要的标准。最后,文章介绍了一个基于MathML的应用系统－SeeMath的设计和体系结构。SeeMath为数学公式在Web上显示提供了一个集成的解决方案。     

计算机技术和现代数学教育

计算机与数学有内在的本质联系,随着它的快速发展和广泛应用,必将对数学教育带来极大的影响。本文从计算机和数学教育手段,教学方法,教学内容,教学观念和教育功能的关系谈了一些看法。一旦数学教育与计算机全面结合,就可以极大的提高数学教学的质量。     

浅析计算机科学与技术专业中“离散数学”教学方法的改进

"离散数学"是计算机科学与技术专业必修的专业基础课程,学好该课程对于学习计算机专业的其他课程以及培养学生抽象思维能力和解决问题的能力十分重要。本文阐述如何培养学生学习离散数学的兴趣,强调了离散数学理论应该与计算机中的应用相结合,并从多方面对离散数学教学方法的改进进行分析和探讨。     

发挥计算机的潜力,推进数学实验教学

计算机对数学问题的直观解释和模拟将有助于学生对数学问题的理解和快速掌握.在介绍数学实验的地位及教学实验与计算机技术关系的基础上,用案例来阐明计算机对推进数学实验教学的作用.     

《离散数学》教学改革探讨

<离散数学>是计算机学科的一门重要的基础课程,该课程理论性强.非常抽象.为完"成该课程的培养学生抽象思维能力以及提高学生动手能力的基本要求.为后续课程打好坚实的基础,教师有必要改善教学方法,例如让学生认识离散数学的重要性.在教学过程中进行实例教学和实验教学.     

多媒体教学模式在数学教学中的应用探讨

计算机多媒体技术近年来发展成熟,多媒体辅助教学模式被引入到各专业课程教学实践应用中。本文探讨了计算机多媒体辅助教学模式在数学教学中优势,以及在数学教学实践存在的问题。     

Reading and writing mathematics: The MAVIS1 Project

One of the greatest challenges to the visually impaired student in science and mathematics disciplines is the reading and writing of complex mathematical equations or have convenient access to information based tools such as the world wide web. In research currently underway at New Mexico State University, tools are being built using logic programming to facilitate access to complex information in a variety of formats. On top of the logic based tools, new interfaces are being designed to permit more convenient access to information by our visually impaired students.     

《离散数学》教学方法探讨

离散数学是计算机科学与技术专业的一门重要的专业基础课,它不仅是许多计算机专业课的必备基础,而且对于培养学生的抽象思维能力和逻辑推理能力也有着重要的作用。结合该课程具有概念多、方法性强、高难度、高度抽象等学科特点,作者提出了一系列教学方法,在实践中取得了良好的效果。这对于提高离散数学课程的教学水平和教育质量,改进学生的学习方法乃至对今后的教学实践均有着一定指导意义。     

《离散数学》教学方法探讨

离散数学是计算机科学与技术专业的一门重要的专业基础课,它不仅是许多计算机专业课的必备基础,而且对于培养学生的抽象思维能力和逻辑推理能力也有着重要的作用。结合该课程具有概念多、方法性强、高难度、高度抽象等学科特点,作者提出了一系列教学方法,在实践中取得了良好的效果。这对于提高离散数学课程的教学水平和教育质量,改进学生的学习方法乃至对今后的教学实践均有着一定指导意义。     

基于创新能力培养的高校数学课程教学模式改革探析——以计算机类专业为例

大众创业、万众创新的时代,高等教育的核心任务是培养学生的创新意识和提升学生的创新能力。数学课程是计算机类专业重要的核心基础课程,在培养创新型人才方面能够起到积极的作用。首先分析了创新能力培养与数学课程的关系,解析了当前高校数学课程教学存在的问题,调研了计算机类企业对人才创新能力方面的要求,提出了以创新能力提升为导向的数学课程改革措施,取得了不错的实施成效。     

数学教育中的多媒体计算机网络

多媒体计算机的出现,给教育教学带来了无限生机。计算机辅助教学已成为当今教学改革的核心。多媒体计算机辅助数学教学,有助于突破教学难点,使教学形式多样化,进而提高教学效益。计算机辅助数学教学中应处理好人机和谐关系、媒体互促关系和主导与主体的关系。