FSQ6125客车设计

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

公路路基侧滑失稳的防治技术

公路路基侧滑失稳对公路建设和运营安全构成严重威胁，而且具有突发性，危险极大。由于情况复杂，此类工程处治技术难度较大，本文结合多项具体的工程实例对此进行详细介绍，具有较高的参考价值。     

静态爆破工艺在旧桥改造中的应用

阐述了静态爆破施工的作用机理和施工工艺,通过与常规爆破工艺相比较,论证了该工艺具有的造价低、无振动、无噪声、无粉尘、无飞石、无毒气污染等特点和其广泛的推广应用价值.     

双速搅拌工艺

根据传统二次搅拌理论,提出了混凝土双速搅拌工艺,介绍了双速搅拌工艺的原理及优点,并指出了该工艺的实现方案.该工艺的应用可降低生产成本,提高混凝土的强度和生产率.     

Consumer preferences and willingness to pay for advanced vehicle technology options and fuel types

The automotive industry is witnessing a revolution with the advent of advanced vehicular technologies, smart vehicle options, and fuel alternatives. However, there is very limited research on consumer preferences for such advanced vehicular technologies. The deployment and penetration of advanced vehicular technologies in the marketplace, and planning for possible market adoption scenarios, calls for the collection and analysis of consumer preference data related to these emerging technologies. This study aims to address this need, offering a detailed analysis of consumer preference for alternative fuel types and technology options using data collected in stated choice experiments conducted on a sample of consumers from six metropolitan cities in South Korea. The results indicate that there is considerable heterogeneity in consumer preferences for various smart technology options such as wireless internet, vehicle connectivity, and voice command features, but relatively less heterogeneity in the preference for smart vehicle applications such as real-time traveler information on parking and traffic conditions.     

高速铁路路基边坡纤维团粒喷播生态防护技术

针对高速铁路路基绿化工程高要求、少维护等特点,提出纤维团粒喷播技术,并详细阐述了其机理及特点.通过在京雄城际铁路路基边坡工程中的应用,归纳总结了该技术施工工艺流程:平整坡面→坡面覆土→铺设铁丝网→喷播基质→养护管理.喷播基质是利用喷播机械将性能优越的基质材料喷附至铁路路基坡面上的.工程应用表明该技术施工快,质量好,养护维修量小,经济性高.     

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.