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

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

网状吊杆系杆拱桥主拱吊点隔板应力扩散趋势分析

对网状吊杆系杆拱桥的吊耳板及吊点隔板应力进行有限元分析计算,了解吊点处局部应力的扩散趋势,分析局部应力传递规律;同时验算结构的安全可靠性.     

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

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

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

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

一种特殊结构的吊杆在中承式拱桥中的应用

以延安王家坪大桥吊杆的制作、试验和安装的具体实践为例，介绍了一种特殊结构形式的吊杆．目的在于将这种特殊结构形式的吊杆介绍给大家，与大家一起共同探讨这一结构形式吊杆及其在工程实践中的可行性和适用性。     

吊杆钢丝锈蚀分布规律及检测试验

早期修建的拉吊索桥梁,限于当时的认识和技术水平,结构构造不合理,拉吊索锚头、钢丝锈蚀现象普遍。而现有检测手段对它们无法进行简便、直观有效的检查,导致拉索和吊杆的破坏存在极大的偶然性,并已出现桥梁坍塌的严重事故。文章通过对某中承式拱桥吊杆锈蚀的检测,介绍了吊杆钢丝锈蚀的程度和分布规律,提出了吊杆检查和养护的重点。     

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

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

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

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

系杆与吊杆防腐措施

吸取国内外悬索桥、斜拉桥的缆索锈蚀与防腐的经验和教训，针对彩虹大桥制索的现状，提出可行的防腐措施。