基于TRSL的RBC等级转换场景研究

无线闭塞中心等级转换场景作为中国列车运行控制系统主要场景之一,切换成功与否直接影响高速列车的安全和运行效率。通过对形式化验证方法的分析,采用基于定理证明的时间化工业软件工程规范语言的严格方法(Timed Rigorous Approach to Industrial Software Engineering Specification Language,TRSL),在对等级转换过程进行分析的基础上,设计交互信息图,构建状态迁移图,并结合域建模方法实现对该场景的TRSL描述,最后利用语言推理规则,结合系统特性,实现对切换正确性和实时性的双重验证,结果表明:该场景满足系统规范对功能性和实时性的要求,继而说明该方法的有效性、正确性和通用性,为我国列控系统的设计开发和验证提供一种新的途径和依据。     

基于行程时间影响的关键路段识别与查找

从路段实际功能出发,提出基于路段与路径行程时间序列的相关性识别关键路段的方法.借鉴蒙特卡洛思想,以真实数据构造10万条随机路径验证该方法的可行性,并识别出对上海市路网行程时间有关键影响的路段集合.以上述集合为参照,利用模糊聚类及迭代累计平方和算法提取路段行程时间序列特征并构造两个新变量,结合基础属性建立二项Logit模型,从而主动查找关键路段.比较该模型与基础模型、随机分类器查找效果表明：基于最大归一化行程时间曲线聚类,其结果对关键路段识别模型的性能有提升效用;行程时间对数差分序列的结构性变点在路网和路段级别均有明显时间聚集特性,虽然其个数与路段关键性无明显关系,但其与常见波动程度指标相关性小,可保留用于描述行程时间波动常发性和聚集性.     

基于多时间尺度的城市轨道交通短时OD估计

基于状态空间模型构建了城市轨道交通短时OD估计的多模型组合方法,估计早晚高峰期间15 min内进站客流的去向目的站.组合模型以不同时间尺度下的进站客流分流率为状态变量,并利用历史数据预估其中通勤客流的分流率,然后通过交互多模型算法加权融合不同时间尺度下的分流率估计结果.以北京地铁为案例,研究表明:早高峰期间的15 min分流率估计误差的平均值和最大值分别为16.4%和21.8%,晚高峰期间分别为22.7%和24.6%,比既有文献的估计误差减小了约一半.本文的研究成果可为实时的线网客流分布预测提供更准确的输入数据,以辅助运营管理部门实现客流预警和应急响应.     

盾构管片模具三维激光扫描检测关键技术

目前盾构管片模具主要采用传统的人工和激光跟踪测量技术进行检测,存在检测点位少,精度低等缺点,不能很好地指导管片模具的修复工作,直接影响到管片尺寸的生产精度,易造成盾构隧道管片破损、开裂及渗漏水等现象,为后期的运营埋下了安全隐患。宁波市轨道交通利用三维激光扫描技术对管片模具进行检测,通过理论分析、现场试验及数据分析,确定了点云数据的拼接方式、扫描分辨率、基准模型及模型对齐的方式,成功克服了现有的管片模具检测中存在的测量点位少、精度低等缺点,实现了对管片模具的全方位检测,大大提高了管片模具的检测精度。同时在参考现有规范及经验的基础上,制定出了盾构管片模具三维激光扫描检测标准,很好地指导了管片模具的修复工作,提高了盾构管片尺寸的生产精度,确保盾构隧道的施工质量。     

超大断面公路隧道浅埋段施工技术

随着公路建设规模日益扩大,3车道、4车道的超大断面公路隧道越来越多。隧道浅埋段覆盖层薄、围岩稳定性差,开挖时易出现坍塌等工程事故,是超大断面隧道施工技术的重点和难点。结合深圳盐排高速公路盐田隧道的施工实践,介绍浅埋段施工的一些经验和技术体会,可为类似工程施工提供参考。     

Modeling the behavioral determinants of travel behavior: An application of latent transition analysis

This paper applies the relatively new method of latent class transition analysis to explore the notion that qualitative differences in travel behavior patterns are substantively meaningful and therefore relevant from explanatory point of view. For example, because the bicycle may function as an important access and egress mode, a car user who also (occasionally) uses the bicycle may be more likely to switch to a public transit profile than someone who only uses the car. Data from the Dutch mobility panel are used to inductively reveal travel behavior patterns and model transitions in these patterns over time. Additionally, the effects of seven exogenous variables, including two important life events (i.e. moving house and changing jobs), on cluster membership and the transition probabilities are assessed. The results show that multiple-mode users compared to single-mode users are more likely to switch from one behavioral profile to another. In addition, age, the residential environment, moving house and changing jobs have strong influences on the transition probabilities between the revealed behavioral patterns over time.     

路桥过渡段路基加固体的拓扑优化

应用拓扑优化理论,采用简化的假定条件,基于应变能最小即刚度最大原理,对路桥过渡段路基加固体的结构布置形式进行了优化。通过分析荷载模式、填高、加固长度和面积等因素对最优拓扑图形的影响,得出了路桥过渡段路基加固体的最优布置方式。拓扑优化结果表明：路桥过渡段路基加固的不同区域对结构刚度的贡献排序为,固定端附近区域-中间偏上区域-中间偏下区域-路基顶面远端区域;上长下短的倒梯形布置形式的结构刚度最大,其抵抗地基沉降变形的能力最强,表明目前桥头常用的倒梯形布置形式具有理论上的合理性;路基加固体底面布置长度应不小于2 m,由下向上斜率应缓于1∶1。     

多年冻土区路桥过渡段变形及地温场试验

根据多年冻土区路桥过渡段路基在竣工后3 a内的现场试验数据,分析了路基不同位置的地温变化、路基基底沉降变形和路基不同位置沿横向及纵向的沉降变形规律。结果表明:采用粗颗粒土填筑的过渡段路基对多年冻土区土体有明显的冷却效果,可防止多年冻土上限的下降;路基阳坡的沉降大于阴坡,而沿路基纵向,距离桥台越远路基沉降越大,但路基沿横向和纵向的沉降均满足工程要求;这种粗颗粒土填筑的路桥过渡段可适用于多年冻土区。     

桥头跳车问题研究综述

该文在查阅大量资料基础上,对桥头过渡段沉降控制指标、地基沉降控制方法、台背填料处理方法及桥台和桥头过渡段路基刚柔过渡的方法等桥头跳车问题进行分析,简要介绍了其研究现状,并提出了研究方法和方向。     

重庆菜园坝长江大桥结构细节设计

重庆菜园坝长江大桥主桥设计首创组合式刚构-系杆拱拱式桥梁结构体系,设计上采用了“钢”与“混凝土”的材料组合,同时又采用预应力混凝土刚构与钢箱系杆拱的结构组合。要使这一组合式拱桥结构体系安全、经济、美观,结构的细节设计尤为重要,它是确保该桥体系成立的关键,又是确保大桥安全营运的基础。对该桥的边墩接头、系杆锚固键、钢混凝土接头及前次横梁等部分结构的细节设计做简要介绍。