如图所示的千斤顶，转动螺杆能够把汽车顶起。在顶起过程中，螺杆主要产生的变形为（）

A．弯曲

B．拉伸

C．压缩

D．扭转

项目组A的任务是开发一个内存倍速软件，该软件为PC提供比物理内存更大的可见内存。这个功能是通过标识、收集和重分配已经被分配给现有应用但未被使用的内存块而实现的。未用块被重分配给需要追加内存的应用进程。使用形式化方法描述这一规格说明，以下说法错误的是______。

A．该软件的数据不变式是：内存块的起始地址、结束地址，以及是否使用的标记等信息
B．该软件的数据不变式是：任何给定块在某一时刻只能分配给一个程序
C．该软件可能的操作是：添加、删除、转让和查找等
D．该软件的状态是：已用和未用的标记