计算机自动批改学生作业时需要对学生的解答和正确答案进行比较,由于积分运算得到的原函数不唯一,因此在对积分结果进行识别时,必须先对学生解答和正确答案分别求导,然后对求导后的结果进行比较,即要解决原函数的识别问题；现有的图形识别算法对图形的识别条件的设置是固定的,它只能正确识别和批改具有确定性拓扑关系和确定性位置关系的图形内容,对具有不确定性拓扑关系或不确定性位置关系的图形内容的识别和批改可能出现错误。本论文结合“智能型远程作业系统”设定的数据格式和图形识别算法对上述两个问题进行分析和研究,取得的主要研究成果有：1)对数学表达式进行分解,采用多层次的嵌套和递归设计出了能够实现对复杂数学表达式自动求导的算法。2)提出了和式、项和因子求导的控制流程图,并使用delphi语言编写程序,实现了计算机对数学表达式的自动求导。3)依据两两图形元素间拓扑关系、距离关系和方向关系的定义以及原有的图形识别算法,研究了图形识别条件的控制策略,这一识别条件控制策略能够使系统更好地对作业图形进行模糊识别和定性识别。4)使用delphi语言开发出了图形识别条件的控制模块,利用该模块用户可以根据题目的具体需要定义和设置相应的图形识别控制条件。