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

以莞惠城际轨道交通工程项目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.     

Coloured Petri net-based traffic collision avoidance system encounter model for the analysis of potential induced collisions

The Traffic Alert and Collision Avoidance System (TCAS) is a world-wide accepted last-resort means of reducing the probability and frequency of mid-air collisions between aircraft. Unfortunately, it is widely known that in congested airspace, the use of the TCAS may actually lead to induced collisions. Therefore, further research regarding TCAS logic is required. In this paper, an encounter model is formalised to identify all of the potential collision scenarios that can be induced by a resolution advisory that was generated previously by the TCAS without considering the downstream consequences in the surrounding traffic. The existing encounter models focus on checking and validating the potential collisions between trajectories of a specific scenario. In contrast, the innovative approach described in this paper concentrates on quantitative analysis of the different induced collision scenarios that could be reached for a given initial trajectory and a rough specification of the surrounding traffic. This approach provides valuable information at the operational level. Furthermore, the proposed encounter model can be used as a test-bed to evaluate future TCAS logic changes to mitigate potential induced collisions in hot spot volumes. In addition, the encounter model is described by means of the coloured Petri net (CPN) formalism. The resulting state space provides a deep understanding of the cause-and-effect relationship that each TCAS action proposed to avoid an actual collision with a potential new collision in the surrounding traffic. Quantitative simulation results are conducted to validate the proposed encounter model, and the resulting collision scenarios are summarised as valuable information for future Air Traffic Management (ATM) systems.     

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

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

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.     

A methodology for evaluating the performance of model-based traffic prediction systems

Model-based traffic prediction systems (mbTPS) are a central component of the decision support and ICM (integrated corridor management) systems currently used in several large urban traffic management centers. These models are intended to generate real-time predictions of the system’s response to candidate operational interventions. They must therefore be kept calibrated and trustworthy. The methodologies currently available for tracking the validity of a mbTPS have been adapted from approaches originally designed for off-line operational planning models. These approaches are insensitive to the complexity of the network and to the amount and quality of the data available. They also require significant human intervention and are therefore not suitable for real-time monitoring. This paper outlines a set of criteria for designing tests that are appropriate for the mbTPS task. It also proposes a test that meets the criteria. The test compares the predictions of the mbTPS in question to those of a model-less alternative. A t-test is used to determine whether the predictions of the mbTPS are superior to those of the model-less predictor. The approach is applied to two different systems using data from the I-210 freeway in Southern California.     

国家助学贷款资产证券化制度设计研究

在2004年的国家助学贷款新政策背景下,尽管出现了许多利好方面,仍存在一些尚未解决的问题。而完整的国家助学贷款市场应当是由一级市场和二级市场组成的一个有序开放式的市场体系：一级市场是创造国家助学贷款形成借贷关系的市场,二级市场是创造国家助学贷款债权转让的市场。资产证券化是我国目前解决问题、完善市场、金融创新的重要选择,这项选择不仅很有必要,且基本具备了可行条件。当然,我国如果进行国家助学贷款资产证券化,还需要建立良好的征信制度和其它保障制度。     

Singular perturbation composite control of a free-floating flexible dual-arm space robot

The Free-floating Flexible Dual-arm Space Robot is a highly nonlinear and coupled dynamics system. In this paper, the dynamic model is derived of a Free-floating Flexible Dual-arm Space Robot holding a rigid payload. Furthermore, according to the singular perturbation method, the system is separated into a slow subsystem representing rigid body motion of the robot and a fast subsystem representing the flexible link dynamics. For the slow subsystem, based on the second method of Lyapunov, using simple quantitative bounds on the model uncertainties, a robust tracking controller design is used during the trajectory tracking phase. The optimal control method is designed in the fast subsystem to guarantee the exponential stability. With the combination of the two above, the system can track the expected trajectory accurately, even though with uncertainty in model parameters, and its flexible vibration gets suppressed, too. Finally, some simulation tests have been conducted to verify the effectiveness of the proposed methods.