摘要：矮寨大桥项目针对钢桁梁架设技术特点,利用岸侧卷扬机作为动力源,将卷扬机进绳和出绳系结于运梁小车上,形成封闭的环形布绳路径,这样卷扬机进绳和出绳速率是一致的。一旦启动卷扬机牵引,运梁小车的尾索能提供稳定、均匀的尾索牵引力。该牵引系统结构简单、系统配置适应性强、体系安全可靠,安全平稳地完成了矮寨大桥69根节段梁的牵引架设。介绍了该系统技术思路、设计完善以及施工的具体过程。

摘要：悬索桥的主缆由两岸锚碇进行锚固,锚固系统定位精度至关重要,决定结构受力是否与设计吻合。钢束的定位采用三维解析法,该测量方法具有精度高、操作方便、无累积误差的特点,可大大提高工作效率。

摘要：矮寨大桥施工条件恶劣,多种常规施工方法均无法解决钢桁加劲梁的架设问题,建设各方秉承技术创新理念,提出了钢桁加劲梁轨索滑移法架设新方案,通过理论计算、功能分析、系统设计、模型试验等方法解决了该系统在吊鞍、轨索、运梁小车以及牵引系统等组成各部位的关键技术问题,成功应用于此桥的架设中,应用效果显著,高效、低成本地突破了山区跨峡谷悬索桥架设的技术瓶颈。

摘要：随着分布式系统规模的增大,设计复杂度也不断提升,系统可靠性所面临的问题也越来越严峻.由于拜占庭协议能够容忍包括人为失误、软件bug和安全漏洞等各种形式的错误,其系统技术和实现方法越来越受到研究者们的重视.介绍和总结了目前拜占庭系统技术的研究成果,分析了目前拜占庭系统的研究现状,并探讨了拜占庭系统的发展趋势.通过分析得出:1)拜占庭系统性能上仍然与已经实用的非拜占庭系统相距较大,占用资源数量仍然较多,需要进一步研究其性能和资源优化技术;2)通过检测错误或者定期修复来降低系统中的错误,是延长系统可持续运行时间的方法,需要研究新的、高效的全面检测拜占庭服务器、合理定期修复等保障系统可持续运行的方法;3)实际应用背景和需求及其特定错误类型的处理方法对拜占庭协议和功能等提出了不一样的要求,需要研究拜占庭系统在实际中的应用和可用性.

摘要：随着key-value存储系统的广泛使用,越来越多的研究开始关注分布式系统中的可信问题,其中一个重要的问题是,如何在系统被入侵或者管理员配置错误并运行一段时间后,检测出受污染的数据,从而可以在恢复错误数据的同时保留系统的合法更新.文中提出了一种基于key-value存储系统的错误污染检测方法,该方法允许在客户端不可信的前提下,检测客户端之间的污染扩散.文中设计了一种基于各服务器逻辑时钟的向量时钟,该时钟以用户关联操作为更新规则,记录了跨服务器的读写请求逻辑关系,用以进行错误污染跟踪;同时为了减少大规模系统中污染检测的开销,基于该向量时钟,文中进一步提出了一种在分布式系统中由操作序列构成有向无环图的污染分析方法.基于广泛使用的Voldmort key-value系统,文中实现了一个错误污染检测系统,Tracker Store.在集群测试环境下,文中对引入新的检测系统后产生的额外延迟开销进行了测试.