Hoy en día, la complejidad de los sistemas software y la gran relevancia que han adquirido los requisitos no funcionales son retos que han de abordarse durante el proceso de desarrollo software. En los últimos años, estas propiedades han provocado un gran incremento en el tiempo y el personal necesario para llevar a cabo los procesos de desarrollo y mantenimiento del software. Por ello, existe un gran interés en mejorar dichos procesos. Esta tesis presenta un nuevo enfoque de desarrollo para sistemas software complejos. Dicho enfoque, llamado PRISMA, da soporte a estos nuevos retos y permite satisfacer la elevada competitividad del mercado. El enfoque PRISMA se ha materializado en un marco de trabajo formado por un modelo, un lenguaje, una metodología y un prototipo de herramienta CASE (Computer-Aided Software Engineering). El modelo de PRISMA combina dos aproximaciones para definir arquitecturas software: el Desarrollo de Software Basado en Componentes (DSBC) y el Desarrollo de Software Orientado a Aspectos (DSOA). Las principales aportaciones del modelo es la manera en la que integra ambas aproximaciones para obtener sus ventajas y su lenguaje formal. PRISMA tiene en cuenta los requisitos no funcionales desde las primeras etapas del ciclo de vida software y mejora su reutilización y el mantenimiento. Todo ello gracias a la descomposición que realiza de los sistemas software utilizando dos conceptos diferentes: aspectos y elementos arquitectónicos (componentes y conectores). PRISMA proporciona un Lenguaje de Descripción de Arquitecturas Orientado a Aspectos (LDAOA) formal para la especificación de arquitecturas software orientadas a aspectos. El LDAOA de PRISMA es independiente de cualquier tecnología y está basado en lenguajes formales para evitar la ambigüedad y poder aplicar técnicas de generación automática de código. La metodología de PRISMA apuesta por el desarrollo de software siguiendo el Paradigma de la Prototipación Automática mediante la aplicación del e / Pérez Benedí, J. (2006). Prisma: aspect-oriented software architectures [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1928 / 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

El objetivo de esta memoria se centra en primer lugar en la modelización del comportamiento de enfermedades estacionales mediante sistemas de ecuaciones diferenciales y en el estudio de las propiedades dinámicas tales como positividad, periocidad, estabilidad de las soluciones analíticas y la construcción de esquemas numéricos para las aproximaciones de las soluciones numéricas de sistemas de ecuaciones diferenciales de primer orden no lineales, los cuales modelan el comportamiento de enfermedades infecciosas estacionales tales como la transmisión del virus Respiratory Syncytial Virus (RSV). Se generalizan dos modelos matemáticos de enfermedades estacionales y se demuestran que tiene soluciones periódicas usando un Teorema de Coincidencia de Jean Mawhin. Para corroborar los resultados analíticos, se desarrollan esquemas numéricos usando las técnicas de diferencias finitas no estándar desarrolladas por Ronald Michens y el método de la transformada diferencial, los cuales permiten reproducir el comportamiento dinámico de las soluciones analíticas, tales como positividad y periocidad. Finalmente, las simulaciones numéricas se realizan usando los esquemas implementados y parámetros deducidos de datos clínicos De La Región de Valencia de personas infectadas con el virus RSV. Se confrontan con las que arrojan los métodos de Euler, Runge Kutta y la rutina de ODE45 de Matlab, verificándose mejores aproximaciones para tamaños de paso mayor a los que usan normalmente estos esquemas tradicionales. / Arenas Tawil, AJ. (2009). Mathematical modelling of virus RSV: qualitative properties, numerical solutions and validation for the case of the region of Valencia [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8316 / 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