9.2 交通灯控制器的设计