Carlos Fernando Bautista Rodrguez

TIPOS DE MODELOS MATEMTICOS

Introduccin
Antes de comenzar a modelar matemticamente es necesario saber para qu
modelamos. Se puede modelar para entender la realidad pero tambin el modelo
puede servir obtener resultados que son realmente decisiones que afectarn esa
realidad. En el segundo de los casos los modelos matemticos son especialmente
tiles, y dentro de ellos los modelos de programacin matemtica. El captulo se
cierra con una revisin de otras tcnicas de modelado basadas en las
matemticas.
Modelos normativos y Modelos Descriptivos.
Los modelos normativos exigen el planteamiento de un modelo matemtico
(probablemente en forma de funcin objetivo y restricciones). Los modelos cuya
estructura se ajusta a algunos de los patrones clsicos para los que es factible la
optimizacin (programacin lineal por ejemplo) forman el subconjunto de modelos
de optimizacin.
En ocasiones la estructura del modelo impide el uso de algn mtodo de
optimizacin conocido, es por ello que se plantean los procedimientos heursticos
de resolucin que, si bien no garantizan ptimos, permiten encontrar soluciones en
espacios cortos de tiempo.
Los modelos descriptivos abarcan todas aquellas tcnicas de modelado que no
comportan la definicin de estructuras matemticas que definen una solucin
como la deseable para ser implementada. Entre los modelos descriptivos se
pueden citar los modelos de simulacin, la teora de colas e incluso las tcnicas de
previsin entre otras. Algunos de los modelos descriptivos llevan aparejada una
carga matemtica importante, mientras que otros su estructura no es de tipo
matemtico. Aunque ello no les quita ni un pice de formalidad. Por poner un
ejemplo los modelos IDEF-0 son altamente formales y estndar. Aunque tienen
aspecto de grafo, no necesariamente debieran ser incluidos entre los que se
denominan Modelos Matemticos.
Modelos matemticos segn variables y parmetros.
Los modelos matemticos son modelos formales que utilizan el lenguaje de las
matemticas para describir un sistema, expresando parmetros, variables y
relaciones. El lenguaje matemtico no se limita a la expresin de nmeros y
operadores aritmticos que los relacionan. As por ejemplo la teora de grafos,
ampliamente utilizada en aplicaciones prcticas, es un subconjunto de la ms
general teora de conjuntos. Los modelos matemticos se pueden clasificar de
mltiples maneras. A continuacin se describen algunas que se consideran
relevantes: 1) Los modelos pueden ser estticos o dinmicos. Un modelo esttico
no tiene en cuenta el tiempo, mientras que los modelos dinmicos s. Los modelos
Carlos Fernando Bautista Rodrguez

dinmicos se suelen representar con ecuaciones en diferencias o ecuaciones

diferenciales. 2) Los modelos pueden ser lineales o no-lineales. Si todos los
operadores de un modelo son lineales el modelo es lineal. Si al menos uno es no-
lineal el modelo es no-lineal. Aunque hay excepciones, los modelos lineales son
mucho ms fciles de manejar que los modelos nolineales. En general los
modelos no-lineales pueden ser linealizados, pero entonces, es posible, que se
estn perdiendo aspectos relevantes del problema. 3) Un modelo puede ser
determinista o estocstico. Un modelo determinista es aquel en que cada conjunto
de variables en un estado est definido por los parmetros del modelo y por los
estados anteriores. Un modelo determinista se comporta siempre igual para un
conjunto de parmetros de entrada. En un modelo estocstico las variables de
estado se representan por distribuciones de probabilidad, y por tanto el modelo es
capaz de recoger aleatoriedad o incertidumbre.
Modelos de optimizacin combinatoria
La optimizacin combinatoria es una rama de la Investigacin Operativa que
consiste en encontrar la solucin ptima a un problema en que cada solucin est
asociada a un determinado valor (el valor de la solucin). El trmino combinatoria
hace a la rama de la matemtica que estudia el nmero de posibilidades de
ordenacin, seleccin e intercambio de los elementos (objetos) de un conjunto (o
coleccin), es decir las combinaciones, variaciones y permutaciones. Se ocupa, en
particular, del "recuento" de los objetos de dichas colecciones (combinatoria
enumerativa) y del problema de determinar si cierto objeto "ptimo" existe
(combinatoria extremal). El trmino optimizacin hace referencia a este segundo
aspecto de la bsqueda del mejor valor. En muchos de esos problemas la
bsqueda exhaustiva no es factible y por la estructura de los problemas tanto no
es posible. La optimizacin combinatoria acta en el campo de los problemas de
optimizacin en los que el conjunto de soluciones factibles es discreto (o reducible
a discreto). En algunos casos se tiende la tendencia a asumir que la OC es la
programacin lineal entera con variables binarias.
Modelos de programacin matemtica
La caracterstica comn que comparten todos los modos de modelar
matemticamente es que representan la realidad mediante variables (incgnitas) y
parmetros (datos). Tambin tenemos en cuenta algunos otros artefactos como
funciones o conjuntos. De este modo la realidad queda cuantificada. Entre los
modelos matemticos estn la programacin dinmica o la teora de grafos. Los
modelos de programacin matemtica se distinguen porque representan la
realidad mediante funciones. Estas son combinacin de variables y parmetros en
forma de restricciones y/o funciones objetivo. En general, las restricciones se
deben respetar y las funciones objetivo establecen la diferencia entre una solucin
y otra mejor. Este tipo de modelos matemticos pertenecen al grupo de los
Carlos Fernando Bautista Rodrguez

