当获得了对应的标准解法和解决方案后，检查模型（实际是系统）是否可以应用标准解法第五类中的n个标准解法来进行简化