2.5 红绿灯控制系统设计实例