Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
El fsico Ramn E. More defini a los nmeros intervalos como un nuevo tipo de nmeros
representados por un par de nmeros reales, el extremo inferior y superior.
Un intervalo cerrado I = [a,b] es el conjunto de todos los nmeros reales comprendidos entre
a y b {a x b}. Algunas definiciones bsicas:
Cuando en una computadora se realiza una operacin de nmeros reales, el procesador utiliza
aritmtica de punto flotante reduciendo los decimales y provocando perdida de precisin e
introduciendo as un error de redondeo.
Por ejemplo el valor de = 3.1415926 considere 7 cifras significativas luego del punto
decimal, si truncamos en el 4to decimal se produce un error de 0.0000926. En cambio en una
aproximacin si el decimal siguiente al corte es mayor que 5, se aproxima el ultimo decimal
quedando 3.1416 y el error seria 0.0000074.
Esta funcin fue evaluada en FORTRAN en x=77617 e y=33096 con precisiones simples, dobles
y extendida. Se obtuvo los siguientes resultados:
Aqu se puede apreciar que los 3 resultados son diferentes, sin embargo comparando los
resultados nos damos cuenta que 13 dgitos concuerda concluyendo en que el resultado es
correcto, pero si hubiramos usado intervalos de precisin variable habran 3 valores errados.
2 .2 Aritmtica de Intervalos
La aritmtica de intervalos fue definida por Ramn E. Moore basada en dos operaciones
fundamentales: la aproximacin y la reduccin. Se utiliza en resolucin de ecuaciones
diferenciales ordinarias, sistemas lineales, verificacin y optimizacin global.
Las operaciones bsicas de la teora de conjuntos para los nmeros reales son tambin
aplicables a los nmeros intervalos, por ende las operaciones de adicin y de multiplicacin
de intervalos son tambin asociativas y conmutativas, al igual que los nmeros reales 0 y 1
son las identidades para la adicin y multiplicacin respectivamente. Otra propiedad
importante de los intervalos es la inclusin montona.
La extensin natural consiste en reemplazar las variables reales por variables intervalos de
forma directa. Consideremos la funcin real (1 , 2 , 3 , , ) la cual puede generalizarse a
una funcin de intervalos (1 , 2 , 3 , , ) a travs de la extensin natural si ,
donde es llamado caja n-dimensional y corresponde al conjunto de vectores intervalos
que son el producto cartesiano de n-intervalos.
Cuando una variable tiene ms de una ocurrencia es tratada como una variable diferente
en cada ocurrencia, lo que produce un inconveniente conocido como "problema de
dependencia".
Se puede extender una funcin real a una funcin por intervalos por la mayor o menor
aproximacin a una extensin ptima. Entre las principales formas de extensin se
encuentran: la aproximacin algebraica (consiste en usar la factorizacin para conseguir la
mnima repeticin de variables), la aproximacin numrica (se vale de la subdivisin de
intervalos ms pequeos, su resolucin y posterior unin para obtener un resultado parcial) y
la extensin natural.
Encuentran el ptimo global de cualquier funcin, asumen cotas iniciales de los valores de las
variables. Estos valores pueden ser donde k es real.
Un optimizador global ideal es una caja negra, la cual recibe la descripcin de la funcin, y las
cotas de las variables. La salida de esta caja negra es una combinacin de las siguientes
declaraciones:
En una funcin continua en donde existe un punto x y una regin factible de bsqueda, as
para cualquier punto x no se puede garantizar que este no es el mnimo global sin evaluar
antes la funcin en al menos un punto de cada regin factible de x.
3.4 Clasificacin de la optimizacin global
A partir de una funcin (FL), si evaluamos la funcin sobre todo el intervalo, estafuncin nos
entrega la cota inferior. Fcilmente se puede implementar un algoritmo de optimizacin
global. De forma sencilla:
El algoritmo general que implementan todos los mtodos por cotas es el siguiente:
Se busca una cota arbitrariamente ajustada, en la caja B, para el conjunto X de todos los
minimizadores globales x que estn en la regin factible, se desea tambin una cota
arbitrariamente ajustada del valor del mnimo global, f , de la funcin objetivo dada, f.
f(x)= f y f f(x) para todo x B
El algoritmo bsico encuentra una lista de pequeas cajas cuya unin contiene el conjunto X de
todos los minimizadores globales x. El algoritmo termina cuando el ancho mximo de todas las
cajas negras en la lista es menor que una tolerancia prescrita, ex. El algoritmo tambin entrega
cotas superiores e inferiores para el valor mnimo f = f(x).
Este algoritmo procede rechazando las partes de la caja inicial B que no pueden contener un
minimizador global, dejando una lista de sub-cajas (de B) cuya unin contiene el conjunto de
todos los minimizadores globales de f(x). minimizadores globales de f(x).
Se describen a continuacin los mtodos utilizados para rechazar aquellas partes de la caja
y para encontrar las cotas superiores e inferiores del valor de f(x) para puntos factibles x.
3. Ciclo:
a. Remover la primera caja, X, de la cola.
b. Biseccionar X = X1 X2 a travs de la direccin (eje) de ancho mximo.
c. Rechazar X1 o aadir (X1, Lf X1) al final de la cola. Si X1 es aadido a la cola, entonces
actualizar f U si mX1 es factible.
d. Rechazar X2 o aadir (X2, Lf X 2 ) al final de la cola. Si X2 es aadido a la cola, entonces
actualizar f U si mX2 es factible.
e. Si la primera caja de la cola tiene ancho < e x, entonces ir al paso 4. En caso contrario, ir al
comienzo del paso 3.
Paso 1: Se saca la caja de la cola y se particiona en dos partes (vase figura 3.6), se ingresa el
ancho de la caja, se calculan las cotas y se aplican las pruebas de rechazo, dependiendo si
son rechazadas o no las partes, pueden ingresar a la cola las dos partes, una o ninguna.
Paso 2: Ya definida una tolerancia dada,e x la cual utilizaremos como condicin de
trmino del algoritmo. Se remueve la primera caja de la cola, en este caso A, y esta es
biseccionada (o dividida en 2 partes) que sern A1 y A2 respectivamente. Vase figura 3.7
Dadas las pruebas de rechazo, A2 es desechado ya que la cota mayor calculada de A1 es
menor que la cota inferior calculada de A2. A1 es aadido al final de la Cola, y A2 es
desechado. Actualizamos f U , obsrvese la figura 3.8 secuencia B.