[anterior] [home] [siguiente]

1.3. Especificación formal de modelos

El concepto de estado

Las componentes de un modelo son descritas por un conjunto de variables descriptivas. Las reglas que especifican la interacción entre componentes determinan la manera en la cual estas variables descriptivas cambian con el tiempo. Para que un computador sea capaz de simular el modelo, debe "conocer" estas reglas de interacción.

En muchos modelos es posible designar un pequeño subconjunto de todas las variables descriptivas de tal forma que es suficiente conocer el valor actual de este subconjunto de variables para calcular los valores futuros de todas las variables descriptivas. A este subconjunto de variables las llamaremos "variables de estado".

Considere un modelo con las variables descriptivas a1, a2, a3, ..., an. Decimos que los valores de estas variables son y1, y2, y3, ..., yn en un instante de tiempo t, si a1 toma el valor y1, a2 toma el valor y2, ..., an toma el valor yn en el instante t. Se considera un modelo "bien definido" ("bien descrito") si las reglas de interacción entre componentes determinan, para cada instante futuro t' (t' > t), un único conjunto de valores y'1, y'2, y'3, ..., y'n dados los valores y1, y2, y3, ..., yn en el instante t. De este modo, dados los valores y1, y2, ..., yn en un tiempo t, el computador puede calcular los valores y'1, y'2, ..., y'n para cualquier tiempo t' (con t' > t). Esto se muestra en la siguiente figura.

La figura anterior representa un modelo con cinco variables decriptivas a1, a2, a3, a4, a5. Si el modelo está "bien definido", los valores representados por círculos (en t) determinan los valores representados por cuadrados (en t'). Si a1, a2 y a3 conforman el conjunto de variables de estado, los valores de los círculos negros son suficientes para determinar todos los valores representados por cuadrados.



[anterior] [home] [siguiente]