基于MSC与UPPAAL的高铁跨界临时限速建模与验证

临时限速服务器是高铁列控系统的重要组成部分,其不仅要校验CTC下发的临时限速命令,还要与相邻调度台临时限速服务器之间进行频繁的信息交互,因此对其安全性和实时性要求也更苛刻。为了满足高铁列控系统对其运行的要求,采用时间自动机理论和消息顺序图(MSC)相结合的方法,首先建立跨界临时限速命令的MSC模型和时间自动机子模型,再利用UPPAAL验证工具对形式化语法BNF描述的时间自动机子模型属性进行验证。根据仿真验证结果确认了跨界临时限速信息的安全性和受限活性,为进一步开发临时限速服务器功能提供了重要的依据。     

临时便桥的状态评估及相应养护工作探讨

由于临时便桥的工期短、造价低、施工简便等特点,使得桥梁施工质量难以得到保证.对临时便桥存在的普遍问题进行了阐述,探讨了相应的状态评估方法,指出了养护工作的重点,并将该方法成功应用到深圳机场立交便桥状态评估及养护工作中.     

连续梁桥临时支撑拆除时机分析

针对挂篮悬臂浇筑施工的PC连续箱梁桥,结合实际工程,对其施工过程中及成桥后的内力、应力等方面进行对比分析,研究临时支撑于中跨合龙之前和之后拆除的差异.结果表明,针对工程的特定情况,采用临时支撑在中跨合龙之前拆除的工艺更合适.     

道路改造施工中的临时交通组织研究

为研究临时交通组织对施工的影响,结合具体工程,研究了不同临时交通组织方案,分析其对施工效率、成本及正常运营等方面的影响。研究结果表明,不同的临时交通组织对施工及正常的交通运行影响程度不同,在施工组织设计中应重视对临时交通组织方案的比选,充分考虑施工效率与成本等多方面因素,选择最优方案。     

有砟轨道下路基基床传感器安装临时支护结构研究

针对有砟轨道道砟下基床表层传感器安装工程所存在的施工场地狭窄和重复施工的问题，提出一种新型有砟轨道路基线间安装作业方法及临时支护结构。运用COMSOL有限元软件对该临时支护结构的支护效果和力学特性进行分析，建立了有限元模型，分析了其整体变形和结构内力，进而判断结构整体的稳定性，并在朔黄重载铁路神池至宁武西某一断面处道砟下作业中实例应用，验证设计支护结构的可行性。结果显示:该临时支护结构灵活性高、占地面积小、适用性强，改善了作业环境，提高了在线间作业进行下挖工作的稳定性和效率。     

技术复杂大桥临时钢结构造价编制

国内大跨度桥梁工程施工中大型临时钢结构已经成为不可或缺的技术手段及施工措施,工程方案及造价编制不同于常规陆上桥梁工程,本文立足于交通部公路概预算定额,结合国内已建成的大跨度桥梁工程实际工程方案、造价资料,对临时钢结构工程材料周转与摊销、方案选择及定额选用等方面进行了剖析,阐述了临时钢结构造价编制思路及特点。     

苏拉马都跨海大桥临时墩设计与施工

介绍了印度尼西亚苏拉马都跨海大桥主桥钢管支架临时墩的设计与施工,为保证施工过程中大悬臂状态下的稳定和抗风需要,根据设计计算,在边跨处设有临时墩,临时墩上部与钢主梁临时连接.     

新建连盐淮铁路大型临时设施设置难点及解决方案

介绍了新建连(连云港)盐(盐城)淮(淮安)铁路线路概况,由于铁路平面走向呈三叉分布,且连盐淮地区水网密集,桥梁所占比例较高,给施工组织方案的选择带来了极大难度。结合工程实际,分析大临设施设置的难点及对应的解决方法,对制梁场及铺架基地设置进行详细比较说明。     

公交车上的“临时产房”

孕妇车厢内意外分娩,公交直达保母女平安,朱培明驾驶着K128公交车传递着满车的爱心。启动双跳灯,开足马力,过站不停,K128路公交车俨然化身为肩负重任的救护车。不仅如此,婴儿的啼哭声,产妇的呻吟声,众人的惊呼声,公交车内又仿佛是一个临时产房。这不是拍电影,是发生在K128路国鸿城乡公交上真实的一幕。公交车上产下女婴,驾驶员爱心护送。