预应力锚索腐蚀耐久性试验方案设计探讨

预应力锚索在岩土工程加固中应用广泛,其腐蚀耐久性对工程运行安全至关重要,而相关的腐蚀变化规律及机理还有待进一步明确。在总结当前预应力锚索腐蚀耐久性研究成果的基础上,对其腐蚀耐久性室内加速试验方案设计进行了探讨。分析了影响腐蚀的主要因素并拟定了各因素的不同影响水平;采用正交设计方法优化试验方案并通过有限元方法对试验模型尺寸和应力分布进行了计算模拟优化和验证;介绍了模型制作等工艺步骤。相关成果可供类似耐久性试验方案设计参考。      

一种新的公平非否认协议及其安全性分析

本文对Kailar逻辑进行了扩充,并运用扩充的Kailar逻辑指出了CMP1协议存在的安全缺陷。最后,运用扩充的Kailar逻辑证明了改进后新协议的正确性。     

高分辨率超声Lamb波频散曲线测量与板厚估计

超声Lamb波在工业无损检测与 评价中具有广阔的应用前景。但受制于超声导波多模式频散与混叠的影响,如何实现高分辨率超声导波的模式分离与频散曲线提取,进而定量分析材料的健康状况一直是研究的热点与难点。本文旨在将现代信号处理中广泛采用的谱估计技术应用于超声Lamb波阵列信号分析,并通过提取频散曲线定量测量板厚度。以经典参数谱估计法中的Yule-Walker法与Burg法为例,实验测量和分析了3 mm,4 mm和 5 mm厚铝板中的宽带多模式Lamb波信号,准确地提取了铝板中的宽带Lamb波频散曲线,并比较了两种经典谱估计方法与二维傅氏变换法的性能,最终实现了铝板厚度估计。     

基于GIS的长江流域站网平台设计与实现

随着国家对水文水资源工程项目高度重视,水文站网规划和管理工作日趋繁重。结合长江流域站网工作实际,利用GIS技术,通过功能模块设计、数据库设计、主要算法设计,探讨了长江流域站网管理平台的设计与实现。系统功能模块包括数据组织与管理、信息查询与展示、辅助规划与分析、防汛决策与支持,算法设计关键技术有雨量等值面及面雨量计算。该系统能有条理地组织各类站点、快速获取站点数据,其数据和计算方法可为站网规划及防洪决策提供重要依据。     

热轧奥氏体中锰耐磨钢的磨料磨损性能研究

以热轧BTW中锰钢板为实验材料,借助ML-100磨料磨损试验机,研究以煤泥粉为软质磨料和石英砂为硬质磨料时其磨料磨损性能,利用SEM分析其磨损机制。实验结果表明,软质磨料磨损工况条件下,热轧奥氏体中锰钢和高锰钢的相对耐磨性低于马氏体耐磨钢,硬质磨料磨损工况条件下,热轧奥氏体中锰钢的相对耐磨性高于高锰钢和马氏体耐磨钢,因此热轧中锰钢更适用于硬质磨料磨损工况;无论软质和硬质磨料磨损工况,热轧中锰钢的加工硬化均高于热轧高锰钢,表现出更好的加工硬化性能。煤泥粉软质磨料对热轧中锰钢的磨损机制表现为微观切削磨损,伴随局部的疲劳剥落;石英砂硬质磨料对热轧中锰钢的磨损机制则为典型的凿削磨损和微观切削磨损。     

布谷鸟搜索算法在梯级水库优化调度中的应用

针对梯级水库优化调度在求解时易出现维数灾及计算时间过长等问题,将布谷鸟搜索算法用于梯级水库优化调度问题求解。实例计算表明,应用布谷鸟搜索算法求解梯级水库优化调度问题时,不但能对水库优化调度模型进行有效求解,还能节约计算用时,为求解高维梯级水库优化调度提供了新的思路。     

长江经济带城市生态效率演变及驱动因素分析

城市生态文明建设依托于生态效率的改善,基于2005—2016年长江经济带107座城市面板数据,采用超效率SBM（slacks-based measure)模型测算生态效率,并结合探索性空间分析与空间马尔科夫链等探讨生态效率时空演化格局的内在规律, 实证分析生态效率驱动因素的影响效果。研究表明：2005—2016年经济带生态效率总体呈平稳态势,上、中、下游呈现“阶梯型”分布,下游依次优于中游和上游地区,部分地区生态效率呈“两级型”分化趋势;城市间生态效率发展存在空间联动效应,与生态效率高的城市为邻,其正向溢出作用促进城市状态向高水平跃迁,而与生态效率低的城市为邻,其负向作用拉动城市状态向低水平发展;人口规模与产业升级对经济带不同流域具有异质性作用,其提升下游生态效率而抑制中游和上游生态效率,产业升级与生态效率存在“U”型关联,意味着产业升级在短期内并不能使生态效率状态改善,而经济发展有利于促进生态效率向高水平状态演变。     

模态逻辑与带变量串空间相结合的协议分析

在传统的串空间基础上引入带变量的串空间模型,对于未确定的消息项或其子项用变量表示,允许变量出现在消息项及其演算中,协议由参与协议运行的不同主体的带变量的串组成。以协议运行的迹语义为模型,提出了一个用于推理协议主体的各种行为的模态逻辑系统,给出了该逻辑的语法、公理及推理规则。基本的模态公式 表示主体A完成动作P, 是相应的结果,通过主体行为的各种组合并绑定相应逻辑公式,最终推断安全协议的秘密性和可鉴别性。用该方法分析Helsinki协议,能发现其中的安全漏洞Horng-Hsu攻击。     

满足LDP的多维数据联合分布估计

多维数据的发布与分析可以产生巨大的价值,但在数据收集阶段时常发生隐私泄露的问题.传统的中心化差分隐私保护方法要求一个完全可信的第三方数据收集者来收集数据,但在现实中很难找到一个完全可信的第三方数据收集者.随着属性维度的增加,数据收集者的求精处理工作(联合分布的计算)也成了一个亟待解决的问题.针对上述问题提出一种适用于多值数据的本地化差分隐私保护算法(RR-LDP),引入一元编码和瞬时随机响应技术用来在数据收集阶段保护个人隐私,降低了通信开销;在满足LDP的情况下,结合期望最大化(EM)算法和LASSO回归模型,提出了高效的多维数据联合分布估计算法(LREMH).该算法用LASSO回归模型估计初始值,用EM算法进行迭代计算.理论分析和实验结果表明LREMH算法在精度和效率之间取得了平衡.     

近55年新疆伊犁河谷气温和降水变化趋势分析

为探明新疆伊犁河谷气候变化特征及其未来变化趋势,基于伊犁河谷11个气象站点1960~2014年气温和降水监测数据,利用Mann-Kendall检验与Theil-Sen median趋势分析、Mann-Whitney-Pettitt(MWP)阶段转换检验及R/S分析方法,分析了伊犁河谷近55年的气温和降水变化趋势。结果表明,伊犁河谷气温和降水在近55年总体呈显著增加趋势,气候向暖湿方向演变;气温和降水变化分别在2005、1997年发生跃变,跃变后两者变化趋势由增加转换为减少;在未来的长时间尺度内气温和降水变化将表现为增加,但短时间尺度内表现为减少,未来气候变化存在较大波动。