At last,taking the con trol system for the traffic lights as example,the whole process and its correctness have been achieved and proved.

• 以交通灯控制为例全过程地实现和验证了所提出思想的正确性和可行性。