数学建模-红绿灯闪烁模型