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 no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1905 / Palancia

Los límites proyectivos de límites inductivos de espacios de Banach, también llamados espacios (PLB), surgen de forma natural en el análisis matemático. En esta tesis estudiamos espacios (PLB), cuyos bloques de construcción son espacios de Banach de funciones holomorfas definidas por normas supremo ponderadas. El estudio de estos espacios extiende la investigación de Agethen, Bierstedt, Bonet quienes han considerado recientemente espacios (PLB) ponderados de funciones continuas. Desde otra perspectiva, extiende la investigación de límites inductivos ponderados de espacios de Banach de funciones holomorfas, los cuales han sido analizados intensamente por varios autores los últimos años. Nuestro propósito es estudiar las propiedades localmente convexas de los espacios descritos arriba. En particular, investigamos cuando son ultrabornológicos o tonelados. Además, investigamos bajo qué circunstancias se pueden intercambiar el límite proyectivo y el inductivo y por lo tanto el espacio (PLB) coincide con el límite inductivo de espacios de Fréchet definidos por la misma sucesión; espacios de este último tipo has sido investigados por Bierstedt, Bonet. Probamos condiciones necesarias para las propiedades de los espacios antes mencionadas bajo hipótesis muy poco restrictivas. En cuanto a condiciones suficientes usamos métodos homológicos, cuya exploración fue iniciada por Palamodov al final de los sesenta y continuada por Vogt, Wengenroth y otros a lo largo de los últimos 40 años. Presentamos también un criterio para decidir si los espacios son tonelados adaptado a estas situaciones. No obstante, parece ser inevitable descomponer funciones holomorfas para probar cualquier resultado relativo a a las condiciones suficientes. Por lo tanto introducimos varios contextos en los cuales lo último es posible, dentro de estos contextos conseguimos la descomposición de diferentes formas; es decir, por descomposición de polinomios (en el disco y en el espacio), un método conectado con la teoría de proyecciones de Bergman, dos tipos de representaciones del espacio de sucesiones y el método de Hörmander. Bajo algunas hipótesis adicionales (satisfechas, como mostramos, por muchos ejemplos) damos en casi todos los contextos mencionados anteriormente unas caracterizaciones completas de cuándo el espacio es ultrabornológico, cuándo es tonelado y cuándo los límites inductivo y projectivo son intercambiables. Para finalizar nuestra investigación de espacios (PLB) ponderados, presentamos dos resultados que muestran que espacios de este tipo se pueden escribir en algunos casos como el producto tensorial de un espacio de Fréchet y un espacio (DF). El segundo resultado acerca de representaciones de productos tensoriales muestra que algunos espacios de ultradistribuciones (introducidos recientemente por Schmets y Valdivia) resultan ser espacios-(PLB) ponderados de funciones holomorfas. / Wegner, S. (2010). Projective limits of weighted (LB) - spaces of holomorphic functions [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8480 / Palancia

La evaluación parcial dirigida por narrowing (NPE: Narrowing-driven Partial Evaluation) es una técnica potente para la especialización de sistemas de reescritura, i.e., para el componente de primer orden de muchos lenguajes declarativos (lógico) funcionales como Haskell, Curry o Toy. Los evaluadores parciales se clasifican en dos grandes categorías: online y offline, de acuerdo al momento temporal en que se consideran los aspectos de terminación del proceso de especialización. Los evaluadores parciales online son usualmente más precisos ya que tienen más información disponible. Los evaluadores parciales offline proceden comúnmente en dos etapas; la primera etapa procesa un programa (e.g., para identificar aquellas llamadas a función que se pueden desplegar sin riesgo de no terminación) e incluye anotaciones para guiar las computaciones parciales; entonces, una segunda etapa, la de evaluación parcial propiamente dicha, sólo tiene que obedecer las anotaciones y por tanto el especializador es mucho más rápido que en la aproximación online. En esta tesis se presenta un nuevo esquema de evaluación parcial dirigido por narrowing, más eficiente y que asegura la terminación siguiendo el estilo offline. Para ello, identificamos una caracterización de programas cuasi-terminantes a los que llamamos "no crecientes". En tales programas, las computaciones por narrowing necesario presentan sólo un conjunto finito de términos diferentes (módulo renombramiento de variables). La propiedad de la cuasi-terminación es importante toda vez que su presencia es regularmente una condición suficiente para la terminación del proceso de especialización. Sin embargo, la clase de programas cuasi-terminantes es muy restrictiva, por lo que introducimos un algoritmo que acepta programas inductivamente secuenciales---una clase mucho más amplia sobre la que está definido el narrowing necesario---y anota aquellas partes que violan la caracterización de programas no crecientes. Para procesar de mane / Ramos Díaz, JG. (2007). Una aproximación offline a la evaluación parcial dirigida por narrowing [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1888 / Palancia

Hoy en día el tamaño del software es utilizado en la gestión y control de producción como uno de los parámetros esenciales de los modelos de estimación que contribuyen a la calidad de los proyectos de software y productos entregables. Aunque la importancia de la medición temprana del tamaño es evidente, actualmente esta medición es solamente alcanzada en fases tardías del ciclo de vida del software (análisis, diseño e implementación). El tamaño de software puede ser cuantificado usando diferentes técnicas, como las líneas de código y los métodos de medición de tamaño funcional. Un método de medición de tamaño funcional mide el tamaño del software cuantificando los requisitos funcionales. El método Análisis de Puntos de Función (FPA) es el método mayormente utilizado. Este método fue desarrollado para medir Sistemas de Información de Gestión desarrollados con metodos tradicionales. Aunque IFPUG FPA ha ido alcanzado mayor popularidad en la industria, este método carece de aplicabilidad a todo tipo de software y a nuevos paradigmas de desarrollo. Para direccionar estas debilidades, COSMIC-FFP ha surgido como un método de segunda generación y ha sido probado como un estandar internacional (ISO/IEC 19761). Sin embargo, la generalidad de COSMIC-FFP requiere ser instanciado por medio de un procedimiento más específico y sistemático en conjunción con un método de desarrollo de software. / Condori Fernández, ON. (2007). Un procedimiento de medición de tamaño funcional para especificaciones de requisitos [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1998 / Palancia

Capítulo 1. Después de estudiar algunos preliminares sobre familias adecuadas de conjuntos, formulamos y probamos algunas equivalencias, cada una de ellas son una condición suficiente para que la familia defina un conjunto compacto de Gul'ko. Damos una caracterización de conjunto compacto de Gul'ko en términos de emparejamiento con un conjunto $\mathcal{K}$-analítico. Capítulo 2. Estudiamos propiedades de los espacios de Banach débilmente Lindelöf determinados no-separables. Damos una caracterización por medio de la existencia de un generador proyeccional full sobre él. Estudiamos algunos aspectos sobre sistemas biortogonales en espacios de Banach. Usando técnicas de resoluciones proyeccionales de la identidad, probamos una extensión de un resultado de Argyros y Mercourakis. Capítulo 3. En el espacio $(c_0(\Gamma),\|\cdot\|_\infty)$, con $\Gamma\in\mathbb{R}$, damos una norma equivalente estrictamente convexa. Capítulo 4. Consideramos una caracterización de los subespacios de espacios de Banach débilmente compactamente generados, en términos de una propiedad de cubrimiento de la bola unidad por medio de conjuntos $\epsilon$-débilmente compactos. Reemplazamos este concepto por otro más preciso que llamamos $\epsilon$-débilmente auto-compactos, este concepto permite una mejor descripción. Capítulo 5. Damos condiciones intrínsecas, necesarias y suficientes para que un espacio de Banach sea generado por $c_0(\Gamma)$ o $\ell_p(\Gamma)$ para $p\in(1,+\infty)$. Ofrecemos una nueva demostración de un resultado de Rosenthal, sobre operadores de $c_0(\Gamma)$ en un espacio de Banach. / González Correa, AL. (2008). Compacta in Banach spaces [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8312 / Palancia

En la presente Tesis se utilizan las herramientas de la teoría de grupos discretos, de la física del estado sólido y de la dinámica no lineal para estudiar los nuevos fenómenos que se pueden obtener al combinar la periodicidad y la no linealidad para controlar el comportamiento de la luz. Los modelos matemáticos obtenidos consisten en ecuaciones diferenciales no lineales en derivadas parciales tipo Schrödinger que presentan variaciones periódicas en la parte lineal y no lineal. En los sistemas con simetría rotacional discreta el estudio de estos modelos se ha centrado en el concepto clave de pseudomomento angular mientras que en los sistemas periódicos se ha explotado la analogía conlos sistemas estudiados en la física del estado sólido. Adicionalmente, se han desarrollado métodos de resolución numérica capaces de simular la propagación electromagnética en sistemas no lineales periódicosbidimensionales. Además se han simulado anipulaciones de propiedades de la luz que sirvan como base a dispositivos micrométricos pasivos (como memorias netamente ópticas) o activos (capaces de realizar operaciones booleanas) basadas en estructuras solitónicas sobre las que se pueden definir propiedades y dinámica magnética. El objetivo último es la simulación de dispositivos capaces de ser fabricados experimentalmente. / García March, MÁ. (2008). Modelización y simulación de dispositivos micrométricos basados en estructuras espaciales de solitones ópticos [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2011 / Palancia