当今计算机技术飞速发展，个人电脑(PC)得到了很大的普及，人们的工作方式面临着深刻的变化。随着计算机在各行业和领域应用的越发广泛，用户对于系统功能集成的需求也在不断提高。如何在各自系统修改最小的情况下，实现已有应用系统的集成，并使新系统的完整性、灵活性和扩展性得到保证，是本文研究的问题。 本文提出了两个紧密耦合的机器智能系统进行集成与重构的策略和步骤，并以TR和ER两个OCR系统的集成为例，提出一种具有通用性的应用集成服务总线模型来完成各个底层识别引擎之间以及与UI之间的状态、控制、数据等通信，从而实现对已有应用系统的集成，完成对应用系统的功能扩充。 由于对所有的OCR系统而言，因为无法保证100％的识别精度，因此必须提供良好的识别结果修改工具，对于数学公式而言，其编辑修改工具异常复杂。本文也就数学公式的proofer方法进行了研究，就proofer公式结构和错误检查等提出了改进的方法。