第21题: [多项选择]“水立方”总设计师赵小钧在回答记者提问时说：“其实创新的最大阻力往往来自我们自身的心理障碍，要突破创新，首先要克服这种障碍。但创新不代表否认所有以往的经验。‘水立方’就是吸取了中西建筑艺术的精华建设起来的。”这告诉我们（） A. 没有联系就没有发展 B. 创新就是吸收继承中西文化的精华 C. 要坚持辩证的否定观 D. 要把辩证法的革命批判精神和创新意识紧密结合起来 参考答案:A, C, D
第30题: [单项选择]项目组A的任务是开发一个内存倍速软件，该软件为PC提供比物理内存更大的可见内存。这个功能是通过标识、收集和重分配已经被分配给现有应用但未被使用的内存块而实现的。未用块被重分配给需要追加内存的应用进程。使用形式化方法描述这一规格说明，以下说法错误的是______。 A. 该软件的数据不变式是：内存块的起始地址、结束地址，以及是否使用的标记等信息 B. 该软件的数据不变式是：任何给定块在某一时刻只能分配给一个程序 C. 该软件可能的操作是：添加、删除、转让和查找等 D. 该软件的状态是：已用和未用的标记 参考答案:D 答案解析:[解析] 形式化方法提供了规格说明环境的基础，它使得所生成的分析模型比用传统的或面向对象的方法生成的模型更完整、一致和无岐义。集合论和逻辑符号的描述工具使得软件工程师能创建清晰的关于事实(需求)的陈述
