FSQ6125客车设计

简要介绍FSQ6125客车的设计目的、整车造型、主要结构特点和技术参数。     

Dynamic stride length adaptation according to utility and personal space

Pedestrians adjust both speed and stride length when they navigate difficult situations such as tight corners or dense crowds. They try to avoid collisions and to preserve their personal space. State-of-the-art pedestrian motion models automatically reduce speed in dense crowds simply because there is no space where the pedestrians could go. The stride length and its correct adaptation, however, are rarely considered. This leads to artefacts that impact macroscopic observation parameters such as densities in front of bottlenecks and, through this, flow. Hence modelling stride adaptation is important to increase the predictive power of pedestrian models. To achieve this we reformulate the problem as an optimisation problem on a disk around the pedestrian. Each pedestrian seeks the position that is most attractive in a sense of balanced goals between the search for targets, the need for individual space and the need to keep a distance from obstacles. The need for space is modelled according to findings from psychology defining zones around a person that, when invaded, cause unease. The result is a fully automatic adjustment that allows calibration through meaningful social parameters and that gives visually natural results with an excellent fit to measured experimental data.     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

软弱富水地层浅埋暗挖隧道地表沉降和支护结构受力的模型试验

以莞惠城际轨道交通工程项目GZH-5标段中DK32+300~DK32+927.303段为背景,通过2组模型试验,其中一组无超前注浆,另一组进行超前注浆,研究软弱富水地层浅埋暗挖隧道地表沉降和支护结构受力规律及超前注浆对其受力变形造成的影响,最后,针对软弱富水地层浅埋暗挖隧道施工,提出几点隧道工程设计和施工的相关建议。     

Estimating traffic volumes for signalized intersections using connected vehicle data

Recently connected vehicle (CV) technology has received significant attention thanks to active pilot deployments supported by the US Department of Transportation (USDOT). At signalized intersections, CVs may serve as mobile sensors, providing opportunities of reducing dependencies on conventional vehicle detectors for signal operation. However, most of the existing studies mainly focus on scenarios that penetration rates of CVs reach certain level, e.g., 25%, which may not be feasible in the near future. How to utilize data from a small number of CVs to improve traffic signal operation remains an open question. In this work, we develop an approach to estimate traffic volume, a key input to many signal optimization algorithms, using GPS trajectory data from CV or navigation devices under low market penetration rates. To estimate traffic volumes, we model vehicle arrivals at signalized intersections as a time-dependent Poisson process, which can account for signal coordination. The estimation problem is formulated as a maximum likelihood problem given multiple observed trajectories from CVs approaching to the intersection. An expectation maximization (EM) procedure is derived to solve the estimation problem. Two case studies were conducted to validate our estimation algorithm. One uses the CV data from the Safety Pilot Model Deployment (SPMD) project, in which around 2800 CVs were deployed in the City of Ann Arbor, MI. The other uses vehicle trajectory data from users of a commercial navigation service in China. Mean absolute percentage error (MAPE) of the estimation is found to be 9–12%, based on benchmark data manually collected and data from loop detectors. Considering the existing scale of CV deployments, the proposed approach could be of significant help to traffic management agencies for evaluating and operating traffic signals, paving the way of using CVs for detector-free signal operation in the future.     

Model based urban traffic control,part II: Coordinated model predictive controllers

The present paper describes how to use coordination between neighbouring intersections in order to improve the performance of urban traffic controllers. Both the local MPC (LMPC) introduced in the companion paper (Hao et al., 2018) and the coordinated MPC (CMPC) introduced in this paper use the urban cell transmission model (UCTM) (Hao et al., 2018) in order to predict the average delay of vehicles in the upstream links of each intersection, for different scenarios of switching times of the traffic lights at that intersection. The feedback controller selects the next switching times of the traffic light corresponding to the shortest predicted average delay. While the local MPC (Hao et al., 2018) only uses local measurements of traffic in the links connected to the intersection in comparing the performance of different scenarios, the CMPC approach improves the accuracy of the performance predictions by allowing a control agent to exchange information about planned switching times with control agents at all neighbouring intersections. Compared to local MPC the offline information on average flow rates from neighbouring intersections is replaced in coordinated MPC by additional online information on when the neighbouring intersections plan to send vehicles to the intersection under control. To achieve good coordination planned switching times should not change too often, hence a cost for changing planned schedules from one decision time to the next decision time is added to the cost function. In order to improve the stability properties of CMPC a prediction of the sum of squared queue sizes is used whenever some downstream queues of an intersection become too long. Only scenarios that decrease this sum of squares of local queues are considered for possible implementation. This stabilization criterion is shown experimentally to further improve the performance of our controller. In particular it leads to a significant reduction of the queues that build up at the edges of the traffic region under control. We compare via simulation the average delay of vehicles travelling on a simple 4 by 4 Manhattan grid, for traffic lights with pre-timed control, traffic lights using the local MPC controller (Hao et al., 2018), and coordinated MPC (with and without the stabilizing condition). These simulations show that the proposed CMPC achieves a significant reduction in delay for different traffic conditions in comparison to these other strategies.     

