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

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

An exploratory investigation of the impact of ramp metering on driver acceleration behavior

Ramp metering has been proven as an effective freeway management strategy; however, the impact of ramp metering on drivers' acceleration behavior has not been fully investigated. A better understanding of acceleration behavior changes with ramp metering is critical to the adequate design of ramp metering facilities. In this study, drivers' speed and acceleration data were collected at two representative metered ramps in Los Angeles, California. The speed and acceleration profiles under meter-on and meter-off scenarios were compared. Statistical results demonstrated that ramp metering affects drivers' acceleration behavior at ramp acceleration lane. It was found that at the metered ramp with short existing acceleration length, the average acceleration rate from ramp meter stop bar to 500 ft downstream under meter-on scenario (4.72 ft./s²) is approximately 40% higher than when meter-off (3.18 ft./s²). The design of acceleration lane length for metered on-ramps should therefore take into account the potential impacts of ramp metering on driver acceleration behavior.     

关于既有线C2等级转换点设置的探讨

为充分发挥快速铁路效益,满足区域城市交通运输需求,既有线提速开行动车组工程项目将日益增多,等级转换点的设置问题也将在设计中成为一个必须研究的课题。结合既有集包增建二线实施CTCS-2级列控系统工程,针对既有线的实际情况对C0/C2等级转换点的设置问题进行探讨,提出等级转换点的设置应在满足线路运输组织方式、尽量提高铁路线路运输能力的前提下必须考虑列车运行速度及制动距离等因素的结论。     

路基是有生命力的结构物——我国高速铁路路基建设取得的成就和需要继续解决的问题

系统归纳总结我国高速铁路路基技术体系形成、发展、完善的历程和高速铁路路基建设10年来在地基处理、路基结构层设计和填筑、路堤式路堑、过渡段、路基边坡支挡防护和防排水、路基结构与附属电缆沟槽和接触网支柱等基础的系统集成、沉降变形观测与评估等方面变革和发展取得的成就,指出正是高速铁路对路基工程刚度和变形的严苛要求,促进了我国高速铁路路基技术的革命性变革和不断进步,强化了路基结构物的建造理念,凝聚了路基结构物的生命力;同时,在非饱和土、膨胀土(岩)等方面阐释路基建设过程中仍需继续研究解决的问题。希冀本文有助于我国高速铁路路基技术体系的不断完善、创新发展,进一步提升我国高速铁路路基建造水平,增强满足列车安全、高速、舒适运营的生命力。     

稳心高分布对集装箱船总体性能影响研究

以某支线型集装箱船为依托,针对主尺度和主要船型系数相同,稳心高分布不同的两版型线,分别对对应方案的破舱稳性、装载性能、快速性等总体性能进行评估,并对结果进行研究和分析,进而揭示了稳心高分布对集装箱船总体性能影响的一般规律,为设计者合理优化船型稳心高分布以及市场选择合理的船型方案提供了参考和建议。     

ISO与BSRA航速修正方法计算实例分析

介绍了ISO与BSRA航速修正方法,并通过采用ISO和BSRA航速修正方法分别对计算实例进行航速修正,得出ISO修正方法可以获得更高的航速指标,并对ISO航速修正方法的合理性和适用性提出建议。     

Speed variation during peak and off-peak hours on urban arterials in Shanghai

Increased speed variation on urban arterials is associated with reductions in both operational performance and safety. Traffic flow, mean speed, traffic control parameters and geometric design features are known to affect speed variation. An exploratory study of the relationships among these variables could provide a foundation for improving the operational and safety performance of urban arterials, however, such a study has been hampered by problems in measuring speeds. The measurement of speed has traditionally been accomplished using spot speed collection methods such as radar, laser and loop detectors. These methods can cover only limited locations, and consequently are not able to capture speed distributions along an entire network, or even throughout any single road segment. In Shanghai, it is possible to acquire the speed distribution of any roadway segment, over any period of interest, by capturing data from Shanghai’s 50,000+ taxis equipped with Global Positional Systems (GPS). These data, hereafter called Floating Car Data, were used to calculate mean speed and speed variation on 234 road segments from eight urban arterials in downtown Shanghai. Hierarchical models with random variables were developed to account for spatial correlations among segments within each arterial and heterogeneities among arterials. Considering that traffic demand changes throughout the day, AM peak, Noon off-peak, and PM peak hours were studied separately. Results showed that increases in number of lanes and number of access points, the presence of bus stops and increases in mean speed were all associated with increased speed variation, and that increases in traffic volume and traffic signal green times were associated with reduced speed variation. These findings can be used by engineers to minimize speed differences during the road network planning stage and continuing through the traffic management phase.     

车辆阻力对站线坡度设计的影响研究

根据车辆所受基本阻力、曲线阻力、坡道阻力、风阻力、道岔阻力,建立车辆单位基本阻力模型及数学表达式,运用车辆参数及风阻力参数,对车辆相关状态进行分析计算,研究表明:线路纵坡即使为平坡,亦存在溜逸安全隐患,必须采取措施才能保证安全;对《站规》站线纵坡标准,进行安全评估,提出利用停车顶改善车辆停放状态的措施意见及计算办法;利用减速顶做功耗能可以提高装车线线路纵坡,从而满足定量快速装车或轨道衡计量系统的技术要求,为线路纵坡设计提供依据,拓宽站场调速设备应用领域,创新工程设计方法,为工程综合优化设计提供理论基础,供设计分析及计算参考。     

高速铁路常用供电方式接地回流研究

分析了在高速铁路常用的供电方式下，即带回流线的直接供电方式和AT供电方式下的接地回流情况，通过对2种供电方式下牵引网的等效电路建模、计算，得到钢轨电流和地中电流分布系数的近似计算公式，并对回流情况进行了分析。     

自动变速器调速器阀与节气门阀的结构和原理

目前用于汽车自动变速器的调整阀有３种不同的结构形式，即由自动米速器输出轴驱动齿轮驱动的滑阀式和止回球式，以及直接安装在输出轴上的滑阀式，节气门大致分为两种类型，一类是机械控制式，另一类是真空控制式。详细介绍了各种调制器阀与节气门阀的结构形式。并相应地对其工作原理进行了探讨。