自动驾驶交叉路口测试场景建模及验证方法

自动驾驶汽车在缓解交通拥堵和消除交通事故方面发挥着重要作用.为了保证自动驾驶系统的安全性和可靠性,在自动驾驶汽车部署到公共道路之前,必须进行全面的测试.现有的测试场景数据大多来源于交通事故和交通违法场景,而且自动驾驶系统最基本的安全需求就是遵守交通法规,这充分体现了自动驾驶汽车遵守交通规则的重要性.然而,目前严重缺少针对交通法规构建的自动驾驶测试场景.因此,从交通法规出发,根据自动驾驶系统的安全需求,提出了交叉路口测试场景的Petri网建模及形式化验证方法.首先,依据自动驾驶测试场景对交规进行分类,提取适合自动驾驶汽车的文本交规,并进行半形式化表征;其次,以覆盖道路交通安全法规以及测试场景功能测试规程为目标,融合交叉路口场景要素的交互行为,合理选择并组合测试场景要素,布设交叉路口测试场景;然后,基于交规的测试场景被建模为一个Petri网,其中,库所描述自动驾驶汽车的状态,变迁表示状态的触发条件,并选择时钟约束规范语言(CCSL)作为中间语义语言,将Petri网转换为一个可进行形式化验证的中间语义模型,提出了具体的转换方法;最后,通过Tina软件分析验证交规场景模型的活性、有界性和可达性,结果表明了所建模型的正确性,并基于SMT的分析工具MyCCSL来分析CCSL约束,采用LTL公式以形式化方法验证交规场景模型的一致性.

Tourist Route Model Formulation Method Considering Spatial Reproducibility

This study aims to gradually reflect information concerning tourists and to propose tourist route model formulation techniques that take spatial reproducibility into account using GIS （geographic information systems）. The conclusions can be summarized into the following three points： （1） Kawagoe city in Saitama Prefecture was selected as the area targeted by this study. All types of data about Kawagoe city and tourists was collected and processed, and a tourist route model formulation method that considered spatial reproducibility using GIS was proposed, （2） 3-stage scenarios were created with the presence or absence of Kawagoe city tourist policies set as standards and this was used to develop tourist route models. It is POSsible to expect synergy in the encouragement of the use of sightseeing buses and the same traffic regulations as the traffic pilot program, and （3） It is considered that it is possible to apply the tourist route model formulation method proposed by this study to other tourist destinations without being limited by spatiotemporal differences or the particular issues of each tourist destinations as spatial reproducibility was confirmed.

Tri-level programming model for combined urban traffic signal control and traffic flow guidance

In order to balance the temporal-spatial distribution of urban traffic flow, a model is established for combined urban traffic signal control and traffic flow guidance. With consideration of the wide use of fixed signal control at intersections, traffic assignment under traffic flow guidance, and dynamic characteristics of urban traffic management, a tri-level programming model is presented. To reflect the impact of intersection delay on traffic assignment, the lower level model is set as a modified user equilibrium model. The middle level model, which contains several definitional constraints for different phase modes, is built for the traffic signal control optimization. To solve the problem of tide lane management, the upper level model is built up based on nonlinear 0-1 integer programming. A heuristic iterative optimization algorithm(HIOA) is set up to solve the tri-level programming model. The lower level model is solved by method of successive averages(MSA), the middle level model is solved by non-dominated sorting genetic algorithm II(NSGA II), and the upper level model is solved by genetic algorithm(GA). A case study is raised to show the efficiency and applicability of the proposed modelling and computing method.

A multi-objective model for cordon-based congestion pricing schemes with nonlinear distance tolls