高架快速路上跨宝鸡东编组站方案比选

宝鸡市斗中路高架快速路,跨越宝鸡东编组站的10股轨道线和铁路专用线,同时桥下的城市主干路以框架桥的形式下穿宝鸡东编组站。桥位处需保留现状的地面交通、铁路框架桥和周围的高层建筑,桥址处空间局促,建设条件复杂,导致桥梁墩位布置困难。桥梁的布置方案与施工方案相互影响和制约。上跨方案是控制整条快速路的关键节点。综合考虑主墩的合理位置、恰当的孔跨布置和适宜的施工方案,对矮塔斜拉桥、刚构桥等方案进行详细的对比分析,确定采用(97+97)m的转体刚构桥方案。该方案的安全性和经济性均较优。该桥方案的研究过程和方法,为类似的复杂城市环境下,建设高架桥梁跨越铁路编组站提供参考和借鉴。     

Achieving transport modal split targets at intermodal freight hubs using a model predictive approach

The increase of international freight commerce is creating pressure on the existing transport network. Cooperation between the different transport parties (e.g., terminal managers, forwarders and transport providers) is required to increase the network throughput using the same infrastructure. The intermodal hubs are locations where cargo is stored and can switch transport modality while approaching the final destination. Decisions regarding cargo assignment are based on cargo properties. Cargo properties can be fixed (e.g., destination, volume, weight) or time varying (remaining time until due time or goods expiration date). The intermodal hub manager, with access to certain cargo information, can promote cooperation with and among different transport providers that pick up and deliver cargo at the hub. In this paper, cargo evolution at intermodal hubs is modeled based on a mass balance, taking into account hub cargo inflows and outflows, plus an update of the remaining time until cargo due time. Using this model, written in a state-space representation, we propose a model predictive approach to address the Modal Split Aware – Cargo Assignment Problem (MSA–CAP). The MSA–CAP concerns the cargo assignment to the available transport capacity such that the final destination can be reached on time while taking into consideration the transport modality used. The model predictive approach can anticipate cargo peaks at the hub and assigns cargo in advance, following a push of cargo towards the final destination approach. Through the addition of a modal split constraint it is possible to guide the daily cargo assignment to achieve a transport modal split target over a defined period of time. Numerical experiments illustrate the validity of these statements.     

汉巴南铁路兰渝联络线电分相设置方案研究

联络线电分相设置方案影响因素众多,且其设置与否对工程和运营的影响也较大。本文对汉巴南铁路兰渝联络线电分相设置方案进行研究,提出高速铁路设置关节式电分相联络线最短长度;对联络线电分相不同设置方案进行比选研究,并结合各方案的土建工程、信号系统、供电系统及限制因素提出布局优化措施,以期为联络线电分相合理设置与优化布局提供新思路。     

Validation of an extended discrete first-order model with variable speed limits

This paper validates the prediction model embedded in a model predictive controller (MPC) of variable speed limits (VSLs). The MPC controller was designed based on an extended discrete first-order model with a triangular fundamental diagram. In our previous work, the extended discrete first-order model was designed to reproduce the capacity drop and the propagation of jam waves, and it was validated with reasonable accuracy without the presence of VSLs. As VSLs influence traffic dynamics, the dynamics including VSLs needs to be validated, before it can be applied as a prediction model in MPC. For conceptual illustrations, we use two synthetic examples to show how the model reproduces the key mechanisms of VSLs that are applied by existing VSL control approaches. Furthermore, the model is calibrated by use of real traffic data from Dutch freeway A12, where the field test of a speed limit control algorithm (SPECIALIST) was conducted. In the calibration, the original model is extended by using a quadrangular fundamental diagram which keeps the linear feature of the model and represents traffic states at the under-critical branch more accurately. The resulting model is validated using various traffic data sets. The accuracy of the model is compared with a second-order traffic flow model. The performance of two models is comparable: both models reproduce accurate results matching with real data. Flow errors of the calibration and validation are around 10%. The extended discrete first-order model-based MPC controller has been demonstrated to resolve freeway jam waves efficiently by synthetic cases. It has a higher computation speed comparing to the second-order model-based MPC.