重庆马桑溪大桥施工过程稳定性分析

主要研究重庆马桑溪大桥在施工过程中的稳定性。考虑混凝土斜拉桥结构的非线性和构件的极限承载能力,计入施工过程的变形和应力的叠加效应,完成该桥线弹性稳定性和非线性稳定性分析,并对桥梁的非线性稳定性的评判进行了讨论。     

赣江大桥公路桥病害检测与安全评估

首先对赣江大桥公路桥进行病害调查,评定全桥各部位损伤状态。根据评定结果,再对材料退化、结构损伤与受力性能进行实桥测试。应用断裂力学方法,采用观测和超声波探测方法确定初始裂纹尺寸,通过裂纹扩展模拟得出临界杆件的剩余寿命。综合实测数据与理论分析,评估该桥使用安全性和剩余寿命,并建议维护加固措施。     

江苏省交通事故时间分布分析

根据江苏省有关交通事故数据,利用统计方法对交通事故发生的时间特征进行分析。通过分析交通事故年时间分布规律的波峰曲线,得出江苏省交通事故发生数量开始振荡变化,逐年上升的势头有望于近期遏制。通过分析交通事故、月、周、小时时间分布曲线,得出交通事故高峰小时出现在交通量高峰小时之后的9~12h、14~16h,两者不重合。死亡高峰时段(危险时段)多发生在18~21h的3h内。研究结论对不同时间内如何采取不同的安全对策来降低江苏省交通事故具有指导作用。     

电动汽车充电桩安全管理研究

随着国家对环境保护和能源节约的重视以及新能源政策的实施,电动汽车行业迎来了快速发展。充电基础设施的建设,是加快电动汽车推广的重要需要。电动汽车充电基础设施建设和运营业务发展的机会也极大,随之而来的安全管理工作要求也越来越高。本文依据充电桩建设和运营的特点,剖析其中面临的安全风险,并提出加强安全管理工作的措施,为充电桩企业安全管理运营提供参考和借鉴。     

Predicting the adoption of connected autonomous vehicles: A new approach based on the theory of diffusion of innovations

On the grounds that individuals heavily rely on the information that they receive from their peers when evaluating adoption of a radical innovation, this paper proposes a new approach to forecast long-term adoption of connected autonomous vehicles (CAVs). The concept of resistance is employed to explain why individuals typically tend to defer the adoption of an innovation. We assume that there exists a social network among individuals through which they communicate based on certain frequencies. In addition, individuals can be subject to media advertisement based on certain frequencies. An individual’s perceptions are dynamic and change over time as the individual is exposed to advertisement and communicates with satisfied and dissatisfied adopters. We also explicitly allow willingness-to-pay (WTP) to change as a result of peer-to-peer communication. An individual decides to adopt when (i) there is a need for a new vehicles; (ii) his/her WTP is greater than CAV price; and (iii) his/her overall impression about CAVs reaches a cutoff value. Applicability of the proposed approach is shown using a survey of employees of the University of Memphis. Our results show that the automobile fleet will be near homogenous in about 2050 only if CAV prices decrease at an annual rate of 15% or 20%. We find that a 6-month pre-introduction marketing campaign may have no significant impact on adoption trend. Marketing is shown to ignite CAV diffusion but its effect is capped. CAV market share will be close to 100% only if all adopters are satisfied with their purchases; therefore, the probability that an individual becomes a satisfied adopter plays an important role in the trend of adoption. The effect of the latter probability is more pronounced as time goes by and is also more prominent when CAV price reduces at greater rates. Some caveats may be inserted when considering the study results as the findings are subject to sample bias and data limitations.     

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

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

Locating emergency vehicles with an approximate queuing model and a meta-heuristic solution approach

In this paper, the location of emergency service (ES) vehicles is studied on fully connected networks. Queuing theory is utilized to obtain the performance metrics of the system. An approximate queuing model the (AQM) is proposed. For the AQM, different service rate formulations are constructed. These formulations are tested with a simulation study for different approximation levels. A mathematical model is proposed to minimize the mean response time of ES systems based on AQM. In the model, multiple vehicles are allowed at a single location. The objective function of the model has no closed form expression. A genetic algorithm is constructed to solve the model. With the help of the genetic algorithm, the effect of assigning multiple vehicles on the mean response time is reported.     

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.     

Vehicle platoon formation using interpolating control: A laboratory experimental analysis

This work addresses the formation phase of automatic platooning. The objective is to optimally control the throttle of vehicles, with a given arbitrary initial condition, such that desired ground speed and inter-vehicular spacings are reached. The steering of the vehicles is also controlled, because the vehicles should track a desired path while forming the platoon. In order to address the platoon formation problem, a cooperative strategy is formed by constructing a discrete state space model which represents the dynamics of a set of n vehicles. Once this model is set, a control method known as Interpolating Control, which aims at regulating to the origin an uncertain and/or time-varying linear discrete-time system with state and control constraints, is utilized. The performance of this control method is evaluated and compared with other approaches such as Model Predictive Control (MPC).Simulations are conducted which suggest that the Interpolating Control approach can be seen as an alternative to optimization-based control schemes such as Model Predictive Control, especially for problems for which finding the optimal solution requires calculations, where the Interpolating Control approach can provide a straightforward sub-optimal solution.In the experimental part of this work, the control algorithms for the platoon formation and path tracking problems are combined, and tested in a laboratory environment, using three mobile robots equipped with wireless routers. Validation of the proposed models and control algorithms is achieved by successful experiments.     

Life cycle emissions and cost model for urban light duty vehicles

The growth of vehicle sales and use internationally requires the consumption of significant quantities of energy and materials, and contributes to the deterioration of air-quality and climate conditions. Advanced propulsion systems and electric drive vehicles have substantially different characteristics and impacts. They require life cycle assessments and detailed comparisons with gasoline powered vehicles which, in turn, should lead to critical updates of traditional models and assumptions. For a comprehensive comparison of advanced and traditional light duty vehicles, a model is developed that integrates external costs, including emissions and time losses, with societal and consumer life cycle costs. Life cycle emissions and time losses are converted into costs for seven urban light duty vehicles. The results, which are based on vehicle technology characteristics and transportation impacts on environment, facilitate vehicle comparisons and support policy making in transportation. Substantially, more sustainable urban transportation can be achieved in the short-term by promoting policies that increase vehicle occupancy; in the intermediate-term by increasing the share of hybrid vehicles in the car market and in the long-term by the widespread use of electric vehicles. A sensitivity-analysis of life cost results revealed that vehicle costs change significantly for different geographical areas depending on vehicle taxation, pricing of gasoline, electric power and pollution. Current practices in carbon and air quality pricing favor oil and coal based technologies. However, increasing the cost of electricity from coal and other fossil fuels would increase the variable cost for electric vehicles, and tend to favor the variable cost of hybrid vehicles.