UN NUEVO ALGORITMO PARA LA OPTIMACION DE ESTRUCTURAS: EL RECOCIDO SIMULADO

(A NEW ALGORITHM FOR THE OPTIMIZATION OF STRUCTURES: SIMULATED ANNEALING) Mariano Vzquez Esp Dpto. de Estructuras de Edificacin de la UPM de Madrid-Espaa RESUMEN
La optimacin de una funcin real es un problema recurrente en teora de estructuras. Si la funcin es la energa potencial y la optimacin se entiende como la bsqueda de su valor mnimo, se trata del anlisis convencional de estructuras. Si la funcin es representativa del "coste", su optimacin es un mtodo de diseo de la estructura; de hecho,conducir al "mejor" diseo respecto al "coste" considerado. En tanto que problema matemtico general no existe un mtodo de resolucin, salvo para ciertos casos particulares en los que la funcin y sus variables satisfacen condiciones especficas (continuidad, diferenciabilidad, etc.). En numerosos casos de ndole prctica no se dan tales condiciones y, en consecuencia, la solucin al problema se aproxima, existiendo para ello una variedad de mtodos heursticos. El recocido simulado es un algoritmo de aproximacin a la solucin ptima, fundado en una analoga con el comportamiento de sistemas termodinmicos simples y viene siendo utilizado en ciertos problemas de ingeniera. El presente trabajo muestra como usarlo en la teora de estructuras, sealando sus ventajas (universalidad) as como sus inconvenientes (lentitud). Para ello, se describen brevemente los distintos problemas de la teora de estructuras, as como aspectos fundamentales de la teora de algoritmos. Con mayor detalle, se describe la jrma matemtica del algoritmo de recocido. En ambos casos se emplea un problema paradigmtico de optimacin: el del viajante de comercio. Finalmente, se muestra el empleo del algoritmo para "aproximar" formas ptimas de cerchas isostticas. SUMhdARY The optimization of a real function is a problem that frequently occurs in structural theory. If the function is the potential energy and optimization means search for the minimum, the problem is structural analysis as usual. If the function represents a "cost ", its optimization is transformed into a design method for the structure, actually, it can lead to the "better" design with respect to the "cost" considered. As mathematical problem, no way to solve it is known, but for a few particular cases in which function and variables fulfil specific conditions (continuity, differentiability, etc.). These conditions do not hold at all in practical cases and, consequently, it is possible only to look for approximations, for which several heuristics exist.
Fecha de recepdoo: 13-111-95 400-29

Simulated annealing is an approximation algorithm towards the optimal solution. The basis is an analogy to the performance of simple themodinamical systems. In fact it is in use for some engineering problems. The present research shows how to use it on structural theory, pointing out its benefits (generality) and its drawbacks (slowness).

With this goal in mind,the different problems of structural theory as well as some aspects of algorithm theory are examined briefly. The mathematical form of the algorithm is shown in more detail. In both cases, the "travelingsalesman' problem is used as a paradigm of generic optimization. Finally, simulated annealing is used for approximating the optimal shape ofisostatic trusses.

Existe a menudo confusin en cmo debe usarse el anlisis en el diseo estructural. El diseador comprende pronto que la precisin es intil en algunos casos e importante en otros; y el diseador experimentado [del mismo modo] comprende claramente que el anlisis convencionales una guapobre para alcanzar proporciones adecuadas,.. Hardy Cross, 1936.
(c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc) http://informesdelaconstruccion.revistas.csic.es

50 Informes de la Construccin, Vol. 46 n." 436, marzo/abril 1995

El recocido simulado es un algoritmo en el mismo sentido en que lo son las reglas para multiplicar o dividir dos nmeros, pero se trata de un conjunto de operaciones mucho ms complicado, de manera que, en la prctica, slo puede ej ecutarse mediante mquinas de clculo. El algoritmo simula el comportamiento de sistemas fsicos simples sometidos a un descenso paulatino y lento de su temperatura, tal es el caso de la produccin de acero laminado o la cristalizacin de azcar en soluciones sobresaturadas; tras un lento proceso tales sistemas alcanzan un estado caracterizado por ser mnima su energa, a pesar del comportamiento intrnsecamente aleatorio de sus partculas microscpicas. En ocasiones, tales estados se reconocen por umparticnlarperfeccin visual ; pinsese, por ejemplo, en un macrocristal de azcar, monoclnico y regular (en teora). El recocido simulado permite explotar el conocimiento fsico de tales procesos con vistas a buscar el mnimo absoluto de cualquier funcin matemtica, que tambin en ocasiones correspondera formas que muestran cualidades apreciables en tanto "ordenadas", "razonables" o "sensatas". El algoritmo no es nuevo y viene siendo empleado con xito en diversas disciplinas desde hace ms de una dcada. El propsito principal de este trabajo es ilustrar y divulgar su uso en problemas de la teora de estructuras. Sin embargo, no se pretende descender a todos los aspectos de detalle, aqullos que seran necesarios para transformar el algoritmo en un programa concreto de ordenador capaz de resolver un problema particular, detalles que pueden consultarse, por ejemplo, en Press et alii ( 1988:346-351) o Vzquez (1994). El plan de la exposicin es el siguiente: 1. El recocido simulado es una analoga, de manera que resulta imprescindible mostrar su origen, en primer lugar. 2. El algoritmo permite resolver problemas de optimacin, por lo que resulta necesario explorar algunas caractersticas peculiares de tales problemas, en particular aqullas que los convierten en ms fciles o difciles que otros. 3. A continuacin, se explica con detalle la aplicacin del algoritmo a un problema de optimacin paradigmtico. 4. Despus, se trazan las lneas maestras de su aplicacin a un problema clsico de optimacin de estructuras, comentndose algunos de los resultados. 5. Finalmente, se argumenta acerca de la posible utilidad del algoritmo para la teora de estructuras. 1. 1 orgen de la analoga La palabra recocido denota un mtodo particular para fabricar acero, del tipo empleado para laminar los perfiles
(c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc)

utilizados en edificios y mquinas. Sin embargo, recocido se refiere aqu, especialmente, a las caractersticas que distinguen este mtodo de fabricacin de otros, tales como el temple. Como es bien sabido, el acero es hierro con pequeas adiciones de otras sustancias que, alterando su estructura microscpica, le confieren propiedades distintas a las del hierro puro. Dada una cierta composicin qumica del acero, una gran variedad de estructuras o configuraciones de sus tomos son posibles en el estado slido. Con cierta aproximacin, puede decirse que el recocido es el mtodo empleado para obtener la configuracin ms estable, caracterizada por ser mnima su energa interna. Esto es esencialmente cierto, siempre que no se consideren cambios qumicos, pues, en otro caso, el acero recocido acaba por oxidarse, adquiriendo un nueva estructura mucho ms estable an. En esencia, el recocido tiene dos fases. En primer lugar, se eleva la temperatura de la mezcla por encima del punto de fusin, a fin de tornarla lquida, perdindose as toda su estructura anterior y aumentando notablemente la movilidad de sus partculas. En segundo lugar, se deja enfriar muy lentamente, a fin de dar oportunidad a que las partculas vuelvan a configurarse de manera ordenada, antes de perder totalmente su movilidad, con el objetivo de que la estructura resultante se aproxime a la forma estable terica. Este proceso y sus caractersticas son comunes a muchos otros fenmenos, tales como los sucesivos cambios de fase entre un gas y el slido correspondiente. En particular, al crecimiento de un cristal por precipitacin de una sustancia di suelta en agua (tal como la sal o el azcar). La cristalizacin puede provocarse bien por un descenso de la temperatura, o bien por evaporacin del agua a temperatura constante. Ambos procesos son equivalentes y, si son suficientemente lentos, conducen a un macrocristal en el que, salvo ocasionales defectos, el orden de la celda microscpica bsica se reproduce sin interrupcin y a larga distancia. 7.7. Descripcin y simulacin matemtica Si no se desea un descripcin detallada de los fenmenos anteriores, ecuaciones matemticas simples y universales dan cuenta de lo esencial de todos ellos, si bien en trminos de probabilidad', en la termodinmica clsica juega tal papel la distribucin estadstica de Maxwell-Boltzmann (Tabla 1). Tales ecuaciones permiten simular dichos fenmenos matemticamente, sin necesidad de llevar a cabo experimentos reales. Estas tcnicas de simulacin tienen su origen en las investigaciones de la energa termonuclear, llevadas a cabo desde la Segunda Guerra Mundial en el tristemente
http://informesdelaconstruccion.revistas.csic.es

51 Informes de la Construccin, Vol. 46 n." 436, marzo/abril 1995

Tablai Distribucin de Maxwell-Boltzmann

