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.     

铁路沿线城市空间物业开发研究——以宝鸡市南客站核心区站前广场工程为例

为了提升铁路沿线城市空间物业开发的设计手法,结合宝鸡市南客站核心区站前广场工程的设计实践,从系统性设计观、工程性质解析、消防设计思路、空间建构方法、无缝接驳、技术要素等方面进行研究分析,展示将铁路与城市系统进行一体化设计、利用自然资源解决消防和投资问题、平层空间中对多种交通体系的有机组织、不同坐标和高程系统背景下分区域构建柱网、各板块交接处的问题解决等技术成果,总结出同类型建筑的设计思路,力求为该领域的建筑设计发展提供有益的借鉴。     

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.     

基于前轮转角约束自适应模型预测控制的路径跟踪研究

针对在车辆行驶中较小的前轮转角无法充分利用路面附着能力,较大的前轮转角使得车辆的行驶稳定性差的问题,文章提出了一种前轮转角约束自适应模型预测方法。首先建立车辆的动力学模型,然后通过计算得到轮胎纵向力,最终得到车辆的前轮转角。将车辆的状态量与前轮转角自适应约束条件输入给模型预测控制器,输出车辆的前轮转角,实现对参考路径的跟踪。在Carsim和MATLAB平台上联合仿真,仿真结果表明前轮转角约束自适应模型预测控制的车辆相比固定转角约束的车辆具有较好的跟踪能力和稳定性。     

Time domain analysis procedures for fatigue assessment of a semi-submersible wind turbine

Long term time domain analysis of the nominal stress for fatigue assessment of the tower and platform members of a three-column semi-submersible was performed by fully coupled time domain analyses in Simo-Riflex-AeroDyn. By combining the nominal stress ranges with stress concentration factors, hot spot stresses for fatigue damage calculation can be obtained. The aim of the study was to investigate the necessary simulation duration, number of random realisations and bin sizes for the discretisation of the joint wind and wave distribution. A total of 2316 3-h time domain simulations, were performed.In mild sea states with wind speeds between 7 and 9 m/s, the tower and pontoon experienced high fatigue damage due to resonance in the first bending frequency of the tower from the tower wake blade passing frequency (3P).Important fatigue effects seemed to be captured by 1 h simulations, and the sensitivity to number of random realisations was low when running simulations of more than 1 h. Fatigue damage for the tower base converged faster with simulation duration and number of random realisations than it did for the platform members.Bin sizes of 2 m/s for wind, 1 s for wave periods and 1 m for wave heights seemed to give acceptable estimates of total fatigue damage. It is, however, important that wind speeds that give coinciding 3P and tower resonance are included and that wave periods that give the largest pitch motion are included in the analysis.     

Robust weekly aircraft maintenance routing problem and the extension to the tail assignment problem

In this paper, we study two closely related airline planning problems: the robust weekly aircraft maintenance routing problem (RWAMRP) and the tail assignment problem (TAP). In real life operations, the RWAMRP solution is used in tactical planning whereas the TAP solution is implemented in operational planning. The main objective of these two problems is to minimize the total expected propagated delay (EPD) of the aircraft routes. To formulate the RWAMRP, we propose a novel weekly line-of-flights (LOF) network model that can handle complex and nonlinear cost functions of EPD. Because the number of LOFs grows exponentially with the number of flights to be scheduled, we propose a two-stage column generation approach to efficiently solve large-scale real-life RWAMRPs. Because the EPD of an LOF is highly nonlinear and can be very time-consuming to accurately compute, we propose three lower bounds on the EPD to solve the pricing subproblem of the column generation. Our approach is tested on eight real-life test instances. The computational results show that the proposed approach provides very tight LP relaxation (within 0.6% of optimal solutions) and solves the test case with more than 6000 flights per week in less than three hours. We also investigate the solutions obtained by our approach over 500 simulated realizations. The simulation results demonstrate that, in all eight test instances, our solutions result in less EPDs than those obtained from traditional methods. We then extend our model and solution approach to solve realistically simulated TAP instances.