基于proteus的单片机控制模拟交通灯的设计