模型或模型元素的增加、细化、拆分、合并、集成等操作后只需要进行模型的对性检查。