A New Algorithm Combining with the Characteristic of the Problem for Model-Based Diagnosis