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

La Resonancia Magnética funcional (RMf) es una técnica moderna de neuroimagen que permite la localización de actividad neuronal con una alta resolución espacial. La técnica de RMf emplea los cambios locales de oxigenación en la sangre, reflejados como pequeños cambios en la intensidad en un tipo concreto de imagen de Resonancia Magnética. La habilidad de esta técnica en la detección de cambios en la función en el cerebro sano y enfermo, y la localización de función anormal convierte a la RMf en una técnica ideal para el tratamiento de numerosas enfermedades y lesiones neuronales. Ya se ha aplicado clínicamente en la localización de áreas funcionales afectadas por tumores, pre- y post- operativamente. La esquizofrenia, una vasta enfermedad que se encuentra presente en el uno por cien de la población global, es una dolencia que se ha estudiado recientemente mediante técnicas de neuroimagen funcional, con más de 300 estudios publicados en revistas sobre esquizofrenia y RMf. La comprensión de los sustratos neuronales de la esquizofrenia requiere una determinación precisa de la extensión y la distribución de anormalidades en la función y anatomía cerebrales. Ya que los síntomas tienen una distribución dispersa, se debería emplear una aproximación fenomemológica a esta enfermedad para relacionar anormalidades, síntomas y prognosis con precisión. Los pacientes que tienen principalmente síntomas positivos, tales como alucinaciones auditivas y delirios, pueden tener anomalías cerebrales diferentes a aquellos que tienen síntomas negativos pronunciados. Por tanto, en el presente estudios se ha seleccionado un síntoma positivo, la presencia de alucinaciones auditivas en pacientes esquizofrénicos, como el criterio de selección de un grupo homogéneo de pacientes esquizofrénicos auditivos. Esta tesis presenta la aplicación de la RMf al estudio de la enfermedad de la esquizofrenia. Finalmente, un nuevo método de filtrado de datos de RMf, el NL-means, se ha propuesto y se sugiere su / Lull Noguera, JJ. (2008). Optimizing fMRI analysis in Schizophrenia research: methodology improvements [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/48597 / Palancia

Esta investigación aborda el tema del diseño de algoritmos de inferencia gramatical para lenguajes regulares, particularmente en lo relacionado con la mezcla de estados como elemento fundamental del proceso de inferencia. Se estudia la mezcla de estados en sus variantes determinista y no determinista desde el punto de vista teórico. Como resultado se propone una manera eficiente de realizar la mezcla de estados no determinista y se demuestra que la inferencia gramatical de lenguajes regulares basada en la mezcla de estados (tanto determinista como no determinista) converge en el límite independientemente del orden en que se realizan las mezclas. La demostración es de interés ya que entre otras consecuencias, permite afirmar la convergencia en el límite de la estrategia EDSM (Evidence Driven States Merging) que es ampliamente conocida en la literatura como un heurísico. Dado que la demostración considera también la inferencia de autómatas no deterministas, el resultado abre la puerta al desarrollo de algoritmos convergentes que infieren autómatas no deterministas. El aspecto experimental de esta investigación propone un conjunto de algoritmos de inferencia gramatical para lenguajes regulares, todos ellos convergentes en el límite. Estos algoritmos surgen de aplicar diferentes variantes de mezcla de estados determinista y no determinista; ellos buscan aprovechar la información que se puede obtener a partir de las relaciones de inclusión entre los lenguajes por la derecha asociados a los estados de todo autómata. Se proponen cuatro algoritmos que hacen mezcla determinista y dos que hacen mezcla no determinista de estados. Los resultados obtenidos al comparar estos nuevos algoritmos con algoritmos de referencia como RPNI, red-blue o DeLeTe2 muestran que se logra disminuir significativamente el tamaño de las hipótesis que se producen, al tiempo que se consiguen tasas de reconocimiento comparables o ligeramente inferiores. También se han obtenido algunas mejoras en la co / Álvarez Vargas, GI. (2007). Estudio de la mezcla de estados determinista y no determinista en el diseño de algoritmos para inferencia gramatical de lenguajes regulares [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1957 / Palancia

Las organizaciones resultan ser un medio efectivo para la coordinación de las actividades, no sólo de los humanos sino también de los agentes. Precisamente, en los últimos años el concepto de organización ha adquirido gran relevancia en el área de los sistemas multiagente, al facilitar el análisis y diseño de mecanismos de coordinación y colaboración en sistemas abiertos. Dado que la Teoría de Organización aborda las propiedades de las organizaciones humanas y sus aspectos de diseño, en esta tesis se revisa dicha Teoría para así adoptar de ella ciertos mecanismos y guías que faciliten el diseño de sistemas multiagente complejos basados en organizaciones. Para ello, se han analizado cuáles son los factores principales que determinan las características de las organizaciones y su estructura y que deben ser tenidos cuenta en el diseño de la organización del sistema. Asimismo, se ha realizado un estudio del estado del arte sobre el enfoque dado al concepto de organización, tanto en las principales metodologías de sistemas multiagente como en las plataformas de agente. De este modo, se han determinado sus carencias y necesidades con respecto a la gestión y manejo de las organizaciones. En base a estos estudios, se ha propuesto un Modelo de Organización que permite describir los principales aspectos de las organizaciones: estructura, funcionalidad, normalización, dinamicidad y entorno. Este modelo constituye la primera aportación de esta tesis. Consta de un conjunto de meta-modelos que extienden las propuestas de INGENIAS y ANEMONA, empleando fundamentalmente los conceptos de unidad organizativa, servicio, norma y entorno. Además se ha elaborado un conjunto de patrones de diseño, con los que facilitar el modelado de la estructura de la organización. El Modelo de Organización sirve de apoyo, junto al análisis de la Teoría de Organización, para la adaptación del proceso de diseño de las organizaciones al área de los sistemas multiagente. De esta forma, como segunda y pr / Argente Villaplana, E. (2008). Gormas: Guías para el desarrollo de sistemas multiagente abiertos basados en organizaciones [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2481 / Palancia

A partir de la introducción del modelo de datos multidimensional como formalismo de modelado para Almacenes de Datos (ADs), se han realizado distintas propuestas metodológicas para capturar la estructura del AD a nivel conceptual. Las soluciones propuestas parten de diferentes aspectos de diseño: los requisitos de usuario, el análisis del esquema de la base de datos operacional o una combinación de ambos (técnicas mixtas). Model Driven Architecture (MDA) es un nuevo estándar para el desarrollo de sistemas dirigido por modelos. MDA propone tres puntos de vista: Computation Independent Model (CIM), Platform Independent Model (PIM) and Platform Specific Model (PSM). Esta tesis, se enmarca en el área del diseño de ADs con MDA (una metodología para el diseño conceptual de ADs). Este método, es empleado con una metodología compuesta y consiste de tres fases. La primera fase, esta dedicada a examinar el esquema ER de la base de datos operacional, generando los esquemas multidimensionales candidatos para el AD. La solución a esta fase, se ha abordado en el contexto de MDA para esto, hemos definido un conjunto de reglas de transformación entre el PIM Entidad Relación (ER) y el PIM On-Line Analytical Processing (OLAP). En la segunda fase, los requisitos de usuario son recogidos por medio de entrevistas. El propósito de las entrevistas es obtener información acerca de las necesidades de análisis de los usuarios. Como base para esta fase, adaptamos un método de elicitación de requisitos basado en metas. La tercera fase, contrasta la información obtenida en la segunda fase, con los esquemas multidimensional candidatos formados en la primera fase generando así, la mejor solución (soportada por las bases datos operacionales) que mejor reflejan los requisitos de usuario. / Zepeda Sánchez, LZ. (2008). Metodología para el diseño conceptual de almacenes de datos [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2506 / Palancia

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

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

El filtrado de imágenes es una tarea fundamental para la mayoría de los sistemas de visión por computador cuando las imágenes se usan para análisis automático o, incluso, para inspección humana. De hecho, la presencia de ruido en una imagen puede ser un grave impedimento para las sucesivas tareas de procesamiento de imágenes como, por ejemplo, la detección de bordes o el reconocimiento de patrones u objetos y, por lo tanto, el ruido debe ser reducido. Del mismo modo, el aumento de la resolución y el tamaño de las imágenes nos conduce a requerimientos computacionales más altos, los cuales hemos de intentar rebajar sobre todo para aplicaciones en tiempo real o similares. En los últimos años el interés por utilizar imágenes en color se ha visto incrementado de forma significativa en una gran variedad de aplicaciones. Es por esto que el filtrado de imágenes en color se ha convertido en un área de investigación interesante. Se ha observado ampliamente que las imágenes en color deben ser procesadas teniendo en cuenta la correlación existente entre los distintos canales de color de la imagen. En este sentido, la solución probablemente más conocida y estudiada es el enfoque vectorial. Las primeras soluciones que proponen técnicas de filtrado vectorial, son las conocidas técnicas del filtro de mediana vectorial (VMF) o el filtro direccional vectorial (VDF). Desafortunadamente, estas técnicas no se adaptan a las características locales de la imagen, lo que implica que habitualmente los bordes y detalles de las imágenes se emborronan y pierden calidad. A fin de solventar este problema, se han propuesto recientemente varios filtros vectoriales adaptativos, entre los que destacan las técnicas de peer group. En los últimos años ha aparecido la teoría de los denominados conjuntos fuzzy, borrosos o difusos (lógica, métricas y topologías), que se ha demostrado es una herramienta adecuada para el filtrado de imágenes. En la presente Tesis Doctoral las metas principales son: (i) el es / Camarena Estruch, JG. (2009). Aplicació de mètriques fuzzy en la millora computacional d'algorismes de filtratge d'imatges en color [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/4339 / Palancia

En primer lloc, s'evidencia que el disseny que involucra grafisme es pot analitzar com articulat en dos nivells o etapes, un de concepció, intel·lectual, i un altre d'execució, manual o físic, ambdós sempre en interrelació dialèctica. En segon lloc, es fan aportacions (matemàtiques) a ambdós nivells. Les matemàtiques han estat sempre presents com a vehicle per aquest diàleg, però, a partir del naixement del software gràfic, aquesta col·laboració s'ha actualitzat de manera descompensada (val a dir, descompassada): mentre ha aparegut una nova teoria, el Disseny Geomètric Assistit per Ordinador (CAGD) per donar cobertura matemàtica a la vessant executiva del disseny informatitzat, no s'ha actualitzat el referent matemàtic teòric per guiar la ment en la tasca de concepció per tal de poder explotar totes les noves possibilitats que ofereix la nova eina; aquest referent segueix sent eminentment euclidià.En síntesi, la tesi que es proposa és la de que falta un corpus de teoria matemàtica que permeti al dissenyador codificar la seva creativitat en un format que sigui capaç d'explotar tota la potencialitat de la eina informàtica gràfica, de la mateixa manera que la geometria euclidiana permetia codificar satisfactòriament el disseny que era possible amb el regle i el compàs. Es tracta de concebre explotant la relació que, gràcies als ponts que estableixen els sistemes de coordenades, existeix entre funcions i formes, que es just el que permet a un ordinador "dibuixar" a partir de zeros i uns.D'acord amb això, la introducció s'ocupa de desenvolupar i argumentar aquest punt de vista. Un cop establertes les dues etapes del disseny i argumentada la carència teòrica en el nivell de concepció, s'aporta maquinària matemàtica per ambdues etapes. Així, el cos de la memòria té dues parts. La Part I recull aportacions pel CAGD, és a dir, per la fase d'execució, la més comú en la recerca actual, consistents principalment en nous mètodes de generació de corbes i superfícies a partir de dades de disseny proporcionades per l'usuari. La Part II ofereix una proposta, entre les possibles, de corpus teòric per cobrir el buit que es senyala en la fase de concepció, consistent en una mena de codi o gramàtica matemàtica organitzada en:- Lletres: Les funcions en brut. La seva gràfica és germen de formes.- Paraules: Les funcions modificades amb paràmetres ajustables i formalment significatius.- Verbs: Operadors funcionals que actuen sobre les paraules amb una acció interpretable en termes formals. S'organitzen en sis tipus, segons la manera d'actuar.- Oracions: Les formulacions resultants de la interacció dels elements anteriors, que representen els dissenys finals.Val a dir que es proposa un disseny descompassat, o sigui, sense el compàs, en el sentit de superar la mentalitat ancorada en el regle i el compàs (no eliminant-la sinó incloent-la).S'adjunten exemples en tots els casos. En la Part II els exemples s'enfoquen cap el disseny gràfic (sanefes, textures) i cap l'arquitectònic (estadi de futbol, naus i galeries i una catedral gòtica, tots completament formulats amb funcions matemàtiques paramètriques).Pel seu contingut, es tracta d'una memòria interdisciplinar, ja que afecta com a mínim a la psicologia del disseny, al propi disseny, a la història de l'art, a la informàtica i, evidentment, a les matemàtiques. De totes maneres, les matemàtiques que hi apareixen són tractades amb una mentalitat més de dissenyador o d'enginyer que de matemàtic pur. En altres paraules, no és una tesi de teoremes sinó de "fabricació" de mètodes (matemàtics) per ajudar a desenvolupar una manera més creativa de dur a terme el disseny que involucra grafisme. / En primer lugar, se evidencia que el diseño que involucra grafismo se puede analizar como articulado en dos niveles o etapas, uno de concepción, intelectual, y otro de ejecución, manual o físico, ambos siempre en interrelación dialéctica. En segundo lugar, se hacen aportaciones (matemáticas) a ambos niveles. Las matemáticas han estado siempre presentes como vehículo para este diálogo, pero, a partir del nacimiento del software gráfico, esta colaboración se ha actualizado de manera descompensada (cabe decir desacompasada): mientras ha aparecido una nueva teoría, el Diseño Geométrico Asistido por Ordenador (CAGD) para dar cobertura matemática a la vertiente ejecutiva del diseño informatizado, no se ha actualizado el referente matemático teórico para guiar la mente en la tarea de concepción a fin de poder explotar todas las nuevas posibilidades que ofrece la nueva herramienta; este referente sigue siendo eminentemente euclidiano.En síntesis, la tesis que se propone es la de que falta un corpus de teoría matemática que permita al diseñador codificar su creatividad en un formato que sea capaz de explotar toda la potencialidad de la herramienta informática gráfica, de la misma manera que la geometría euclidiana permitía codificar satisfactoriamente el diseño que era posible con regla y compás. Se trata de concebir explotando la relación que, gracias a los puentes que establecen los sistemas de coordenadas, existe entre funciones y formas, que es precisamente lo que permite a un ordenador "dibujar" a partir de ceros y unos. De acuerdo con esto, la introducción se ocupa de desarrollar y argumentar este punto de vista. Una vez establecidas las dos etapas del diseño y argumentada la carencia teórica en el nivel de concepción, se aporta maquinaria matemática para ambas etapas. Así, el cuerpo de la memoria tiene dos partes. La Parte I recoge aportaciones para el CAGD, es decir, para la fase de ejecución, la más común en la investigación actual, consistentes principalmente en nuevos métodos de generación de curvas y superficies a partir de datos de diseño proporcionados por el usuario. La Parte II ofrece una propuesta, entre las posibles, de corpus teórico para cubrir el vacío que se señala en la fase de concepción, consistente en una especie de código o gramática matemática organizada en:- Letras: Las funciones en bruto. Su gráfica es germen de formas- Palabras: Las funciones modificadas con parámetros ajustables y formalmente significativos.- Verbos: Operadores funcionales que actúan sobre les palabras con una acción interpretable en términos formales. Se organizan en seis tipos, según la manera de actuar.- Oraciones: Las formulaciones resultantes de la interacción de los elementos anteriores, que representan los diseños finalesCabe decir que se propone un diseño desacompasado, o sea, sin el compás, en el sentido de superar la mentalidad anclada en la regla y el compás (no eliminándola sino incluyéndola).Se adjuntan ejemplos en todos los casos. En la Parte II los ejemplos se enfocan hacia el diseño gráfico (cenefas, texturas) y hacia el arquitectónico (estadio de fútbol, naves y galerías y una catedral gótica, todos completamente formulados con funciones matemáticas paramétricas).Por su contenido, se trata de una memoria interdisciplinar, ya que afecta como mínimo a la psicología del diseño, al propio diseño, a la historia del arte, a la informática y, evidentemente, a las matemáticas. De todos modos, las matemáticas que aparecen son tratadas con una mentalidad más de diseñador o de ingeniero que de matemático puro. En otras palabras, no es una tesis de teoremas sino de "fabricación" de métodos (matemáticos) para ayudar a desarrollar una manera más creativa de llevar a cabo el diseño que involucra grafismo. / As a preliminar step, it is shown that the design involving graphics is twofold. It has a level of conception that is intellectual and a level of execution that is manual or physical. Both levels are always in dialectical interrelation. This work contains some (mathematical) contributions made to both levels. Mathematics have always been a vehicle for this dialogue, but, from the birth of the graphical software, this collaboration has been updated in an unbalanced way: while a new theory has appeared, the Computer Aided Geometrical Design, to give mathematical support to the executive side of the design with computers, the theoretical mathematical referent that has to guide the mind in the conception task has not been updated in order to exploit all the possibilities that the new tool offers. Therefore, this referent still remains mainly Euclidean.To sum up, this thesis states that the Euclidean geometry allows a satisfactory codification of the design made with ruler and compasses and uncovers the existing lack of a mathematical theory in order to allow the designer to codify its creativity in a format suitable for exploiting the actual potentiality of the graphical cybernetic tool. The main point is to conceive the designs by exploiting the existing relation between functions and shapes. This relation, based on co-ordinate systems, is precisely the relation that allows a computer to "draw" by means of zeros and ones. According with this idea, the introduction is devoted to develop and to support this point of view. Once the two stages of the design have been established and the lack of theory at the level of conception has been justified, some mathematical machinery for the two stages is given. Thus, the body of the memory has two parts. Part One collects the contributions to the CAGD, that is, to the execution stage (the most common in the present research), mainly consisting in new methods for the generation of curves and surfaces starting from data given by the user. Part Two offers a proposal of a theoretical corpus in order to cover the gap detected in the conception stage, consisting of a mathematical code or grammar organised in: - Letters: The raw functions. Its graph is a germ of shapes.- Words: The functions modified with adjustable and formally significant parameters.- Verbs: Functional operators that act on the words and they represent an action that can be interpreted in formal terms. They are organised in six types, according to the kind of action.- Sentences: The formulations obtained from the interaction of the previous elements representing the final design.A design without compasses is proposed in the sense that it is necessary to go beyond the mentality that is anchored in the ruler and the compasses not by eliminating it, but by including it.Some examples for all these cases are included. In Part Two, the examples are focussed towards the graphical design (edgings, textures) and towards the architectural design (football stadium, naves, galleries and a gothic-like cathedral). All the examples are completely formulated with mathematical parametrical functions.Due to its contents, it is an interdisciplinary memory since it has connections with, at least, the psychology of the design, the design itself, the history of the art, the computer science and, evidently, the mathematics. However, the mathematics are managed here more with the mentality of a designer or an engineer than with the mentality of a pure mathematician . In other words, it is not a thesis of theorems but a thesis about the "construction" of (mathematical) methods for helping the development of a more creative computer graphical design.

El filtrado de imagen es una tarea fundamental para la mayoría de los sistemas de visión por computador cuando las imágenes se usan para análisis automático o, incluso, para inspección humana. De hecho, la presencia de ruido en una imagen puede ser un grave impedimento para las sucesivas tareas de procesamiento de imagen como, por ejemplo, la detección de bordes o el reconocimiento de patrones u objetos y, por lo tanto, el ruido debe ser reducido. En los últimos años el interés por utilizar imágenes en color se ha visto incrementado de forma significativa en una gran variedad de aplicaciones. Es por esto que el filtrado de imagen en color se ha convertido en un área de investigación interesante. Se ha observado ampliamente que las imágenes en color deben ser procesadas teniendo en cuenta la correlación existente entre los distintos canales de color de la imagen. En este sentido, la solución probablemente más conocida y estudiada es el enfoque vectorial. Las primeras soluciones de filtrado vectorial, como por ejemplo el filtro de mediana vectorial (VMF) o el filtro direccional vectorial (VDF), se basan en la teoría de la estadística robusta y, en consecuencia, son capaces de realizar un filtrado robusto. Desafortunadamente, estas técnicas no se adaptan a las características locales de la imagen, lo que implica que usualmente los bordes y detalles de las imágenes se emborronan y pierden calidad. A fin de solventar este problema, varios filtros vectoriales adaptativos se han propuesto recientemente. En la presente Tesis doctoral se han llevado a cabo dos tareas principales: (i) el estudio de la aplicabilidad de métricas difusas en tareas de procesamiento de imagen y (ii) el diseño de nuevos filtros para imagen en color que sacan provecho de las propiedades de las métricas difusas y la lógica difusa. Los resultados experimentales presentados en esta Tesis muestran que las métricas difusas y la lógica difusa son herramientas útiles para diseñar técnicas de filtrado, / Morillas Gómez, S. (2007). Fuzzy metrics and fuzzy logic for colour image filtering [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1879 / Palancia