modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... ·...
TRANSCRIPT
![Page 1: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/1.jpg)
Modelos basados en autómatasModelos basados en autómatasen autómatasen autómatas
FI-UNER
![Page 2: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/2.jpg)
Organización
� Parte I� Introducción.�Definiciones.�Autómatas de estados finitos.�Autómatas celulares.�Ejemplos, tejido excitable.
� Parte II�Agentes.
![Page 3: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/3.jpg)
Teoría de Autómatas
� Se ocupa de los principios fundamentales del comportamiento de las máquinas automáticas .Opera sobre descripciones abstractas� Opera sobre descripciones abstractasde estas máquinas y no sobre sus implementaciones.
� Surgió como un intento de definir el comportamiento de los sistemas en términos de entradas y salidas de datos .
![Page 4: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/4.jpg)
Máquina de Turing� Consta de:
� un cabezal lector/escritor � una cinta infinita en la que el cabezal lee el contenido,
borra el contenido anterior y escribe un nuevo valor. � Las operaciones se limitan a:� Las operaciones se limitan a:
� mover el cabezal lector/escritor a la derecha.� mover el cabezal lector/escritor a la izquierda.
![Page 5: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/5.jpg)
Máquina de Turing
Caja de Control
1 7 x 2 1 3 1 9
1 7 x’ 2 1 3 1 9
t
t +1
…
…
…
…
![Page 6: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/6.jpg)
Máquina de Turing� El cómputo es determinado a partir de una
tabla de estados de la forma:
(estado, valor) (estado’,valor’, dirección)
� Esta tabla toma como parámetros:�Estado actual y carácter leído de la cinta
� Resultado:�Dirección para mover el cabezal, nuevo estado
de la máquina y valor a ser escrito en la cinta.
![Page 7: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/7.jpg)
¿Qué es un autómata?
¿Qué es un estado?
![Page 8: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/8.jpg)
Definición de autómata
� Del griego automatos (αὐτόµατος). � Significa espontáneo o con movimiento
propio.propio.
� En nuestro contexto técnico:�Es un modelo matemático para un sistema
dinámico que evoluciona a través de diferentes estados en pasos discretos .
![Page 9: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/9.jpg)
Definiciones de estado
� Sistemas determinísticos:�Es una representación de la actividad del
sistema , que es suficiente como para determinar su salida , y cómo será determinar su salida , y cómo será actualizada por la entrada.
� Autómatas:�Es una configuración única de la
información de un programa o máquina.
![Page 10: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/10.jpg)
e2
y2 < u2
y1 ≥ u1 y2 < u2
Ejemplo 1: Autómata de 4 estados
e1 e3
e4
y1 < u1
y4 < u4
y3 < u3
y1 ≥ u1 y2 < u2
y3 ≥ u3y4 ≥ u4
![Page 11: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/11.jpg)
e2
y < u
y2 < u2
y1 ≥ u1 y2 ≥ u2
e1 e3
e4
y1 < u1
y4 < u4
y3 < u3
y3 ≥ u3y4 ≥ u4
![Page 12: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/12.jpg)
e2
y < u
y2 < u2
y1 ≥ u1 y2 ≥ u2
e1 e3
e4
y1 < u1
y4 < u4
y3 < u3
y3 ≥ u3y4 ≥ u4
![Page 13: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/13.jpg)
e2
y < u
y2 < u2
y1 ≥ u1 y2 ≥ u2
e1 e3
e4
y1 < u1
y4 < u4
y3 < u3
y3 ≥ u3y4 ≥ u4
![Page 14: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/14.jpg)
e2
y < u
y2 < u2
y1 ≥ u1 y2 ≥ u2
e1 e3
e4
y1 < u1
y4 < u4
y3 < u3
y3 ≥ u3y4 ≥ u4
![Page 15: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/15.jpg)
e2
y < u
y2 < u2
y1 ≥ u1 y2 ≥ u2
e1 e3
e4
y1 < u1
y4 < u4
y3 < u3
y3 ≥ u3y4 ≥ u4
![Page 16: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/16.jpg)
e2
y < u
y2 < u2
y1 ≥ u1 y2 ≥ u2
e1 e3
e4
y1 < u1
y4 < u4
y3 < u3
y3 ≥ u3y4 ≥ u4
![Page 17: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/17.jpg)
e2
y < u
y2 < u2
y1 ≥ u1 y2 ≥ u2
e1 e3
e4
y1 < u1
y4 < u4
y3 < u3
y3 ≥ u3y4 ≥ u4
![Page 18: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/18.jpg)
e2
y < u
y2 < u2
y1 ≥ u1 y2 ≥ u2
e1 e3
e4
y1 < u1
y4 < u4
y3 < u3
y3 ≥ u3y4 ≥ u4
![Page 19: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/19.jpg)
Definición formal: Autómata Discreto
� Un autómata queda especificado por tres conjuntos X, Yy E; y dos funciones δ y β, donde:� X es un conjunto finito símbolos de entrada� Y es un conjunto finito símbolos de salida
E es el conjunto de estados� E es el conjunto de estados� δ: E × X → E, la función de transición de estado
� si en el tiempo k el sistema está en el estado e y recibe una entrada x, entonces en el tiempo k+1 el sistema estará en el estado δ(e, x)
� β: E × X→ Y, la función de salida (o dinámica)
� el estado esiempre da lugar a una salida y=β(e, x), que depende de la entrada x (a veces tb. de y)
![Page 20: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/20.jpg)
� Un autómata queda definido entonces por una5-upla:
A= f (X, Y , E, δ, β)
Definición formal: Autómata Discreto
A= f (X, Y , E, δ, β)
� Si E es un conjunto finito de estados, se dice que el autómata es finito (o de estados finitos)
![Page 21: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/21.jpg)
Aut. Discreto vs continuo (E/S)
� Caso E/S discreta:� Supone un alfabeto o conjunto
finito y ordenado de posibles símbolos para la salida o la símbolos para la salida o la entrada (definición anterior).
� Caso E/S continua:� La función de salida representa
la dinámica del autómata para cada estado:
y = βe(y, x)
OBSERVACION: EN LOS CASOS TRATADOS EL TIEMPO SIEMPRE ES DISCRETO
![Page 22: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/22.jpg)
Dinámica de estado
� La variable de salida yv correspondiente al estado vresulta:
y (k+1) = β (y (k), x(k))
Dinámica del autómata: βe(y, x)
yv(k+1) = βv(yv(k), x(k))
� βv es una función lineal o no lineal� yv es la variable de salida� x es la variable de entrada� k es el instante de tiempo discreto
� Si se produce un cambio a un nuevo estado w:
yw(k+1) = βw(yw(k), x(k))
![Page 23: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/23.jpg)
Umbrales� Luego de hallado el nuevo valor de yv(k+1) o de
yw(k+1) según corresponda, se compara ese valor con el umbral u o u asociado al estado v o w para
Dinámica del autómata: βe(y, x)
con el umbral uv o uw asociado al estado v o w para lo cual se calcula:
SGN(yv(k+1) -uv), para el estado v
SGN(yw(k+1) -uw), para el estado w
� El autómata pasa al siguiente estado o permanece en el mismo de acuerdo al resultado de la comparación.
![Page 24: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/24.jpg)
Ejemplo 2: Péndulo y topes
l1l2
θ1 θ2
l
θ
Sistema dinámico sencillo con no-linealidades
![Page 25: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/25.jpg)
Ejemplo 2: Péndulo y topes
� En la posición extrema Φ= Φ0, la energíaes solamente potencial
( ))cos( 0φllgmEp −⋅⋅=
( ))cos()cos(2 02 φφ −⋅⋅⋅= lgv
� En la posición Φ, la energía del péndulo es parte cinética y la otra parte potencial
( ))cos(22
1 φllgmvmE −⋅⋅+⋅⋅=
Igualando las energías podemos despejar la velocidad
![Page 26: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/26.jpg)
Ejemplo 2: Péndulo y topes
l1l2
l
θ1θ2
θ
e1 e2 e3
l
Θ > Θ1
Θ < Θ1 Θ < Θ2
Θ > Θ2
Θ < Θ1Θ > Θ2
Θ1 < Θ < Θ2
![Page 27: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/27.jpg)
Caso de Estudio:ElectrofisiologíaElectrofisiología
Célula excitable
![Page 28: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/28.jpg)
Caso de Estudio: Célula excitable
� Autómata de 2 estados
e0 e1
![Page 29: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/29.jpg)
t=kT
y(t)
+20V
+12Vumbral+12V
Dinámica autómata e0 e1
t=kT
t=kT
x(t)
-10V-15V
umbral-10V
![Page 30: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/30.jpg)
Pseudocódigo
� Estado e1:� y(k+1) = -15 + x(k)
� IF SGN(y(k+1) + 10) = -1 THEN estado(k+1) = e1
� ELSE estado(k+1) = e2; y(k+1) = 20
� Estado e2:� Estado e2:� y(k+1) = 0.8 * y(k)
� IF SGN(y(k+1) - 12) = 1 THEN estado(k+1) = e2
� ELSE estado(k+1) = e1; y(k+1) = -15
![Page 31: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/31.jpg)
t=kT
y(t)
-10V
-15V
+12Vumbral+12V
umbral-10V
t=kT
x(t)
-15V
![Page 32: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/32.jpg)
t=kT
y(t)
-10V
-15V
+12V
umbral-10V
t=kT
x(t)
-15V
![Page 33: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/33.jpg)
t=kT
y(t)
-10V
+20V
-15V
+12Vumbral+12V
umbral-10V
t=kT
x(t)
-15V
![Page 34: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/34.jpg)
t=kT
y(t)
-10V
+20V
-15V
+12Vumbral+12V
t=kT
x(t)
-15V
![Page 35: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/35.jpg)
t=kT
y(t)
-10V
-15V
+12Vumbral+12V
umbral-10V
t=kT
x(t)
-15V
![Page 36: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/36.jpg)
t=kT
y(t)
-10V
-15V
+12V
umbral-10V
t=kT
x(t)
-15V
![Page 37: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/37.jpg)
t=kT
y(t)
-10V
-15V
+12V
umbral-10V
t=kT
x(t)
-15V
![Page 38: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/38.jpg)
Autómatas Celulares (AC’s)Celulares (AC’s)
![Page 39: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/39.jpg)
Autómatas Celulares� Permiten modelar sistemas naturales que
puedan ser descritos como:�Una colección masiva de objetos simples�Una colección masiva de objetos simples
que interactúen localmente unos con otros.
![Page 40: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/40.jpg)
Autómatas Celulares� Consisten en un conjunto de autómatas
(o células) que modifican sus estados siguiendo algoritmos sencillos .siguiendo algoritmos sencillos .
� Integran sistemas formados por la interconexión de un gran número de ellos.
![Page 41: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/41.jpg)
Autómatas Celulares� Los sistemas de células acopladas
pueden comportarse colectivamente en forma compleja.forma compleja.
� Permiten crear situaciones experimentales difíciles de reproducir sobre los sistemas reales que modelan.
![Page 42: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/42.jpg)
Ejemplo sencillo
![Page 43: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/43.jpg)
Definición AC’s
Una red de autómatas queda definida por:
R = G(T,C)Donde:Donde:� T es la topología :
� Forma geométrica o de interconexión espacial de lascélulas.
� C es la forma de conexión :� Tipo y grado de acoplamiento o interconexión
funcional entre células.
![Page 44: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/44.jpg)
Topología…
� Geometría específica de la trama (regular)Trama triangular Trama cuadrada Trama hexagonal
� Dimensiones: 1, 2 o 3Trama cúbica
![Page 45: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/45.jpg)
Topología…
� Vecindad : conjunto de células que colindan con una célula determinada (i, j).
Von Newman Moore Arbitraria r = 1 r = 2 r = 1 r = 2
![Page 46: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/46.jpg)
Conexión: condiciones existencia
� Las células deben admitir una entrada durante por lo menos un estado
� Esa entrada debe estar relacionada con el valor de alguna variable de otras célulasde alguna variable de otras células
� Además debe tener alguna influencia en la dinámica de la célula considerada
� Debe considerarse la forma en que influyen simultáneamente las células vecinas (+, ×, ∧, ∨ , etc.)
� Debe definirse la frontera del sistema
![Page 47: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/47.jpg)
Conexión: características� Direccionalidad:
� Se habla de tramas conectadas bi-direccionalmentecuando entre cada autómata de la vecindad existen pesos de ida y vuelta.
� Por el contrario, se habla de uni -direccionalidad� Por el contrario, se habla de uni -direccionalidadcuando hay un peso desde una célula a otra pero no existe el recíproco.
![Page 48: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/48.jpg)
� Isotropía:� Los AC isótropos son aquellos en que los pesos de
conexión son iguales en todos los sentidos y direcciones.
� Los AC anisótropos son aquellos en los que los
Conexión: características
� Los AC anisótropos son aquellos en los que los pesos son diferentes en algún sentido o dirección de la trama.
![Page 49: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/49.jpg)
� Reciprocidad:Influencia (j,k) = Influencia (k,j)
� Isotropía:
Conexión: características
� Isotropía:Igual influencia en todas las direcciones
� Dependencia (o independencia) temporal
![Page 50: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/50.jpg)
Conexión: condiciones de contorno�Es imposible simular una trama infinita en una computadora. Por lo tanto, tenemos que definir algunas condiciones de contorno o frontera .
�Contorno periódico.
�Contorno reflexivo.
�Contorno fijo o arbitrario
O O
![Page 51: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/51.jpg)
Aplicaciones varias…
� Tejidos Biológicos� Comportamiento de bacterias e insectos� Materiales ferromagnéticos (Ising)� Materiales ferromagnéticos (Ising)� Cristales en solución química� Incendios Forestales� …� Técnicas que pueden verse como AC’s:
� Redes Neuronales� Modelos Ocultos de Markov (si incluye lenguaje)
![Page 52: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/52.jpg)
Ejemplo 1: AC’s y Redes Neuronales
y = fn(w1x1 + w2x2 + w3x3 - θ)
w1
x1
x yfw2
w3
x2
x3
yfn
θ
![Page 53: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/53.jpg)
Ejemplo 2: AC’s y “Memes”� Transmisión de
rumores, creencias, mitos, etc. (Rocha, 2001).
∂U/∂t = f (U) + D ∇∇∇∇2U
![Page 54: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/54.jpg)
Ejemplo 4: AC’s y el tránsito
� Tránsito de vehículos:
� Simulación en distintas condiciones para mejorar la circulación y señalización
![Page 55: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/55.jpg)
Ejemplo 5: AC’s 3D
� Morfogénesis:
�Simulación del �Simulación del crecimiento de tejidos y órganos:
![Page 56: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/56.jpg)
Caso de Estudio:Electrofisiología CardíacaCardíaca
Modelo de Células de Purkinje (Rocha)
![Page 57: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/57.jpg)
Repaso Electro-Fisiología Cardiaca:
� Células Marcapaso:� Responsables de la ritmicidad de la contracción� Auto-excitables� Se encuentran en el nódulo sinusal y en el aurículo ventricular
� Células No -Marcapaso:� Células No -Marcapaso:� Se excitan solo por contacto con sus vecinas ya que su período
de autodespolarización es muy largo� Son las encargadas de la conducción de la despolarización
hasta el músculo para producir su contracción� Por ejemplo: fibras de Purkinje.
� Fibrilación:� Contracción desordenada y desincronizada de las fibras del
músculo cardíaco que impiden su funcionamiento como bomba (bolsa de lombrices).
![Page 58: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/58.jpg)
Repaso Electro-Fisiología Cardiaca:
Nódulo Sinusal Haz de His
Nódulo Auriculo-Ventricular
Fibras de Purkinje
Músculo
![Page 59: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/59.jpg)
Potencial célula de Purkinje
FASE 1 30
10
0
mV
t
FASE 0 FASE 2 Y 3
FASE 4 -70
-90
![Page 60: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/60.jpg)
1 2 3 4 5 N
G G G G
Acoplamiento 1D de ACs
E(k): Potencial Celular en el instante k
RF(k): Efecto Refractario
CC(k): Suma de corrientes de células adyacentes
CT(k): Recuerda una exitación prematura en el ciclo anterior
![Page 61: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/61.jpg)
� Fase 0E (k+1) = E (k) + 40
Salta a Fase 1 cuando E (k+1) > 30
� Fase 1
Dinámica de un arreglo 1D
� Fase 1E (k+1) = 0.7 * E (k)
Salta a Fases 2 y 3 cuando E (k+1) < 10
� Fases 2 y 3E (k+1) = 1.1 * E (k) + 4 * CT(k) - 6
Salta a Fase 4 cuando E (k+1) < -70 y hace CT(k)=0 y RF(k)=0
![Page 62: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/62.jpg)
� Fase 4CC(k)= Suma de corrientes de células vecinasEint = E(k) + CC(k) * RF(k)IF Eint > -90 THEN
Dinámica de un arreglo 1D
E(k+1) = EintELSE
E (k+1) = E (k) + 0.02 * [-90-E(k)]
RF(k+1)=RF(k) + INHIF RF(k)>1 THEN RF(k)=1CT(k+1)=CT(k) + 0.16IF CT(k+1) >1 THEN CT(k+1) =1
Salta a Fase 0 cuando E (k+1) > -60
![Page 63: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/63.jpg)
� Como queremos modelizar filamentos de células cardíacas:
CC(k,i)= G . [E(k,i+1) - E(k,i) + E(k,i - 1) - E(k,i)]
Dinámica de un arreglo unidimensional
CC(k,i)= G . [E(k,i+1) - E(k,i) + E(k,i - 1) - E(k,i)]
CC(k,i)= G . [E(k,i+1) + E(k,i-1) - 2 E(k,i)]
![Page 64: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/64.jpg)
� Si el valor Gno sobrepasa un valor mínimo, el acoplamiento es insuficiente para excitar las células vecinas.Pero se puede observar la propagación de un
Dinámica de un arreglo unidimensional
� Pero se puede observar la propagación de un potencial debido al acoplamiento resistivo de las células (que se va atenuando).
![Page 65: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/65.jpg)
Simulación red unidimensional y unidireccional de 5 células (1era marcapasos)
0 10 20 30 40 50 60 70 80 90 100-100
0
100
-100
0
100
2
1
0 10 20 30 40 50 60 70 80 90 100-100
0 10 20 30 40 50 60 70 80 90 100-100
0
100
0 10 20 30 40 50 60 70 80 90 100-100
0
100
0 10 20 30 40 50 60 70 80 90 100-100
0
100
3
4
5
![Page 66: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/66.jpg)
Problemas en la frontera� Si la cantidad de células es N, las células
N+1 y 0 no existen� Para las células N y 1 se presentan dos � Para las células N y 1 se presentan dos
alternativas…
![Page 67: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/67.jpg)
Problemas en la frontera� E(k,0) = E(k,N+1) = 0
� E(k,0) = E(k,1) y
E(k,N+1)= E(k,N)E(k,N+1)= E(k,N)
![Page 68: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/68.jpg)
E(k,0) = E(k,N+1) = 0
� Existe acoplamiento.� Hay diferencias de potencial.� Existe corriente en la frontera.� Existe corriente en la frontera.� Existe “efecto frontera”.
![Page 69: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/69.jpg)
E(k,0) = E(k,1) y E(k,N+1)=E(k,N)
� No existe acoplamiento.� No hay diferencias de potencial.� La frontera no ejerce ninguna influencia.� La frontera no ejerce ninguna influencia.
![Page 70: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/70.jpg)
Lazo cerrado de células
23
4G GG
1 5G
G8
7
6
G
G
G
G
![Page 71: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/71.jpg)
Lazo cerrado de células
23
4G GG
1 5G
G8
7
6
G
G
G
G
![Page 72: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/72.jpg)
Lazo cerrado de células
23
4G GG
1 5G
G8
7
6
G
G
G
G
![Page 73: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/73.jpg)
Lazo cerrado de células
23
4G GG
1 5G
G8
7
6
G
G
G
G
![Page 74: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/74.jpg)
Lazo cerrado de células
23
4G GG
1 5G
G8
7
6
G
G
G
G
![Page 75: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/75.jpg)
Lazo cerrado de células
23
4G GG
1 5G
G8
7
6
G
G
G
G
Colisión
![Page 76: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/76.jpg)
Demostración de AC’s en arreglo 2DAC’s en arreglo 2D
Modelo de Células de Purkinje
![Page 77: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/77.jpg)
k j
Acoplamiento Bidimensional de AC’s
Ck Cj
k j
k j
![Page 78: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/78.jpg)
Fro
nter
a 2
Ck Cj
k j
k j
Frontera 1
Fro
nter
a 2
![Page 79: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/79.jpg)
AC’s Bidimensionales Simples
Simulación de una Red de Autómatas Celulares Cardíacos Cardíacos simple:3 estados, isótropa, marcapasos en 10,10
![Page 80: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/80.jpg)
AC’s Bidimensionales Purkinje
Simulación de una Red de Autómatas Celulares Cardíacos tipo Cardíacos tipo Purkinje de 20x20 células: 4 estados, isótropa, con una célula marcapasos en la posición central
![Page 81: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/81.jpg)
Fibrilación
![Page 82: Modelos basados en autómatasmodelizacion-fiuner.wdfiles.com/local--files/teorias... · 2012-10-02 · Autómatas de estados finitos. Autómatas celulares. Ejemplos, tejido excitable](https://reader034.vdocuments.net/reader034/viewer/2022042513/5f7ed3ae1a5b147110641fa8/html5/thumbnails/82.jpg)
Bibliografía
� "Foundations of Mathematical Biology",Rosen, Vol I, II.� "Computer Modelling of Complex Biological Systems", S.
Sitharama Iyengar, CRC Press.
� "Modelling and Control in Biomedical Systems", Cobelli-� "Modelling and Control in Biomedical Systems", Cobelli-Mariani, 1988.
� "Introducción a la Bioingeniería", Marcombo-Boixareu Editores, 1988.
� “Dinámica de una Red de Autómatas Celulares”, Luis F. Rocha. UBA. Buenos Aires, 1991.