(f> = ; ^ I ^ - f < e x p ( - f . / ^ ^ ) p. = ^ e x p ( - e . / f c r ) siendo: e^ energa de la configuracin i valor medio de la energa probabilidad de la configuracin t temperatura constante de Boltzmann 'suma sobre los estados', constante del sistema en estudio para cada valor de T

(0
Pi

T k Z

famoso Laboratorio de Los Alamos, en las que se utiliz la computadora MANIAC, uno de los primitivos modelos con tubos de vaco (HANSON, 1982). Hoy la tcnica se conoce como mtodo de Monte Cario o, mejor an, como algoritmo de Metropolis, en honor del lder del grupo de investigadores que lo us por vez primera (vase Metrpolis et alii, 1953). Esta segunda denominacin es preferible pues se trata de un mtodo de Monte Cario muy especfico. Parala simulacin, cada configuracin de un sistemafsico se describe como un conjunto de variables matemticas con valores concretos:
X={x^,x^,. }

energa correspondiente, lo que se formula habitualmente como: Encontrar X^ tal que: ^(X,) = m i n ^ ( X ) X (1)

A cada conjunto de valores le corresponde un valor de la energa , que puede calcularse mediante alguna ecuacin especfica, ^ ^f(X), que intenta representar las cualidades esenciales del sistema. Esta ecuacin, a su vez, se maneja mediante las ecuaciones generales de la termodinmica, que son independientes del sistema particular, tales como la distribucin de Boltzmann citada. La simulacin permite en primer lugar verificar si la representacin contenida en la fincin especfica, / es conforme con los datos experimentales disponibles, y si, por tanto, se ha conseguido con ella capturar lo esencial del fenmeno. Una vez validada la funcin, puede emplearse tambin la simulacin para predecir el comportamiento del sistema, lo que resulta til en aquellas condiciones particulares en que la realizacin de un experimento de laboratorio resultara difcil, o muy costosa. En particular, podra emplearse la simulacin para calcular tanto la configuracin ms estable o findamental, como el valor mnimo de la
(c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc)

Este ltimo objetivo es idntico al de un problema matemtico muy general, presente en numerosas disciplinas: la bsqueda del mnimo valor de una funcin. Debido a ello, durante la dcada de los ochenta se emple con xito la tcnica para buscar formas ptimas en una amplia variedad de problemas concretos, tal y como el diseo de circuitos electrnicos, en los que interesa optimar distintas propiedades, como, por ejemplo, la densidad de cableado, la probabilidad de interferencias magnticas entre componentes o el nmero de conexiones entre el circuito y su zcalo (Kirkpatrick et alii, 1983). En consecuencia, el recocido simulado slo puede considerarse nuevo en lo que respecta a la bsqueda de valores ptimos de estructuras mecnicas, aunque en tanto que algoritmo de propsito general tiene ya una dcada de antigedad. Esta novedad debe mirarse con precaucin no es imposible que haya sido empleado ya con el propsito de optimar estructuras, pero, de ser as, he sido incapaz de encontrar lareferenciapertinente entre Qlfascinante nmero de publicaciones cientficas que se producen cada ao. 2. Optimacn de estructuras En la teora de estructuras hay dos problemas genricos que preguntan por el mnimo de una funcin. As, por ejemplo, existen innumerables, maneras en que una estructura, tal y como un puente de ferrocarril (Fig. 1 ),
http://informesdelaconstruccion.revistas.csic.es

Informes de la Construccin, Vol. 46 n." 436, marzo/abril 1995

puede deformarse, pero, bajo la accin de cargas determinadas, slo algunas de las deformaciones posibles harn mnima la energa potencial del conjunto de cargas y estructura. Esta clase de problemas, resueltos por el anlisis de estructuras, tiene una obvia conexin con los problemas fsicos anteriormente citados, por ser la energa la propiedad a la que se presta atencin. Pero, al igual que ocurre con la deformacin, muchos diseos de puentes son posibles en cada caso concreto. Desde luego, todos ellos deben ser seguros, no deformarse en exceso, fciles de mantener y limpiar, etc. La teora de estructuras no slo discute el modo de obtener y analizar cualquiera de tales diseos aceptables: desde sus orgenes tambin pone nfasis en cmo determinar el o los mejores diseos posibles (Fig. 2). La bsqueda del mejor diseo puede convertirse en un problema con igual estructura matemtica que el problema de anlisis, a condicin de que para medir ia calidad puede definirse una propiedad con un valor preciso para cada diseo, como el peso de la estmcura, por ejemplo. En ambos casos se tratara de un problema que puede ;: presarse formalmente con la ecuacin (1) y que, por lar.!c ootm ser resuelto con cualquier tcnica disponible, por alejada que est de nuestro campo concreto de estudio.

2.1. El problema del viajante A fin de destacar algunas caractersticas sobresalientes del problema general de optimar una fincin, puede servir de ilustracin un problema paradigmtico, conocido como el viajante de comercio, debido, sobre todo, a que puede plantearse muy brevemente: Dado un conjunto de ciudades, se trata de encontrar el itinerario que permite visitar todas una vez, recorriendo la mnima distancia posible y regresando al final a la ciudad de origen (Fig. 3a). Sus propiedades sobresalientes son comunes aun numeroso conjunto de problemas y aqu se resaltarn informalmente, aunque su estudio formal se aborda mediante ia teora general de algoritmos y, en particular, mediante la teora de laNP-complecin (vase, por ejemplo, Garey et Johnson, 1979). 2.2. Resolubilidad Ante cualquier problema la primera cuestin es saber si tiene solucin. En el caso del viajante de comercio, puede contestarse afirmativamente.

J\KKKKKKNMA1/1/H1^
Fig.].- Anlisis de estructuras : A la izquierda, un puente de ferrocarril; a la derecha, dos posibles deformaciones.

\mmwwwM_
W=167

y-

Fig.2.-Diseo de estructuras : W es proporcional a la cantidad de material necesaria para construir cada diseo. El diseo, abajo y a la derecha, fue encontrado mediante recocido -segn se explica mcis adelante-, partiendo del que figura arriba, a la izquierda. (c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc) http://informesdelaconstruccion.revistas.csic.es

53 Informes de la Construccin, Vol. 46 n/' 436, marzo/abril 1995

VIAJE E

ABCDEFGHIA: 4 3 . 2 3 8 3 E

AOt:GFIHB: - ^ 3 , 8 0 E

C O

G
o

a)
HGBACDEFIH: 3 7 . 7 0 7 9 E ABCDEFGHIA: 4 3 . 2 3 8 3 E ABCDEFGIHA; 41.44 E

Fig.3.- El problema del viajante de comercio: De izquierda a derecha, y de arriba abajo: a, un caso del problema del viajante;b, un circuito generado al azar; c, un circuito generado con el apoyo de una circunferencia con centro en el centro de gravedad de las ciudades; d, itinerario ptimo; e, un circuito no ptimo debido al cruce de dos trayectos;/ circuito -mejor que el anteriorobtenido mediante la regla "eliminar cruces".

Tabla 2 Tiempo de Clculo para la resolucin del problema del viajante Ciudades n 3 6 9 12 15 18 Recorridos 0 , 5 - ( n - 1)! 1 60 20.160 19.958.400 43.589.145.600 1,77x10'" Tiempo de clculo 1 segundo 1 minuto 5 horas 231 das 13 siglos 5.640 milenios

para los que se ha demostrado que ningn mtodo podr resolverlos si se exige esta ltima condicin. En cualquier otro problema de optimacin, basta con que cada solucin candidata pueda representarse como una lista finita de smbolos y que el conjunto de todas ellas lo sea tambin, para que pueda asegurarse que la bsqueda exhaustiva lo resolver. 2.3. Intratabilidad Desafortunadamente, que un problema sea resoluble no asegura que su resolucin est a nuestro alcance, pues a pesar del nmero finito de operaciones necesarias para buscar la solucin, este nmero puede ser tan grande que el tiempo de clculo necesario supere a la antigedad de nuestra especie o a la edad estimada del universo. Para ver esto basta considerar distintos casos concretos del problema del viajante, (Tabla 2); en la tercera columna figura el tiempo de clculo del itinerario ptimo, bajo el supuesto de que los clculos de la longitud de cada uno de ellos pueden hacerse en un segundo por circuito. Lo significativo de la tabla reside en que a un viajante de comercio de poco le sirve saber que su problema tiene solucin: si cada viaje entre dos ciudades le llevara una media de un da, y si tuviera que visita doce ciudades o ms, sera mejor recorrerlas al azar, pOs de todos modos tardara menos en recorrerlas (incluso del peor modo

En efecto, cualquier orden de las ciudades constituye un recorrido posible que tiene una distancia bien definida (Fig. 3b). Adems, el nmero total de itinerarios posibles esfinitoy slo depende del nmero de ciudades (exactamente 0,5 X (n - 1)!, siendo n el nmero de ciudades). Por tanto el problema se resuelve calculando la distancia de cada uno de los recorridos y eligiendo el de longitud mnima, que es la solucin buscada (Fig. 3d). Este mtodo de resolucin, denominado bsqueda exhaustiva, no requiere, en consecuencia, ms que un nmero finito de operaciones. Este primer resultado es importante, pues se conoce ya un buen nmero de problemas
(c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc)

http://informesdelaconstruccion.revistas.csic.es

54 Informes de la Construccin, Vol. 46 n." 436, marzo/abril 1995

posible) que en calcular cul hubiera sido el mejor de los itinerarios. De este modo, aunque este problema puede ser resuelto, en la mayora de los casos prcticos de poco sirve saberlo. Para denominar esta situacin se dice que, hoy por hoy, el problema del viajante de comercio es intratable, lo que, a efectos prcticos, es tanto como decir que es irresoluble. Formalmente, el tiempo de clculo requerido por la bsqueda exhaustiva no guarda proporcin con el tamao algortmico del problema, medido de manera informal por el nmero n de ciudades. Es decir, el algoritmo no es polinmico (de hecho, se trata de un algoritmo fuertemente exponencial, aunque su convergencia est asegurada). Pero, en rigor, nadie ha sido capaz de demostrar que sea imposible encontrar en el futuro algn otro mtodo de resolucin que no consuma cantidades tan fantsticamente grandes de tiempo. Quiz se deba a nuestra torpeza el no haberlo encontrado hasta ahora. Sin embargo, slo existe una pequea esperanza de que ello sea posible, una esperanza leve que se apoya en el hecho de que,en ciertos casos, el problema del viajante de comercio no slo se resuelve, sino que se resuelve de un plumazo. Considrese, por ejemplo, el caso particular en que las ciudades se disponen a lo largo de una circunferencia, (Fig. 4). Entonces resulta claro que el polgono inscrito de lafiguraes la solucin ptima. En este caso el tiempo de solucin es proporcional al nmero de ciudades y, en general, el tiempo de clculo necesario es siempre menor que el invertido en recorrerlas, de manera que el viajante de comercio puede realizar sus visitas del mejor modo. Un cierto nmero de casos semejantes son conocidos, pero sin embargo, a pesar de perseverantes esfierzos de investigadores de reconocido talento, nadie ha dado con un mtodo de resolucin del problemageneral que sea prctico o tratable (incluso contando con la ayuda de velocsimas mquinas de clculo). Por ello, la creencia ms extendida es que el problema es verdaderamente intratable (aunque nadie lo haya demostrado).

