摘要：CMP是处理器体系结构发展的一个重要方向,其中Cache一致性问题的验证是CMP设计中的一项重要课题。基于MESI一致性协议,本文建立了CMP的Cache一致性协议的验证模型,总结了三种验证方法——状态列举法、模型检验法和符号状态法,并给出了每一种方法的复杂性分析。

摘要：阐述了山河水库基本情况,并按加高培厚土坝的要求进行了设计。

摘要：一个水利工程项目从开工到竣工投入运行的施工过程中，只要某一环节上出现问题，都会影响工程质量的提高或可能埋下质量事故隐患。水利工程施工就是按设计图纸和相关文件的要求，将设计意图反映在建设场地上形成工程实体的过程，只有通过施工才能使建设目标得以实现。因此，水利工程施工阶段质量控制尤为重要。施工阶段的质量控制应从影响工程质量的因素入手。

摘要：建筑安装施工单位必须为用户提供符合使用功能的舒适、卫生、安全、方便的卫生器具。室内给排水工程交付使用后,因管道堵塞造成污水到处滥流,污染生活环境。而且管道堵塞。管腔内充满水,使管内承受一定的水压,带来管道(特别是普通排水铸铁管)漏水,给用户带来很大的不便。

摘要：城镇用水及工业废水处理中，絮凝（混凝）过程是应用最普遍的关键环节之一。絮凝效果的好坏，直接决定着后续单元过程的运行工况、处理费用及最终出水水质。实践证明，设计时混凝工艺选定的合理，不仅可提高出水水质，还能达到节能节约降低运行费用的目的。这项技术适应广泛，不仅对低温低浊、汛期高浊水处理效果好，同时，对微污染原水具有较好的处理效果。可利用最小投资，取得最大效益，充分发挥现有供水设施的潜力，在短时间内缓解城市供水短缺状况，促进城市的经济发展。

摘要：集中供热搞了多年,但暴露出的问题却有增无减,每年到有关部门投诉的低温户在逐年增加。如何在原有供热系统上,用最小的投入,解决这一难题。在此,提出自己的解决办法和思路,供这一领域设计与应用的同行提供参考。 1、分析低温户逐年增多的原因 1.1

摘要：阐述了公用建筑中辅助房间设计的组成部分,并以卫生间、洗漱间室内卫生设备配置为例加以分析,提出了办公楼在消火及公厕等辅助间的供水定额标准。