在抹灰工程中常用的是硅酸盐水泥、普通硅酸盐水泥、矿渣硅酸盐水泥、火山灰质硅酸盐水泥和粉煤灰硅酸盐水泥等。( )
参考答案：对
下列消化液中含消化酶最多的是（ ）
A．唾液和胃液
B．肠液和胰液
C．肠液和胆汁
D．胆汁
项目组A的任务是开发某网络传真应用系统的电话簿部分。该电话簿可以存储多达MaxNames个地址名、相关的公司名、传真号码，以及其他相关信息。使用形式化方法描述这一规格说明，以下说法错误的是______。
A．该电话簿的数据不变式是：电话簿中包含的公司数不超过MaxNames个B．该电话簿可能的操作是：添加、删除、编辑和获取等C．该电话簿的状态是：禁用、只读和读写等D．该电话簿的数据不变式是：电话簿中不会有重复的名字