Muchos otros problemas matemticos pertenecen a esta categora, y son conocidos como problemas NP-completos. El mayor avance en su estudio consiste en haber demostrado que si uno de ellos pudiera ser resuelto de un modo prctico o tratable, a todos los dems les sucedera lo mismo. 2.4. Algoritmos de aproximacin Qu puede hacerse con un problema aparentemente intratable si verdaderamente se necesita la solucin? Pensemos en un viajante de comercio con doce ciudades que visitar: si contara con un mtodo de calcular, no ya la solucin ptima, sino alguna bastante buena, y el clculo con tal mtodo no le llevara ms de una docena de minutos, podra darse por satisfecho: a fin de cuentas no hara su viaje por el peor de los recorridos posibles y tampoco gastara una cantidad desproporcionada de tiempo en calcular el mejor de todos. Debe quedar claro, no obstante, que los algoritmos que calculan buenas soluciones no son algoritmos de resolucin; su ventaja reside en que se trata de dXgoimos polinmicos y que, por tanto, ofrecern una aproximacin en un tiempo razonablemente proporcionado a la dificultad algortmica del caso abordado. Para cada problema genrico existen numerosos algoritmos semejantes e, incluso, mtodos genricos de disearlos. Un mtodo comn consiste en partir de un caso particular en que la solucin ptimaes trivialmente calculable mediante un algoritmo especfico: al aplicar ste a otros casos genricos se obtiene ya una aproximacin, que funcionar tanto mejor en tanto el caso genrico no se aparte mucho del caso particular fcilmente resoluble. Si, por ejemplo, las ciudades no estn dispuestas a lo largo de una circunferencia, pero tampoco se apartan en exceso, puede actuarse como si lo estuvieran: el recorrido no ser el peor y el costo de obtenerlo es razonablemente pequeo

! ! \ \ \ \

G H

HGFEABCDIH: 48.11

Fig.4.- Un caso "fcil" del problema del viajante. (c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc) http://informesdelaconstruccion.revistas.csic.es

55 Informes de la Construccin, Vol. 46 n." 436, marzo/abril 1995

y, en cualquier caso, proporcionado al nmero de ciudades (Fig. 3c). En el sencillo ejemplo ilustrado, de hecho, la solucin obtenida se compara bien con la solucin ptima. Que el circuito as obtenido no es el peor, se sabe por criterios de carcter local: en el problema del viajante, un circuito en que dos trayectos se cruzan no es ptimo, por el contrario, cualquier circuito libre de tales cruces no es psimo (Fig. 3, eyf). Con criterios de optimidad semejantes a ste de los cruces, pueden construirse otros algoritmos de aproximacin que permiten mejorar soluciones obtenidas al azar. Tales criterios o reglas heursticas dependen de la naturaleza particular de cada problema abordado y representan bastante bien el conocimiento acumulado acerca de la naturaleza de la solucin, aunque sta permanezca desconocida. Ntese, adems, que los algoritmos de aproximacin suelen ser innecesarios si no se desea una precisin desmedida: lo importante son las reglas', y stas pueden aplicarse intuitivamente para obtener buenos resultados, tal y como en el circuito para una taladradora automtica mostrado en la (Fig. 5), a la izquierda, que fue diseado manualmente. Para este caso, uno de los algoritmos heursticos ms eficientes entre los conocidos (Lin et Kernighan, 1973), tan solo consigui reducir la longitud obtenida a mano una pizca, un 2 %, vase la (Fig. 5), a la derecha. La nica ventaja de los algoritmos, en tanto, procedimientos formales paso a paso, es que pueden ser ejecutados mediante mquinas, de un modo ciego y automtico. 3. Recocido simulado En contraposicin a los algoritmos heursticos especficos de cada problema, el recocido simulado es un mtodo ponmico de aproximacin bastante universal, que permite mejorar significativamente una solucin elegida al azar. Para mejor ilustrar el algoritmo de recocido describir sucintamente su aplicacin al problema del viajante de comercio, aunque su fimdamentacin matemtica ha sido

objeto de atencin por diversos investigadores (vase, por ejemplo, Hajek, 1988). 3.1. Representacin Cada circuito es un orden de las ciudades (Fig. 3). Como se trata de un circuito cerrado, cul sea la ciudad en la que se inicia el viaje carece de importancia y, en consecuencia, puede elegirse una de ellas arbitrariamente como primera ciudad. Un circuito puede representarse de muchas maneras: la lista ordenada de los nombres de las ciudades, su dibujo, etc. Pero para lo que aqu interesa, considrese la siguiente tabla: ABCDEFGHIA: longitud 43,2383
l

2^

5^

6^

7a

8^

9-

A B C D E F Ci H I

Cada casilla marcada representa el hecho de que la ciudad correspondiente a su fila ocupa en el itinerario el lugar correspondiente a su columna. Para construir un circuito en esta representacin, basta con sealar una casilla de la tabla por cada ciudad, teniendo en cuenta que la casilla correspondiente a la ciudad origen es fija y que slo puede marcarse una casilla en cada filay en cada columna. De este modo, tablas como sta son circuitos, cuyas longitudes pueden calcularse.

Fig. 5. -Aproximacin manualy automtica :A la izquierda, una solucin obtenida a mano para el itinerario de una mquinaherramienta (L= 42,7); a la derecha, la aproximacin de un algoritmo heurstico (L= 41,8). (c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc)

http://informesdelaconstruccion.revistas.csic.es

56 Informes de la Construccin, Vol. 46 n." 436, marzo/abril 1995

Fig.6.- Distintos circuitos elegidos al azar representados mediante tablas. (c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc)

http://informesdelaconstruccion.revistas.csic.es

57 Informes de la Construccin, Vol. 46 n." 436, marzo/abril 1995

Para elegir un circuito al azar basta elegir para cada columna una ciudad no elegida todava y marcar la casilla correspondiente. Si se eligen varios recorridos de este modo, el aspecto de la tabla va cambiando aleatoriamente, de un modo anlogo a como las partculas de un gas caliente van cambiando de posicin en el recipiente que lo contiene (Fig. 6). Cada casilla marcada representa, por as decir, una molcula de un gas imaginario. Desde luego, se tratara de un gas bastante raro, pues sus molculas estn compelidas a no compartir ni filas ni columnas, resultando una analoga no del todo satisfactoria. Este gas imaginario puede ser forzado a solidificarse, si se hace descender su temperatura igualmente imaginaria. Sus molculas acabaran en posiciones fijas, aqullas que pudieran alcanzar antes de perder toda movibilidad. Si adems el enfriamiento fuese suficientemente lento, la distribucin de las molculas correspondera al valor mnimo de su energa cintica, cuyo valor es igual al de la longitud del circuito, por la analoga. A lo largo del proceso, la configuracin de las molculas del gas (o el orden de las ciudades) ha cambiado en apariencia al azar. Pero no se trata de un azar puro: en un gas real son los choques de molculas los que provocan los cambios, de manera que las sucesivas configuraciones estn en realidad correlacionadas, aunque slo estemos en condiciones de dar una imagen imprecisa, estadstica, de tal correlacin, y aunque en mltiples aplicaciones tales correlaciones puedan ignorarse, al resultar despreciables. La estadstica de Maxwell-Boltzmann puede y debe ser empleada para hacer incionar este imaginario frigorfico: 1. Puede, porque en su deduccin no se prescribe ninguna caracterstica particular que deba cumplir lafincin energa, de manera que la longitud puede ocupar su lugar. 2.Debe ser empleada, adems, para introducir en el azar el sesgo de las correlaciones y fluctuaciones del proceso en un gas real, nica forma de asegurar que la configuracin estable fundamental pueda ser alcanzada. 3.2. Transiciones Para simular el comportamiento de este gas a temperatura constante la tcnica se resume en el algortmo de Metropolis. Esencialmente consiste ste en una sucesin de transiciones o jugadas producidas en dos pasos: 1. Se provoca un cambio aleatorio en la configuracin, y se evala el cambio correspondiente en la energa, y 2. Se acepta o rechaza el cambio, de acuerdo con la distribucin de Boltzmann. En el caso de los itinerarios del viajante hay varias maneras posibles de transformar aleatoriamente un circuito dado.
(c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc)

La ms simple es intercambiar dos ciudades elegidas al azar, tales como la A y la C en la Fig. 7. La diferencia entre ambas longitudes o energas, L ' - L, podr ser positiva o negativa. Esto completa el primer paso del clculo de la transicin. Para elegir al azar entre dos opciones, el recurso habitual es lanzar una moneda al aire. En un programa de ordenador, la moneda se sustituye por series de nmeros pseudodXQdXoos cuyos valores estn comprendidos entre cero y uno. Cada nuevo nmero de la serie debe tener un valor sin correlacin con el anterior (las series que se suelen vender junto a los ordenadores no suelen cumplir esta condicin; para series apropiadas, vase Press et alii, 1988:205-213). Si ^J representa a cada nmero de una de estas series, la frmula /= 1 +E(nx.^) J^ (0,1)
(2)

permite elegir una ciudad / al azar entre las n del conjunto -E(x) es la parte entera de x. Para decidir si la nueva configuracin se acepta o se rechaza, existen varias reglas de seleccin posibles. La originalmente utilizada en el algoritmo de Metropolis tiene, a su vez, dos partes: 1. Si el cambio en la energa, AL, es negativo, es decir, si la nueva configuracin obtenida al azar disminuye la energa del gas, se acepta siempre esta ltima. 2. Si, por el contrario, dicha diferencia es positiva se acepta la nueva configuracin (de mayor longitud o energa) con una probabilidad dada por la siguiente frmula: p(L) =exp(-AL/T) = 1 exp (AL / T)

En estafrmula, Tcumple el mismo papel que la temperatura en un gas real, pero ciertamente se trata de una cantidad anloga a la temperatura y no la temperatura habitual. Si esta ltima es una medida indirecta de la cantidad media de energa contenida en un gas real, en nuestro caso se relaciona con el valor medio de la "cantidad de viaje", por as decir, contenida en la secuencia de circuitos que vamos obteniendo mediante sucesivas jugadas. La regla de seleccin anterior se denomina orculo de Metropolis y se resume en:

P^^^^={lxp(-AL/T)

si AL = U-L< O (3) en otro caso Su significado puede resumirse observando que, si el circuito nuevo es mejor que el antiguo, se acepta siempre el cambio, mientras que en caso contrario slo se acepta en ocasiones.

Cuando la jugada conduce a un aum^to del valor de la funcin, es decir, cuando se trata de elegir un circuito ms
http://informesdelaconstruccion.revistas.csic.es

58 Informes de la Construccin, Vol. 46 n." 436, marzo/abril 1995

largo, merece la pena ilustrar algunas situaciones siguiendo la evolucin del recocido: 1. Si r;::^ 100 Z L L entonces: p(AL)= 0,99 En la situacin inicial la temperatura es alta, de hecho, muy alta, y como corresponde a un gas caliente, la probabilidad de que cualquier nueva configuracin sea aceptada es prcticamente del cien por cien. 2. Si T^AL entonces: p{AL)0,37

1 1 ^x^(AL/T) Qx^(AL/100AL)

1 exp(0,01)

1 1,01

1 exp(AL/T) exp(AL/AL)

1 exp(l)

1 2,72

Cmo puede aceptarse una configuracin peor con una probabilidad dada? De nuevo la tcnica se apoya en series de nmeros/^'^wc/oaleatorios. Formalmente, para realizar una eleccin con probabilidad/7(^), se elige el siguiente nmero de la serie ^ , siJ<P(AL) la configuracin se acepta; en otro caso, se rechaza. El procedimiento es similar a escoger un punto al azar en un rectngulo: si la probabilidad de aceptar la nueva configuracin debe ser, digamos, de 0,6, la configuracin se acepta si el punto cae en el 60% de la superficie del rectngulo que queda a la izquierda, que es, por as decir, la zona de aceptacin para dicha probabilidad. Si la serie de nmeros es de buena calidad, el comportamiento del gas imaginario quedar bien simulado. Pero siempre ser simulado del mismo modo (salvo que se cambie de serie de nmeros aleatorios), lo que no sucedera si se usara una moneda. El comportamiento del algoritmo est, portanto, determinado, como caba esperar de un programa de ordenador. 3.3. Disminucin de la temperatura El recocido simulado consiste en ciclos de clculo a temperatura constante y en una disminucin paulatina de la temperatura entre ellos, (Tabla 3). En cada ciclo (paso 3 ) se efecta un nmero de transformaciones proporcionado al nmero de variables o grados de libertad del sistema en estudio,tal como el nmero de ciudades en el caso del viajante. Tabla 3 Algoritmo de recocido
1. Verificar y evaluar la solucin inicial. 2. Dar valor a la temperatura inicial.

Segn la temperatura disminuye, el panorama va cambiando paulatinamente. Para temperaturas del mismo orden de magnitud que la diferencia de longitudes, la probabilidad de que el aumento sea aceptado baja hasta el 3 7 por ciento. 3. Si 7:^0,01 AL entonces: p(AL)1 .. 1 exp{AL /T) Qxp(AL /0,01 AL)
iO

1 exp ( 100 )

1 2,69 X lO'*^

Con temperaturas mucho menores que la diferencia de longitud, la probabilidad se vuelve prcticamente nula. A bajas temperaturas, el itinerario apenas cambiar y puede decirse que se ha solidificado, convirtindose en la solucin mejor que el algoritmo puede ofrecer

3. Para cada ciclo: (a) Para cada transicin dentro del ciclo (algoritmo de Metropolis): 1. Obtener una nueva configuracin al azar. 2. Aceptarla o rechazarla segn el orculo de Metropolis o regla de seleccin coherente con la distribucin de Boitzmann. Disminuir la temperatura.

(b)

4. Mostar la configuracin final.

L = 43,24

L' = 45,19

A B C D E F G H I

l 2 3a

4a

5a ga

7 8^ 9^

A B C D E F G H I

l 2^ 3a

4a

5a ga

7^

ga ga

'

Fig.7.' Transicin entre dos circuitos. (c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc) http://informesdelaconstruccion.revistas.csic.es

59 Informes de la Construccin, Vol. 46 n." 436, marzo/abril 1995

El generador ilustrado para el problema del viajante, es decir, permutar dos ciudades en el itinerario, p r o d u c e pocos cambios cada vez (en el paso 3.a. 1). Pero puede demostrarse con facilidad que con un nmero de transformaciones de este tipo, finito y acotado por un polinomio del nmero de ciudades, existe una cierta probabilidad, aunque pequea, de alcanzar cualquier configuracin de las posibles. En general, los generadores para cualquier problema slo deben cumplir dos condiciones simples: 1. Realizar la transformacin al azar, es decir, con probabilidad uniforme entre todas las configuraciones accesibles o vecinas. 2. Ser capaz de alcanzar cualquier otra configuracin en un nmero finito de transformaciones. Puesto que normalmente la configuracin inicial al principio de un ciclo no ser una configuracin de las probables a la temperatura correspondiente, el nmero de transformaciones por ciclo debe ser generoso, a fin de que

pueda alcanzarse una representacin estable del comportamiento del sistema para esa temperatura, es decir, el sistema debe tener oportunidad de relajarse. Una cifra comn en el problema del viajante es realizar tantas jugadas como cien veces el nmero de ciudades, aunque para simulaciones de sistemas termodinmicos, se emplean cifras muy superiores, del orden de 10.000 transiciones por cada grado de libertad. La temperatura inicial debe ser mucho mayor que el valor medio de la energa de una muestra de configuraciones elegida al azar (paso 2). Esto es necesario para simular el comportamiento tpico de un gas caliente. Para disminuir la temperatura de ciclo en ciclo (paso 3 b), puede utilizarse un factor prximo a la unidad pero menor que ella, tal como 0,9 0,95. De manera que la temperatura del ciclo / viene dada por frmulas del tipo T = 0,9xT^, en donde T^ es la temperatura inicial. No resulta difcil mostrar que con estas reglas se alcanzan temperaturas extremadamente bajas en un nmero finito

0.6

TV
02

f \l

\/

Fig. 9. Results ai tour lemperalures lor a cluslered 4()0-cily Iravelmg salesman problem The pomls are umformK dibinhuted in nme regions (a) 7 ^ 1.2, a = 20567. (h) 7 ^ 0.8. Q = 1.515: (c) 7 = 0 4. a - I O.VV (d) 7 = 0.0. Q - 0 7839 Fig. 8.- Aproximacin a un caso del viajante. (c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc)

http://informesdelaconstruccion.revistas.csic.es

60 Informes de la Construccin, Vol. 46 n." 436, marzo/abril 1995

de ciclos, esencialmente independiente del problema en estudio, y del orden de un centenar o dos. Con este esquema, el numero de pasos de clculo, aunque grande, es proporcionado al nmero de variables que definen la configuracin y el algoritmo resultante es tratable, lo que ha permitido aproximar casos del problema del viajante con numerosas ciudades (Kirkpatrick et alii, 1983), cuya resolucin exacta exigira tiempos inconcebibles (Fig. 8). El algoritmo es relativamente lento si se compara con otros algoritmos de aproximacin ms cercanos a la heurstica de cada problema, pero no suele equivocarse en mucho. En cierto sentido, esta lentitud es la cow/rcpufr/z/ur a disponer de un algoritmo sencillo, universal y robusto. Una pregunta que surge ocasionalmente es la siguiente: si el recocido finciona escogiendo siempre una alternativa mejor, pero a veces tambin una peor no resultar ms eficiente rechazar siempre esta ltima? Tal algoritmo de hecho existe con carcter general (se Wainamejora iterativa y puede compararse con el temple del acero). La ventaja que el recocido tiene sobre l QS, precisamente, no encaminarse codiciosamente hacia la solucin mnima ms cercana, que bien pudiera no ser la mnima absoluta. La situacin es bien conocida: en la Fig. 9 se muestran dos ismeros del mismo alcohol que tienen propiedades diferentes y tambin diferente energa de formacin. Ambos son estables y la transicin del ismero 2 al 1 no se produce espontneamente. Esto se debe a que no se trata de configuraciones vecinas: para que la transicin tenga lugar debe aportarse energa adicional hasta escalar a la divisoria de las cuencas, y luego volver abajar (vase Schrdinger, 1944). Con sus "saltos hacia arriba" el recocido tiene alguna probabilidad de escapar de valles, que como el 2, no contienen la configuracin estable indamental.

4. Cerchas sostticas ptimas Lo visto hasta aqu es ciencia y tcnica consolidada que ha sido empleada con xito para la resolucin aproximada de problemas en muy diversas disciplinas. En el campo concreto de la teora de estructuras, tambin se ha empleado con xito en problemas muy diversos; hasta la fecha en cuatro (Vzquez, 1994): 1. Anlisis de losas mediante la teora de hneas de cedencia. 2. Bsqueda de formas ptimas de cpulas de revolucin cargadas axisimtricamente. 3. Dimensionado ptimo de cerchas hiperestticas cuya forma general est dada. 4. Bsqueda de formas ptimas de cerchas estticamente determinadas. El algoritmo empleado en este ltimo caso se examina con algn detalle a continuacin. Para lo que aqu interesa, puede entenderse una cercha como aquella estructura plana que sostiene pesos situados en puntos determinados, apoyndose a su vez en otros puntos fijos (Fig. 10). Unos puntos y otros, tambin llamados nudos, estn unidos a travs de barras y por intermedio de otros puntos. Los puntos de apoyo o de suspensin de pesos sonfijos,cualquier otro punto (destinado nicamente a unir barras) es variable. Un modelo simple y realista para el anlisis de estas estructuras resulta al considerar slo las fuerzas de traccin y compresin de las barras. En tal caso, la cercha se dice

H HC

H
C

H
C

-O

H H

H HH

H -H

Fig.9.- Metaestabilidad: A la izquierda, dos configuraciones del propanol; a la derecha, su situacin en el "paisaje energtico" (c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc) http://informesdelaconstruccion.revistas.csic.es

61

Informes de la Construccin, Vol. 46 n." 436, marzo/abril 1995

0.5P IF

"T 0.5P

SOLUCIN DE MICHELL

Fig.lO.- Distintas cerchas para sostener un nico peso: las barras regruesadas estn comprimidas. Las cifras que acompaan cada solucin son proporcionales a la cantidad de material.

isosttica internamente si, dependiendo de la posicin de los puntos variables y de la conexin de los distintos puntos por barras, pueden determinarse las fuerzas que los pesos originan en stas, incluso antes de averiguar la cantidad de material que debe disponerse en cada una. Esta ltima puede determinarse despus segn la resistenciadel material con que se construye y, por tanto, puede calcularse la cantidad de material total que es necesaria. En consecuencia, y a condicin de que la cercha sea isosttica internamente, para cada forma siempre puede encontrarse la cantidad mnima de material que se necesita para que la cercha resista con seguridad los pesos. Todas las formas isostticas pueden por tanto ser seguras, pero a costa de cierto material, variable con la forma. En el espritu de cientficos como Maxwell o Michell debi existir la intuicin o la conviccin de que la economa debera tener que ver con algo tangible, como por ejemplo ahorrar material, ms que con magnitudes intangibles e

imprecisas como son los precios, que es de lo que charlan casi todos los economistas. Sorprendentemente, tal forma de pensar, lade Maxwell o Michell, perdura vigorosamente, a pesar de la cultura econmica dominante hoy en da. No hace falta ir muy lejos para encontrar ejemplos: baste citar los escritos de Flix Candela (1985), investido doctor honoris causa por la Universidad Politcnica de Madrid recientemente. Sea como fuere, Michell (1904), hace poco ms de nueve dcadas, llam la atencin sobre el hecho de que no era lo mismo cualquier forma para una cercha isosttica (aunque tal forma siempre podra resultar aceptable en trminos de resistencia) e investig de qu modo podra determinarse aquella forma ptima que requerira el mnimo coste (Fig. 11). Como funcin objetivo, Michell adopt el peso total de la cercha. Si slo se usa un material, el peso y el volumen son

z?;-'-

Fig.]].- Soluciones ptimas de Michell: A la izquierda, para sostener un peso en vuelo; a la derecha, entre dos apoyos. (c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc)

http://informesdelaconstruccion.revistas.csic.es

62 Informes de la Constiuccin. Vol. 46 n." 436, marzo/abril 1995

proporcionales (vase, por ejemplo. Quintas, 1992). En tal caso, multiplicando el volumen por la resistencia del material, se obtiene otra cantidad proporcional, que tiene la ventaja de permitir la comparacin en trminos estructurales de cerchas con forma y material distintos, y que, en lo sucesivo, denominar volumen estructural. El volumen estructural, el volumena secas o el peso representan el mismo objetivo, pero medido a escalas distintasV 4.1. Dificultad del problema A pesar de la antigedad de su planteo, el problema de obtener la cercha isosttica ptima slo ha sido resuelto para muy pocas condiciones de carga y apoyo. Adems, no se conoce (que yo sepa) ningn algoritmo capaz de aproximar una solucin considerando tanto variaciones en la posicin de los nudos como en la conexin de las barras. No en vano este problema ha sido calificado como la ms difcil de las tareas de optimacin estructural ( Vanderplaats, 1984). Para sopesar su dificultad, considrese un ejemplo sencillo, uno de los resueltos por Michell (Figs. 10 y 11). La cercha debe conectar mediante sus barras el punto de suspensin del peso (punto C en la Fig. 11) con los puntos de apoyo (A y B). Para ello puede emplearse cualquier nmero de nudos adicionales. Ya se comprende que para asegurar que la solucin pueda describirse con un nmerofinitode variables hay que imponer un lmite superior al nmero total de puntos (denominado M en adelante). Adems, para que la estructura sea isosttica internamente el nmero de barras y condiciones de apoyo debe ser necesariamente igual al doble del nmero de nudos. Esta bien conocida condicin determina el nmero total de barras en incin del nmero de nudos (no puede haber ni ms ni menos) pero no sus conexiones. La condicin es slo necesaria, de manera que, an cumplindola, la forma de la cercha puede resultar finalmente inestable y, por tanto, inviable. En definitiva, existen tres tipos de variables en la definicin de cada una de las cerchas posibles:

1. El nmero total de nudos de la cercha, que ha de ser menor o igual que el lmite impuesto, y obviamente mayor o igual que el nmero de puntos fijos. 2. La posicin en el plano de cada uno de los puntos variables, aadidos a los fijos. 3. La pareja de nudos que quedan unidos por cada una de las barras estrictamente necesarias para constituir una cercha isosttica. Cada cercha as definida es una configuracin, una solucin candidata. En este caso la definicin de la configuracin resulta peculiar pues el valor de uno de sus parmetros, el nmero total de nudos, determina el nmero de los restantes. Conviene resaltar aqu el parentesco indudable entre este problema y el del viajante de comercio: en ambos se trata de buscar una forma ptima respecto a una magnitud que depende de cmo se conecte un conjunto de puntos en el plano. El carcter combinatorio del espacio de soluciones candidatasresultaevidente. As que unaconjeturaplausible es que este problema ser al menos tan difcil como el del viajante. Pero hay una diferencia notable. Mientras que en el problema del viajante cualquier orden de las ciudades es una solucin candidata, aqu no vale cualquier forma con las condiciones enunciadas,pues las soluciones candidatas deben ser realmente isostticas. Qu se cumpla esta condicin slo puede comprobarse una vez la forma ha sido elegida. En consecuencia, la exploracin debe abarcar ms formas que las estrictamente seguras y estables. Para recocer este problema, sin embargo, el esquema es esencialmente el mismo: hay que construir generadores capaces de alterar cada una de las variables que definen una configuracin, a fin de obtener otra al azar. Antes de examinarlos, ntese una caracterstica especial de los nudos variables que permite reducir algo el espacio de bsqueda de la solucin. Sobre estos nudos no acta ninguna fierza exterior. Debido a ello puede demostrarse

1. La magnitud aqu denominada "volumen estructural", W, se calcula como el producto del volumen de material, V, por la tensin nominal del mismo, f. Si el dimensionado es estricto (en traccin y en concresin), fF tambin es igual a la suma extendida a todas las barras del producto del valor absoluto de la solicitacin, jV,pQr la longitud,/., es decir S abs(A^. L. Esta ltima magpitudfigura en lostrabajospioneros de Maxwell y Michell. Tambin fue objeto de estudio, entre otros, por Miguel (1974) quien la denomin "trabajo estructural''pero la expresin no prosper. Aroca y Cervera, (1989 y 1993) la denominaron, finalmente, "cantidad de estructura", C. Sin embargo, recientemente, Aroca (1994) est enleando, en sus clases en la Escuela de Arquitectura de Madrid, "volumen estructural" para CZ abs (A^. L. Pormipaitepropongo,provisionalmente, conservar "cantidad de estructura"para la suma deabs (A^. L y volumen estructuralparafTque es la que se enlea en el texto. La cantidad de estructura C es idnticamente igual al volumen estructural Wsi eLdimensionado es estricto, artificio, este ltimo, extremadamente til para establecer una teora de diseo de estructuras (vase un conciso y competente resumen en Cervera, 1993). En consecuencia, cuando el contexto despeje cualquier confusin, Cpodra tambin denominarse "volumen estricto" y ^"volumen", sinlemente. El primero es sieore una cota inferior significativa del segundo. (c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc)

http://informesdelaconstruccion.revistas.csic.es

63 Informes de la Construccin, Vol. 46 n." 436, marzo/abril 1995

con facilidad que si a un nudo variable slo acometen dos barras, el propio nudo y ambas barras pueden suprimirse y el volumen estructural resultante ser igual o menor, debido a que el esfuerzo en ambas barras ser nulo o, en caso contrario (cuando las barras tienen idntica direccin), la cercha es inestable. Esto permite calificar un nudo variable como bien conectado si a l acometen tres barras o ms. Una definicin anloga (pero ligeramente ms complicada) se da para los nudos fijos. Gracias a ello, las soluciones candidatas se reducirn a las cerchas formadas exclusivamente por nudos bien conectados, lo que deja fiera algunas cerchas isostticas (sin excluir por ello las ptimas) pero manteniendo dentro algunas que no lo son (a pesar de la "buena conexin" de sus nudos). 4.2. Cambio de la posicin de nudos El generador ms inmediato es cambiar la posicin de un nudo, tal y como el P de la Fig. 12. El nudo se elige al azar (del mismo modo en que se elegan ciudades) y, despus, se eligen nuevas coordenadas dentro de mrgenes previamente convenidos mediante series de nmeros aleatorios con ecuaciones anlogas a la (2). La nueva "configuracin" obtenida se analiza, se evala su volumen estructural y se rechaza o acepta con el orculo, ecuacin (3), de manera idntica a como se hizo para los itinerarios.

4.2. Cambio de barras En primer lugar una barra particular, tal como la AB a la izquierda de la Fig. 13, debe poder cambiar de posicin. Como el nmero de barras es menor que el nmero total de posiciones posibles, siempre hay posiciones libres a donde una barra puede mudarse, tal como las dos sealadas a trazos. El problema es que la cercha resultante puede no ser isosttica para una posicin particular de las libres. Para conseguir una cercha isosttica, no parece haber otra forma que probar (cuando sea necesario) todas las posibilidades. A tal fin, para cada barra y posicin libre elegidas al azar, se analiza la cercha, si es isosttica se calcula su volumen y se acepta o se rechaza con el orculo. Pero, en caso contrario, se realiza otra eleccin al azar entre las posibilidades restantes, hasta encontrar una nueva cercha isosttica o ninguna, en cuyo caso la cercha queda inalterada. El resultado es, obviamente, un generador parsimonioso, pero que en el peor de los casos, necesitar un nmero de operaciones finito y acotado por una potencia del nmero total de nudos, aunque el exponente puede llegar a ser seis. 4.4. Aumento y disminucin del nmero de nudos El generador restante debiera ocuparse de variar el nmero de nudos de la cercha entre los lmites fijados por el problema. Para quitar o aadir un nudo, deben quitarse o aadirse tambin dos barras a fin de cumplir la condicin necesaria para el isostatismo. Esta operacin, por supuesto, se refiere en exclusiva a los nudos variables, que al estar bien conectados sern extremo de tres barras o ms.

Fig. 12.- Cambio de la posicin de nudos.

BARRA CANDIDATA

NUDO CANDIDATO CON TRES BARRAS

BARRA CANDIDATA P

POSICIONES LIBRES

DOS POSICIONES PARA RESTITUIR UNA BARRA

DIVISION EN DOS BARRAS P

TRANSFORMACIN

TRANSFORMACIN

RESTITUCIN DE fi^ BARRA

Fig.13.- Generadores que alteran la conexin de nudos por barras: De izquierda a derecha: cambio de posicin dlna barra, supresin de un nudo; y adicin de un nudo. (c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc) http://informesdelaconstruccion.revistas.csic.es

64 Informes de \L\ Construccin, Vol. 46 n." 436, marzo/abril 1995

Para suprimir un nudo puede elegirse al azar uno cualquiera con tres barras, tal y como el P en el centro de la Fig. 13, suprimir sus tres barras y restituir una de ellas en una nueva posicin, elegida tambin al azar. En el caso peor, puede que haya que explorar todas las posibilidades hasta encontrar una alternativa isosttica. La supresin de un nudo resulta, en consecuencia, tan parsimoniosa como el cambio de una barra. El procedimiento para aadir un nudo es bastante similar. El objetivo se cifra ahora en que el nuevo nudo tenga tres barras. Para ello se elige una barra al azar, tal como la DF a la derecha de la Fig. 13, se divide en dos mediante el nuevo nudo P (elegido tambin al azar) y se une ste con otro elegido al azar entre los restantes. En total se habr aadido un nudo y dos barras. Una vez ms ser necesario explorar al azar todas las posibilidades para la barra candidata hasta encontrar una nueva cercha isosttica. En el caso peor, la transformacin es igualmente parsimoniosa. Con estas reglas para aadir o suprimir un nudo, se obtiene tan slo un ligero cambio en su nmero total. Con esto, sin embargo, las transformaciones cumplen todava con las condiciones bsicas anteriormente enunciadas: en particular, con la exigencia de que cualquier configuracin y, por tanto, cualquier valor de los permitidos para el nmero de nudos pueda ser alcanzado tras un nmero finito de transiciones. 4.5. Algunos resultados La mezcla de estos cuatro generadores constituye lo nico necesario para proceder al recocido. Cada nueva cercha isosttica ser aceptada o rechazada segn la regla de seleccin y el esquema general del algoritmo se hace cargo del resto. De los tres problemas cannicos mostrados en la Fig. 14, los correspondientes a uno, dos y cuatro pesos entre dos apoyos, la solucin terica del primero fue descubierta por Michell, como se indic, quien demostr que era necesariamente ptima mediante un famoso teorema que

lleva su nombre. El recocido alcanza a determinar esta solucin (vase la Fig. 15) y las soluciones suministradas para los otros dos problemas presentan un indudable buen aspecto, y aunque seguramente no son ptimas en sentido absoluto pueden reputarse de muy buenas (de hecho, su volumen estructural coincide o mejora las mejores estimaciones disponibles, vase Cervera,1993). Ntese que las soluciones originales de Michell son mecanismos (o, si se prefiere, estructuras iniculares), mientras que aqu aparecen diagonales sin esfuerzo para asegurar el isostatismo. Pero como el dimensionado es estricto no contribuyen (casi) al volumen estrutural. En el problema M4, aunque se aprecian detalles michellianos y las lneas generales del diseo, no se consigue igual definicin; en lenguaje corriente: laformageneral es "satisfectoria", pero abundan las imperfecciones locales. Esta situacin es bien conocida en la produccin de acero o en la "produccin" de soluciones para el problema del viajante de comercio: el recocido simulado identifica con precisin suficiente la regin del ptimo, pero no el propio ptimo. El avance del recocido hacia la solucin de Michell puede ilustrarse con una serie de soluciones candidatas separadas por una decena de ciclos y que, en consecuencia, corresponden a temperaturas progresivamente ms bajas, (Fig. 16). Si se considera la serie completa, resulta notable que la "primera decisin" sea disminuir la esbeltez de la estructura, es decir, la proporcin entre el alto y el ancho de la cercha, tal y como se ve en la segunda fila de la lmina (con temperaturas todava altas). Despus se ajusta el ngulo que forman las barras en los apoyos en la cercana de un ngulo recto (en la tercera fila), ms tarde se "decide" que la solucin debe ser simtrica respecto al eje horizontal (cuarta fila), y finalmente se van afinando los detalles geomtricos. Se trata, desde luego, de una forma metafrica de hablar: el algoritmo no toma ms decisin que aceptar o rechazar cada nueva configuracin, y aun sta es una decisin escrita en el programa por quin lo redact. En cualquier caso, esta secuencia en la toma de "decisiones", de mayor a menor importancia, ha sido ya destacada por otros investigadores en relacin al recocido de muy diversos problemas (Press et alii, 1988:346-351).

F/2 V

F/2
F/\ F/A F/A F/A

V I A
A

D 1} 0
A

F/2

F/2

F/2

F/2

F}'2

Fig. 14.- Tres problemas de flexin simple: Se trata de problemas de Maxwell segn la nomenclatura de CTrvera (1989), denominados, de izquierda a derecha, MlM2yM4. En el problema de la izquierda la solucin ptima sigue el trasudo generador indicado: para construirla hay quedibujar infinitos radios desde el punto de aplicacin dla accin F hasta los dos arcos de crculo. (c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc)

http://informesdelaconstruccion.revistas.csic.es

65 Informes de la Construccin, Vol. 46 n." 436, marzo/abril 1995

5.2

1.29126

0.933375

0.821029

0.927545

0.814416

0.818566
Fig. 15.- Soluciones estrictas enflexin simple. De arriba abajo: soluciones iniciales basadas en el "cuchillo espaol"; soluciones mejores de las series M = 15,M= 30 (slo para dos y cuatro cargas) y M = 45 (slo para cuatro cargas). De izquierda a derecha: problemas MI, M2 j ' M4. En el caso df una carga se dibuja a trazos el trazado principal de la solucin de Michell. El volumen estructural, que figura al lado de cada diseo, es adimensional, y debe multiplicarse porFL, siendo L la distancia entre apoyos. El espesor de las barras es proporcional al valor absoluto de la solicitacin que soportan.

Hasta ahora las soluciones son tericas, en la medida en que se considera a la traccin y a la compresin fenmenos equivalentes, y a que se admite que se podr disponer en cada barra exactamente la mnima cantidad de material necesaria para cada forma. En la prctica, como se sabe, nada de esto es cierto: las barras comprimidas fallan con menor tensin que las traccionadas debido a fenmenos de inestabilidad, y para construir la cercha slo se cuenta en general con catlogos limitados de perfiles. Cuando estos dos aspectos se tienen en cuenta, el recocido opera del mismo modo, mostrando formas que probablemente no son significativamente mejorables Fig. 17 y que se apartan, en ocasiones de manera notable, de las formas ptimas ms tericas Fig. 18. Para L = 2 m, la penalizacin por elemento mnimo tiene consecuencias evidentes: el nmero de barras es pequeo; en ocasiones, para conseguir convertir el mecanismo terico en una cercha isosttica es preferible una subestructura "rgida" a una diagonal (lo que ocurre en ambas soluciones
(c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc)

para M2, diagonal AB en la Fig. 17); la penalizacin es tanto peor cuanto ms subdividida est la carga total (as M4 exige ms volumen que M2, al revs que en el caso terico); salvo en las soluciones a MI, toda referencia visual a las soluciones michellianas desaparece. Resulta notable el hecho de que, ahora, parece existir un mnimo absoluto para M4, al revs que en el caso terico de la Fig. 15 .Por el contrario, el espacio de M2 contiene al menos dos mnimos cwas/ptimos. La penalizacin (entre pandeo y elemento ninimo) respecto al volumen estructural terico se sita entre 1,34 y 2,13. En el caso L = 16 m (Fig. 18), la esbeltez aumentara en ocho para cada barra si las soluciones aumentaran simplemente de tamao; esto desplaza totalmente el ptimo, de manera que el aspecto visual no rememora el michelhano ni el de las soluciones pequeas. La forma de los diseos puede explicarse sin dificultad: el cordn superior (comprimido) se subdivide por varios tirSites traccionados que distribuyen la carga a la vez que reducen su longitud
http://informesdelaconstruccion.revistas.csic.es

Informes de la Construccin, Vol. 46 n." 436, marzo/abril 1995

W = 5.2

4.28669

2.36344 "7"

12.1958 3.60013

1.96669

1.83867

1.3985

1.38302

1.32523

1.30803

1.30047

1.29592

1.29365

Fig. 16.- Avance del recocido hacia la solucin de Michell.

de pandeo (Ml y M2). El cordn inferior (traccionado) puede ser tan largo como sea preciso. En la solucin MI, para asegurar el isostatismo de la cercha, se prefiere una subestructura "rgida"fi-entea la simple triangulacin de alguno de los cuadrilteros inferiores. En la prctica corriente, este amasijo de pequeas piezas se sustituir por una pieza, tal y como un perfil IPE de los utilizados como vigas; de esta manera, la solucin sugiere que el espacio de bsqueda quizs debe ampliarse a las estructuras hiperestticas en las que los nudos se modelan como "rgidos" y no como articulaciones. Este es tambin el caso en la solucin a M4, aunque aqu las dos formas (subestructura rgida o triangulacin) estn presentes de forma simultnea, una en la mitad izquierda y la otra en la derecha. Diseando manualmente y procediendo por simetra, no se consigui un diseo "homogneo" quefieramejor; la situacin es, tal parece, como si ambas mitades se "ayudaran" mutuamente afin de ajustarse mejor al catlogo. Lapenalizacin (entre pandeo

y elemento mnimo) respecto al volumen estructural terico se sita entre 2 y 3. Otra conclusin que resulta ahora obvia se refiere a la simetra. Desde que se abandona el universo terico del dimensionado sin catlogo, las reglas del tipo "si las cargas son simtricas,las soluciones deben serlo" no son de aplicabilidad general. Esto se debe a la asimtrica barra que, en la solucin de Michell, debe disponerse para asegurar el isostatismo. Puesto que el dimensionado ahora no es estricto, en esa barra (o en la parte de la cercha con idntica funcin) hay que gastar un mnimo de material debido al elemento mnimo del catlogo. Si esa cantidad es importante, lo mejor es, al parecer, variar la forma para que al menos no se desperdicie intilmente. En todo caso resulta palpable que el volumen estructural no siempre captura las propiedades que se aprecian en los diseos viables (y realmente construidos) considerados como mejores^.

2. Ntese aqu que, al menos en nuestro pas y sin entrar en mucho detalle, el volumen estructural es la medida usada en la prcti(^ corriente para los diseos en acero laminado; esto es debido a que el precio de tales estructuras se tasa mediante un precio por unidad de masa, siendo sta, deievo, proporcional al peso, al volumen, o al volumen estructural. En consecuencia, en este caso, el precio resultar tan "ingenuo" como pueda serlo el volumen; y, al revs, cualquier correccin menor que se introduzca en aqul puede aplicarse a ste. (c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc)

http://informesdelaconstruccion.revistas.csic.es

67 Informes de la Construccin, Vol. 46 n." 436, inarzo/abril 1995

5967.56

6023.87

6146.8

^ ^ ^ KV^"
3441.82 3354.39 3478.78

\n::y ^3^
3348.51 3476.65

^s^
3479.62 Fig.l 7.- Soluciones para L = 2m y tubo hueco: La ordenacin de los diseos es la misma que en lafiguralS. El volumen estructural figura en kN mm. Las barras se dimensionan con tubos redondos huecos espaoles y se comprueban segn la norma MV, considerando un acero A42b. Para F se eligi el valor de 100 kN. 114580 115030 116014

37448.4

43556.1

37460

Fig.l 8.- Soluciones para L = 16 m y tubo hueco : Las soluciones, aunque dibujadas a I mismo tamao en el papel, son " oho" veces ms grandes que las anteriores. Arriba: soluciones iniciales. Centro: soluciones mejores. Abajo: detalle a tamao doble de las zonas que aseguran el isotatismo de las soluciones para MI yM4. Los convenios son los mismos que en la figura anterior. (c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc)

http://informesdelaconstruccion.revistas.csic.es

68 Informes de la Construccin, Vol. 46 n." 436, marzo/abril 1995

5. Conclusin Los resultados mostrados hasta aqu son slo una pequea parte de los obtenidos mediante recocido hasta la fecha (vanse ms ejemplos en Vzquez, 1994). Los problemas abordados son muy distintos entre s y constituyen un amplio abanico del tipo de problemas de la teora de estructuras. Resulta notable que en todos ellos el mismo algoritmo (con la excepcin de los generadores de cambios al azar y de laftincin objetivo) alcance aobtener soluciones cwosz ptimas. Cabe decir que, en general, los problemas estudiados, tal y como laoptimacin de cerchas, presentan una caracterstica nueva para el algoritmo de recocido: la heterogeneidad de los parmetros que definen lafimcinque se desea optimar. Tanto en el problema del viajante como en las simulaciones termodinmicas, los parmetros que definen una configuracin son usualmente homogneos aunque numerosos, y diseada una transformacin para uno de ellos, vale para todos los dems. En los problemas de la teora de estructuras, por el contrario, distintas clases de parmetros intervienen en la definicin de la energa o de la funcin objetivo pertinente. En consecuencia, hay que disear un generador especfico para cada categora de variables y, tambin, decidir la frecuencia relativa con que debe usarse cada generador particular. Lo cierto es que la heurstica de cada problema ha sugerido en cada ocasin reglas de sentido comn para ello, y el algoritmo de recocido ha fincionado esencialmente bien siempre. En conclusin, como reza el ttulo de estas lneas, se cuenta desde ahora con un nuevo algoritmo para resolver aproximadamente problemas de optimacin en la teora de estructuras. Antes de acabar, quisiera llamar la atencin sobre dos conclusiones laterales, sugerdas por los resultados obtenidos mediante "el primer uso" del algoritmo, y muy relacionadas con su uso fituro. Como coment al principio, en problemas termodinmicos se usa el recocido simulado, y otras tcnicas afines, para probar si las inciones matemticas elegidas representan bien los fenmenos reales, mientras que cuestiones tales como cul sea la configuracin estable fundamental de un cierto sistema se estudian mejor mediante el mtodo experimental. En teora de estructuras el acento suele ser el contrario: por ello, suponiendo que ciertas funciones matemticas representan bien los objetivos perseguidos, el recocido se us para alcanzar stos. Sin embargo, los resultados muestran que algunas son fimciones ingenuas, y las formas ptimas obtenidas, aunque correctas desde un punto de vista matemtico, no son las que esperaramos encontrar o las que un diseador experto proyectara (Fig. 2). Aqu el problema no es tanto optimar una fincin sino, ms bien.
(c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc)

encontrar la funcin matemtica que represente fielmente los objetivos del diseo, que en actividades como la ingeniera y la arquitectura no siempre pueden explicitarse, mucho menos darles forma algebraica. Debido a la universalidad y simplicidad del algoritmo de recocido, cabe esperar que, mediante su uso, algunos investigadores en optimacin de estructuras se animen a poner el acento sobre el diseo de inciones (y quizs en enjuiciar los objetivos perseguidos), equihbrando un balance que actualmente est muy inclinado a favor de los mtodos puramente matemticos para optimarlas. Una vez pueda comprobarse mediante el algoritmo de recocido (u otros de iguales caractersticas) la adecuacin de una funcin a un propsito concreto (y el merecimiento de este ltimo), valdr la pena, obviamente, considerar sus particulares caractersticas e investigar un algoritmo heurstico para su explotacin prctica. El segundo aspecto que me gustara comentar tiene que ver con la relativa utilidad de los algoritmos. Lo importante aqu es subrayar como el anlisis heurstico construye propiedades sintticas de mucho inters, all donde un algoritmo automtico robusto (como el recocido) slo muestra un resultado final desprovisto de propsito (Fig. 2, abajo a la derecha). En la serie que ilustra como el recocido determina la solucin de Michell (Fig. 16), reconocemos una cierta jerarqua de decisiones. Pero esto es gracias a que lateorade diseode estructuras -bien ilustradaen manuales como el de Cervera (1993) anteriormente citado- ha determinado previamente las propiedades sintticas que debe exhibir la solucin ptima. Con esta teora hemos aprendido a "mirar". Un diseador experimentado puede usar estas propiedades para obtener excelentes aproximaciones o, cuando otros objetivos as lo exijan, predecir cunto se apartar su diseo del ptimo terico. Y, por supuesto, sin necesitar poderosas mquinas para ello. Sin embargo, lminas semejantes a laFig. 16 para problemas nuevos o inexplorados quiz puedan sugerir a la teora de diseo qu propiedades sintticas deben investigarse y su importancia relativa. Pero ser la teora de diseo de estructuras quienfecihtaral diseador las reglas heursticas para un frtil y rpido proyecto. No un algoritmo.

REFERENCIAS

AROCA, RICARDO. (1994). "Conversacin personal". ATREKE. ETALIL R H. GALTAGHER, K. M. RAGSDELL Y O. C. ZIENKJEWICZ. (1984). *^ew Directions in Optimun Structural Design". Chichester: John Wiley et Sons. CANDELA, FLIX. (1985). "En defeflSa del formaUsmo y otros escritos", s. 1.: Xarait Ediciones.
http://informesdelaconstruccion.revistas.csic.es

69 Informes de la Construccin, Vol. 46 n." 436, marzo/abril 1995

CERVERA, JAIME. (1989) "Tres teoremas fundamentales de la teora del diseo de estructuras". Informes de la Construccin, V.40, n 399, pp. 57-66. CERVRA, JAIME. (1993). "Diseo de estructuras en edificacin". Madrid: Instituto Juan de Herrera & Departamento de Estructuras de Edificacin (ETSAM). CROSS, HARDY. (1936) "The relation of analysis to structural design" Trans. Am. Soc. Civil Eng.n 62, pp. 1.3631.408. GAREY, MICHAEL R. ET JOHNSON, DAVID S. (1979) "Computers and Intractability". New York: Freeman. HAJEK,B. (1988). "Cooling Schedules for Optimal Annealing". Math. Oper. Res. vol. 13, pp. 311-329. HANSON, DIRK. (1982). "The New Alchemists", s.d., versin castellana de Paloma Villegas,"Los nuevos alquimistas"Silicon Valley y la revolucin microelectrnica, Barcelona: Planeta, (1984). KIRKPATRICK, ^COTYETALIL CD. GELATT Y MARIO P. VECCm. (1983). "Optimization by Simulated Annealing" Science, vol. 220, n 4.598, pp. 671-680. LIN, S.^rB. W. KERNIGHAN. (1973). "An Effective Heuristic Algorithm for the Traveling-Salesman Problem", Operations Research, n 21, pp 498-516. METROPOLIS, NICHOLAS ET ALU: ARIANNA W. Y MARSHALL N. ROSENBLUTH; Y AUGUSTA H. TELLER.

(1953). "Equation of State Calculations by Fast Computing Machines", The Journal of Chemical Physics, vol. 21, n6, pp. 1.087-1.092. MICHELL, A.G.M. (1904). "The limits ofEconomy ofMaterial in Frame-structures", Philosophical Magazine, S. 6, vol. 8, n 47. MIGUEL, JOSE LUIS DE. (1974). "Trabajo estructural. Un nuevo escalar de las estructuras", Madrid: Escuela Tcnica Siq)erior de Arquitectura, tesis doctoral. PRESS, VmiAAM. H. ET ALU: BIOAN P. FLANNERY, SAUL A. TEUKOLSKY, Y WILLL\M T. VETTERLING (1988). "Numerical Recipes in C. The Art of Scientific Computing", Cambridge: Cambridge University Press. QUINTAS, VALENTIN. (1992). "Sobre las formas de mnimo volumen de las celosas de seccin constante". Informes de la construccin, vol. 43, n 418, pp. 6177. SCHRDINGER, ERWIN. (1944). "What is life? "se cita la reimpresin conjunta con Mind and Matter", London: Cambridge University Press, 1967. VANDERPLAATS, G.N. (1984). 'numerical Methods for Shape Optimization: An Assessment ofthe State ofthe Art" en ARTEK et alii, 1984:89-103. VZQUEZ, MAIOANO. (1994). "Recocido simulado: unnuevo algoritmo para la optimacin de estructuras", Madrid: Universidad Politcnica, tesis doctoral, AA 94/95.

Publicacin del Instituto Eduardo Torroja-CSIC

historia del puente en Espaa

pueniLS rOfStras

historia del puente en Espaa

puentes romanos
Carlos Fernndez Casado
Prof. Dr. Ing. de Caminos, Canales y Puertos
Se han reunido en esta publicacin doce articulos que fueron apareciendo durante 25 aos en la Revista Informes de la Construccin, a partir del mes de marzo de 1955. El propsito era mucho ms ambicioso pues se trataba de hacer una Historia del puente en Espaa, pero hasta el momento actual slo se ha revisado la poca romana, si bien el autor tiene la intencin de prolongar la historia hasta cuando sus aos de vida le den tugar.

Unos apndices aadidos a los doce articulos originales informan sobre las variaciones experimentadas por algunos puentes ms importantes c o m o la del traslado de las ruinas mejor conservadas del puente de Alcontar, que corri el peligro de quedar sumergido en el embalse de Alcntara, y la reparacin de la cimentacin de una de las pilas centrales del puente de este mismo nombre que fue detectada, al quedar durante unos das cortado el curso del Tajo, para realizar el montaje de los desages de f o n d o correspondientes a la presa del citado embalse. Un volumen encuadernado en cuch, a dos colores, de 21 x 27,5 c m , compuesto de 554 pginas, 105 grabados, 14 dibujos, 753 fotos blanco y negro, 24 fotos color y 110 dibujos de lnea. .^^ Madrid, T981.

(c) Consejo Superior de Investigaciones Cientficas Licencia Creative Commons 3.0 Espaa (by-nc)

http://informesdelaconstruccion.revistas.csic.es