基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

公路隧道衬砌混凝土厚度及密实性试验研究

文章根据公路隧道初期支护的情况,制作了足尺寸的衬砌模型,并在模型中设置了模拟隧道初期支护背后空洞、回填不密实等典型缺陷工况,采用地质雷达进行检测试验。试验结果显示采用不同频率的雷达天线时,异常体的测试分析结果有较明显的差异,表现出了各自的优缺点;同时结合相对介电常数标定、时长参数设定、距离归一化、脉冲响应滤波及天线的选择使用方面提出了相应的处理建议,可供使用地质雷达法检测隧道初期支护的工程技术人员参考。     

基于基准有限元模型的箱梁TMD振动控制研究

针对高架桥梁结构引起的振动噪声问题,研究TMD控制箱梁结构振动的特性。为了获得精准的箱梁有限元模型,首先以铁路32 m简支箱梁桥为原型,按10:1的几何相似比设计制作简支箱梁缩尺试验模型,应用ANSYS软件建立初始动力有限元模型;对有限元模型模态分析与试验模型模态测试得到的自由模态信息进行误差分析,并采用基于灵敏度分析的模型修正技术对初始动力有限元模型弹性模量和密度进行修正,得到基准有限元模型,误差确认结果显示修正后的有限元模型更精准地反应箱梁的振动特性;进一步利用基准有限元模型,开展TMD控制简支箱梁桥振动的研究,研究结果表明TMD对于抑制桥梁竖向共振有很好的效果。     

隧道爆炸冲击波的危害及控制措施

目前山岭隧道施工基本以钻爆法为主,爆破过程中产生的冲击波会对隧道内的人员及机械设备安全产生较大影响,造成重大安全事故和财产损失。本文主要介绍了冲击波在隧道内传播会形成超压,且随着传播距离增加超压峰值逐渐衰减到大气压范围内;基于超压准则评估了冲击波对人体、隧道内设施及周边建筑物的危害程度;通过在隧道内安装简易的冲击波缓冲装置及加强监测、设置安全警戒线等控制措施,减弱了爆破冲击波的危害,从而达到安全快速施工的目的。     

基于信令数据的出行强度影响因素分析模型

为探究城市交通出行强度影响因素及不同因素的影响程度，本文从土地利用与交通基础设施建设两方面出发，分析包括土地利用混合指数，职住混合率熵指数，公共交通站点 500 m覆盖率，路网可达性等17个指标与出行强度的相关关系；基于相关系数和拟合优度分析，提取7个与出行强度强相关指标，基于所识别指标构建北京市中心城区出行强度多元回归模型.模型结果表明，职住混合率熵指数对出行强度的影响最为显著，公共交通站点覆盖率对出行强度的影响比道路网密度和可达性更为明显.此外，给出单一土地利用/交通基础设施指标对出行强度拟合结果的离群特征分析方法，用于评估不同区域基础设施供给与交通出行需求之间的平衡关系.     

考虑移步需求的无桩型共享单车动态调度研究

共享单车系统自发的不均衡性导致单车数量分布与用户需求分布之间产生偏移，降低了系统服务能力，需要调度实现再平衡. 现有动态调度算法缺乏考虑起点车辆供给不足，用户在出行过程中“再次”取车的移步需求，难以准确识别用户真实的出行需求分布，降低了调度效果. 本文提出以用户出行选择行为为下层，以调度车辆路径规划为上层的双层规划模型框架，设计结合仿真系统的启发式求解算法. 算例场景基于上海市虹口、杨浦区共享单车历史出行数据搭建，并进行网格化处理. 算例结果表明，模型能有效识别移步需求，提高共享单车的供需匹配能力. 针对各类调度资源配置情况，共享单车的供需匹配率提升18.07%~ 19.89%，提高了共享单车系统的管理效率.     

“三图四表”管理制度在轨交基坑施工中的应用

结合宁波轨交1号线一期工程TJ-Ⅷ标东环南路站工程,参建单位对基坑结构风险进行了静态分析与评估,并对基坑设计方案进行了优化。在基坑开挖过程中,通过"三图四表"管理制度对基坑开挖过程进行动态实时的控制,采取了一系列针对基坑变形的控制措施,顺利完成了该站主体基坑的开挖作业。可供欠固结土地区深基坑的设计和施工参考。     

泥浆悬浮砂粒能力分层测定试验研究

为实现泥浆悬浮砂粒能力的量化分析,提出一种分层测定方法,选取12%、15%和18%3种质量分数的试验泥浆,通过自行设计的分层取样装置进行试验研究,获取不同泥浆质量分数、沉降时间和砂粒粒径条件下的10个深度分段的砂粒质量分布,分析各参数影响下的砂粒沉降变化规律。结果表明:1)该分层测定方法可较好地获取不同深度分段的砂粒质量,弥补现有测定方法只能获取底层砂粒沉降质量的不足;2)试验所采用的3种质量分数的泥浆对0.1 mm以上粒径的砂粒悬浮能力均较差。根据砂粒沉降曲线分布特征,提出一种用于判别泥浆悬浮砂粒能力的方法,即砂粒沉降曲线越平缓,各层质量差异性越小,底层质量无明显拐点,不同沉降时间曲线越紧密,则泥浆悬浮砂粒能力越强。     

某深基坑开挖数值模拟与实测对比分析

通过FLAC3D对现场工况进行了开挖模拟,与实测结果进行了对比分析。围护结构型式采用单排桩+锚索和双排桩,开挖到坑底时,计算的桩身水平位移最大值分别为8.73 mm和10.19 mm,实测值分别为10.57 mm和12.05 mm,实测值稍大于计算值,桩身整体侧向变形规律一致。围护结构型式采用单排桩+锚索,不同开挖阶段坑外地表沉降的计算值与实测值对比,整体沉降均随着开挖深度增加而增大;沿基坑方向的分布规律也大致相同,都是呈凹槽型分布,最大沉降值出现在距桩后3~4 m范围内。