En los últimos años se ha desarrollado una teoría matemática que permite generalizar algunas teorías matemáticas clásicas: hiperespacios, espacios de funciones, topología algebraica, etc. Este hecho viene motivado, en parte, por ciertos problemas de análisis funcional, concentración de medidas, sistemas dinámicos, teoría de las ciencias de la computación, matemática económica, etc. Esta tesis doctoral está dedicada al estudio de algunas de estas generalizaciones desde un punto de vista no simétrico. En la primera parte, estudiamos el conjunto de funciones semi-Lipschitz; mostramos que este conjunto admite una estructura de cono normado. Estudiaremos diversos tipos de completitud (bicompletitud, right k-completitud, D-completitud, etc), y también analizaremos cuando la casi-distancia correspondiente es balanceada. Además presentamos un modelo adecuado para el computo de la complejidad de ciertos algoritmos mediante el uso de normas relativas. Esto se consigue seleccionando un espacio de funciones semi-Lipschitz apropiado. Por otra parte, mostraremos que estos espacios proporcionan un contexto adecuado en el que caracterizar los puntos de mejor aproximación en espacios casi-métricos. El hecho de que varias hipertopologías hayan sido aplicadas con éxito en diversas áreas de Ciencias de la Computación ha contribuido a un considerable aumento del interés en el estudio de los hiperespacios desde un punto de vista no simétrico. Así, en la segunda parte de la tesis, estudiamos algunas condiciones de mejor aproximación en el contexto de hiperespacios casi-métricos. Por otro lado, caracterizamos la completitud de un espacio uniforme usando la completitud de Sieber-Pervin, la de Smyth y la D-completitud de su casi-uniformidad superior de Hausdorff-Bourbaki, definida en los subconjuntos compactos no vacíos. Finalmente, introducimos dos nociones de hiperespacio casi-métrico fuzzy. / Sánchez Álvarez, JM. (2009). Semi-lipschitz functions, best approximation, and fuzzy quasi-metric hyperspaces [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/5769

En el área de la fabricación, la simulación es una herramienta esencial para la validación de métodos y arquitecturas antes de aplicarlos en un Entorno de Fabricación. Las herramientas de simulación actuales llevan a cabo la simulación de entornos de fabricación basándose en modelos estáticos que hacen uso de la programación de procesos de fabricación secuenciales y centralizados tradicionales, donde los mecanismos de planificación y control ofrecen una flexibilidad insuficiente para responder a los estilos de fabricación cambiantes y a los entornos de fabricación altamente mezclados y de bajo volumen. En consecuencia, las herramientas de simulación convencionales limitan la escalabilidad y reconfigurabilidad para el modelado de Sistemas de Fabricación que permitan adaptarlos ante las necesidades cambiantes del Cliente. Resulta difícil encontrar una herramienta de simulación que pueda ejecutar ``inteligentemente'' la simulación de tareas cada vez más complejas. La dificultad radica en integrar en la herramienta el conocimiento necesario del sistema original y que a la vez actúe como un asistente que proporcione consejos y guíe al usuario durante la simulación. Por ello, surge la necesidad de nuevas herramientas de simulación para fábricas que contemplen características tales como: a) flexibilidad y adaptabilidad, para modelar comportamientos complejos propios de un Sistema de Fabricación, b) escalabilidad para la integración transparente de funcionalidades adicionales, c) proactividad y reactividad para la adaptación automática ante los cambios del entorno y d) características de aprendizaje (inteligencia) basado en la experiencia adquirida durante la simulación. Por su parte, las técnicas de Inteligencia Artificial han sido utilizadas en la Fabricación Inteligente por más de dos décadas. Las técnicas del área de Inteligencia Artificial permiten la definición de unidades de fabricación distribuidas, autónomas, inteligentes, flexibles, tolerantes a fallos, reutilizables, las cuales operan como un conjunto de entidades que cooperan entre sí. Además, los recientes desarrollos en el área de los Sistemas Multiagente han traído consigo nuevas e interesantes posibilidades. Algunos investigadores han aplicado la tecnología de agentes en la integración de la fabricación empresarial, la colaboración, la planificación de procesos de fabricación, la programación para el control de planta, el manejo de materiales y la gestión de inventarios, así como la implementación de nuevos tipos de sistemas de fabricación tales como los Sistemas de Fabricación Holónicos. Teniendo en cuenta estas aplicaciones exitosas de los Sistemas Multiagente en la Fabricación Inteligente, estamos convencidos de que esta tecnología puede mejorar también el desempeño de la Simulación de Sistemas de Fabricación Inteligente. En esta tesis proponemos la definición de una Arquitectura para un Entorno de Simulación de Sistemas de Fabricación asistido por agentes. Esta arquitectura integra la funcionalidad de una herramienta de simulación tradicional, permite además la simulación de comportamientos complejos asociados a los Sistemas de Fabricación Inteligentes y proporciona soluciones y mejoras que se adaptan a las necesidades de la nueva era de fabricación. / Ruiz Vega, N. (2009). Simulación asistida por agentes para sistemas de fabricación inteligentes [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8314

En esta memoria se recoge fundamentalmente el estudio, bajo el punto de vista del modelo hiperbólico de transmisión del calor, de un problema de transmisión del calor basado en el procesado de materiales mediante pulsos de láser de alta intensidad y tiempos de aplicación muy cortos. Este tipo de problemas lleva asociado el desarrollo de un riguroso estudio matemático para la ecuación hiperbólica de transmisión del calor que nos permita establecer los fundamentos teóricos para el cálculo de temperaturas desde el punto de vista del modelo hiperbólico de transmisión del calor en diversos problemas de transmisión del calor, incluyendo aquellos en los que las condiciones iniciales y de contorno o las fuentes internas de calor estén dadas por distribuciones irregulares. La base del tratamiento matemático que vamos a desarrollar se encuentra fundamentalmente en el estudio y determinación de la función de Green del problema de Neumann para la ecuación hiperbólica de transmisión del calor. A continuación se recoge también en esta memoria el estudio de la respuesta térmica de dos cuerpos que inicialmente se encuentran a temperaturas diferentes y que a partir del instante inicial se ponen súbitamente en contacto, nuevamente bajo el punto de vista del modelo hiperbólico de transmisión del calor. El problema se resuelve suponiendo dos tipos de contacto entre los cuerpos: contacto directo y contacto con resistencia. / Trujillo Guillen, M. (2005). Función de Green para la ecuación hiperbólica de transmisión del calor [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1905

El objetivo principal de esta tesis doctoral es estudiar el tipo de Arte que hemos denominado "Escultura Matemática", y clasificar ésta de forma tan exhaustiva y completa como sea posible. No existe en la literatura científica ningún estudio que haya conseguido clasificar desde el punto de vista matemático este tipo de escultura. Esto nos llevó a elegir el desarrollo de esta taxonomía como objetivo fundamental de esta investigación. Además, ello le confiere la característica de innovación que se exige a todas las tesis doctorales. Empezamos por investigar de forma general los antecedentes históricos de las relaciones entre las Matemáticas y el Arte, y en particular entre la Escultura y las Matemáticas. Para lograrlo hemos efectuado un análisis histórico sistemático. A continuación y para desarrollar la taxonomía de un conjunto de elementos el primer paso es definir los objetos que se incluyen. Para este fin hemos tenido que definir el término,"Escultura Matemática". Pertenecen a esta tipología todos aquellos trabajos escultóricos en los que en su concepción, diseño, desarrollo o ejecución resulta necesaria la utilización de las Matemáticas. Estas características pueden variar desde las relacionadas con la geometría más sencilla, hasta la geometría no euclidiana o la topología más compleja. Por otro lado, creemos que el mejor criterio para realizar una estructura de la clasificación de la Escultura Matemática será plantear como grupos principales, diferentes áreas de las Matemáticas, y subdividir éstos, a su vez, según los conceptos matemáticos más importantes utilizados en los diferentes tipos de diseño de obras escultóricas. Los grupos principales que hemos establecido son: Escultura Geométrica, Escultura con Conceptos de Cálculo, Escultura con Conceptos de Álgebra, Escultura Topológica y Escultura con Conceptos Matemáticos Varios. El principal interés de esta investigación es ayudar a formalizar el estudio de la Escultura Matemática, lo que creemos que fomenta / Zalaya Baez, R. (2005). Escultura matemática: definición, antecedentes en la historia del arte, desarrollo, perspectivas de evolución y clasificación por conceptos matemáticos [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2661

Nuevas áreas de aplicación como comercio electrónico, aplicaciones para provisión de servicios y computación P2P (peer-to-peer) requieren de sistemas de software complejos que puedan soportar procesos de negocio en línea . Actualmente, los ingenieros de software han descubierto la efectividad de usar técnicas de modelado organizacional para guiar el proceso de producción de este tipo de sistemas complejos. En este contexto, el framework i* es una de las técnicas de modelado organizacional mejor fundamentadas hoy en día. i* se enfoca en dos aspectos principales: a) la representación de las relaciones sociales e intencionales que existen entre la red de actores de un negocio. b) la representación del comportamiento interno requerido para satisfacer las dependencias entre actores. El framework i* permite describir una organización como una red de actores que tienen libertad de acción, pero que dependen de otros actores para lograr sus metas y objetivos. Sin embargo, a pesar de las bien conocidas ventajas de i*, existen ciertos problemas que necesitan ser resueltos para asegurar su efectividad en ambientes reales de desarrollo. En este sentido, el framework necesita ser evaluado en la práctica con el objetivo de identificar sus fortalezas y debilidades en casos de estudio reales. Uno de los objetivos de esta tesis fue realizar una evaluación empírica que nos permitiera identificar y analizar los problemas prácticos de i*. Se presentan las lecciones aprendidas en términos de fortalezas y de puntos débiles que necesitan ser resueltos. Además, la tesis presenta soluciones a los puntos débiles que fueron detectados en la evaluación empírica. Consideramos que la orientación a servicios es un paradigma muy prometedor para enfrentar la complejidad del modelado de sistemas de tecnologías de información actuales. En este sentido, el principal objetivo de esta tesis fue definir una arquitectura orientada a servicios que nos permitiera resolver los problemas de complejidad de i*. / Estrada Esquivel, H. (2008). A service-oriented approach for the i* framework [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/3305

En esta tesis se abordan dos problemas fundamentales relacionados con los estudios de estabilidad y seguridad de reactores nucleares, donde es necesario resolver eficientemente sistemas de ecuaciones lineales dispersos de gran dimensi'on. El primero de ellos est'a relacionado con el problema de los modos Lambda de la ecuaci'on de difusi'on neutr'onica aplicada a un caso de estudio (reactor Ringhals I, tipo agua en ebullici'on o BWR), que constituye un problema de valores propios generalizado. El segundo problema est'a relacionado con la resoluci'on de un sistema de ecuaciones lineales disperso de gran dimensi'on que surge de la discretizaci'on temporal de la ecuaci'on de difusi'on neutr'onica aplicada a otro caso de estudio (reactor Leibstadt, tipo BWR) y que debe resolverse en distintos pasos de tiempo. Para la resoluci'on de los sistemas de ecuaciones lineales dispersos de gran dimensi'on asociados al problema de los modos Lambda, en esta tesis se ha realizado un estudio num'erico del comportamiento secuencial y paralelo de algunos de los m'etodos que resuelven este tipo de problemas, tales como: m'etodos directos, m'etodos iterativos y m'etodos basados en subespacios de Krylov. Para realizar el estudio se han utilizando librer'yas de libre distribuci'on, tanto secuenciales como paralelas. Con los resultados obtenidos, se han identificado aquellos m'etodos y librer'yas que resuelven m'as eficientemente los sistemas lineales para el caso de estudio seleccionado. Para la resoluci'on de los sistemas de ecuaciones lineales dispersos del caso din'amico, en esta tesis se han propuesto m'etodos iterativos multipaso para la aceleraci'on de su resoluci'on, los cuales tambi'en se han implementado secuencial y paralelamente utilizando librer'yas de libre distribuci'on. En la experimentaci'on de estos m'etodos iterativos multipaso propuestos se ha podido comprobar que se ha alcanzado una aceleraci'on considerable y que pueden ser una opci'on apropiada para llevar a cabo simul / Flores Sánchez, O. (2009). Estudio de librerías paralelas de libre distribución y algoritmos paralelos iterativos multipaso para la resolución de sistemas de ecuaciones lineales dispersos. Aplicación a la ecuación de difusión neutrónica [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/4334

La tesis tiene como objetivo principal el estudio de la dualidad vectorial entre los espacios L^{p}(m) y L^{q}(m) de funciones integrables con respecto a una medida vectorial con valores en un espacio de Banach X, con p,q >1 exponentes reales conjugados. La clave de la dualidad es la definición de una forma bilineal Phi:L^{p}(m) x L^{q}(m)' X dada por el operador integración, que a cada par (f, g) en L^{p}(m)\times L^{q}(m) le asocia int_{\Omega}fg dm. Mediante esta forma bilineal se definen dos topologías intermedias para el espacio L^{p}(m). La más débil es la topología m-débil, que corresponde a la topología de la convergencia débil de las integrales. Además de estudiar sus propiedades, se prueba que para p>1 esta topología coincide con la débil del espacio L^{p}(m). La importancia de este resultado radica en que, al no conocerse una representación concreta del dual del espacio L^{p}(m)$, es muy interesante describir la convergencia débil en términos de la convergencia débil de las integrales en el espacio de Banach X. La m-topología corresponde a la convergencia fuerte de las integrales en X, y puede coincidir en casos extremos con la débil y con la fuerte de L^{p}(m). Se estudian sus propiedades, en particular se dan condiciones para asegurar que un subconjunto de L^{p}(m) sea m-compacto. Estas topologías, en particular la m-débil, son útiles para la descripción del predual del espacio L^{p}(m) en términos de productos tensoriales. Esta construcción se describe de forma detalla en el tercer capítulo de la memoria de la tesis. Cabe destacar de éste un resultado que caracteriza aquellos operadores definidos en L^{p}(m) con rango en X que se pueden escribir como una integral. Aunque sin duda el resultado más relevante es el que, bajo cierta hipótesis de compacidad de la bola unidad (equivalente a la reflexividad del espacio L^{p}(m)) ofrece una representación de L^{p}(m) como el dual del producto tensorial de L^{q}(m) y X^{\prime}, dotado de una norma. Este resultado es clave para obtener una generalización de los resultados de dualidad para los espacios clásicos de funciones $p-$integrables. La m-topología permite definir un concepto de sumabilidad en L^{p}(m) basada en la dualidad vectorial, los llamados operadores m-r-sumantes definidos en espacios de funciones integrables con respecto a una medida vectorial, que se estudian en el cuarto capítulo. Esta definición generaliza la sumabilidad clásica. Se estudian las propiedades de estos operadores, y se presentan ejemplos que ponen de manifiesto su interés. En la misma línea que en la teoría clásica, obtenemos teoremas de dominación y de factorización. La última sección de este capítulo está dedicada a la descripción de estos espacios de operadores como el dual de un espacio vectorial, extendiendo así la teoría clásica de Groethendieck, para el caso de operadores definidos en espacios L^{p}(m). En el último capítulo de la memoria, las técnicas de la dualidad vectorial se aplican a los espacios de Orlicz respecto a una medida vectorial, L^{\Phi}(m), que generalizan a los L^{p}(m). Se estudian propiedades de los espacios de Orlicz vectoriales y bajo la condición Delta_{2} para la función de Young, se caracterizan el espacio de multiplicadores entre L^{\Phi}(m) y L^{1}(m). Como una aplicación de estos resultados, se caracterizan aquellos operadores que factorizan a través de un espacio de Orlicz vectorial. / Ferrando Palomares, I. (2009). Duality in spaces of p-integrable functions with respect to a vector measure [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/6242

En esta tesis se estudia el problema de la robustez en los sistemas de reconocimiento automático de texto manuscrito off-line. Los sistemas de reconocimiento automático de texto manuscrito estarán maduros para su uso generalizado, cuando sean capaces de ofrecer a cualquier usuario, sin ningún tipo de preparación o adiestramiento para su utilización, una productividad razonable. Se hace necesario pues, construir sistemas flexibles y robustos en cuanto a la entrada, de tal manera que no se requiera del escritor ningún esfuerzo extra, que no haría si escribiese para ser leído por un humano. La intención del preproceso de la señal es hacer el sistema invariante a fuentes de variabilidad que no ayuden a la clasificación. En la actualidad no hay definida una solución general para conseguir invariabilidad al estilo de escritura, y cada sistema desarrolla la suya ad-hoc. En esta tesis se explorarán diferentes métodos de normalización de la señal de entrada off-line. Para ello se hace un amplio estudio de algoritmos de preproceso, tanto a nivel de toda la imagen: umbralización, reducción del ruido y corrección del desencuadre; como a nivel de texto: slope, slant y normalización del tamaño de los caracteres. Los sistemas dependientes del escritor obtienen mejores tasas de acierto que los independientes del escritor. Por otra parte, los sistemas independientes del escritor tienen más facilidad para reunir muestras de entrenamiento. En esta tesis seestudiará la adaptación de sistemas independientes del escritor para su utilizaciónpor un único escritor, con la intención de que a partir de una pocas muestras producidas por este escritor se mejore la productividad del sistema (para este escritor), o lo que es lo mismo, que éste pueda escribir de manera más relajada sin que el sistema pierda productividad. Los sistemas de reconocimiento de texto manuscrito no están exentos de errores. No sólo interesa saber el número de errores que producirá / Pastor Gadea, M. (2007). Aportaciones al reconocimiento automático de texto manuscrito [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1832

Dentro del marco de los sistemas de comunicaciones de banda ancha podemos encontrar canales modelados como sistemas MIMO (Multiple Input Multiple Output) en el que se utilizan varias antenas en el transmisor (entradas) y varias antenas en el receptor (salidas), o bien sistemas de un solo canal que puede ser modelado como los anteriores (sistemas multi-portadora o multicanal con interferencia entre ellas, sistemas multi-usuario con una o varias antenas por terminal móvil y sistemas de comunicaciones ópticas sobre fibra multimodo). Estos sistemas pretenden alcanzar valores de capacidad de transmisión relativa al ancho de banda muy superiores al de un único canal SISO (Single Input Single Output). Hoy en dÍa, existe, desde un punto de vista de implementación del sistema, una gran actividad investigadora dedicada al desarrollo de algoritmos de codificación, ecualización y detección, muchos de ellos de gran complejidad, que ayuden a aproximarse a las capacidades prometidas. En el aspecto relativo a la detección, las soluciones actuales se pueden clasificar en tres tipos: soluciones subóptimas, ML (Maximum Likelihood) o cuasi-ML e iterativas. En estas ultimas, se hace uso explicito de técnicas de control de errores empleando intercambio de información soft o indecisa entre el detector y el decodificador; en las soluciones ML o cuasi-ML se lleva a cabo una búsqueda en árbol que puede ser optimizada llegando a alcanzar complejidades polinómicas en cierto margen de relación señal-ruido; por ultimo dentro de las soluciones subóptimas destacan las técnicas de forzado de ceros, error cuadrático medio y cancelación sucesiva de interferencias SIC (Succesive Interference Cancellation), esta última con una versión ordenada -OSIC-. Las soluciones subóptimas, aunque no llegan al rendimiento de las ML o cuasi-ML son capaces de proporcionar la solución en tiempo polinómico de manera determinista. En la presente tesis doctoral, hemos implementado un método basado en la literatura para l / Martínez Zaldívar, FJ. (2007). Algoritmos paralelos segmentados para los problemas de mínimos cuadrados recursivos (RLS) y de detección por cancelación ordenada y sucesiva de interferencia (OSIC) [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1873

JAVA Information Retrieval System (JIRS) es un sistema de Recuperación de Información especialmente orientado a tareas de Búsqueda de Respuestas. Los tradicionales motores de búsqueda se basan en las palabras claves de la pregunta para obtener los documentos relevantes a una consulta. JIRS, por el contrario, intenta obtener trozos de texto, es decir pasajes, con mayor probabilidad de contener la respuesta. Para ello realiza una búsqueda basada en los n-gramas de la pregunta -efectuada en lenguaje natural- usando tres posibles modelos. Los modelos de n-gramas desarrollados son independientes del idioma, lo que hace de JIRS un sistema idóneo para trabajar en ambientes multilingües. Por otra parte, JIRS incorpora un potente núcleo que permite una adaptación y escalabilidad sin precedentes en los modernos motores de búsqueda. Desde sus inicios fue diseñado para que fuera una herramienta potente que permitiese adaptarse sin dificultad a muy diferentes funciones. Esto permite ampliar o modificar aspectos de JIRS de forma muy fácil e intuitiva sin que el usuario final tenga que conocer el código desarrollado por otros. Además, permite generar nuevas aplicaciones con una estructura cliente/servidor, distribuida, etc. únicamente modificando el archivo de configuración. Este trabajo presenta el estado del arte de la Recuperación de Información centrándose en la Búsqueda de Respuestas multilingüe, así como una descripción detallada de JIRS junto con sus modelos de búsqueda exponiendo, finalmente, los resultados obtenidos por este sistema en las competiciones del CLEF. / Gómez Soriano, JM. (2007). Recuperación de pasajes multilingües para la búsqueda de respuestas [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1930