编程时的系统建模是很多工程师感到不好入手的地方，通常都是直接从满足工艺逻辑要求开始构思，通过调试和测试不断修改逻辑里的BUG。这样的程序经过层层补丁后往往难以维护和再利用，大一点或复杂点的程序甚至难以为继。而以数学模型的方式来考虑工艺逻辑，可以很好的解决问题。

以前ZANE侠给大伙出个好题，很受同行欢迎，现响应支持。考题如下：

现有一地下停车库，进出车道是很长看不到头的单车道，仅容一辆车上或下行。地面和地下车道出入口各设有1个地感线圈用以感知车辆的通过。地上地下分别设红绿交通灯。假设：
I0：地上出入口的地感信号；
I1：地下出入口的地感信号；
I2：系统异常复位；
Q0:地上绿灯；
Q1:地上红灯；
Q2:地下绿灯；
Q3:地下红灯；
现求解最简程序逻辑，入选答案封精鼓励。

能不能设个计数器初始值为0，检测到有车经过时，地面线圈使计数值始终加1，地下线圈使计数值始终减1，不分方向，
当前计数值大于0说明有车入库，同时地下红灯亮绿灯熄，当前计数值小于0说明有车出库，地面红灯亮绿灯熄，
等于0则说明无车，绿灯都亮。
班车上手机发帖，明天仔细考虑。
同时觉得大家不要着急贴代码，先说思路吧

Count:车辆数量，+为正向，-为反向；I
条件 结果
1.I2=1, Count=0,Q1=1,Q3=1
2.I2<>0,Count>=0, Q0=1,Q3=1;
I0=1, Count=Count+1;
2.I2<>0,Count<=0, Q2=1,Q1=1;
I1=1, Count=Count-1;