多项选择题

A.模型检查中会罗列模型中的所有分配方法
B.定义和切换单元过程的主副产品
C.支持替换扣除建模方式
D.通用分配系数(主分配系数)和特定分配系数