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

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

做好交通行业政务信息工作的研究

以山东省港航业政务信息工作为例，对如何做好交通行业政务信息工作进行研究。做好交通行业政务信息工作的关键是要根据交通行业的特点，构建交通政务信息网络；围绕港航行业管理内容，突出港航信息特色；同时也离不开领导的重视和支持。     

成昆铁路矮塔斜拉桥索梁锚固区模型试验研究北大核心

为研究铁路矮塔斜拉桥索梁锚固区的受力形式,以成昆铁路金沙江大桥为工程背景,针对该桥采用的新型梁顶混凝土锚固构造,通过缩尺模型试验研究其在不同荷载下的应力分布和开裂特征。结果表明:在斜拉桥成桥恒载索力作用以及最不利荷载组合索力作用下,C7锚固块更容易发生破坏,将其作为试验构件开展缩尺模型试验,发现锚固块在不同张拉荷载作用下张拉至设计索力的过程中,应变增幅基本上线性增加,卸载后同样呈线性减小,说明混凝土受力处在线弹性阶段,且应力在规范要求范围内。在试验荷载加载至140%设计索力时,锚固块前端倒角位置开始出现细小裂纹且随荷载的增加不断开展。当荷载卸载至0时,之前出现的裂缝随荷载的减小逐渐闭合,宽度肉眼不可见,表明该构造能够满足正常使用要求且具备足够的安全储备。     

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

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

潮位变化对上海某越江盾构隧道变形的影响规律研究

为了探究潮位变化与越江盾构隧道的沉降和收敛变形之间的关联性,采用数据统计分析、相关性分析和周期性分析方法,对上海某越江盾构隧道的监测数据与同时期隧道上部的潮位变化进行研究分析。研究表明:1)江中段隧道在潮位变化的作用下产生均匀沉降,其波动性与潮位起伏具有近似的周期性;2)陆域段隧道沉降变化的波动性程度与河流的距离有关;3)潮位变化引起隧道管片断面的横径和竖径产生循环的收敛变形,其横径收敛变形大于竖径收敛变形。以上研究可为越江盾构隧道设计、施工和运维提供参考。     

昆明市“月月无车日活动”及公众调查分析

调查了解公众对无车日活动常态化这一公共政策的反应,能够为城市交通政策的制定提供一定的技术参考。介绍了昆明市城市交通概况及首个无车日活动成效,同时,对“月月无车日活动”做了概述,在总结前几次活动经验的基础上,给出了活动的进一步调整方案。通过对无车日活动公众调查问卷的数据分析,得出大多数公众对“月月无车日活动”的态度是理解和支持的;在无车日当天,私人小汽车拥有者选择公共交通作为替代小汽车出行方式的比例最高。另外,大力发展公共交通也被受访者认为是解决城市交通拥堵应当首选的措施。