600 m钢管混凝土劲性骨架拱桥主拱圈混凝土浇筑方案研究

主拱圈混凝土浇筑是建造600 m跨径钢管混凝土劲性骨架铁路拱桥的关键环节，为此提出某600 m跨径钢管混凝土劲性骨架拱桥的主拱圈混凝土浇筑方案，具体为：采用四工作面法，主拱圈截面分为6环，并设1组斜拉扣索辅助调载，适当调整1环混凝土在各工作面上的浇筑顺序和节段长度。采用有限元法对施工全过程进行模拟分析，验证该方案可行性。结果表明：在主拱圈拱脚和控制性截面应力过程线峰值处分别设置工作面，且首先在第二工作面上浇筑一定长度的混凝土节段，再同时浇筑第一、第二工作面混凝土节段，可有效降低浇筑过程中结构的瞬时应力；通过在主拱圈拱脚附近设置斜拉扣索并适时调整索力作为辅助调载措施，可达到调整拱脚截面应力和保持拱轴线合理下挠的目的；通过合理设置工作面和辅助措施，适当确定混凝土浇筑顺序和节段长度，可保证主拱圈外包混凝土浇筑期间结构应力和变形控制在容许范围内。     

劲性骨架混凝土拱桥主拱圈箱形截面分环和浇筑方式

针对劲性骨架混凝土拱桥主拱圈常用的箱型截面，总结归纳主拱圈混凝土主要分环和浇筑方式及其影响因素，提出分环和浇筑的基本原则，并采用有限元法模拟分析分环浇筑方式对单箱三室截面劲性骨架混凝土拱桥内力与变形的影响。结果表明：箱形截面能较好地满足劲性骨架拱桥主拱圈受力和构造的要求，是大跨度桥梁的理想截面形式；主拱圈混凝土分环和浇筑方式主要由劲性骨架结构承载能力、施工操作性、结构整体性和经济性4个因素决定；进行分环和浇筑应遵循的基本原则包括减少分环数量，对称分环和浇筑，尽快完全包裹劲性骨架弦管，尽快形成完整箱室以及将截面复杂部分划分至易于施工混凝土环内等；跨径416 m劲性骨架拱桥的三室箱形截面主拱圈采用合理的分环和浇筑方式，可以分别降低5.9%的劲性骨架钢管应力和16.8%的管内混凝土应力，减少7.8%的拱顶下挠位移。     

疫情防控背景下的地铁多车站客流协同控制模型及算法

基于各车站在各时段客流进站速率的协同优化，考虑客流控制和客流承载过程中的各种约束，以列车车厢内客流聚集总风险最低和乘客在车站总等待时间最短为双目标，构建疫情防控背景下的多车站地铁客流协同控制模型。针对模型的非线性特点，设计基于变邻域搜索的启发式算法进行求解。依托南昌地铁1号线实际客流数据构建算例进行验证。结果表明：实施客流协同控制后，研究时段内全部23列列车的满载率均未超过满载率阈值0.5，且客流聚集总风险值较控制前下降65.41%，乘客平均等待时间仅为3.87 min；随着列车最大满载率阈值的增加，乘客的等待时间呈指数下降趋势，而客流聚集风险则呈线性增长；缩短发车间隔时间能够有效降低列车满载率，但列车运行成本也会急剧增加；按实际发车间隔时间（10 min）实施客流协同控制后，所有列车的满载率均低于0.5，客流聚集总风险值下降22.36%，而乘客平均等待时间仅增加0.6 min，验证了模型及算法能更加高效地降低列车满载率。     

桩—垃圾土界面力学特性的试验研究

桩基础是垃圾填埋场地再利用的主要地基处理方式，桩-垃圾土的界面力学特性是分析桩-垃圾土相互作用的关键。为了研究桩-垃圾土接触面剪切特性，利用大型直剪仪开展桩-垃圾土大型界面剪切试验，系统研究了界面粗糙度、纤维含量、含水率等因素对桩-垃圾土界面力学特性的影响。结果表明：桩-垃圾土界面剪切应力随着剪切位移增大而增大，增长速率为先增大后趋于稳定，两者关系符合双曲线模型。不同法向应力作用下，随粗糙度的增大，抗剪强度呈先增大而后基本稳定的状态，桩侧粗糙度适当增加可以提高桩侧摩阻力以增加桩基的承载力。接触面剪切破坏符合摩尔-库仑剪切破坏准则，接触面黏聚力先增大后趋于稳定，内摩擦角逐渐增大，并在土体自身剪切强度附近变化。含水率对桩-垃圾土的抗剪强度影响较小。随着垃圾土纤维含量的增加，内摩擦角减小，黏聚力增大；在一定的法向应力下，随着纤维含量的增加，剪切强度减小。     

