Abstract: A traffic network of an urban area is considered in this paper.This paper presents a 0-1 integer linear program which is based on optimization from a purely mathematical point of view to solve the problem of optimizing traffic signal control.In particular，the authors consider a group of signalized intersections in an urban area which have different semaphoric cycles.The phase sequence of each intersection is known but the relationship of these phase sequences between each two intersections is unknown beforehand.The identification of the optimal phase relationship between all intersections and duration for the signal phases are combined into one problem in this paper.It can be used as a benchmark for evaluating the performance of some heuristic algorithms such as the genetic algorithm，fuzzy logic and neural networks.

Key words: traffic network, signal control, signalized intersections, semaphoric cycle, linear programming

摘要： 基于城市交通拥堵的现实背景，主要研究了城市交通网络中信号灯的实时控制的优化问题。通过给出0-1整数规划的模型，定量研究了交通网络中路口信号相位之间的关系，并建立了交通信号控制适时优化模型对其进行优化。针对一组具有不同信号周期的路口信号灯，假设每个路口的相序已知，任意两个路口的相位差未知，综合考虑绿信比和相位差，寻找最优控制策略。在数学模型中，假定交通网络路口具有不同的信号周期和相位差预先未知，在各路口信号周期的最小公倍数的时间段内，通过决策信号灯在任意时间段内的状态来最小化总的车辆延迟时间。问题研究中涉及大量的0-1变量，通过定义内生、外生变量，形成了对各变量的有效约束，使模型在实际仿真实验中的计算复杂度大大减少。最后利用启发式算法对给出的算例进行仿真验证。

关键词: 交通网络, 信号控制, 十字路口, 信号周期, 线性规划