西方自由主义契约正义观解析——兼论正义观的形成及其合理性

自由主义认为,正义源于契约,通过契约正义本身就得到了证明.这是对契约与正义之间关系的误解.契约必然能导向形式正义,但并非必然能导向实质正义.依据价值基本原理,实质正义是正义实体与正义标准发生联系时的客观属性,与契约没有直接关联.     

相继增压系统对改善船用直列八缸发动机性能的试验研究

随着大型柴油发动机经济性和排放要求的不断提升,以及对发动机稳态、瞬态特性要求的不断提高,传统的涡轮增压系统已无法满足船用发动机全工况性能的要求。为了提高产品竞争力和适配性,针对某8缸直列船用柴油发动机开发了带有定压排气管的相继增压系统,并进行了发动机台架试验研究。结果表明：发动机中、低转速时,相继增压系统使发动机比油耗可以下降5%-10%,排气温度降低30%-45%,烟度下降55%-60%；最大扭矩可以提升15.1%-36.4%；发动机最大扭矩转速工况突加突卸响应性提升约28%-29%；相继增压系统中定压排气管的设计使得发动机高工况性能也有所提升,从而实现发动机全工况性能的提升。     

5000 PCC“SHANGHAI HIGHWY”船主机启动分析与处理

分析5 000 PCC"SHANGHAI HIGHWAY"船主机伺服油压低引起主机启动故障的原因、介绍调查与处理过程,在实施了恰当的处理方法后,解决了问题。以期为类似问题的处理与解决提供借鉴和参考。     

基于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.