Resumen de Formalización y evaluación de métodos de optimización para síntesis de imágenes
Jorge Revelles Moreno 
En el campo de la informática gráfica, la síntesis de imágenes constituye una de las principales líneas de investigación debido, en gran parte, por la influencia de publicaciones existentes y por lo trabajos que se han desarrollado y que, hoy día, se siguen desarrollando a través de la gran multitud de proyectos de investigación, El principal problema de este ámbito y dentro de los algoritmos que basan la obtención de la imagen resultante mediante estrategias de "ray casting" o lanzamiento de rayos, es el alto costo de computación y de tiempo de acuerdo a las actuales configuraciones hardware disponibles. Ese costo computacional es debido al proceso de test de interseccion rayo-escena.
Hasta ahora, la solución que se emplea para reducir al máximo este costo es la del uso de una representación espacial aplicada en el espacio de los objetos que componen una escena, aunque también se puede aplicar al espacio de los rayos (En nuestro trabajo nos centramos única y exclusivamente en el primer caso). Una representación espacila está formada por un conjunto finito de objetos a los que se le vana a exigir dos cualidades fundamentales:
disponer de un test de intersección rayo-objeto muy simple y conocer los objetos de la escena que están total o parcialmente incluidos en él.
En esta memoria de tesis doctoral se presenta una formalización de las técnicas existentes apra acelerar este proceso teniendo en cuenta estrategias de optimización mediante el uso de un representación espacial en el espacio de los objetos, apartir del comportamietyno de un optimziador cualquiera, que también se propone desde un punto de vista formal. A estos se le une la formalización de dos tipos de composiciones de optimizadores (secuencial y paralela) y la formalización de una función que nos determine cómo obtener el optimizador más eficiente para una escena dada.Por medio de este formalismo, se describen las principales estrategias m