modelos normativos (qu indican el camino a seguir) frente a la categora de los

descriptivos (que describen la situacin actual o futura).
Una clasificacin de modelos de programacin matemtica
Una clasificacin de los modelos de programacin matemtica podra tener en
cuenta las siguientes caractersticas:
- Estructura, objetivos y restricciones (lineales o no-lineales)
- Caractersticas de las Variables (Reales, Discretas -Enteras-, Binarias)
- Certidumbre de los Parmetros (Ciertos e Inciertos)
- Nmero de Objetivos (Ninguno, Uno o ms de Uno)
- Nmero de Restricciones (Ninguna, Ms de Cero)
El objeto de esta descripcin no es establecer una perfecta clasificacin de todos
los modelos de programacin matemtica. Se pretende nicamente fijar un marco
que sirva de referencia en el contexto de este libro.
MODELOS EMPIRICOS
Cuando se desconoce un modelo terico para un proceso en funcionamiento, es
posible plantear un modelo emprico haciendo ensayos de cambio en alguna
condicin de operacin y registrando la variacin de la variable de proceso que es
afectada y que determina su estado o condicin de operacin. Un procesamiento
de los datos obtenidos, experimentalmente, permite que se ajusten a un modelo
matemtico, que por la forma como se encuentra es de naturaleza emprica. Se
puede afirmar, que los modelos empricos, se utilizan especialmente:
En algunos procesos que se consideran muy complejos para modelarlos a partir
de los principios fundamentales.
Para determinar algunos parmetros desconocidos en el modelo de un sistema.
Muchos parmetros pueden calcularse a partir de datos de la planta en estado
estacionario, pero otros deben determinarse a partir de pruebas dinmicas (por
ejemplo, los tiempos de residencia en sistemas sin reaccin)
Para verificar la consistencia del modelo matemtico planteado tericamente
para el sistema.

MODELO MECANICISTA
La relacin entre el sujeto y el objeto es, de acuerdo con este modelo del
conocimiento, un proceso mecnico que se inicia con el mero y simple entrar en
contacto el sujeto con el objeto, a travs del aparato perceptivo.
Carlos Fernando Bautista Rodrguez

El proceso es mecnico porque est conformado por elementos que tienen una
funcin especfica, sin los cuales no es posible que se produzca correctamente
dicho proceso. Es como un auto, el cual funciona en razn de sus componentes
mecnicos. Para que el auto funcione ptimamente es necesario que todos sus
componentes tambin funcionen correctamente.

El sujeto, equipado por naturaleza con un aparato sensorial o aparato perceptivo,

formado por el conjunto de los cinco sentidos, entra en contacto con el objeto de
manera totalmente pasiva a travs de dicho aparato, el cual le reporta lo percibido
a nuestra mente o conciencia, que son registradas en la memoria. Al conjunto de
percepciones sensoriales se les llama experiencia sensitiva, o emprica.

La explicacin mecanicista de la relacin entre el sujeto y el objeto, se puede decir

entonces, es el fruto de la reflexin filosfica de la escuela emprica, cuyos
orgenes se encuentran desde Aristteles y llegan hasta los pensadores ingleses
John Locke y David Hume.

Es importante hacer la contextualizacin del modelo mecanicista porque este tema

est ligado a algunos otros que se exponen en Filosofa 1, y porque puedes as
amplificar tu comprensin de las formas de pensar o mtodos- de los filsofos.

El modelo mecanicista es acertado o correcto cuando expone que es a travs del

aparato perceptivo que se produce el proceso de conocer, pero falla al no lograr
explicar aquel tipo de conocimiento que no depende de la experiencia sensorial,
sino del proceso de abstraccin, fundamental en la construccin del conocimiento
cientfico.

De ah que su carcter cognoscitivo sea emprico, es decir referido exclusivamente

a las percepciones sensoriales, las cuales son el resultado del reflejo fiel, 100%
objetivo y neutral (como si fuera un espejo) del objeto, tal como seala el
modelo.

La relacin entre el sujeto y el objeto es, de acuerdo con este modelo del
conocimiento, un proceso mecnico que se inicia con el mero y simple entrar en
contacto el sujeto con el objeto, a travs del aparato perceptivo.

El proceso es mecnico porque est conformado por elementos que tienen una
funcin especfica, sin los cuales no es posible que se produzca correctamente
dicho proceso. Es como un auto, el cual funciona en razn de sus componentes
mecnicos. Para que el auto funcione ptimamente es necesario que todos sus
componentes tambin funcionen correctamente.
Carlos Fernando Bautista Rodrguez

Esto ltimo quiere decir que el sujeto construye, con los datos empricos que le
reporta su aparato perceptivo, una imagen o representacin mental que es el
reflejo fiel, totalmente objetivo y neutral, de lo que el objeto es. Una idea de esto
nos la puede dar el reflejo de un espejo plano, que refleja exactamente la forma de
los objetos sin distorsionarlos.

MODELOS TELEONOMICOS.
Teleonomia Es un trmino ideado por jacques monod, que se refiere a localidad
de aparente propsito y de orientacin a objetivos de las estructuras y funciones
de los organismos vivos, la cual deriva de su historia y de su adaptacin evolutiva
para el xito reproductivo. Los modelos teleonmicos son aplicables a
comportamientos dirigidos por metas y se formulan explcitamente en trminos
de objetivo