Asignacion #1 del laboratorio de Sistemas adaptativos.
En esta practica se requiere simular un sistema de trafico controlado por semaforos. La idea principal es evitar que los semaforos permitan una colisión al permitir el paso de los automóviles por vias abiertas al flujo que intersecten.
Objetivo
Crear la simulación de un semáforo para una avenida con 3 sentidos, un sistema de trafico comun contiene 4 semaforos para controlar 4 sentidos. En este caso tomamos un modelo real con solo 3 sentidos.
Podemos ver en el dibujo que el sentido A puede avanzar de izquierda a derecha, con posibilidad de entrar al sentido de C y de B, con la condicion de que estos sentido esten deshabilitados para evitar colisiones.
Respecto al sentido B este puede avanzar de arriba hacia abajo, con la condicion de que A este deshabilitado.
El sentido C recorre de abajo para arriba siempre y cuando A & D esten deshabilitados.
El sentido D recorre en diagonal desde arriba comenzando en el sentido B para pasar hacia el sentido de A siempre y cuando esten deshabilitados el A y el C.
Justificacion
A partir de el dibujo y la logica de como funciona un semaforo real, modelamos la solucion con algebra booleana, tomando en cuenta que cuando el semaforo esta en verde seria un uno logico y cuando el semaforo esta en rojo seria un cero logico.
Los casos especiales estan en la linea 2, que es cuando todos estan apagados y en gran cantidad de combinaciones se provocaria una colision. Solo tendriamos 6 casos posibles de combinaciones.
De los 6 casos disponibles, hicimos una minimizacion de ecuaciones dejando disponible 4.
A = !B && !C && !D
B = !A && C && D
C = !A && B && !D
D = !A && B && !C
De ahi concluimos que B y C son similares y pueden actuar al mismo tiempo, al igual que B y D. Asi que las combinaciones nos quedaron asi:
A
B && C
B && D
Puesto que D es una vuelta, le daremos prioridad en la ecuacion para terminar con una serie de ciclos solidos.
A -> B&&D -> B&&C
Ahora que los ciclos estan definidos, podemos darle las prioridades a cada ecuacion, esto lo haremos creando un numero aleatorio de carros, que a su vez sean comparados en cada sentido. Tomando en cuenta que los sentidos B,C,D estan ligados, se agarra el valor maximo de carros en esos tres sentidos y se compara con el valor resultante aleatorio de el sentido A, despues el sentido que tenga mayor cantidad de carros en espera es el que toma mas tiempo encendido.
La cantidad resultante de los carros afecta directamente al tiempo que dura encendido el semaforo correspondiente, recordando que los sentidos B,C,D estan ligados para evitar colisiones.
El codigo completo lo pueden ver aqui
Como conclusion obtuvimos que las colisiones no son probables, ya que la solucion logica no permite que los semaforos den paso a que los automoviles choquen. Y el hecho de que la cantidad de automoviles sea aleatoria no influye en la logica que evita que los carros colisionen, pero tampoco es la solucion optima para librerar el trafico lento.
Respecto al sentido B este puede avanzar de arriba hacia abajo, con la condicion de que A este deshabilitado.
El sentido C recorre de abajo para arriba siempre y cuando A & D esten deshabilitados.
El sentido D recorre en diagonal desde arriba comenzando en el sentido B para pasar hacia el sentido de A siempre y cuando esten deshabilitados el A y el C.
JustificacionA partir de el dibujo y la logica de como funciona un semaforo real, modelamos la solucion con algebra booleana, tomando en cuenta que cuando el semaforo esta en verde seria un uno logico y cuando el semaforo esta en rojo seria un cero logico.
Los casos especiales estan en la linea 2, que es cuando todos estan apagados y en gran cantidad de combinaciones se provocaria una colision. Solo tendriamos 6 casos posibles de combinaciones.
De los 6 casos disponibles, hicimos una minimizacion de ecuaciones dejando disponible 4.
A = !B && !C && !D
B = !A && C && D
C = !A && B && !D
D = !A && B && !C
De ahi concluimos que B y C son similares y pueden actuar al mismo tiempo, al igual que B y D. Asi que las combinaciones nos quedaron asi:
A
B && C
B && D
Puesto que D es una vuelta, le daremos prioridad en la ecuacion para terminar con una serie de ciclos solidos.
A -> B&&D -> B&&C
Ahora que los ciclos estan definidos, podemos darle las prioridades a cada ecuacion, esto lo haremos creando un numero aleatorio de carros, que a su vez sean comparados en cada sentido. Tomando en cuenta que los sentidos B,C,D estan ligados, se agarra el valor maximo de carros en esos tres sentidos y se compara con el valor resultante aleatorio de el sentido A, despues el sentido que tenga mayor cantidad de carros en espera es el que toma mas tiempo encendido.
La cantidad resultante de los carros afecta directamente al tiempo que dura encendido el semaforo correspondiente, recordando que los sentidos B,C,D estan ligados para evitar colisiones.
Codigo
Aqui dejamos lo que mas resalta del codigo, que es la forma en que se adapta este sistema.
El codigo completo lo pueden ver aqui
Resultados
Despues de analizar el programa durante su ejecuccion nos dimos cuenta que se logra evitar cualquier tipo de choque, se mejora un poco el rendimiento de los semaforos utilizando la logica difusa con respecto a la cantidad de carros que llegan a cada semaforo.
Conclusiones
Como conclusion obtuvimos que las colisiones no son probables, ya que la solucion logica no permite que los semaforos den paso a que los automoviles choquen. Y el hecho de que la cantidad de automoviles sea aleatoria no influye en la logica que evita que los carros colisionen, pero tampoco es la solucion optima para librerar el trafico lento.
Video
En el video se puede apreciar que la secuencia de los semaforos es A, despues B y D, se termina el D, y continuan el B y C.
Los numeros que aparecen determinan la cantidad de carros en las direcciones. Como B,C,D dependen de ellos mismos gracias a las ecuaciones.
