Teora de modelos

En matemtica, teora de modelos es el estudio de (clases de) estructuras

matemticas tales como grupos, cuerpos, grafos, o incluso universos de teora de
conjuntos, en relacin con las teoras axiomticas y la lgica matemtica.

ndice
[ocultar]

1Introduccin
o 1.1Teora de modelos finitos
o 1.2Modelos para teoras lgicas de primer orden
o 1.3Modelos de ZFC
o 1.4Modelos para la teora de los nmeros reales
o 1.5Teora de la demostracin
2Vase tambin
3Referencias

Introduccin[editar]
Informalmente una teora matemtica est formada por un conjunto de teoremas y
axiomas. Los teoremas son proposiciones lgicamente deducibles de los axiomas. En el
enfoque moderno, las teoras se conciben como un conjunto de proposiciones expresables
en un cierto lenguaje formal que recoge explcitamente el conjunto de smbolos de la
teora, los axiomas y las reglas de deduccin. El aparataje anterior define la sintaxis de la
teora.
En ese punto, la teora de modelos permite definir la semntica de una teora. As un
modelo es una L-estructura donde una cadena de signos o sentencia del
lenguaje formal de la teora correctamente formada puede ser interpretada y verificada (es
decir, o bien la proposicin o su negacin se satisfacen en el modelo). Un modelo para
una teora es una estructura donde los axiomas y teoremas de la teora
se satisfacen. Por ejemplo, el conjunto de nmeros naturales constituyen un modelo para
los axiomas de Peano. Un grupo matemtico es un modelo de la teora de grupos (aunque
en este caso existe ms de un modelo posible, cada grupo de hecho es un modelo de la
teora).
Por tanto, un modelo es una estructura donde las oraciones formales de la teora (es decir,
una cadena de signos matemticos) son interpretables y por tanto las oraciones pueden
considerarse como afirmaciones sobre el modelo. Existe un paralelo con el lenguaje
comn y la realidad, una realidad fsica o un objeto fsico real son anlogos a unmodelo
matemtico, mientras que una descripcin verbal de esa realidad fsica es una teora para
dicho modelo. Si un modelo para un lenguaje formal satisface adems una oracin o una
teora (conjunto de oraciones), se llama modelo de una oracin o teora. La teora de
modelos tiene fuertes lazos con el lgebra y el lgebra universal.
Teora de modelos finitos[editar]
La teora de modelos finitos es la parte de la teora de modelos ms cercanas al lgebra
universal. Al igual que otras partes del lgebra universal, y a diferencia con otras reas de
la teora de modelos, est relacionada principalmente con lgebras finitas, o ms
generalmente, con una -estructura finita para signaturas que pueden contener smbolos
relacionales como en el siguiente ejemplo:
La signatura estndar para grafos es grph={E}, donde E es un smbolo de relacin
binaria.
Un grafo es una grph-estructura que satisface las
proposiciones y .
Un -homomorfismo es una aplicacin que conmuta con las operaciones y
preserva relaciones de . Esta definicin lleva a la nocin usual de homomorfismo
de grafos, que tiene la propiedad interesante que un homomorfismo biyectivo no
necesita tener inverso. Las estructuras tambin forman parte del lgebra universal,
despus de todo, algunas estructuras algebraicas tales como grupos ordenados
admiten una relacin binaria del tipo < "menor que". Lo que distingue a un modelo
finito de un gebra universal es el uso de proposiciones lgicas ms generales
(como el ejemplo anterior) en lugar de identidades (en un contexto de teora de
modelos la identidad t=t' se escribe como una
proposicin .)
La lgica empleada en una teora de modelos finitos generalmente es ms
expresiva que una lgica de primer orden, o la lgica estndar para la teora de
modelos ms general o las estructuras infinitas.
Modelos para teoras lgicas de primer orden[editar]
Este artculo se enfoca en teora finitaria de modelos de primer orden de
estructuras infinitas. La teora de modelos finitos, la cual se concentra en
estructuras finitas, diverge significativamente del estudio de estructuras infinitas
tanto en los problemas estudiados como en las tcnicas usadas. La teora de
modelos en lgicas de orden superior olgicas infinitarias est obstaculizada por el
hecho de que la completitud no se cumple para estas lgicas. Actualmente existe
un nmero importante de resultados sobre las propiedades de los sistemas lgicos
tanto de primer orden como de segundo orden.
Debe tenerse presente que dadoa una teora lgica de primer orden generalmente
existe ms de un modelo para dicha teora, y dichos modelos usualmente no son
isomorfos. Eso significa que los axiomas de una determinada teora caracterizan
en realidad aspectos de diferentes tipos de estructuras. Muchas veces esto es un
resultado buscado. Por ejemplo, la teora de grupos y sus axiomas definitorios
admiten diversos modelos (cada grupo matemtico de hecho es un modelo es un
modelo de dicha teora). En otras ocasiones como en el intento de formalizar los
nmeros reales mediante una teora de primer orden se buscaba que
esencialmente existiera un modelo nico, sin embargo, elteorema de Lwenheim-
Skolem permite ver que existen diversos modelos no isomorfos, entre ellos
los nmeros reales convencionales, pero tambin los nmeros
hiperrealesconstituyen otro modelo no isomorfo al anterior que tambin satisface
los mismos axiomas y teoremas que los nmeros reales.
La existencia de un modelo permite establecer la consistencia de una teora. La
existencia de diferentes modelos puede permitir establecer la independencia de
algunos axiomas. Esencialmente eso es lo que puede establecer la teora de
modelos aplicada a la teora de conjuntos axiomtica, por ejemplo.
Modelos de ZFC[editar]
La existencia de diferentes modelos posibles para los axiomas de Zermelo-
Fraenkel (ZFC) ha permitido establecer la independencia del axioma de eleccin y
de la hiptesis del continuo de otros axiomas de la teora de conjuntos (los
principales resultados se deben a Paul Cohen (1963) y Kurt Gdel (1938).
Se ha probado que tanto el axioma de eleccin como su negacin son
consistentes con los axiomas de Zermelo-Fraenkel de la teora de conjuntos. Y la
hiptesis del continuo, es lgicamente independiente, de los axiomas de Zermelo-
Fraenkel y el axioma de eleccin. Estos resultados son ejemplos de aplicaciones
de la teora de modelos a la teora axiomtica de conjuntos.
Modelos para la teora de los nmeros reales[editar]
Un ejemplo de los conceptos de la teora de modelos es la teora de los nmeros
reales. Comenzamos con un conjunto de individuos, donde cada individuo es un
nmero real y un conjunto de relaciones y/o funciones como { , +, , ., 0, 1 }. Si
hacemos una pregunta " y (y y = 1 + 1)" en este lenguaje, entonces est claro
que la sentencia es verdadera para reales, ya que existe tal nmero real y, a saber
la raz cuadrada de 2. Para los nmeros racionales, sin embargo, la sentencia es
falsa. Una proposicin similar, " y (y y = 0 1)", es falsa en los reales, pero es
verdadera en los nmeros complejos, donde i i = 0 1.
Teora de la demostracin[editar]
La teora de modelos puede emplearse como herramienta en la teora de la
demostracin que se ocupa de lo que se puede probar con sistemas
matemticos dados, y cmo estos sistemas se relacionan entre s. En principio la
teora de la demostracin se ocupa de la complejidad sintctica de las teoras a
diferencia de la teora de modelos que se ocupa principalmente de las
posibilidades semnticas de la teora.
 Modelo matemtico
En ciencias aplicadas, un modelo matemtico es uno de los tipos de modelos
cientficos que emplea algn tipo de formulismo matemtico para expresar relaciones,
proposiciones sustantivas de hechos, variables, parmetros, entidades y relaciones entre
variables y/o entidades u operaciones, para estudiar comportamientos de sistemas
complejos ante situaciones difciles de observar en la realidad. El trmino modelizacin
matemtica es utilizado tambin en diseo grfico cuando se habla de modelos
geomtricos de los objetos en dos (2D) o tres dimensiones (3D).
El significado de modelo matemtico en filosofa de la matemtica y fundamentos de la
matemtica es, sin embargo, algo diferente. En concreto en esas reas se trabajan con
"modelos formales". Un modelo formal para una cierta teora matemtica es un conjunto
sobre el que se han definido un conjunto de relaciones unarias, binarias y trinarias, que
satisface las proposiciones derivadas del conjunto de axiomas de la teora. La rama de la
matemtica que se encarga de estudiar sistemticamente las propiedades de los modelos
es la teora de modelos.

ndice
[ocultar]

1Clasificaciones de los modelos

o 1.1Segn la informacin de entrada
o 1.2Segn el tipo de representacin
o 1.3Segn la aleatoriedad
o 1.4Clasificacin segn su aplicacin u objetivo
2Ejemplos
o 2.1Ejemplos de modelos por tipos
o 2.2Modelo matemtico de simulacin hidrolgica
3Fases de construccin de un modelo
4Vase tambin
5Referencias
o 5.1Bibliografa
o 5.2Enlaces externos

Clasificaciones de los modelos[editar]

Se podra decir que un modelo de las ciencias fsicas es una traduccin de la realidad
fsica de un sistema fsico en trminos matemticos, es decir, una forma de representar
cada uno de los tipos entidades que intervienen en un cierto proceso fsico mediante
objetos matemticos.Las relaciones matemticas formales entre los objetos del modelo,
deben representar de alguna manera las relaciones reales existentes entre las diferentes
entidades o aspectos del sistema u objeto real. As una vez "traducido" o "representado"
cierto problema en forma de modelo matemtico, se pueden aplicar el clculo, el lgebra y
otras herramientas matemticas para deducir el comportamiento del sistema bajo estudio.
Un modelo fsico requerir por tanto que se pueda seguir el camino inverso al modelado,
permitiendo reinterpretar en la realidad las predicciones del modelo.
Segn la informacin de entrada[editar]
Con respecto a la funcin del origen de la informacin utilizada para construir los modelos
pueden clasificarse de otras formas. Podemos distinguir entre modelos heursticos y
modelos empricos:

Modelos heursticos (del griego euriskein 'hallar, inventar'). Son los que estn
basados en las explicaciones sobre las causas o mecanismos naturales que dan lugar
al fenmeno estudiado.
 Modelos empricos (del griego empeirikos relativo a la 'experiencia'). Son los que
utilizan las observaciones directas o los resultados de experimentos del fenmeno
estudiado.
Segn el tipo de representacin[editar]
Adems los modelos matemticos encuentran distintas denominaciones en sus diversas
aplicaciones. Una posible clasificacin puede atender a si pretenden hacer predicciones de
tipo cualitativo o pretende cuantificar aspectos del sistema que se est modelizando:

Modelos cualitativos o conceptuales, estos pueden usar figuras, grficos o

descripciones causales, en general se contentan con predecir si el estado del sistema
ir en determinada direccin o si aumentar o disminuir alguna magnitud, sin importar
exactamente la magnitud concreta de la mayora de aspectos.
Modelos cuantitativos o numricos, usan nmeros para representar aspectos del
sistema modelizado, y generalmente incluyen frmulas y algoritmos matemticos ms
o menos complejos que relacionan los valores numricos. El clculo con los mismos
permite representar el proceso fsico o los cambios cuantitativos del sistema
modelado.
Segn la aleatoriedad[editar]
Otra clasificacin independiente de la anterior, segn si a una entrada o situacin inicial
concreta pueden corresponder o no diversas salidas o resultados, en este caso los
modelos se clasifican en:

Determinista. Se conoce de manera puntual la forma del resultado ya que no hay

incertidumbre. Adems, los datos utilizados para alimentar el modelo son
completamente conocidos y determinados.
Estocstico. Probabilstico, que no se conoce el resultado esperado, sino su
probabilidad y existe por tanto incertidumbre.
Clasificacin segn su aplicacin u objetivo [editar]
Por su uso suelen utilizarse en las siguientes tres reas, sin embargo existen muchas otras
como la de finanzas, ciencias etc.

Modelo de simulacin o descriptivo, de situaciones medibles de manera precisa o

aleatoria, por ejemplo con aspectos de programacin lneal cuando es de manera
precisa, y probabilstica o heurstica cuando es aleatorio. Este tipo de modelos
pretende predecir qu sucede en una situacin concreta dada.
Modelo de optimizacin. Para determinar el punto exacto para resolver alguna
problemtica administrativa, de produccin, o cualquier otra situacin. Cuando la
optimizacin es entera o no lineal, combinada, se refiere a modelos matemticos poco
predecibles, pero que pueden acoplarse a alguna alternativa existente y aproximada
en su cuantificacin. Este tipo de modelos requiere comparar diversas condiciones,
casos o posibles valores de un parmetro y ver cual de ellos resulta ptimo segn el
criterio elegido.
Modelo de control. Para saber con precisin como est algo en una organizacin,
investigacin, rea de operacin, etc. Este modelo pretende ayudar a decidir qu
nuevas medidas, variables o qu parmetros deben ajustarse para lograr un resultado
o estado concreto del sistema modelado.

Ejemplos[editar]
Un modelo mixto operacional estadstico es una teora o situacin causal de hechos y
expresado con smbolos de formato matemtico. Por ejemplo las tablas de contingencia.
De hecho los modelos matemticos se construyen con varios niveles de significacin y con
diferentes variables.
Kendall y Buckland catalogan hasta 40 tipos diferentes de modelos matemticos.
Ejemplos: Rapoport en modelo matemtico e interaccin social en 1961 y Bugeda en
Sociologa matemtica en 1970. Por un principio de isomorfismo hay una equivalencia, a
conseguir, entre un modelo y una teora. Adems teora y modelo son sinnimos.
Ejemplos de modelos por tipos[editar]
Si se emplea la clasificacin de modelos segn su aplicacin u objetivo (modelos
descriptivos o de simulacin, modelos de optimacin o eleccin de ptimo, modelos de
control o tratamiento) y segn si se trata de modelos determistas o probabilistas se pueden
dar algunos ejemplos ilustrativos:

Descriptivos / Simulacin Optimizacin / Eleccin Control / Tratamiento

Probabilis Determinis Probabilis Determinis Probabilis

Determinista
ta ta ta ta ta

Clculo
Cuantitati Simulacion
Clculos component Diseo Control
vo / es ?
astronmicos es ingenieril automtico
Numrico de trfico
de sistemas

Cualitativ
Anlisis Modelos
o/ Teora de Teora
microeconmi de ? ?
Conceptua juegos psicolgica
cos grafo/flujo
l

Modelo matemtico de simulacin hidrolgica[editar]

Se utilizan para estudiar situaciones extremas, difcilmente observables en la realidad,
como por ejemplo los efectos de precipitaciones muy intensas y prolongadas en cuencas
hidrogrficas, en su estado natural, o en las que se ha intervenido con obras como
canales, represas, diques de contencin, puentes, etc.
La cuenca hidrogrfica es dividida en sub-cuencas consideradas homogneas desde el
punto de vista: del tipo de suelo, de la declividad, de su cobertura vegetal. El nmero y tipo
de las variables hidrolgicas que intervienen en el modelo son funcin de objetivo
especfico para el cual se elabora el mismo.

Fases de construccin de un modelo[editar]

En muchos casos la construccin o creacin de modelos matemticos tiles sigue una
serie de fases bien determinadas:

1. Identificacin de un problema o situacin compleja que necesita ser simulada,

optimizada o controlada y por tanto requerira un modelo matemtico predictivo.
2. Eleccin del tipo de modelo, esto requiere precisar qu tipo de respuesta
pretende obtenerse, cuales son los datos de entrada o factores relevantes, y para
qu pretende usarse el modelo. Esta eleccin debe ser suficientemente simple
como para permitir un tratamiento matemtico asequible con los recursos
disponibles. Esta fase requiere adems identificar el mayor nmero de datos
fidedignos, rotular y clasificar las incgnitas (variables independientes y
 dependientes) y establecer consideraciones fsicas, qumicas, geomtricas, etc.
que representen adecuadamente el fenmeno en estudio.
3. Formalizacin del modelo en la que se detallarn qu forma tienen los datos de
entrada, qu tipo de herramienta matemtica se usar, como se adaptan a la
informacin previa existente. Tambin podra incluir la confeccin de algoritmos,
ensamblaje de archivos informticos, etc. En esta fase posiblemente se
introduzcan tambin simplificaciones suficientes para que el problema matemtico
de modelizacin sea tratable computacionalmente.
4. Comparacin de resultados: los resultados obtenidos como predicciones
necesitan ser comparados con los hechos observados para ver si el modelo est
prediciendo bien. Si los resultados no se ajustan bien, es comn volver a la fase 1.
Es importante mencionar que la inmensa mayora de los modelos matemticos no son
exactos y tienen un alto grado de idealizacin y simplificacin, ya que una modelizacin
muy exacta puede ser ms complicada de tratar que una simplificacin conveniente, y por
lo tanto resultar menos til.
Tambin es importante recordar que el mecanismo con el que se desarrolla un modelo
matemtico repercute en el desarrollo de otras tcnicas de conocimientos enfocadas al
rea sociocultural.
 MODELO MATEMATICO TEORICO

El modelo matemtico terico se encuentra basado, ya sea en una propuesta o en una teora
de la capacidad de entender un fenmeno el cual est siendo materia de estudio, aunque
algunos de ellos sobre todo los fenmenos de naturaleza biolgica, hasta el momento no han
podido ser estudiados siguiente este modelo matemtico. Por lo general esta clase de
modelos necesitan seguir un procedimiento para su total elaboracin, entonces para
entender mejor el modelo matemtico terico, ya que se encuentra basado en una teora,
este modelo matemtico solo puede ser correcto solo si la teora es tambin correcta.

Entre los diferentes modelos matemticos tericos que se tiene se encuentran:

- Los modelos matemticos teoricos desarrollados, los cuales necesitan realizar estudios
experimentales de

verificacin aunque las capacidades y habilidades que se necesiten para estos sea la base de
la investigacin.

- Los modelos matemticos tericos de puntuacin observable, representado por X (ijk), el

cual puede ser explicado en la siguiente expresin:

La ecuacin corresponde a un modelo matemtico terico, donde:

 Modelos matemticos semiempricos para la
descripcin hidrulica de los platos de un equipo
purificador de gas acompaante del petrleo por
mtodo biolgico

Semi-empirical mathematical models for the hydraulic

description of petroleum gas tray equipment, using a
biological method

Elina Fernndez-Santana*, Rafael Franco-Rico

Instituto Superior Politcnico "Jos Antonio Echeverra", Cuba. *Autor de

correspondencia.

Direccin institucional de los autores

Dra. Elina Fernndez Santana

Dr. Rafael Franco Rico
Facultad de Ingeniera Qumica
Instituto Superior Politcnico "Jos Antonio Echeverra"
Calle 114 nm. 11901 entre 117 y 127 Marianao
19390 La Habana, Cuba
Telfono: +53 (7) 2663 426
Fax: +53 (7) 2672 964
elina@quimica.cujae.edu.cu
franco@quimica.cujae.edu.cu.

Recibido: 22/12/09
Aceptado: 03/12/12

Resumen

Recientemente se propuso una nueva tecnologa para la purificacin de gas

acompaante del petrleo haciendo uso de residuales albaales. El equipo
purificador consta de una torre de platos de diseo novedoso y est patentado en la
Oficina Cubana de la Propiedad Intelectual. Caracterizar el comportamiento
hidrulico de los platos resulta imprescindible para garantizar una correcta y
estable operacin. Mediante la realizacin de un diseo de experimentos se analiz
el comportamiento hidrulico de los platos Se obtuvieron modelos matemticos
semiempricos para describir el flujo del residual en sus diferentes secciones. A
partir de los mismos, se pudo proponer la evaluacin hidrulica del equipo.

Palabras clave: hidrulica de canales, hidrulica de platos, operaciones de

purificacin de gas acompaante del petrleo.

Abstract

Recently, a new technology to purify petroleum gas has been developed using
sewer wastewater. The purification equipment consists of an innovative design of a
tray tower patented by the Cuban Intellectual Property Office. The characterization
of the behavior of the tray hydraulics is essential to guaranteeing correct and stable
operations. The tray hydraulics was analyzed by means of an experimental design.
Semi-empirical mathematical models were obtained to describe the wastewater
flow in the different tray sections, making it possible to evaluate the hydraulic
equipment.

Keywords: channels hydraulics, tray hydraulics, petroleum gas purification

operations.

Introduccin

El gas acompaante de petrleo (GAP) se ha convertido en una de las fuentes

convencionales de energa ms utilizadas en el mundo. Est compuesto
principalmente por hidrocarburos voltiles de bajo peso molecular, que le aportan
un alto contenido energtico, y otros gases, como el dixido de carbono (CO 2(g)) y
el sulfuro de hidrgeno (H2S(g)), este ltimo es altamente txico y corrosivo. La
eliminacin del CO2(g) y el H2S(g) presentes en el gas acompaante es uno de los
problemas fundamentales para el empleo de este combustible. Existen varias
tecnologas para la purificacin del GAP, la mayora basadas en la absorcin (fsica
o qumica) de los componentes indeseables, empleando para ello reactivos
adecuados (Gas Processes Handbook, 2004).

Estudios actuales han dado a la luz una nueva alternativa para purificar GAP
empleando residuales albaales portadores de ciertas bacterias capaces de
metabolizar el H2S(g). En laboratorio se han obtenido niveles de remocin de
H2S(g) superiores al 90% (Fernndez, 1999) Para la aplicacin de este mtodo
biolgico se ha propuesto un equipo que por sus caractersticas constructivas y
operacionales resulta novedoso, el cual est registrado en la Oficina Cubana de la
Propiedad Intelectual (Franco y Fernndez, 2009). Consiste en una torre provista
de platos por los que fluye el residual en rgimen laminar; el gas a tratar se mueve
paralelo a la superficie de los platos. El mantenimiento de un rgimen de flujo
laminar estable en un equipo de talla industrial puede resultar problemtico. Por
esta razn, es de vital importancia poder describir mediante modelos matemticos
semiempricos el comportamiento hidrulico de los platos propuestos.

Descripcin de la operacin de los platos

El residual albaal ingresa al plato (figura 1b) a travs del bajante tubular (a)
proveniente del plato superior y es introducido en el sello de lquido (b), que tiene
como objetivo evitar la entrada de gas a travs del bajante y distribuir el lquido de
forma radial en la zona de entrada (c). Desde la zona de entrada (c), el lquido es
distribuido a travs de un vertedero dentado (d) a la zona de canales (e). En la
zona de canales (e), el residual debe fluir en rgimen laminar, para evitar
formacin de salpicaduras y la consecuente humectacin del gas, lo que representa
un requerimiento del mtodo biolgico que se emplea (Fernndez, 1999). La zona
de canales se encuentra ligeramente inclinada con respecto al plano horizontal,
para garantizar el escurrimiento hacia el colector de salida (f). El colector de salida
(f) est formado por una lmina inclinada a 45 y se encuentra limitado por la
carcasa de la torre; en su extremo inferior se acopla el bajante tubular (a), para
enviar el lquido al siguiente plato.
El GAP a tratar pasa a travs de la zona abierta entre el plato y la carcasa (figura
1a), y fluye sobre la superficie de los canales, donde hace contacto con el residual.
Para garantizar este movimiento, las zonas abiertas se disponen de forma alternada
a lo largo de la torre.

Modelos relacionados con el flujo laminar en canales

Diferentes autores, entre los que figuran Chezy, Pavlovskii y Manning, han
propuesto modelos para describir el flujo en ductos abiertos. Estos modelos se
circunscriben por lo general a canales de gran tamao, donde el rgimen de flujo es
turbulento (Chow, 1982; Len y Estopin, 1989). Los modelos para la descripcin
del flujo laminar en canales de pequeo tamao resultan escasos (Perry et al.,
1999). Para describir con rigurosidad este tipo de sistemas, es necesario
determinar modelos que satisfagan las particularidades del caso que se estudia.

El flujo laminar de un fluido newtoniano por un canal rectangular se puede modelar,

haciendo uso del balance de cantidad de movimiento, y bajo ciertas simplificaciones
puede estimarse la altura del lquido (hl) (Bird et al., 1992; Shames, 1995):

Este modelo no tiene en cuenta los efectos resistivos entre el fluido y el fondo del
canal, as como la presencia de las paredes laterales, por lo que los valores
de hl que genera resultan inferiores a los reales.

Otra forma de abordar el sistema consiste en aplicar un balance de energa

mecnica en los extremos del canal. La ecuacin puede resumirse de la siguiente
forma:

Donde el dimetro equivalente (De) se define como:

La bibliografa plantea que en la zona laminar, el factor de friccin de Darcy (f)

depende slo del nmero de Reynolds (Re), segn una relacin inversa del tipo:
Para canales, Re se define como:

Para el coeficiente de ajuste c, se reportan valores en el intervalo de 224-960 (Len

y Estopin, 1989; Perry et al., 1999).

Estos modelos presentan simplificaciones o generalizaciones que no permiten una

descripcin rigurosa del fenmeno y, de forma general, asocian los efectos
resistivos a accin de las fuerzas viscosas, despreciando la accin de otras fuerzas,
como gravedad y tensin superficial. Los efectos de la tensin superficial pueden
afectar el flujo slo en situaciones muy especiales, que no resultan frecuentes en
casos de ingeniera. La accin de la fuerza de gravedad puede ser importante en
muchos sistemas tanto como fuerza motriz como en la formacin de ondas sobre la
superficie del lquido (Len y Estopin, 1989). Algunos autores (Menndez y
Tarela, 2001) plantean que su accin debe incluirse en el factor de friccin,
considerndolo una funcin de los criterios adimensionales de Reynolds (Re) y
Froude (Fr).

Materiales y mtodos

Se construyeron varios prototipos de platos con acero inoxidable; las diferentes

piezas fueron soldadas a tope. Los sellos de lquido y vertederos se construyeron
con lminas de aluminio flexible y fueron unidas al plato con resina epxica. Los
bajantes son segmentos de tubera de acero al carbono IPS cdula 40 y se unieron
a los colectores de salida mediante soldadura.

Para el anlisis de la zona de canales se plante un diseo de experimentos, donde

se emplearon canales con anchos de 0.025, 0.050, 0.075 y 0.100 m, y longitudes
de 0.30, 0.60, 0.90 y 1.20 m. Para el estudio de los vertederos se combinaron los
diferentes anchos de canal con vertederos dentados, con amplitudes de los ngulos
de inclinacin de los dientes de 30, 60 y 90. El estudio del sistema colector-
bajante se realiz mediante un diseo donde se utilizaron tuberas de dimetros
0.0158, 0.0209 y 0.0270 m, y longitudes de 0.15, 0.30, 0.45 y 0.60 m.

Para todos los casos, la variable independiente es el flujo de lquido que se alimenta
al plato (Q). Dicha variable se controla mediante una vlvula y se mide con
rotmetros Werk Medingen: flujo mximo 2 000 L/h (5.5610-4 m3/s), 150 L/h
(4.1710-5 m3/s) y 25 L/h (6.9410-6 m3/s), con precisiones de 10 L/h (2.7810-6
m3/s), 1 L/h (2.7810-7 m3/s) y 0.5 L/h (1.3910-7 m3/s), respectivamente, en
funcin del flujo circulante. Una vez estabilizado el flujo, se procedi a medir las
variables de respuesta: altura de lquido en los canales (hl), altura de lquido en el
vertedero (hlw) y altura de lquido acumulado en el colector de salida (hlc). Para
ello se emple un catetmetro de precisin 0.1 mm y se realizaron dos rplicas de
cada experiencia. En todas las experiencias se emple agua de acueducto. Esta
consideracin puede hacerse debido a que para la purificacin de GAP por mtodo
biolgico se emplea slo la parte lquida del residual albaal, exigindose la
eliminacin previa de slidos mediante sedimentacin o filtracin. Estudios
realizados muestran que los residuales albaales cubanos presentan caractersticas
fsico-qumicas similares a las del agua de acueducto (Menndez y Prez, 2003).
Todos los modelos se obtuvieron mediante el empleo del paquete
estadstico Statgraphics v.5.0.

Resultados y discusin

La incertidumbre asociada con la medicin de los flujos de lquido no supera el

2.5% del valor medido. Para las alturas de lquido, slo en algunos casos en los que
se manipularon pelculas muy delgadas (hl < 2 mm) se reportan incertidumbres
superiores al 3%; en el resto de las determinaciones, la incertidumbre no supera el
1%. Se considera que el nivel de incertidumbre es admisible para trabajos
ingenieriles.

Ajuste de un modelo semiemprico para la determinacin de la altura de

lquido en canales

A partir del modelo obtenido por el balance de cantidad de movimiento del sistema
(ecuacin (1)), se puede plantear una correccin que permita incluir los efectos
resistivos no considerados. La correccin se basa en la introduccin de un
coeficiente que depende del ancho del canal, del flujo de lquido y de las
propiedades de transporte del lquido (r y ); englobando estos tres parmetros, se
puede decir que el coeficiente es funcin dea y Re. De esta forma se puede obtener
un modelo (ecuacin (6)) que describe el comportamiento hidrodinmico del fluido
atendiendo a sus propiedades fsicas, a las caractersticas geomtricas y al rgimen
de flujo, lo cual lo hace ms general y utilizable cuando existan pequeas
variaciones en el sistema:

A partir de los datos que se reportan en el cuadro 1, se obtiene el modelo que

describe el comportamiento del coeficiente k con un 98.8% de ajuste:

Siendo Fr el nmero de Froude:

El trmino k engloba los efectos del rozamiento dinmico entre el fluido y el canal;
al ser funcin de los criterios adimensionales de Reynolds y Froude, pudiera
generalizarse para fluidos con otras caractersticas, lo cual podra corroborarse
mediante la realizacin de algunos experimentos. Su empleo en la ecuacin (6)
genera errores promedios de 3.04% en la estimacin de hl.

La figura 2 relaciona la dependencia observada entre los criterios de Re y Fr para

los diferentes anchos de canal (a). Para los canales de 0.075 y 0.10 m de ancho, se
observa que no existen diferencias significativas en las dependencias entre los
criterios de Re y Fr para un 95% de confiabilidad. Este comportamiento se debe a
la reduccin del efecto resistivo de las paredes laterales del canal a medida que se
aumenta el ancho del mismo, siendo no significativo para a 0.075 m.

Aplicabilidad del balance de energa mecnica

El modelo obtenido para el factor de friccin de Darcy (f) (ecuacin (9)) presenta
un coeficiente de correlacin de 68.2%. La aplicacin del balance de energa
mecnica genera errores inferiores al 24%:

Los modelos obtenidos presentan coeficientes de ajuste dentro del rango que
reporta la bibliografa especializada para la determinacin de los coeficientes de
friccin, la altura del lquido y otros parmetros hidrulicos, cuyo comportamiento
depende de una cantidad considerable de variables. Resulta notorio que la ecuacin
semiemprica propuesta (ecuacin (6)) muestre un alto grado de ajuste,
permitiendo una descripcin ms precisa del fenmeno en el sistema de estudio.
Descripcin del comportamiento de los vertederos

Un anlisis estadstico de los resultados experimentales (cuadro 2) demuestra que

no existe influencia del ngulo entre los dientes del vertedero sobre hlw. Por lo
tanto, esta variable depender slo de la longitud del vertedero (Lw) y el flujo de
lquido (Q). Este tipo de sistema por lo general se describe haciendo uso de la
ecuacin de Francis (Huang y Hodson, 1958; Peters y Timmerhaus, 1991; Treybal,
1980):

Al realizar el ajuste se obtiene b = 0.102 y x = 0.3. La ecuacin de Francis describe

el comportamiento de los vertederos con un 89% de correlacin.

Modelacin matemtica del sistema colector-bajante

La figura 3 muestra el comportamiento promedio de la altura de lquido acumulado

en relacin con el flujo de lquido (Q) que circula por el sistema para diferentes
dimetros de tubera de bajante (D). En todas las curvas se definen tres tramos con
comportamientos diferentes, existiendo, para cada una, un punto de inflexin en el
intervalo de valores de hlc entre 0.045 y 0.055 m. El tramo inicial se caracteriza
por la existencia de vrtice a la entrada del bajante. En el segundo tramo, el vrtice
comienza a ser inestable, generndose pulsaciones del flujo a la salida del bajante.
En el tercer tramo se logra un escurrimiento tranquilo. De forma general, el flujo
pulsante y el vrtice desaparecen cuando la acumulacin de lquido en el colector
supera los 0.05 m.
Dado que la longitud de la tubera del bajante es muy pequea, no es posible la
aplicacin de las ecuaciones conocidas para el clculo del coeficiente de friccin, ya
que las mismas hacen referencia a un rgimen de flujo plenamente desarrollado.
Para modelar el sistema es necesario aplicar un balance macroscpico de cantidad
de movimiento (Franco y Fernndez, 2009; Brodkey y Hershey, 1988). Puesto que
el colector presenta una geometra que facilita la evacuacin del lquido y adems
su seccin transversal es significativamente mayor que el dimetro del bajante, se
puede suponer que las fuerzas friccionales se concentran en la tubera y el balance
se transforma en la siguiente expresin:

El comportamiento experimental del coeficiente de friccin (Cf) para diferentes

valores de D y Lt se ilustra en lafigura 4. Cf muestra una proporcionalidad inversa
con Re, comportamiento similar al del factor de friccin de Darcy para tuberas
(Len y Estopin, 1989; Menndez y Tarela, 2001; McCabe et al., 1991); existe
un comportamiento atpico en relacin con D, ya que por lo general los factores de
friccin presentan una proporcionalidad inversa con D (Perry et al., 1999). En el
caso del sistema colector-bajante, la presencia de una contraccin brusca del rea
de flujo, al pasar del colector al bajante, genera una resistencia local y provoca
interferencias en los perfiles de velocidad, que no pueden atenuarse en el bajante,
cuya longitud impide la aparicin de un rgimen hidrodinmico desarrollado
(Rabinvich, 1987). Ambos efectos provocan que las fuerzas resistivas se
manifiesten de forma diferente y expliquen los resultados obtenidos.
El coeficiente de friccin (Cf) se puede considerar independiente de la longitud de la
tubera. Cf se comporta como una funcin de Re y D (figura 4). Aplicando tcnicas
de regresin no lineal, se pueden ajustar los resultados experimentales al siguiente
modelo:

El modelo presenta un coeficiente de ajuste del 99.8% y su empleo genera errores

no superiores al 15% en la estimacin de hlc (figura 5). No es recomendable
emplearlo para describir el comportamiento del sistema en las cercanas del
fenmeno de inundacin debido a que en estas condiciones el coeficiente de friccin
tiende a aumentar, desvindose del comportamiento descrito por el modelo.
Conclusiones

Los modelos matemticos ajustados describen el funcionamiento hidrulico de los

platos propuestos para el equipo purificador de GAP por mtodo biolgico. Su
empleo permite la confeccin de metodologas de diseo y evaluacin de los
mismos de forma segura, garantizndose el mantenimiento de las condiciones
operacionales que presupone la aplicacin del mtodo biolgico.

El flujo del residual en la zona acanalada puede describirse mediante una ecuacin
semiemprica derivada de la aplicacin del balance de cantidad de movimiento con
la incorporacin de un coeficiente emprico, que engloba los efectos de la friccin
entre el fluido y las paredes de los canales. El balance de energa mecnica tambin
puede ser aplicado, aunque su uso genera mayor margen de error.

El comportamiento de los vertederos puede ser descrito por la ecuacin de Francis,

la cual se emplear para el diseo de estos elementos constructivos.

La aplicacin del balance macroscpico de cantidad de movimiento al sistema

colector- bajante resulta adecuada, describiendo con estrecho margen de error la
evacuacin del lquido. El modelo obtenido introduce un coeficiente de friccin que
es funcin del nmero de Reynolds y la rugosidad relativa en la tubera de bajante.
MODELO MATEMATICO EMPIRICO

El modelo matemtico emprico es aquel modelo que sirve para predecir

con anticipacin una variable y si esta puede afectar la solucin o la
respuesta, as como el motivo por el cual no sufre afecciones, de tal
manera que gracias a este modelo matemtico es posible comprender la
totalidad de un sistema, as como tener menor capacidad predictiva.
Aparte es importante mencionar que los modelos matemticos empricos
son determinados gracias a tcnicas de regresin, usualmente adems son
usados en la productividad.

Esta clase de modelos tienen su origen en las aproximaciones empricas,

que son el producto de llevar a cabo una observacin o de hacer un
experimento, a todo esto se le conoce con el nombre de ecuaciones
heursticas, cada una de estas ecuaciones generalmente son la descripcin
esttica que existe entre la relacin que existe con el proceso considerado
y las condiciones ambientales.

Por lo general los modelos matemticos empricos son la representacin

del anlisis de la regresin pero a un nivel cualitativo; adems estos
modelos no son verstiles y tienen la capacidad de tomarse mucho tiempo
para poder identificar los diferentes parmetros, de tal manera que con
estos modelos no se tendr la total seguridad de que el modelo que ha
sido desarrollado pueda ser necesario para poder describir a otro; una de
las ventajas de este modelo matemtico es que se encuentrn disponibles.

Dentro de lo que estudia un modelo matemtico emprico, se considera

que la especificacin de este debe de estar basado en la observacin del
tipo de la relacin que existe entre una variable de respuesta y los factores
que la afectan.

En el momento que no se tiene conocimiento especfico del modelo terico

para llevar a cabo un proceso, se da la oportunidad de poder plantear un
modelo emprico, claro est que se hace llevando a cabo ensayos de
cambio en alguna condicin de operacin y llevando un registro de las
alteraciones de la variable de un proceso.
Es posible el llegar a afirmar, que los modelos empricos, pueden ser
utilizados cuando se trata sobre todo de:

- Procesos que son considerados muy complejos para poder ser modelados
a partir de los principios fundamentales de estos.

- Poder determinar los parmetros desconocidos que tiene el modelo de un

sistema, esto a travs de la realizacin de calculos tomando en cuenta los
datos de la planta en estado estacionario, aunque existen otros que
pueden ser determinados realizando pruebas dinmicas.

- La verificacin de la consistencia del modelo matemtico que ha sido

planteado tericamente para un determinado sistema.
 Modelo fsico
Este artculo o seccin necesita referencias que aparezcan en
una publicacin acreditada, como revistas especializadas, monografas,
prensa diaria o pginas de Internet fidedignas. Este aviso fue puesto el 11 de
junio de 2012.
Puedes aadirlas o avisar al autor principal del artculo en su pgina de discusin
pegando: {{subst:Aviso referencias|Modelo fsico}}
~~~~

Modelo de Drude, donde electrones independientes, en azul, siguen al gradiente de campo elctrico,
y chocan contra iones rgidos, en rojo.

Un modelo fsico puede referirse a una construccin terica (modelo matemtico) de un

sistema fsico. Tambin a un montaje con objetos reales que reproducen el
comportamiento de algunos aspectos de un sistema fsico o mecnico ms complejo a
diferente escala (modelo material en miniatura). El trmino aparece con diferentes
acepciones en el mbito de la fsica o en el de la fsica aplicada, como la ingeniera.

ndice
[ocultar]

1En la fsica
o 1.1Hamiltoniano modelo
o 1.2Modelo fsico prctico
2En la ingeniera
3Vase tambin

En la fsica[editar]
Se dice que una determinada teora fsica es un modelo o un modelo fsico
terico cuando su dinmica interna (las leyes bsicas de evolucin temporal que vienen
determinadas por el hamiltoniano) no se conocen exactamente. O cuando son conocidas
pero, si lo que se busca es estudiar exclusivamente algunos detalles particulares de un
sistema complejo, puede resultar rentable (tcnicamente) emplear otro tipo de dinmica
(ficticia) que hace que el comportamiento en estudio del sistema completo sea
aproximadamente igual que el que tendra con la dinmica ms complicada.
Estos modelos se aplican en todas las reas de la fsica (meteorologa, termodinmica,
fsica nuclear, materiales, etc.) excepto en fsica terica. Como cualquier teora fsica, un
modelo de este tipo, reduciendo el comportamiento observado a hechos fundamentales
ms bsicos, ayuda a explicar y predecir el comportamiento de un sistema fsico bajo
circunstancias diversas. Sin embargo, al no estar basado en una descripcin
fundamentalmente correcta, se espera que el modelo falle fuera de su campo de
aplicacin.
Hamiltoniano modelo[editar]
Los modelos fsicos tericos a veces se plasman en forma de un hamiltoniano
efectivo o hamiltoniano modelo: aquel hamiltoniano que no considera explcitamente
todas las variables del sistema, sino que las resume en un pequeo nmero de
interacciones. Aunque sus funciones propias slo contienen una pequea parte de la
informacin necesaria para una descripcin completa, se busca que las diferencias entre
sus valores propios se corresponden exactamente a las diferencias entre las energas
reales, por lo que pueden usarse para racionalizar propiedades medidas
experimentalmente. Su objetivo es comnmente una descripcin simplificada del
problema, en la que se estudia de forma rigurosa el efecto de un fenmeno concreto,
usando una descripcin implcita del resto de fenmenos. Estrictamente, hay diferencias
sutiles entre los hamiltonianos efectivos y los hamiltonianos modelo, derivadas de la forma
de parametrizar las interacciones. Se usan hamiltonianos modelo como herramienta
auxiliar en un amplio rango de campos de la fsica, incluyendo la fsica de la materia
condensada, la ptica y la fsica nuclear.
El uso de hamiltonianos efectivos, frente a los hamiltonianos cunticos completos, tiene
como principal ventaja el hacer el sistema ms comprensible de forma intuitiva, ya que
resulta ms sencillo razonar y proponer modelos tericos sirvindose de interacciones
parametrizadas. Por otra parte, es posible trabajar con sistemas mucho mayores, ya que
los clculos cunticos completos son mucho ms costosos computacionalmente. La
principal desventaja de los hamiltonianos efectivos es que carecen por s mismos de poder
predictivo: han de apoyarse en datos experimentales (o en clculos rigurosos) externos
para estimar los valores de los parmetros.
En la descripcin de compuestos magnticos, se usan comnmente hamiltonianos
efectivos en vez de, por ejemplo, el hamiltoniano molecular completo, que incluye gran
cantidad informacin qumica que resulta irrelevante para la descripcin de las
propiedadesmagnticos. Se habla, por ejemplo, de hamiltonianos de espn para describir
fenmenos tan variados como el campo de ligantes, el canje magntico, el acoplamiento
espn-rbita, el desdoblamiento a campo nulo, el efecto Zeeman, la estructura hiperfinao
el acoplamiento vibrnico. Efectivamente, los principales operadores incluidos en estos
hamiltonianos slo dependen de variables de espn, como , y/o .
Modelo fsico prctico[editar]
Por otro lado un modelo fsico prctico es una realizacin material concreta, con la que
no necesariamente pretende construirse una teora sino ampliar el conjunto de hechos
observados que pueden servir para confirmar o reformular las teoras. Estos modelos
fsicos prcticos son objeto de experimentos sobre los que amplian la base de los hechos
observados. En fsica los modelos fsicos prcticos son slo un paso intermedio hacia la
formulacin de modelos fsicos tericos, que a su vez son la base de las teoras fsicas.
Vase tambin: Teora de las semejanzas

En la ingeniera[editar]
En ingeniera los modelos fsicos, por contraposicin a los modelos matemticos y a los
modelos analgicos,normalmente son construcciones en escala reducida o simplificada de
obras, mquinas o sistemas de ingeniera para estudiar en ellos su comportamiento y
permitir as perfeccionar los diseos, antes de iniciar la construccin de las obras u objetos
reales. Por ese motivo, a este tipo de modelo se le suele llamar tambin modelo reducido o
modelo simplificado.
Se utilizan con frecuencia para el estudio
de represas, puentes, esclusas, puertos, aeronaves en tneles de viento, etc. Muchas
veces, para obras complejas como, por ejemplo, una represa, se puede requerir la
construccin de ms de un modelo. En este ejemplo se acostumbra estudiar un modelo
general de la disposicin de la presa, con todas sus partes, un modelo especfico a una
escala mayor para el vertedero y la cuenca de disipacin, otro para la o las bocatomas,
uno diferente para la descarga de fondo.
 Modelo cientfico

Ejemplo de un modelo cientfico. Un esquema de los procesos qumicos y de transporte

relacionados a la composicin atmosfricas.

En ciencias puras y, sobre todo, en ciencias aplicadas, se denomina modelo cientfico a

una representacin abstracta,conceptual, grfica o visual (ver, por ejemplo: mapa
conceptual), fsica, de fenmenos, sistemas o procesos a fin
deanalizar, describir, explicar, simular (en general, explorar, controlar y predecir) esos
fenmenos o procesos. Un modelo permite determinar un resultado final a partir de
unos datos de entrada. Se considera que la creacin de un modelo es una parte esencial
de toda actividad cientfica.
An cuando hay pocos acuerdos generales acerca del uso de modelos, la ciencia moderna
ofrece una coleccin creciente de mtodos, tcnicas y teoras acerca de diversos tipos de
modelos. Las teoras y/o propuestas sobre la construccin, empleo y validacin de
modelos se encuentran en disciplinas tales como la metodologa; filosofa de la
ciencia, teora general de sistemas y el campo, relativamente nuevo, de visualizacin
cientfica. En la prctica, diferentes ramas o disciplinas cientficas tienen sus propias ideas
y normas acerca de tipos especficos de modelos (ver, por ejemplo: teora de modelos).
Sin embargo, y en general, todos siguen los principios del modelado.
Para hacer un modelo es necesario plantear una serie de hiptesis, de manera que lo que
se quiere estudiar est suficientemente plasmado en la representacin, aunque tambin se
busca, normalmente, que sea lo bastante sencillo como para poder ser manipulado y
estudiado.

ndice
[ocultar]

1Partes generales de un modelo

o 1.1Tipos de modelos
o 1.2Representacin del modelo
2Ejemplos
3Vase tambin
Partes generales de un modelo[editar]

Modelado de plegamientosgeolgicos en Instituto Geofsico AS CR, Repblica Checa.

En trminos generales se puede decir que un modelo consta de:

1. Reglas de representacin del input y el output. Las reglas de representacin

permiten construir partiendo de una realidad fsica definir un conjunto de datos de
entrada o input, a partir de los cuales el modelo proporcionar un output o
resultado final, que tambin ser una interpretacin del efecto de las condiciones
iniciales elegidas sobre la realidad fsica.
2. Estructura interna que depender del tipo de modelo. Esta estructura interna
permite definir una correspondencia entre elinput y el output. Un modelo es
determinista si al mismo input le corresponde el mismo output y no determinista si
al mismo input pueden corresponderle diferentes outputs.
Naturalmente tanto las reglas de representacin como el funcionamiento o lgica interna
del modelo slo tendrn sentido en un determinado mbito cientfico. En situaciones
ajenas al mbito del modelo puede no existir una representacin adecuada de los datos o
los resultados no ser interpretables en trminos reales, o puede ser que la estructura
interna no sea adecuada o vlida para ese tipo de situacin fuera del mbito normal del
modelo.
Tipos de modelos[editar]

Diagrama de Hertzsprung-Russell: Representacin conceptual de luminosidad/magnitud absoluta en

relacin al color de las estrellas.
Animacin (hacer click) mostrando la agitacin trmica de un gas. Cinco partculas han sido
coloreadas de rojo para facilitar el seguimiento de sus movimientos.

Generalmente, los modelos se clasifican por su estructura interna ms que por los detalles
formales del input, el output o la forma de representacin. Sobre esa base de estructura
interna los modelos se clasifican en:

Modelos fsicos: Es una representacin o copia -generalmente a escala, ya sea mayor

o menor- de algn objeto de inters y que permite su examen en diferentes
circunstancias (ver Maqueta y Prototipo). La escala no es necesariamente la misma en
todos los ejes (por ejemplo, en modelados topogrficos a veces se utilizan diferentes
escalas verticales y horizontales).
Modelos matemticos: Busca representar fenmenos o relaciones entre ellos a travs
de una formulacin matemtica. Una clasificacin de estos modelos los ordena como:
Modelos deterministas: Aquellos en los cuales se asume que tanto los datos
empleados como el o los fenmeno(s) mismo(s) son completamente conocidos,
por lo menos en principio, y que las frmulas empleadas son lo suficientemente
exactas como para determinar precisamente el resultado, dentro de los lmites
determinados por la observacin. (por ejemplo: las frmulas de la Ley de
gravitacin universal de Newton)
Modelos estocsticos o probabilsticos: En el cual no se asume lo anterior, lo que
implica que el resultado es una probabilidad. Existe por tanto incertidumbre. (por
ejemplo, algunas de las formulaciones de la Relacin de indeterminacin de
Heisenberg yModelo estadstico)
Modelos numricos: En los que la realidad fsica y las condiciones iniciales se
representan mediante un conjunto de nmeros, a partir de ellos se calculan u
obtienen por algn medio otros resultados numricos que reflejan cierto efecto de
las condiciones iniciales. Estos modelos permiten experimentar a travs
de simulaciones en un computador u ordenador de modelos matemticos o
lgicos. (por ejemplo: Simulacin numrica y Mtodo de Montecarlo)
Modelos grficos: Son la representacin de datos, generalmente numricos,
mediante recursos grficos (tales como lneas,vectores, superficies o smbolos), para
que la relacin entre los diferentes elementos o factores guardan entre s se
manifiesten visualmente. (ver tambin Iconografa de las correlaciones)
Modelos analgicos: Se basan en las analogas que se observan desde el punto de
vista del comportamiento de sistemas fsicos diferentes que, sin embargo, estn
regidos por formulaciones matemticas idnticas. Por ejemplo, hasta los aos 1970 el
modelaje de sistemas de aguas subterrneas se realizaba con redes elctricas
de resistencias y condensadores. Este procedimiento, bastante engorroso y costoso
se sustituy con el modelaje puramente matemtico en la medida en que aument la
capacidad de los computadores y se populariz el uso del clculo numrico.
Modelos Conceptuales: Pueden entenderse como un mapa de conceptos y sus
relaciones, incluyendo suposiciones acerca de la naturaleza tanto de los fenmenos
que esos conceptos representan como sus relaciones. Estos modelos implican un alto
 nivel deabstraccin, concentrndose en aspectos de categoras semnticas o
conceptuales que son considerados fundamentales para la comprensin de lo
representado. (ejemplos: Modelo atmico de Bohr. El Modelo OSI; descripcin de
referencia para la definicin de arquitecturas de interconexin de sistemas de
comunicaciones, y el Modelo cclico de la evolucin del Universo) . Los modelos
conceptuales se podran clasificar en modelos que se refieren a entidades o
fenmenos aislados o nicos (el tomo, el universo) y los que se refieren a entidades
especficas por lo menos en principio en relacin a un grupo de tales entidades. (una
estrella y sus caractersticas en relacin a otras. Una molcula y su energa cintica en
relacin a la temperatura de un cuerpo).
Representacin del modelo[editar]
La representacin puede ser de la siguiente manera:

De tipo conceptual, por una descripcin cualitativa bien organizada que permite la
medicin de sus factores.
De tipo matemtico, se refiere a una representacin numrica por aspectos lgicos y
estructurados con aspectos de la ciencia matemtica. En este tipo de modelos la
representacin puede venir dada no slo en trmino de nmeros, sino tambin letras,
smbolos o entidades matemticas ms complejas. Por ejemplo si se refiere a un
modelo grfico de matemticas, se observan imgenes y grficas matemticas, que
representan a un modelo numrico y de ecuaciones, los cuales son expresiones
visuales basadas en aspectos cuantificables y de la ciencia matemtica.
De tipo fsico, cuando una determinada realidad fsica se reproduce en un sistema
simplificado, un modelo a escala o un prototipo que guarda cierta relacin con la
realidad que pretende ser modelizada. Estos modelos se basaran en aspectos de la
ciencia fsica, de aquellos movimientos de los cuerpos, y que adems es cuantificable.
Estos modelos generalmente representan el fenmeno estudiado utilizando las
mismas relaciones fsicas del prototipo pero reduciendo su escala para hacerlo
manejable. Por ejemplo pertenecen a este tipo de modelo las representaciones a
escalas reducidas de presas hidrulicas, puertos, o de elementos de estas obras,
como un vertedero o una escollera.

Ejemplos[editar]

Grfica del modelo IS-LM. La curva IS se desplaza la a derecha, bien por una poltica fiscal de
incremento del gasto o de transferencias, o bien por una disminucin de la tasa de impuestos. El
equilibrio se encuentra por tanto en Y2 e i2.

El modelo IS-LM, (tambin llamado de Hicks-Hansen), es un ejemplo tanto de un modelo

matemtico como visual. Est inspirado en las ideas de John Maynard Keynes pero
adems sintetiza sus ideas con las de los modelos neoclsicos en la tradicin de Alfred
Marshall. Fue elaborado inicialmente por John Hicks en 1937 y desarrollado y popularizado
posteriormente por Alvin Hansen.
Las curvas IS-LM permanecen como el ejemplo supremo de la pedagoga de la teora
econmica de los tiempos de dominio delpensamiento keynesiano.