本文对基于模型的诊断的全部诊断过程：模型建立、冲突识别、诊断产生、诊断测试。
What the model-based diagnosis is composed are: model building, conflict recognition, diagnostic generation, diagnostic test.
但是该系统现在还不是很完善，需要进一步的改进，对于基于模型的诊断的理论在实际上的应用会起到一定的推进作用。
But now the system is not perfect and need further improvement, the model-based diagnosis of the application of the theory in practice will play a role in pushing forward.
在此模型上，使用合理的同构假定，运用基于模型的诊断方法对程序进行逻辑错误的诊断，并与经典的诊断模型作了比较。
On the model with reasonable isomorph suppose, a model-based diagnosis is used in program debbuging for logic errors, and compare this model to the other classical models on its advantages.
应用推荐