基于均衡运行图的轨道交通站台客流密度优化研究

随着城市轨道交通的发展，地铁成为市民公共交通出行的首选对象。为提升乘客出行体验，实现运力与运输需求的匹配，同时降低城轨站台候车区拥挤度，文章基于运行图的均衡性指标对站台客流密度的优化进行了研究。首先利用排队论基础方法和理论，建立了以城轨站台候车区客流密度为研究对象的计算模型，分析出列车运行图均衡性与站台候车区客流密度的关系。然后，通过创建峰期、创建过渡期、连接任务线、冲突处理、均衡处理等过程，实现了城轨均衡运行图的自动编制。最后结合长沙轨道交通4号线客流数据，通过仿真验证了方法的有效性。仿真结果表明基于该方法的自动编制的运行图比人工编制的运行图其站台候车区最大客流密度更低，因此算法具有更好的实用价值。     

基于可靠性理论的地铁深基坑支护方案优化研究

基于可靠性理论开展了地铁深基坑工程支护方案的优化研究。针对某地铁深基坑工程，基于可靠度一致的原则，提出采用钢支撑替代原有支护体系中的混凝土支撑的优化方法。采用有限元软件对不同支护方案下的开挖过程进行了数值模拟，验证了优化支护方法的合理性，并将该方法应用于典型的地铁深基坑工程，对该方法产生的经济和社会效益进行了分析。结果表明：在可靠度一致的前提下，钢支撑完全可以发挥与混凝土支撑相同的作用，用钢支撑替换混凝土支撑的方案是完全合理及可行的；优化的支护方案能带来明显的经济和社会效益，体现在降低造价、缩短工期、减少环境污染等。     

时序逻辑及其表达能力综述

时序逻辑是研究状态随时间变化系统的逻辑特性，在软硬件验证中有着广泛应用，是模型检测的基础。基于对时间模型的不同描述以及为了处理更加复杂的计算特征，衍生出各种时序逻辑，具有不同的表达能力，正确理解其表达能力对于系统模型的形式化规约尤为重要。首先，介绍基于离散时间模型的线性时序逻辑LTL、计算树逻辑CTL和CTL^*，以及基于连续时间模型的区间时序逻辑ITL和投影时序逻辑PTL，对它们的表达能力及区别进行了详细阐述；然后，概述为了描述随机、实时、混成、开放系统中的复杂行为而提出的不同时序逻辑，指出它们的特点及适用范围；最后，对时序逻辑的未来研究方向进行展望。     

地铁车辆设备电气连接器的振动测试及故障分析

针对上海地铁11号线设备电气连接器卡扣出现断裂的问题，开展地铁车辆实际线路运行的振动测试，结合GB/T 21563—2018标准从振动加速度有效值、振动冲击加速度峰值、振动频谱和不同车次等方面进行设备连接器的振动特性分析，并与沈阳、北京和广州等地铁线路测试数据进行对比分析，针对性提出改进措施。研究结果表明：上海地铁11号线设备电气连接器各测点在3个方向的振动都明显大于沈阳地铁2号线、北京地铁房山线和广州地铁2号线，与线路条件、速度等级直接相关；上海地铁11号线设备电气连接器各测点的纵向振动加速度均超过标准值，横向与纵向振动冲击加速度峰值超过标准值，电气连接器的断裂故障与振动过大有关；采用提升连接卡扣在纵向方向的紧固度和调整卡扣为实心结构的改进措施，可以解决设备电气连接器卡扣断裂问题。利用振动测试的分析方法可为地铁车辆设备的可靠性提供参考。     

突发公共卫生事件应急物流管理现状与对策分析——以开封市为例

本文以完善开封市应急物流体系，提升应急物流管理水平为主要目标，基于供应链管理思想，构建“采购-仓储-运输-配送-回收”的应急物流管理治理链条，在进行充分的实地调研的基础上，尝试针对以上各环节现状进行分析，并提出改善建议和措施。