随着Internet的迅速发展,计算机和网络技术极大地促进了社会生产、生活和学习等各个方面的发展。作为传播知识和技术主阵地的教育行业同样也受到计算机和网络技术的巨大影响,课堂教学、实验教学和考试环节都大量采用了计算机技术进行了改革。作业环节技术手段的改革则是最近几年发展起来研究的一个新课题。目前有很多可以让学生在计算机上做题的软件,但是计算机只能对选择题和判断题等客观题型自动进行批改,而理工科课程的作业则大量使用计算题和证明题等主观题型,目前计算机自动识别和批改计算题和证明题的技术还是一个空白。理工科的计算题和证明题中含有大量的数学表达式,要想让计算机能够自动处理计算题和证明题,就需要实现两个方面的功能。首先,系统必须为老师设计作业题目和学生做作业提供一种输入和编辑数学表达式的功能;其次,计算机要能够对老师布置的作业和学生的解答进行比较识别。现有的公式编辑器像Word和MathType,不满足上述的要求,主要由两个原因,一是现有的公式编辑器主要是为了显示、排版和印刷工作而设计的,没有考虑识别和批改的需要;二是现有公式编辑器的数据格式是保密的。因此,必须对基于识别的公式编辑器进行研究和开发。本文针对基于识别的公式编辑器的几个关键技术问题进行了研究,主要工作如下:(1)对数学表达式的结构形式和公式编辑器的操作功能进行了分析和研究,提出了适合于识别和批改的数学表达式的数据结构。(2)运用Delphi 6.0对公式编辑器开发,实现了理工科课程中大部分数学表达式正确输入和规范化显示。(3)为了兼顾输入便利和识别有效的双重目的,对公式编辑器输入和输出的数学表达式进行语义理解和关系重构。