ESTUDIO DEL EFECTO DE LA MICROINFORMATICA EN EL PROCESO DE APRENDIZAJE DE LAS TECNICAS DE EXPRESION GRAFICA (T.E.G.). LA MICROINFORMATICA Y LOS PROGRAMAS DE CAD (DISEÑO ASISTIDO POR ORDENADOR) PUEDEN REPRESENTAR UN NUEVO ENFOQUE EN EL ACTO CREATIVO DEL DISEÑO GRAFICO. EL FENOMENO DE LA MICROINFORMATICA CONLLEVA UNA COMPONENTE COMERCIAL MUY GRANDE EN DETRIMENTO DE UNA VERDADERA PROFESIONALIDAD. EN LA TESIS SE ENTRA A FONDO EN EL TEMA DE FORMA QUE SE LLEGAN A LOS CONCEPTOS BASICOS COMUNES A LO QUE PODRIAMOS LLAMAR MICROINFORMATICA GRAFICA. LLEGADO A ESTE NIVEL SE CRITICAN ALGUNAS DE LAS SOLUCIONES IMPLEMENTADAS PROPONIENDOSE OTRAS CON RAIZ MAS CIENTIFICA. SE PRECONIZA NO OBSTANTE EL DAR UN CARACTER MAS ANALITICO A LA ENSEÑANZA DE LA GEOMETRIA EN DETRIMENTO DEL GRAFICO COMO HASTA EL MOMENTO. COMO CONCLUSION DE LA TESIS SE PRESENTAN ALGUNAS REALIZACIONES PRACTICAS DEL DOCTORANDO SE DISEÑA UN CURSO DE T.E.G. Y SE PROPONE UNA BIBLIOGRAFIA ACTUALIZADA DEL TEMA.

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

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

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

[ES] La presente tesis propone un nuevo entorno general para la construcción de sistemas flexibles de tiempo real estricto, esto es, sistemas que necesitan de garantías de tiempo real estricto y de un comportamiento flexible. El entorno propuesto es capaz de integrar tareas con varios niveles de criticidad y diferentes paradigmas de planificación en el mismo sistema. Como resultado, el entorno permite proporcionar garantías de tiempo real estricto a las tareas críticas y además conseguir una planificación adaptativa e inteligente de las tareas menos críticas. El entorno se define en términos de un modelo de tareas, una arquitectura software y un conjunto de servicios. El modelo de tareas propone construir una aplicación flexible de tiempo real estricto como un conjunto de tareas, donde cada tarea se estructura en una secuencia de componentes obligatorios y opcionales. La arquitectura software propone separar la ejecución de las tareas en dos niveles de planificación interrelacionados, de manera que un nivel planifica los componentes obligatorios mediante una política de planificación de tiempo real estricto mientras que el otro nivel planifica los componentes opcionales mediante una política de planificación basada en la utilidad. El conjunto de servicios incluye, por una parte, un sistema de comunicación entre los componentes de las tareas (tanto obligatorios como opcionales) y, por otra, una serie de mecanismos para la detección y tratamiento de excepciones temporales producidas en ejecución. Por otra parte, la presente tesis muestra que el entorno teórico propuesto puede ser implementado realmente. En concreto, se presenta el diseño e implementación de un sistema de ejecución (es decir, un núcleo de sistema operativo) capaz de soportar las características de dicho entorno. Este sistema, denominado Flexible Real-Time Linux (FRTL), ha sido desarrollado a partir de un núcleo mínimo existente denominado Real-Time Linux (RT-Linux). Finalmente, esta tesis presenta una caracterización temporal completa del sistema FRTL y medidas reales de su sobrecarga. La caracterización temporal ha permitido el desarrollo de un test de garantía completo de todo el sistema (incluyendo la aplicación y el núcleo de FRTL), que puede ser utilizado para verificar las restricciones temporales de cualquier aplicación implementada sobre FRTL. Por su parte, las medidas de la sobrecarga de FRTL muestran que este núcleo ha sido diseñado e implementado de manera eficiente. En conjunto, se demuestra que el núcleo FRTL es a la vez predecible y eficiente, dos características que informan de su utilidad en la implementación real de aplicaciones flexibles de tiempo real estricto. / [CA] Aquesta tesi proposa un nou entorn general per a la construcció de sistemes flexibles de temps real estricte, això és, sistemes que requereixen garanties de temps real estricte i un comportament flexible. L'entorn proposat és capaç d'integrar tasques amb diferentsnivells de criticitat i diferents paradigmes de planificació al mateix sistema. Com a resultat, l'entorn permet proporcionar garanties detemps real estricte a les tasques crítiques i a més aconseguir una planificació adaptativa i intel¿ligent de les tasques menys crítiques. L'entorn es defineix en termes d'un model de tasques, una arquitectura software i un conjunt de serveis. El model de tasques proposa la construcció d'una aplicació flexible de temps real estricte com a un conjunt de tasques on cadascuna és estructurada com una seqüència de components obligatòries i opcionals. L'arquitectura software proposa la separació de l'execució de les tasques en dos nivells de planificació interrelacionats, de manera que un nivel planifica les components obligatòries mitjançant una política de planificació de temps real estricte mentre que l'altre nivell planifica les components opcionals mitjançant una política de planificació basada en la utilitat. El conjunt de serveis inclou, per una part, un sistema de comunicació entre les components de les tasques (tant obligatòries com opcionals) i, per una altra, una sèrie de mecanismes per a la detecció i tractament d'excepcions temporals produïdes en execució. Per altra banda, la present tesi mostra que el proposat entorn teòric pot ésser implementat realment. En concret, es presenta el diseny i la implementació d'un sistema d'execució (es a dir, un nucli de sistema operatiu) capaç de suportar les característiques d'aquest entorn. Aquest sistema, anomenat Flexible Real-Time Linux (FRTL), ha sigut desenvolupat a partir d'un nucli mínim existent anomenat Real-Time Linux (RT-Linux). Finalment, aquesta tesi presenta una caracterització temporal completa del sistema FRTL i mesures reals de la seua sobrecàrrega. La caracterització temporal ha permés el desenvolupament d'un test de garantia complet de tot el sistema (incloent l'aplicació i el nucli FRTL), que pot ésser utilitzat per a verificar les restriccions temporals de qualsevol aplicació implementada sobre FRTL. Per la seua part, les mesures de la sobrecàrrega de FRTL mostren que aquest nucli ha sigut disenyat i implementat de manera eficient. En conjunt, es demostra que el nucli FRTL és al mateix temps predible i eficient, dos característiques que informen de la seua utilitat a la implementació real d'aplicacions flexibles de temps real estricte. / Terrasa Barrena, AM. (2001). Flexible Real-Time Linux a New Environment for Flexible Hard Real-Time Systems [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/18060

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

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

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

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