混凝土相场断裂模拟——影响裂纹宽度的因素

混凝土的断裂特性对工程安全起着关键作用。相场断裂法能方便地模拟出裂纹的动态扩展过程,利用UEL和UMAT子程序,实现混凝土相场断裂的Abaqus二次开发,分析了单元尺寸和长度尺度参数对三点弯曲混凝土梁裂纹扩展宽度的影响。研究结果表明：当单元尺寸足够小时,裂纹宽度将不再受单元尺寸的影响,裂纹宽度随长度尺度参数减小而减小。     

西堠门大桥的主缆架设

介绍西堠门大桥主缆索股牵引系统的设计、主缆一般索股与主缆背索的架设、主缆水平放索工艺以及在海洋冬季季风气候条件下主缆架设所采取的措施.     

植筋加固技术在水泥混凝土路面裂缝处理中的应用

通过分析和比较水泥混凝土路面裂缝处理方法,提出采用植筋加固技术治理此类病害的合理性,并对植筋加固水泥混凝土路面的裂缝施工方法进行探讨,对这一技术的推广具有指导意义.     

基于改进YOLOv5s模型的地铁屏蔽门与列车门间异物快速检测方法

快速准确地检测地铁屏蔽门与列车门间异物对于保障安全具有重要意义。针对当前地铁屏蔽门与列车门间异物检测方法的低效和不准确,提出了1种基于YOLOv5s模型的快速检测方法。由于原始YOLOv5s模型在检测异物时仅依赖于候选区域内部特征信息而忽略了全局语义信息,因此引入全局语义模块来解决这一局限。该模块集成了非局部模块和压缩-激励模块：非局部模块采用自注意力机制建模像素对关系,捕获长局信息依赖;压缩-激励模块则起到降低模型计算量的作用。全局语义模块使得模型能够捕获全局语义信息并将其与局部信息相结合,以实现更好的异物检测,同时不会显著增加计算复杂度。此外,原始YOLOv5s模型中低效的Focus模块被1个完全由标准卷积单元构成的Stem模块所取代,有助于减少模型计算量和提高检测速度。使用桌面级显卡NVIDIA TITAN Xp,在从真实地铁站中采集构建而成的5 854张地铁异物数据集,对模型进行验证,实验结果表明：①改进后的YOLO模型表现显著优于其它基准模型,检测速度达到385帧/s,相比原始YOLOv5s提升100%,相比最快的YOLOv3-SPP提升466%;②改进后的YOLO模型实现了88.5%的检测平均准确率,相比原始YOLOv5s提升0.5%,相比检测平均准确率最高的YOLOv3-SPP提升0.6%;③此外,改进后的YOLO模型仅占用空间14.4 MB的计算机存储空间,相比原始YOLOv5s减少0.7%,相比所占空间最小的SSD减少85%。     

铁路站段办公自动化管理系统的通用设计方法

在比较深入、全面分析铁路站段标准化的管理模式和数据流程基础上,提出了站段办公自动化管理系统的总体设计、数据流程设计、网络设计等通用设计方法,并就系统开发的方法、环境以及可能遇见的问题进行了讨论,为系统实现打下扎实的基础.     

氢在高强度管道钢应力腐蚀中的作用

用显微镜观察了不同充氢电流下X80管道钢恒载荷拉伸试样的显微组织和断口形貌 ,测定了管道钢中氢致附加应力。结果表明 :随氢浓度增加、应力减小 ,试样断口逐渐从韧性断口向脆性断口过渡 ;断裂微裂纹通常在点蚀坑和杂质处形成并呈不连续扩展 ,形成穿晶断裂 ;管道钢中氢致附加应力随氢浓度的增加而线性升高     

高速列车运行调整与运行控制一体化双目标优化模型与算法

列车实时运行调整与运行控制是实现高速列车准点节能运行的两个重要方面.本文构建高速列车运行调整与运行控制一体化优化模型,以降低列车总延误时间与运行能耗为目标,同时优化列车速度距离与时间距离曲线.与以往研究将列车运行调整与运行控制独立优化不同,本文基于列车牵引计算,通过锁闭时间理论将列车运行调整与控制的解空间进行耦合,根据列车运行速度、制动性能、信号系统的清空与开放时间、轨道区段/闭塞分区的长度等因素,精细化计算列车占用不同轨道区段/闭塞分区的时间,动态确定列车区间运行时分与追踪间隔.为求解复杂的非线性模型,设计分段近似法将非线性约束进行重构,从而将非线性优化模型转变为混合整数规划模型.通过算例计算,给出双目标问题的帕累托解集,与单目标优化方法对比,本文方法可以减少总能耗2.46%,降低运行总延误7.33%.     

焕然新生

2016款斯柯达Yeti人气暴增 从2013年11月入市至今,Yeti在国内市场拥有极佳的口碑,广受用户好评。日前,2016款Yeti升级上市,售价更加亲民,性价比提升;再加上1．6L及以下乘用车购置税减半的利好消息,令Yeti的人气迅速暴增,市场好评如潮。单月销量冲破3000辆关口,让人看到了这款实力不俗的SUV车型的无限潜力。     

高速公路路基、桥梁与隧道的衔接方案探讨

针对高速公路建设项目中路基、桥梁和隧道因断面宽度不同而导致衔接处出现突变的问题,分析各种断面的结构组成及产生突变的原因,阐述对断面衔接的优化处理,达到路基、桥梁与隧道断面之间平顺过渡的处理效果,降低因断面突变问题引发的行车安全事故.     

Process passing calculus, revisited

In the context of process calculi,higher orderπcalculus(A calculus) is prominent and popular due to its ability to transfer processes.Motivated by the attempt to study the process theory in an integrated way,we give a system study of A calculus with respect to the model independent framework.We show the coincidence of the context bisimulation to the absolute equality.We also build a subbisimilarity relation from A calculus to the n calculus.