回采巷道过断层施工技术

受断层影响,巷道过断层期间掘进速度缓慢,影响采掘接替和矿井生产效率。为了更好地促进矿井生产,以23上04轨顺掘进为研究对象,采用FLAC 3D软件模拟巷道过断层时巷道围岩变形量和塑性区范围,并将围岩划分为正常围岩、过渡带和破碎带3部分。根据模拟结果可知,围岩变形量和塑性区范围都在过渡带开始增大,在破碎带达到最大值。巷道采用后退卧底法过断层,并对断层破碎带及时采用锚网索、注浆、U型钢棚进行支护,通过联合支护相互配合,可以共同提高巷道支护强度,增强巷道顶帮抗变形能力。     

长江重要堤防安全监测技术的应用与发展

长江重要堤防安全监测工程中,对主要穿堤建筑物、重要堤段都布置了安全监测设施.两年多来的监测过程中,获得了大量的监测资料和信息,为评价防渗墙的渗控效果及穿堤建筑物的运行状况提供了科学依据.防渗墙是堤防加固和防渗处理的主要工程措施之一,通过监测资料分析,防渗墙的实施有效地改善了堤身、堤基的渗流状态,不同结构形式的防渗墙所起的截渗效果是不一样的.穿堤建筑物内部监测由渗压计、测缝计、位错计和界面土压力计组成,为穿堤建筑物安全运行状况和施工质量评价提供了科学的依据.堤防安全监测新技术的开发与应用研究拓展了传统的安全监测领域,先进的安全监测技术在堤防工程建设中将得到广泛应用.     

丹江口大坝加高工程施工期的度汛方式探讨

南水北调中线工程是为了解决京、津、华北地区水资源紧缺而实施的战略性工程,丹江口大坝加高工程是中线工程的关键性工程之一.丹江口大坝初期工程在大坝加高施工期间仍然承担着汉江中下游防洪任务,妥善解决好丹江口大坝加高工程建设的顺利进行与初期工程的防汛度汛、正常运行管理关系,意义重大.现根据丹江口大坝加高工程施工期的度汛条件、度汛标准以及建设工期的要求等,对丹江口大坝加高施工期的度汛技术方案进行了探讨.     

管道内穿管修复技术的应用

为解决城市地下金属管道由于常年连续运行时间长、防腐技术落后情况下产生漏铁、穿孔腐蚀等问题,阐述了利用管内穿管的先进技术解决地下管道的修复问题.该技术经应用后,施工质量满足使用要求,具有推广价值.     

基于并行群体模拟退火算法的蛋白质折叠研究

蛋白质折叠研究对于揭示蛋白结构和功能关系,进而了解相关疾病的致病机理意义重大。蛋白质折叠已被证明是 NP-完全问题。本文针对蛋白质折叠研究中的能量最小化问题,提出了一种新的并行群体模拟退火算法（Parallel Group Simulated Annealing,PGSA）及其改进型算法（PGSA_1/K)。该算法使用了降温因子加速收敛精度,并采用 MPI 消息传递并行编程技术加快蛋白质结构空间搜索以及能量最小化寻找速度。以 Met_Enkephalin 蛋白为对象的计算机模拟仿真结果表明,我们提出的算法及其改进型有很好的扩展性,可以高效搜索蛋白结构空间,从而找到相关蛋白的最小能量结构。     

Algorithms for checking channel passing in web service choreography

Web service choreography describes global mod- els of service interactions among a set of participants. For an interaction to be executed, the participants must know the required channel（s） used in the interaction, otherwise the ex- ecution will get stuck. Since channels are composed dynami- cally, the initial channel set of each participant is often insuf- ficient to meet the requirements. It is the responsibility of the participants to pass required channels owned （known） by one to others. Since service choreography may involve many par- ticipants and complex channel constraints, it is hard for de- signers to specify channel passing in a choreography exactly as required. We address the problem of checking whether a service choreography lacks channels or has redundant chan- nels, and how to automatically generate channel passing based on interaction flows of the service choreography in the case of channel absence. Concretely, we propose a sim- ple language Chorc, a channel interaction sub-language for modeling the channel passing aspect of service choreography. Based on the formal operational semantics of Chore, the algo- rithms for static checking of service choreography and gen- erating channel passing are also studied, and the complexity results of algorithms are discussed. Moreover, some illus- trated service choreography examples are presented to show how to formalize and analyze service choreography with channel passing in Chorc.     

Factor graph aided multiple hypothesis tracking

Since closely moving targets exist extensively in the ground moving target tracking, the uncertainty of data association greatly increases making the measurement-to-track association more difficult. Especially, traditional multiple hypothesis tracking （MHT） has high false tracking rate and track swap. This paper first investigates the measurement based factor graph in data association, and gives the corresponding message passing algorithm. Then, a factor graph aided multiple hypothesis tracking （FGA-MHT） method is proposed, which introduces factor graph based m-best hypothesis producing technique and exploits factor graph based probability refinement algorithm to reduce the uncertainty of measurement-to-track association. Experiment results demonstrate that FGA-MHT reduces times of track swap and increases the correct data association rate in closely moving target tracking.     

管线穿越建筑物采用预应力钢筒混凝土顶管技术方案可行性分析

预应力钢筒混凝土(PCCP)顶管是在PCCP管道基础上研制的一种新型管材,是压力管线穿越建筑物的理想管材,可直接作为压力管道代替传统的大直径钢筋混凝土顶管内穿压力管道方案。文中结合禹门口提水东扩工程建设实践,对PCCP顶管的可行性进行了分析研究,认为压力输水管线穿越建筑物采用PCCP顶管方案具有很强的针对性和明显优势,包括成本低、施工周期短、技术合理等,通过增加PCCP顶管接头处理措施,还具有很好的安全性能,是一项值得研究推广的新技术。     

基于MPI并行计算的信号稀疏分解

在研究信号稀疏分解理论及其最常用的匹配追踪算法的基础上,针对MP算法存在的计算量过大的问题,提出一种基于并行计算系统实现信号稀疏分解的方法。该方法利用8台微机,采用MPI消息传递机制,以100 M高速以太网作为互联网络,构建了一套Beowulf 并行计算系统,在此系统上通过编制并行程序来实现MP算法。实际测试表明这种方法具有很高的并行计算效率,分解时间从单机75 min左右下降到8机并行11 min左右,大大提高了信号稀疏分解的速度。     

POM:一个MPI程序的进程优化映射工具

现代超级计算机具有越来越多的计算结点,同时结点内具有多个处理器核。由于互联带宽的差异,结点间与结点内构成两个通信性能不同的通信层次,后者的通信性能好于前者。但是,目前MPI程序的默认进程映射未考虑该通信层次差异,无法利用结点内较好的通信带宽,严重束缚了超级计算机的性能发挥。针对该问题,本文设计实现了能利用层次通信差异的MPI程序自动进程优化映射工具POM,提供了高效、低开销获取MPI程序通信信息的方法,最终通过优化通信在通信层次上的分布提高了程序的通信效率,从而提高了应用程序的性能。本文解决了硬件平台通信层次的抽象、MPI程序通信信息的低开销获取与映射方案的计算三个问题。首先,按照通信能力差异将超级计算机结构抽象为高速互联的不同计算结点与相同结点上的多个处理器核两层。其次,提出了将集合通信转化成点到点通信的简单实现方法。最后,利用无向加权边图来表示MPI程序的进程间通信关系,将MPI程序的进程映射问题转化为图划分问题。在曙光5000A和曙光4000A上的实验结果表明,利用POM工具能够显著提高MPI程序的性能。