十字交叉口信号配时的自动机建模与分析
Automata Modeling and Analysis of the Signal Timing in Intersection
-
摘要: 应用周期线性微分自动机(CLDA)理论研究十字交叉口的信号配时问题. 建立十字交叉口排队的一类特殊形式的CLDA模型——切换服务系统. 在假定车辆到达率和驶离率满足某种条件的情况下,基于模型证明了在定相序情况下按照车辆排空后切换信号的配时策略能使车辆排队长度全局周期稳定,给出了信号配时周期的计算公式及周期的最佳设置范围. 以北京市海淀区会议中心处的十字交叉口为例,针对高峰时段的车辆到达率和驶离率变化情况,利用所得结果对该交叉口进行分时段信号配时,通过Matlab仿真,验证了结论的正确性及有效性.Abstract: The paper applied the theory of cyclic linear differential automata (CLDA) into the signal timing problem of intersection. A switched service system which was a special CLDA model was set up to describe the length of the vehicles queue. Under a specified condition for the arriving rate and the leaving rate of the vehicles, the model proved that, a given signal timing strategy ‘emptying vehicle and then switching signal' can compel the length of the vehicles queue to vary periodically and form a globally stable queue. Moreover, the cyclic formula of the signal timing was formulated and the best range of cycle was set. The present method was applied to the intersection near the conference center in Haidian district, Beijing. Considering the arriving rate and the leaving rate of the vehicles in the peak time, a signal timing of multiple periods was set up and simulation is completed with the help of the Matlab software.
下载: