CIENCIA DE LOS ORDENADORES (2)

Autor: PEREZ GIMENEZ XAVIER.
Año: 2006.
Universidad: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Centro de lectura: SALA D'ACTES DE L'FME.
Centro de realización: U FACULTAT DE MATEMATIQUES I ESTADISTICA SUD.

Autor: CAMBRONERO PIQUERAS MARIA EMILIA.
Año: 2006.
Universidad: CASTILLA-LA MANCHA [www.uclm.es].
Centro de lectura: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.
Centro de realización: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Resumen: Esta tesis aborda el análisis de diversos sistemas de tiempo real utilizando para ello métodos formales, en concreto, usamos autómatas temporizados para dicho propósito. En primer lugar, se estudia la paralelización del algoritmo de compresión de vídeo MPEG-2, realizando una comparativa entre los resultados obtenidos con las versiones secuencial y paralela, y analizando así, la potencial mejora obtenida con la versión paralela. Por otro lado, en los últimos tiempos Internet ha experimentado un gran cambio, apareciendo nuevos lenguajes y nuevas tecnologías, como XML, el desarrollo basado en componentes, los servicios web, etc. Esto ha derivado en el surgimiento de un nuevo campo en Ingeniería del Software, llamado Ingeniería Web. En esta tesis nos centramos en el estudio de los servicios web, los cuales son uno de los elementos más importantes en el área de los Sistemas de Información Web (WIS), presentamos una metodología para el modelado y verificación de servicios web, así como la herramienta que la implementa. Los servicios web cubren un gran conjunto de sistemas, y se pueden considerar un paso evolutivo en el diseño de aplicaciones distribuidas. La verificación de propiedades en estos sistemas puede ser de gran importancia, ya que algunos negocios dependen de ellos, así como el análisis para dar posibles soluciones a los problemas encontrados. En esta tesis utilizamos métodos formales, que permiten dar una descripción de los sistemas a desarrollar a cualquier nivel de detalle; esta descripción pude ser usada para verificar que los requerimientos de los sistemas en desarrollo han sido especificados de una manera completa y adecuada. En este caso, usamos "model checking" para llevar a cabo el análisis de estos sistemas. Por otro lado, la mayoría de los lenguajes utilizados para implementar estos servicios web están basados en XML, que puede ser muy complicado de utilizar para desarrolladores que no sean expertos en dicho lenguaje. Por ello, en esta tesis hemos presentado una serie de traducciones que nos permiten obtener el código XML para dicho servicio web, relacionando diferentes representaciones del mismo.

Autor: DORRONSORO DÍAZ BERNABÉ.
Año: 2006.
Universidad: MÁLAGA [www.uma.es].
Centro de lectura: E.T.S.I. INFORMÁTICA.
Centro de realización: E.T.S.I. INFORMÁTICA.

Resumen: En esta Tesis se presenta un estudio sobre algoritmos genéticos celulares y su aplicación para resolver problemas complejas. La tesis está organizada en tres partes fundamentales. En la primera parte se da una introducción al campo de los algoritmos evolutivos en general y a los algoritmos genéticos celulares (cGAs) en particular, junto con un complejo estudio y discusión del estado del arte en cGAs. Se propone también en esta primera parte dos nuevos modelos matemáticos para caracterizar el funcionamiento de cualquier cGA en función de la presión de selección, mejorando a los modelos existentes hasta la fecha. Para finalizar esta primera parte. En una segunda parte, se proponen, implementan y evalúan varias nuevas contribuciones al campo de los cGAs, obteniendo en todos los casos mejoras considerables de estos nuevos modelos con respecto a los cGAs canónicos equivalentes. Se presentan en esta tesis nuevos métodos para manejar el equilibrio entre exploración y explotación de los cGAs (como cGAs de población auto-adaptativa y cGAs jerárquicos). Además,, se exporta el modelo celular a otros campos (por ejemplo, proponemos un algoritmo de estimación de distribuciones celular, un algoritmo memético celular, o un CGA multi-objetivo), obteniendo muy buenos resutlados. Finalmente, se proponen dos nuevos modelos paralelos de cGAs muy eficientes. En varios de los estudios realizados en esta tesis se obtienen resultados que mejoran el estado del arte actual. En la tercera parte de la tesis, se aplican algunos de los nuevos algoritmos desarrollados a problemas bien conocidos pertenecientes a los dominios de la optimización discreta y continua, así como a un nuevo problema (definido en esta tesis por primera vez) de elevado interés real. Se muestra cómo los algoritmos desarrollados con altamente competitivos con los algoritmos del estado del arte en los dominios estudiados, incluso mejorándolos en varios caso.