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

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

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

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

EGNOS天顶对流层延迟模型适应性评价与分析——以新疆地区为例

利用IGS站及实测气象参数的Saastamoinen模型来评估EGNOS天顶对流层延迟模型在新疆的精度,研究表明：（1）在新疆地区,EGNOS模型与IGS站数据符合较好,guao站BIAS为0.9mm,RMS为1cm;（2）EGNOS模型与实测气象参数的Saastamoinen模型比较分析后发现,两者之间平均BIAS为－7.9mm,RMS为1.62cm,BIAS随纬度的增加由负值变为正值,EGNOS模型精度在新疆地区随高程变化稳定,在高程较低处也能保证一定的精度,与其他同纬度不同高程的IGS站相比较,EGNOS模型精度在新疆地区优于其他地区;（3）与ECMWF资料计算的ZTD比较,EGNOS模型RMS优于ECMWF 近3.6cm。     

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

蛋白质折叠研究对于揭示蛋白结构和功能关系,进而了解相关疾病的致病机理意义重大。蛋白质折叠已被证明是 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.     

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

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

矩形窗正交时频空检测算法

针对正交时频空(Orthogonal Time Frequency Space, OTFS)调制系统采用矩形窗函数时,信道矩阵结构复杂导致的鲁棒性差的问题,提出了一种基于时域处理和酉近似消息传递的检测算法。该算法首先添加循环前缀,将时域信道转换为分块对角矩阵;然后应用酉变换和近似消息传递建立迭代检测算法。仿真结果表明,所提检测算法能够在不增加复杂度的条件下有效提升检测精度和鲁棒性,特别是存在信道编码的条件下表现出2 dB的性能增益,使得该算法更适用于杂散多径、高速移动等环境,具有较高的应用价值。     

High Performance MPI over the Slingshot Interconnect

Journal of Computer Science and Technology - The Slingshot interconnect designed by HPE/Cray is becoming more relevant in high-performance computing with its deployment on the upcoming exascale...     

基于QNX的PC104总线设备驱动模块的开发

QNX作为最优秀的嵌入式实时操作系统之一,已被应用于诸如医疗仪器、电网通信以及航空航天等任务关键型领域。在掌握QNX微内核结构和消息传递机制的基础上,论述了QNX下资源管理器的原理以及资源管理器与设备驱动程序的关系,具体分析了PC104总线设备驱动程序编写规范和步骤。实现了QNX下应用程序对硬件访问的无关性,大大增强了系统安全性以及移植性等。