3.6.1 按约当规范型分解