基于UPPAAL的城市轨道交通CBTC区域控制子系统建模与验证

CBTC(Communication Based Train Control)系统可有效提高轨道交通的列车运营效率,降低系统建设和维护费用.在系统研发过程中需对系统进行建模、仿真和验证,发现系统设计缺陷,以保证系统的安全性.CBTC区域控制子系统是一实时控制系统,它要求控制时间的精确性和控制过程的准确性.本文通过分析城市轨道交通CBTC区域控制子系统的结构,给出满足该子系统安全性的功能和性能要求,并结合时间自动机理论方法提出包含列车、速度距离控制器、区域控制器和多车控制队列的时间自动机网络模型.同时,应用UPPAAL验证工具对CBTC区域控制子系统进行仿真建模,并验证该子系统功能和性能要求,从而保证了系统模型的安全性和受限活性.     

某特大桥梁钢吊箱结构随机动力响应分析

根据随机振动原理,对某特大型桥梁6号钢吊箱进行随机动力响应分析;通过对比静、动力分析的结果,总结波浪荷载作用下钢吊箱的受力特性.研究结果表明,钢吊箱考虑附连水质量时,结构自振频率降低,但其动力响应并不大,建议设计吊箱时根据结构的安全性要求,乘以1.1～1.3的安全系数.     

双壁钢套箱围堰在随岳高速公路汉江二桥57#墩的应用

桥梁工程水中基础施工难度大,水文地质和其他施工条件各桥不一,研究和制定合理可行的施工方案,往往决定一座桥的安全、质量、成本和工期.阐述了随州至岳阳高速公路汉江大桥57#墩复杂水文地质条件下,施工双壁钢套箱围堰的方法,并介绍施工过程遇到的困难和解决困难的办法.     

暗挖区间下穿施工对高铁桥的影响分析——以北京新机场线区间下穿京沪高铁北京特大桥工程为例

为研究北京地区砂卵石地层大断面暗挖区间下穿施工对京沪高铁北京特大桥的影响,以北京市新机场线草桥站站后折返线大断面暗挖区间隧道工程为背景,对下穿京沪高铁北京特大桥段区间暗挖隧道进行设计,并用Midas/GTS软件进行有限元分析,研究大断面暗挖区间下穿京沪高铁北京特大桥施工过程中桥面、桥墩、承台及桥桩位移变化规律特征,得出大断面暗挖区间侧穿桥桩施工过程中桥桩附加应力变化规律,以及大断面暗挖区间下穿京沪高铁特大桥施工过程中承台差异沉降及地层应力变化规律。     

波纹钢板在隧道明洞结构中的应用研究

为研究波纹钢拱圈式隧道明洞结构的力学性能,为该类型隧道明洞结构的应用提供理论依据,以某隧道窗孔式明洞为工程背景,采用有限元数值模拟方法进行受力分析。首先,分析明洞结构中基础底座、混凝土拱圈和波纹钢拱圈的应力分布特点;其次,从弯矩、轴力和位移3个方面研究波纹钢板的厚度对该明洞结构受力的影响;最后,从弯矩、轴力和位移3个方面研究钢拱圈不同矢跨比对该明洞结构受力的影响。研究结果表明： 1）基础底座的内外墙根部截面应力较大,为结构受力最不利位置,混凝土拱圈和波纹钢拱圈在拱脚和拱顶附近位置处受力较大; 2）随着波纹钢板厚度的增加,内外墙底部截面的弯矩均有所减小;外墙底部截面的轴力有所减小,而内墙底部截面的轴力有所增加;钢拱圈的横向和竖向位移均有所减小; 3）随着钢拱圈矢跨比的减小,内外墙底部截面的弯矩不断增加,且内墙底部截面弯矩增加更为明显;内外墙底部截面的轴力不断减小; 钢拱圈的横向位移不断减小,竖向位移出现先减小后增加的趋势。     

低剂量水泥稳定白云质灰岩天然砂砾底基层的力学性能研究

对低剂量水泥稳定白云质灰岩天然砂砾在道路底基层的应用进行了力学性能研究,论证其是否适用于底基层结构层。通过无侧限抗压强度试验、弯沉测试及回弹模量试验,总结出低剂量水泥稳定白云质灰岩天然砂砾模量的取值范围,表明依托工程所用的低剂量水泥稳定白云质灰岩天然砂砾可用于底基层。     

世界路面电车的现状及发展

自1835年世界第一条有轨电车线路在美国的新奥林诞生以来,路面电车为城市公共交通做出巨大的贡献.尤其是在19世纪后期至20世纪前期,在汽车工业还没有高度发展的阶段,路面电车是城市公共交通的主力.……     

山东省大中型道路运输企业的经营战略研究

在对山东省大中型道路运输企业的外部环境和内部条件分析的基础上,对道路运输企业的经营目标及其实施等方面进行了较为系统的探讨。     

成人高等教育开设文献检索课程的探讨

结合我校成人教育学员对文献情报需求的特点和利用状况分析,探讨了文献检索课开设的意义、原则及教学实施.     

非接触传感器的单片机温度检测系统

研制了使用非接触传感器的温度检测系统.该系统以8031单片机为核心部件,利用光纤温度传感器对温度进行采样,通过微处理系统电路、A/D转换接口电路、数据采集接口电路、数码显示电路等主要组成电路,实现了非接触温度检测功能,检测精度为±1℃.