Congestion pricing is an important component of urban intelligent transport system.The efficiency,equity and the environmental impacts associated with road pricing schemes are key issues that should be considered before such schemes are implemented.This paper focuses on the cordon-based pricing with distance tolls,where the tolls are determined by a nonlinear function of a vehicles' travel distance within a cordon,termed as toll charge function.The optimal tolls can give rise to:1) higher total social benefits,2) better levels of equity,and 3) reduced environmental impacts(e.g.,less emission).Firstly,a deterministic equilibrium(DUE) model with elastic demand is presented to evaluate any given toll charge function.The distance tolls are non-additive,thus a modified path-based gradient projection algorithm is developed to solve the DUE model.Then,to quantitatively measure the equity level of each toll charge function,the Gini coefficient is adopted to measure the equity level of the flows in the entire transport network based on equilibrium flows.The total emission level is used to reflect the impacts of distance tolls on the environment.With these two indexes/measurements for the efficiency,equity and environmental issues as well as the DUE model,a multi-objective bi-level programming model is then developed to determine optimal distance tolls.The multi-objective model is converted to a single level model using the goal programming.A genetic algorithm(GA) is adopted to determine solutions.Finally,a numerical example is presented to verify the methodology.

Model and algorithm of optimizing alternate traffic restriction scheme in urban traffic network

An optimization model and its solution algorithm for alternate traffic restriction(ATR) schemes were introduced in terms of both the restriction districts and the proportion of restricted automobiles. A bi-level programming model was proposed to model the ATR scheme optimization problem by aiming at consumer surplus maximization and overload flow minimization at the upper-level model. At the lower-level model, elastic demand, mode choice and multi-class user equilibrium assignment were synthetically optimized. A genetic algorithm involving prolonging codes was constructed, demonstrating high computing efficiency in that it dynamically includes newly-appearing overload links in the codes so as to reduce the subsequent searching range. Moreover,practical processing approaches were suggested, which may improve the operability of the model-based solutions.

Interaction Analysis and Decomposition Principle for Control Structure Design of Large-scale Systems

Industrial processes are mostly large-scale systems with high order.They use fully centralized control strategy,the parameters of which are difficult to tune.In the design of large-scale systems,the decomposition according to the interaction between input and output variables is the first step and the basis for the selection of control structure.In this paper,the decomposition principle of processes in large-scale systems is proposed for the design of control structure.A new variable pairing method is presented,considering the steady-state information and dynamic response of large-scale system.By selecting threshold values,the related matrix can be transformed into the adjoining matrixes,which directly measure the couple among different loops.The optimal number of controllers can be obtained after decomposing the large-scale system.A practical example is used to demonstrate the validity and feasibility of the proposed interaction decomposition principle in process large-scale systems.

Incident-based traffic congestion control strategy

Traffic incident happens frequently in urban traffic network and it affects normal operation of traffic system seriously so that study on incident-based congestion control strategies is very important. This study addresses the problem of the temporary vehicle movement bans design under incident-based traffic congestion situation. A bi-level programming model is proposed to formulate this problem. The upper level problem is to minimize the total travel cost in the view of traffic management agencies, and the lower level problem is to present travelers’ dynamic route choice behavior under temporary vehicle movement bans using the simulation of cell transmission model, then a genetic algorithm is employed to solve the proposed bi-level programming model. Computational results show that the temporary vehicle movement bans measure is able to alleviate the traffic network incident-based congestion effectively and improve system performance of traffic network.

A surrogate-based optimization algorithm for network design problems

Network design problems （NDPs） have long been regarded as one of the most challenging problems in the field of transportation planning due to the intrinsic non-convexity of their bi-level programming form. Furthermore, a mixture of continuous/discrete decision variables makes the mixed network design problem （MNDP） more complicated and difficult to solve. We adopt a surrogate-based optimization （SBO） framework to solve three featured categories of NDPs （continuous, discrete, and mixed-integer）. We prove that the method is asymptotically completely convergent when solving continuous NDPs, guaranteeing a global optimum with probability one through an indefinitely long run. To demonstrate the practical performance of the proposed framework, numerical examples are provided to compare SBO with some existing solving algorithms and other heuristics in the literature for NDP. The results show that SBO is one of the best algorithms in terms of both accuracy and efficiency, and it is efficient for solving large-scale problems with more than 20 decision variables. The SBO approach presented in this paper is a general algorithm of solving other optimization problems in the transportation field.

An Optimal Portfolio Model with Transaction Cost

In this paper, a convex programming model for portfolio select with trans- action costs was present, we proved the existence condition of optimal solution, and gave a simple example to the optimal solution.