两类图同构的充分必要条件
园林与昆剧的艺术同构
1·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.
在此模型上，使用合理的同构假定，运用基于模型的诊断方法对程序进行逻辑错误的诊断，并与经典的诊断模型作了比较。