汉口沿江堤B段防渗加固工程质量控制

汉口沿江堤B段防渗加固工程采用高压喷射灌浆法施工，该施工方法大规模地用于长江干堤加固，尚属首次。因而施工过程中的质量控制尤为重要，除对原材料质量，中间产品质量，产品质量加强控制外，还要熟悉工程基本情况，作好准备工作，根据工程实际情况选择施工工艺参数等，是保证工程质量的基本要素。实践证明：汉口沿江B段防渗加固工程所采取的质量控制措施是合理的、有效的。     

乌东德水电站砼高拱坝拱端嵌岩深度选择地质研究

在简要叙述坝址基本地质条件的基础上,指出了影响建坝岩体质量的主要因素是岩体卸荷程度;分析阐明了河谷两岸岩体卸荷分带特征及工程地质特性,明确了弱卸荷/未卸荷岩体均可作为工程可利用岩体;并将平硐宏观地质调查与地震波、声波测试成果相结合,综合判定两岸拱座岩体卸荷状况,为拱端嵌岩深度的合理选择提供了重要依据。     

PaxosStore中共识协议TPaxos的推导、规约与精化

PaxosStore是腾讯开发的高可用分布式存储系统，现已用于全面支持微信核心业务.PaxosStore实现了分布式共识协议Paxos的一种变体，我们称之为TPaxos.TPaxos的新颖之处在于它的"统一性"：它为每个参与者维护统一的状态类型，并采用统一格式的消息进行通信.然而，这种设计方案也带来了TPaxos与Paxos之间的诸多差异，给理解TPaxos造成了障碍.其次，虽然腾讯开源了TPaxos协议的核心代码（包括伪代码与C++代码），TPaxos仍缺少抽象而精确的形式化规约.最后，就我们所知，TPaxos的正确性尚未经过必要的数学论证或者形式化工具的检验.针对这些情况，本文有三个主要贡献.首先，我们从经典的Paxos协议出发，论证如何逐步推导出TPaxos协议.基于这种推导，我们可以将TPaxos看作Paxos的一种自然变体，更易于理解.其次，我们给出了TPaxos协议的TLA+形式化规约.在开发规约的时候，我们发现TPaxos协议描述中存在至关重要但并未充分阐明的微妙之处：在消息处理阶段，参与者（作为接受者角色）是先作出"不再接受具有更小编号的提议"的承诺（Promise）还是先接受（Accept）提议?这导致对TPaxos的两种不同理解，并促使我们提出TPaxos的一种变体，称为TPaxosAP.在TPaxosAP中，参与者先接受提议后作承诺.最后，我们使用精化（refinement）技术论证了TPaxos与TPaxosAP的正确性.特别地，由于已知的投票机制Voting不能完全描述TPaxosAP的行为，我们首先提出了适用于TPaxosAP的投票机制EagerVoting，然后建立了从TPaxosAP到EagerVoting以及从EagerVoting到Consensus的精化关系，并使用TLC模型检验工具验证了它们的正确性.     

光面爆破在三峡船闸山体排水洞施工中的应用

三峡永久船闸两侧山体内各布置7条排水洞，排水洞除具疏排边坡地下水，提高高边坡稳定性作用，同时兼顾锚固，监测，科研，试验，补充地质勘探等作用。因洞室绝大部分由微新岩体组成，设计要求，对全，强风化洞室需采用钢筋混凝土支护，弱风化洞室锚喷支护；微风化洞室不作支护，但洞室必须成型规整。因此在施工中宜采用光面爆破技术。为此进行了光爆实验，通过实验找到了最佳施工方案和方法，施工效果良好，满足设计要求。     

HSE管理在忠武输气管道汉江穿越工程中的实践

HSE是健康(Health)、安全(Safety)和环境(Environment)管理体系的简称.HSE管理体系体现了ISO9000质量管理体系、ISO14000环境管理体系以及中华人民共和国职业安全卫生管理体系所涉及的主要要素,它是将组织实施健康、安全与环境管理的组织机构、职责、做法、程序、过程和资源等要素有机构成的整体,这些要素通过先进、科学、系统的运行模式有机地融合在一起,相互关联、相互作用,形成动态管理体系.HSE管理的特点在于:①管理目的明确;②管理手段先进;③管理全面细致;④管理具有整体性;⑤管理具有前瞻性.忠武输气管道汉江穿越工程中运用HSE管理取得较好的经验.