25.2 基于RTX51操作系统的应用实例——交通灯