在城市交通中,交通灯信号是管理交通网络的最重要元素。近年来城市交通车流量大幅增长,给交通带来巨大压力。提高十字路口的通行效率,对缓解交通阻塞具有十分重要的现实意义。传统固定信号配时控制方案已不能适应交通情况频繁变化的需求,因此迫切需要一种高效、灵活且智能的交通信号配时控制方案来保障车流在城市单交叉路口处的顺畅通行。这方面的研究与应用已成为智能交通系统(ITS)的重要组成部分。本文通过研究城市十字路口的交通流特性,建立了一种基于逻辑规则的交通信号逻辑控制模型。此模型以十字路口各方向车流量为基础,把各支路车流量作为输入状态变量,得出交通信号逻辑控制的相应输出。此逻辑控制模型与实际交通路口的车辆通行情况基本接近,反映了路口通行车辆的离散性、随机性的特点。通过对逻辑规则基础——泛布尔代数理论体系的介绍,提出了一种新的基于逻辑规则的控制算法。该算法表述简洁,易于编程实现,为交通信号的实时控制提供了良好的理论保证。根据基于逻辑规则的控制算法相关控制策略,在Matlab软件环境下编程进行离线仿真实验,仿真结果表明该方法能有效提高十字路口的通行能力,减少车辆延误,降低通行车辆在十字路口的平均等待时间,达到了交通信号优化控制的目的,明显优于传统的固定配时控制方法。同时还进行了智能交通逻辑控制在线实验系统设计,模拟了逻辑规则控制算法下的十字路口的交通信号灯的控制,实验结果证明系统易于实现,很好的体现了逻辑控制算法的优越性。本文所设计系统的实验结果可以为解决城市十字路口交通信号控制问题提供一个合理而有效的方法,具有一定的实用价值。