INFORMATICA, 5

Autor: PENEDO OJEA MÓNICA.
Año: 2001.
Universidad: SANTIAGO DE COMPOSTELA.
Centro de lectura: FÍSICA.
Centro de realización: FACULTAD DE MEDICINA.

Resumen: INTRODUCCIÓN En ciertas modalidades de imagen médica, como es el caso de la mamografía, son esenciales una buena resolución espacial y de contraste para no perder estructuras de pequeño tamaño o poco contrastadas, como las microcalcificaciones o las masas. El elevado coste asociado al almacenamiento y transmisión de estas imágenes de gran formato provoca un retardo en la total implantación de la tecnología digital en mamografía. La transformada wavelet surge como una técnica eficaz para el desarrollo de métodos de comprensión de imágenes que aporten una posible solución a esta situación. Con la aparición de las técnicas de comprensión en regiones, existe la posibilidad de comprimir la región mamaria en una mamografía, despreciando la información asociada al fondo mamográfico, carente de interés diagnóstico. OBJETIVO Desarrollar un método de comprensión irreversible para mamografías digitales utilizando transformada wavelet que comprima únicamente la región mamaria, y evaluar la detección de cúmulos de microcalcificaciones y masas en mamografías comprimidas con dicho método. Evaluar el nuevo estándar de comprensión de imágenes digitales, JPEG 2000, en la compresión con pérdidas de mamografías digitales y compararlo con los resultados obtenidos con el método desarrollado. MÉTODOS Mediante un método de segmentación de la mama, se ha podido determinar un contorno cerrado que delimite pefectamente la región a comprimir. En los píxeles pertenecientes a la mama se ha aplicado la Transformada Wavelet Discreta en Regiones (TWDR) 2-D. Realizando las extensiones correctas en los extremos de los segmentos 1-D dentro de la mama y el submuestreo apropiado tras el filtrado, es posible mantener la propiedad de reconstrucción perfecta y preservar la correlación espacial entre coeficientes dentro de la mama. Para la codificación de los coeficientes se ha realizado una extensión de los algoritmos embeddeb de codificación SPIHT y SPECK, llamadas OBSPIHT y OBSPECK. En una primera evaluación de la distorsión introducida por los métodos de compresión desarrollados, se utilizaron 5 mamografías digitales conteniendo cúmulos de microcalcificaciones y masas. Las imágenes fueron comprimidas a 6 factores de compresión distintos con OBSPIHT y OBSPECK, calculándose, como medida de la distorsión, el parámetro PSNR (Peak Signal to Noise Ratio) dentro de la región mamaria. Los resultados se compararon con los obtenidos con SPIHT y JPEG 2000 aplicados a toda la imagen, calculando el parámetro PSNR en la zona de la mamografía donde los métodos de compresión en regiones se habían aplicado. Además, se realizó un preprocesado de las mamografías en el cual los píxeles del fondo mamográfico se establecieron a un valor constante nulo antes de comprimirlas con SPIHT. De esta forma, el método SPIHT codifica en primer lugar la información pertenenciente a la mama. Mediante un experimento FROC se ha evaluado la detección de cúmulos de microcalcificaciones y masas en 112 mamografías digitales comprimidas con OBSPIHT y JPEG 2000, a 40:1 y 80:1. Los resultados se han comparado con la detección de estos signos en el conjunto de mamografías originales. Cinco radiólogos expertos han participado en el experimento. Se pidió a cada radiólogo que clasificara las imágenes según la presencia de cúmulos y masas, de forma independiente, en una escala de 4 niveles de confianza. Como indicativo de la eficacia del sistema diagnóstico evaluado, se calculó el área A1 bajo la curva AFROC para cada radiólogo y modalidad de imagen, de forma independiente para cada signo radiológico. Se ha utilizado análisis de la varianza (ANOVA) de medidas repetidas para determinar diferencias estadísticamente significativas entre los valores A1 obtenidos. RESULTADOS La distorsión obtenida con los métodos OBSPIHT y OBSPECK es siempre menor que la introducida por los métodos generales, incrementándose esta diferencia cuanto más ocupa la imagen comprimida. Entre las técnicas SPOHT y JPEG 2000, es el estándar el que introduce menor distorsión. Se observa siempre una pequeña mejora en la distorsión por parte de los métodos de comprensión en región en comparación con el algoritmo SPIHT aplicado a la imagen preprocesada. Sin embargo, este método no puede ser utilizado en aquellos casos en los que resulte interesante comprimir varias zonas dentro de la región mamaria. Los resultados obtendios en este trabajo muestran que no existe diferencia estadísticamente significativa en la detección de cúmulos de microcalcificaciones (p=0,854) y masas (p=0,641) entre mamografías comprimidas con OBSPIHT y JPEG 2000 a 40:1 y 80:1, y las originales. CONCLUSIÓN En mamografía digital, los métodos de compresión en regiones representan una mejora en eficiencia respecto a los métodos de compresión aplicados a la imagen entera. Es posible comprimir mamografías digitales hasta un factor de 80:1 con OBSPIHT y JPEG 2000 sin perder información relevante para diagnóstico.

Autor: MOLINA CARMONA RAFAEL.
Año: 2001.
Universidad: ALICANTE.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: ESCUELA POLITÉCNICA SUPERIOR.

Resumen: Se presenta un nuevo modelo geométrico para la definición de objetos tridimensionales. Con ello se pretende dar solución a los problemas que entrañan los modelos geométricos clásicos para el diseño de determinadas piezas dentro del sector industrial. Se trata de un modelo que relaciona íntimamente el proceso de diseño y el de fabricación. Así incrementamos la calidad de las piezas obtenidas, al guiar en parte la generación de las trayectorias. En el modelo Superficie-Trayectoria el diseño se basa en la definición de superficies y de trayectorias sobre estas superficies del concepto de herramientas virtuales de diseño, concepto este que es una generalización del concepto de herramienta de mecanizado. El sistema proporciona así una guía sobre la que calcular las trayectorias reales de mecanizado, con lo que este proceso se simplifica. Además, las trayectorias obtenidas son más precisas que las generadas por otros métodos con lo que, en definitiva, el objeto fabricado es de mayor calidad. CARACTERÍSTICAS DEL MODELO SUPERFICIE-TRAYECTORIA: * Frente a otros sistemas, la fase de diseño y la fabricación entendida como la generación de trayectorias reales de mecanizado se encuentran íntimamente relacionadas. Esto permite que la obtención de las trayectorias finales sea prácticamente inmediata a partir del diseño. * El uso de herramientas virtuales supone añadir versatilidad a las capacidades de diseño. En este sentido, se ha constatado que el diseño con nuestro modelo es intuitivo y sencillo, superando, en la mayoría de las ocasiones, a los demás modelos en cuanto a facilidad de uso. * La filosofía de diseño del modelo facilita poder utilizar el conocimiento del usuario para guiar todo el proceso ingenieril, mejorando así la calidad final. De hecho el error que se produce es el menos tan pequeño como el de la mejor de las demás posibilidades. * Los diseños realizados son fácilmente reutilizables. Así, entre otras posibilidades, podemos utilizar trayectorias ya calculadas con diferentes herramientas o emular las mismas herramientas virtuales con otras herramientas reales, lo que independiza el diseño de la máquina concreta. PRINCIPALES APORTACIONES El concepto de herramienta virtual es, sin duda, la principal aportación de la tesis. En este sentido, se ha presentado una herramienta que puede ser muy útil tanto para el diseño como para la fabricación de calidad de los objetos. Además, permite independizar el diseño de la máquina concreta de mecanizado. Debemos también resaltar los constructores de objetos, en especial, la adaptación del algortimo de Marching Cubes a nuestro problema y la solución incremental propuesta, junto con el uso de la coherencia espacial para reducir costes y los métodos de prueba de interioridad de los vérticies y el punto de corte de la herramienta con las aristas.

Autor: PÉREZ JIMÉNEZ CARLOS JOSÉ.
Año: 2001.
Universidad: ZARAGOZA.
Centro de lectura: CENTRO POLITÉCNICO SUPERIOR.
Centro de realización: CENTRO POLITÉCNICO SUPERIOR.

Resumen: Los constantes avances tecnológicos conllevan la construcción y utilización de sistemas reales cada vez más complejos. Para el estudio y comprensión del funcionamiento de estos sistemas, se hace necesario el uso de técnicas formales. Las redes de Petri constituyen un formalismo adecuado para atacar estos problemas. Añadiendo una interpretación temporal estocástica, es posible realizar estudios de evaluación de prestaciones de los sistemas modelados. El principal inconveniente de estas técnicas es el conocido como problema de la explosión del espacio de estados. Para reducir el efecto de este problema, se utiliza una estrategia de divide y vencerás. En esta memoria se ataca el problema de evaluar el número medio de disparos por unidad de tiempo (throughput) en estado estacionario de las transiciones de una red de Petri estocástica. Para ello, se realiza una descomposición del modelo original en varias componentes y, a partir de ellas, se construyen varios sistemas agregados. Con los sistemas agregados, por medio de un algoritmo iterativo de aproximación del tiempo de respuesta, se calcula un valor aproximado del throughput de las transiciones del modelo original. Al operar con modelos más pequeños, se pueden estudiar casos más complejos que con las técnicas clásicas a costa de perder precisión en los resultados (cálculo aproximado frente a análisis exacto). Primero se estudian clases particulares de redes como los grafos marcados, los grafos marcados con pesos o los sistemas deterministas de procesos secuenciales. Por último, se ataca el caso general de las redes de Petri estocásticas. El caso general permite desarrollar una visión estructurada del grafo de alcanzabilidad de cualquier red de Petri a partir de una descomposición estructural suya. Esta visión estructurada del grafo de alcanzabilidad puede utilizarse también para otro tipo de estudios, en particular la generación o almacenamiento eficiente del grafo de alcanzabilidad del modelo original.

Autor: ALBERICH MARTÍ RICARDO.
Año: 2001.
Universidad: ISLAS BALEARES .
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: ESCOLA POLITÈCNICA SUPERIOR.

Resumen: El tema central de esta memoria es el cálculo de pushouts en diversas categorías de álgebras parciales sobre una misma asignatura con diferentes tipos de homomorfismos parciales como morfismos. Este trabajo se enmarca en dos áreas de investigación bien establecidas desde hace más de vienticinco años y pertenecientes a dos disciplinas científicas diferentes, aunque fuertemente emparentadas en el decurso de este mismo período: el álgebra universal y la informática teórica. En concreto aporta nuevos resultados que por un lado se añaden al estudio sistemático de categorías de álgebras y por otro pueden dar lugar a nuevas herramientas útiles en el campo de la transformación SPO de álgebras. El tema central de esta tesis es la caracterización de los pares de morfismos de álgebras que tienen pushout en diferentes categorías de álgebras parciales y álgebras totales para una signatura heterogénea arbitraria. En concreto estudiamos las categorías de álgebras parciales con morfismos los quomorfismos, los quomorfismos con dominio cerrado (de esta categoría se hace un estudio más profundo de sus límites y colímites), los quomorfismos cerrados, los homomorfismos cerrados, los quomorfismos cerrados con dominio cerrado, y la categoría de álgebras totales con morfismos los homomorfismos parciales. En todas estas categorías encontramos condiciones necesarias y suficientes para la existencia de pushout de un par de morfismos, damos una construcción efectiva del mismo y comprobamos que estas condiciones son irredundantes.

Autor: BOTÍA BLAYA JUAN ANTONIO.
Año: 2001.
Universidad: MURCIA.
Centro de lectura: INFORMÁTICA .
Centro de realización: UNIVERSIDAD POLITÉCNICA DE MADRID.

Resumen: Este trabajo de tesis se centra, genéricamente, sobre el proceso de aprendizaje computacional inductivo. Primeramente se ha realizado un análisis de las técnicas más reconocidas. Posteriormente se estudian los nuevos paradigmas que combinan las técnicas de inducción básicas para obtener una sinergia que lleve a la obtención de teorías de inducción más efectivas. Todas estas técnicas quedan englobadas dentro de lo que denominamos Aprendizaje Inductivo Multi-proceso. Junto con esto, se presenta un enfoque unificador de las técnicas para la estimación de la bondad de modelos inductivos, tanto para tareas de clasificación como de regresión. La unificación de criterios en este sentido resulta imprescindible a la hora de tener un criterio decisor válido sobre qué tipos de técnicas funcionan mejor respecto de otras en determinados tipos de problemas. Una vez realizado el estudio se ofrece una metodología o modelo marco para la construcción de sistemas software que trabajen con estas técnicas. Así mismo, se validan todas las ideas plasmadas en la definición de ese marco, a través de la construcción y estudio empírico de un prototipo software. Las principales contribuciones de esta tesis son las siguientes: * El estudio y modelado de las técnicas de inducción básicas más usadas actualmente, como son: el aprendizaje de modelos basados en redes neuronales, la inducción de árboles de decisión, reglas de decisión, el aprendizaje naive mediante la regla de Bayes y el aprendizaje genérico mediante algoritmos genéticos. * La recopilación, estudio, clasificación y modelado de técnicas de inducción de orden superior como pueden ser el Boosting, Bagging, Landmarking, etc. De en entre estas técnicas, se realiza una taxonomía que delimite el alcance y aplicabilidad de cada una de ellas. * La identificación de elementos accesorios para posibilitar la construcción y uso de estas técncias dentro de un sistema de información. Por ejemplo, resulta claro que un elemento importante en una arquitectura de estas características serán los datos de aprendizaje sobre los que realizar el proceso de inducción. Por otro lado, también serán importantes los resultados producidos, y que estos sean accesibles de forma compartida y permanente en base a una organización cliente-servidor. * Se define el cuerpo de ontologías de los agentes que participarán en el sistema, junto con los roles de tareas y organizativos de los mismos.

Autor: GÓMEZ OLMEDO MANUEL.
Año: 2001.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMÁTICA .
Centro de realización: FACULTAD DE INFORMÁTICA: UPM.

Resumen: En la toma de decisiones en Medicina se precisan de Sistemas de Ayuda a la Decisión por diversas razones: incertidumbre acerca del estado real del paciente, falta de información, cambio en protocolos de tratamiento. Estas características se presentan en el caso de la ictericia neonatal, agravadas, si cabe, por el gran número de recién nacidos que presentan este problema. En el primer capítulo de este trabajo se presenta una revisión de los Sistemas de Ayuda a la Decisión y de los Sistemas Expertos, como herramientas de ayuda a la resolución de problemas. El segundo capítulo está dedicado al estudio del problema médico: la fisiología de la enfermedad, sus tratamientos, el protocolo de actuación, etc. Se presentan los objetivos del sistema y la metodología a usar: al Análisis de Decisiones mediante el uso de Diagramas de Influencia. El tercer capítulo se centra en la estructuración del conocimiento mediante un diagrama de influencia, y en el siguiente se desarrollan las cuestiones relativas a la adquisición de la información cuantitativa: probabilidades y utilidades. Finalmente, en el capítulo 6 se presentan los resultados obtenidos, mediante la presentación de una serie de perfiles que permiten comprobar la validez de las propuestas de IctNeo. Se concluye, en el capítulo séptimo, con la presentación de conclusiones y líneas futuras de trabajo.

Autor: VEGAS HERNÁNDEZ SIRA.
Año: 2001.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: La importancia de una adecuada selección de técnicas de pruebas es comúnmente aceptada por la comunidad de Ingenieros de Software. Sin embargo, hay dos motivos fundamentalmente por los que los desarrolladores de software realizan hoy en día selecciones que no pueden ser calificadas como acertadas: 1,- Su conocimiento sobre la cantidad de técnicas disponibles actualmente es limitado, lo que quiere decir que hay una gran cantidad de técnicas que es desconocida para el desarrollador medio. 2,- La información de la que se dispone actualmente, en relación a las distintas técnicas de pruebas existentes, es de tipo procedimental en su mayoría (es decir, centrada en cómo usar la técnica), siendo la información de tipo pragmática (centrada en los resultados del uso de la técnica) prácticamente inexistente. El problema abierto que se aborda en este trabajo es precisamente cómo ayudar a los desarrolladores a mejorar la selección de técnicas de pruebas del software. Para satisfacer este objetivo, se propone un esquema de caracterización de técnicas de pruebas. El esquema, al ser instanciado para múltiples técnicas, permite la elaboración de un repositorio con información sobre las técnicas de pruebas. Dicho esquema describe sistemáticamente todas las técnicas de pruebas, centrándose fundamentalmente en aspectos pragmáticos de las técnicas, lo que permite selecciones más objetivas. El esquema de caracterización propuesto, consta de un conjunto no plano de atributos, agrupados en torno a los elementos del proceso de pruebas al que se refieren. Estos elementos a su vez, se agrupan en torno a las distintas etapas del proceso de pruebas. Mediante esta agrupación lógica se dota a la información del esquema de coherencia. La forma en la que se ha obtenido este esquema ha sido siguiendo un proceso empírico e iterativo. Empírico, porque las técnicas de pruebas carecen hoy en día de una base teórica sólida. Esto hace necesario fundamentar el esquema no sólo en la teoría sobre pruebas, sino también en el conocimiento que tienen sobre las mismas los distintos sujetos relacionados con las pruebas de software. Interativo, porque se va a crear un esquema basado en la teoría existente actualmente sobre pruebas, que se refina progresivamente con el conocimiento de desarrolladores, investigadores y expertos en el área. Una vez construido el esquema de caracterización, se ha evaluado de dos modos distintos: mediante una contrastación empírica en la que el esquema se instancia para múltiples técnicas de pruebas, y mediante una contrastación experimental en la que el repositorio creado en la contrastación anterior se pone en uso para realizar la selección de técnicas de pruebas en distintos proyectos. En definitiva, este trabajo aporta, por primera vez, una herramienta conceptual que permite a los desarrolladores la selección de las técnicas de pruebas a usar en un proyecto software de modo sistemático y objetivo.

Autor: MARTÍNEZ ORTEGA JOSÉ FERNÁN.
Año: 2001.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACIÓN.
Centro de realización: E.T.S. INGENIEROS DE TELECOMUNICACIÓN.

Resumen: Esta tesis doctoral propone un conjunto de contribuciones que permiten solucionar el problema de la distribución y configuración de componentes distribuidos del soporte lógico, las cuales han sido utilizadas en el contexto de los servicios avanzados de telecomunicación. Tomando los conceptos provenientes de diferentes organismos internacionales de estandarización y consorcios industriales como ITU-T, ISO, OMG, DMTF, W3C, TINA-C, entre otros. Esta tesis propone: * Un lenguaje de especificación de información de configuración para aplicaciones desarrolladas con componentes distribuidos del soporte lógico, que se basen en los conceptos y principios de RM-ODP. Este lenguaje, llamado UML-C&D (UML for Configuration and Deployment), está fundamentado en la definición de un conjunto de extensiones al denominado Lenguaje Unificado de Modelado (UML), bajo los conceptos y principios de los que actualmente se conoce como un perfil UML. Es importante mencionar que las extensión definidas a UML parten del entendimiento y, una propuesta de caracterización de los procesos vinculados al ciclo de vida de distribución y configuración del soporte lógico. * Un marco arquitectónico genérico y abierto, que permite controlar, monitorizar e instrumentar la distribución (despliegue) y configuración de los componentes de soporte, usados en la entrega de servicios avanzados de telecomunicación con componentes distribuidos. En donde la mencionada arquitectura basa sus mecanismos de despliegue y configuración a partir de la caracterización de información con UML-C&D y, una extensión al servicio de eventos de CORBA como mecanismo de intercambio de información de gestión de configuración y desacople entre sus componentes. Finalmente, este trabajo se complementa con la descripción de la implementación de un prototipo de la mencionada arquitectura, llamado CMM (Configuration Management Manager), para ser usado con los componentes de un servicios de gestión de subscripción de abonados, basado en TINA, para los que se ha especificado información de configuración con UML-C&D.

Autor: BAILADOR FERRERAS M. ALMUDENA.
Año: 2000.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: BIOLOGIA.
Centro de realización: FACULTAD DE BIOLOGIA.

Resumen: En esta tesis se plantea como objetivo la construcción de un generador de sistemas basados en el conocimiento que específicamente pueda emplearse en áreas biólogicas. Para conseguir este objetivo se propone por un lado un patrón de arquitectura orientado a objetos denominado "Patrón para la Arquitectura de un Generador de S.B.C. (PARGEN)", y por otro, un lenguaje para la generación de patrones de diseño orientados a objeto, que se basa en una arquitectura de tres capas y que proporciona las pautas necesarias para llevar a cabo el análisis y diseño de un sistema informático. A este lenguaje lo hemos denominado "Lenguaje de Patrones para la Sintesis y Regulación de Objetos Visuales(ALBA)", y las fases de que consta se han planteado estableciendo un paralelismo con el patrón evolutivo que ofrece el mecanismo de la biosíntesis de proteínas.

Autor: MARTIN DE LA CALLE PEDRO JESUS.
Año: 2000.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: MATEMATICAS.
Centro de realización: FACULTAD DE CC. MATEMATICAS.

Resumen: Las tesis presenta sistemas de tableaux para tres extensiones de la lógica de pimer orden. En cada una de ellas se estudian métodos de tableaux correctos y completos en dos versiones: básica y de variables libre. La primera es una Lógica con Preórdenes y Géneros Dinámicos (LPGD); adimite fórmulas que expresen relación de preorden entre términos y relaciónde subtipo entre géneros. Las funciones y predicados son, en todos sus argumentos, monótonas o antimonótonas, y los tableaux actúan de forma que, en cada expansión de una rama por razón de anti-monotonía de alguna operación, se asegure que la fórmula introducida respeta la jerarquía de géneros contenida en la rama. La segunda es una Lógica con Declaraciones de Términos LDT que extiende LPGD permitiendo la declaración explícita de un término como perteneciente a un género dado, aunque no permite relación de preorden entre los datos. Para LDT se estudian y definen las sustituciones sobre tableaux convariables libres que consevan la corrección de la expansión de ramas, y se presenta un cálculo correcto, completo y termiante para resolver los problemas de unificación rígida ordenada que se dan en el cierre de tableaux. En la tercera es una Lógica con Preórdenes Monótonos LPM. Se trata de una lógica homogénea que admite relaciónde preorden entre datos, pero no jerarquías dinámicas entre género. LPM se estudia en dos fases; en la primera no se considera la monotonía en las operaciones y se obtiene un cálculo correcto, completo y terminante para la resolución de los problemas de unificación rígida preordenada que se presentan en el cierre de tableaux; este cálculo es mejorado con la introducción de órdenes de reducción. En la segunda fase se supone que las operaciones son monótonas en todos sus argumentos y se define un cálculo correcto y completo, pero no terminante, para la resolución de los respectivos problemas de unificación rígida preordenada monótona.

Autor: ASENSIO MONGE RAMÓN.
Año: 2000.
Universidad: OVIEDO.
Centro de lectura: CIENCIAS DE LA EDUCACION.
Centro de realización: EDIFIACIO DEPARTAMENTAL-1-, CAMPUS DE VIESQUES GIJON.

Resumen: El análisis de puntos función FPA de A.J. Albrecht es un mçétodo para la determinación del tamaño funcional de productos software .Un organismo denomiado International Function Point Users Groyp, IFPUG9, sanciona al FPA como un estándar en la medición del tamaño funcional del software. El método del IFPUG sigue el método de Albrecht e incorpora en sus sucesivas versiones modificaciones a las reglas e indicaciones con el fin de mejorar el método. El resultado de la medición se expresa en puntos función, que son una medida de los bienes producidos por un producto software y es un dato normalizado. El concepto dato normalizado se refiere a métricas estándar usadas con fines comparativos para determinar cuando un proyecto está por encima o por debajo de los normal en términos de productividad o calidad. La consistencia y sensibilidad son aspectos fundamentales a considerar en los métodos de medición del tamaño funcional de productos software. En las versiones 4,0 y 4,1 del método del IFPUG se introduce una cierta sujetividad no deseable en la identificación de grupos lógicos de dastos, lo que afecta a la consitencia del método. Esta tesis desarrolla un conjunto de revisiones del métdoo del IFPUG, que denominamos métodos normalizados, cuyo bojetivo es disminuir la subjetividad en la identificación de los grupos lógicos de datos (ILFs y EIFs). Para determinar el tipo de función proceso, entrada externa (EI), salida externa (EO) o consulta externa (EQ), al que corresponde un proceso elemental, el análisis de puntos función requiere que éste tenga un papel predominante: impute o extraiga datos. Aceptar datos de fuera del límite de la aplicación, procesarlos y enviar los resultados externamente a través del límite de la aplicación, procesarlos y enviar los resultados externamente a través del límite de la aplicación, siendo la imputaciónde datos deominantes, puede ser resuelto mediante una entrada, o una entrada y una salida, o una entrada y una consulta, siempre que se cumplan las definiciones y regals correspondientes. Con cada solución el número de puntos función resultante es diferente. Un problema análogo se produce cuando es dominante la extracción de datos. Esta tesis desarrolla un conjunto de revisiones del método, que denominamos métodos por componentes, cuyo objetivo es disminuir la subjetividad que conlleva el problema citado. Con el fin de disminuir el efecto que representa la simplificación de la clasificación en tres niveles de la complejidad interna de cada tipo de función para la determinación de pequeños cambios de funionalidad, se desarrollan un conjunto de revisiones que denominamos métodos extendidos. Para comprobar la validez teórica de las aportaciones realizadas se presentan los resultados del trabajo empírico llevado a cabo sobre 30 proyectos, los cuales confirman en su mayor parte los objetivos perseguidos.

Autor: PULIDO JUNQUERA JOSE BELARMINO.
Año: 2000.
Universidad: VALLADOLID.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE CIENCIAS.

Resumen: El trabajo realiza una revisión del estado del arte en el campo del Diagnóstico basado en Consistencia,haciendo hincapié en las dificultades asociadas al diagnóstico de sistemas dinámicos continuos. Para abordar algunas de estas dificultades se propone el concepto de posible conflicto que permite calcular fuera de línea los modelos de aquellos que contengan suficiente rebundancia como para generar un conflicto, termino basico en la paradigma de Diagnostico basado en Consistencia. Inicialmente se define el concepto de posible conflicto para realizar el diagnostico de sistemas estaticos y se comparan los resultados de esta aproximación con los obtenidos por el GDE, sistema más conocido de Diagnóstico basado en Consistencia. Tras comantar como se integraria este concepto en el ciclo de Diagnóstico, se extiende el concepto para que pueda utilizarse en el diagnóstico de sistemas dinamicos. Para comprobar la viabilidad de la propuesta, se utiliza una planta de laboratorio y se realizan pruebas tanto con datos simulados como con datos reales. También se tratan algunos problemas practicos asociados a la utilizacion de modelos cuantitativos y se propone una solución. A la vista de los resultados se propone una arquitectura que permite combinar Diagnóstico basado en Consistencia sin/con Modos de Fallo y Conocimiento del dominio. Para ello se amplia el concepto de posible conflicto para que permite modelar modos de fallo. Dados los problemas de eficiencia asociados a este tipo de aproximaciones al diagnóstico, se plantea como utilizar conocimiento del dominio del problema para evitar el mayor numero posible de simulaciones en linea, pero garantizando en todo momento la solidez del diagnóstico desde un punto de vista lógico. Esto se consigue analizando los resultados de las simulaciones de los modos de fallo y generando dos filtros. Además se utilizan conceptos de prioridades, tanto estáticas como dinámicas, para facilitar la selección final de la asignación de modos de fallo a realizar.

Autor: MONTOYA MUNERA EDWIN NELSON.
Año: 2000.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: ETSI.

Resumen: Esta tesis doctoral explora los diferentes mecanismos que se pueden utilizar para la incorporación de flujos multimedia en una arqutiectura como CORBA, la cual no fue diseñada para aplicaciones multimedia. En CORBA se plantean dos formas de incorporar flujos multimedia. Una conocida como integración parcial, en la cual es necesario contar con un marco de trabajo para flujos que complemente la implementación en CORBA, para esta investigación se utilizó Java Media Framework (JMF) de Sun y Object Media Framework (OMF) diseñado e implementado como parte de esta investigación. La otra es la integración total o nativa de flujos multimedia en CORBA, para los cual se plantean tres esquemas; Best-effort, completar la arquitectura con nuevas especificaciones y finalmente realizar los cambios necesarios en CORBA para transportar eficientemente flujos nativos. En síntesis, las aportaciones principales de esta tesis doctoral están en el diseño e implementación de la especificación formal de CORBA para el control de flujos conocida como "Control and Management for Audio/Videlo Streams - AVSTREAMS", utilizando los marcos de trabajo OMF y JMF, permitió desarrollar prototipos de aplicaciones así como la evaluación de prestaciones. Igualmente, se carácterizó, esepcificó, diseño, implementó y evaluó el modelo de flujos nativos en CORBA bajo el esquema Best-effort. Como conclusión principal de la invetigación es la posibilidad de utilizar CORBA para el desarrollo de aplicaciones multimedia distribuidas.

Autor: RIBELLES MIGUEL JOSE.
Año: 2000.
Universidad: JAUME I DE CASTELLON .
Centro de lectura: TECNOLOGIAS Y CIENCIAS EXPERIMENTALES.
Centro de realización: ESCUELA SUPERIOR DE TECNOLOGIA Y CIENCIAS EXPERIMENTALES.

Resumen: Esta tesis presenta un nuevo modelo multirresolución denominado "Mallas Ordenadas Multiresolución" (MOM). Este modelo realiza una manipulación eficiente del nivel de detalle puediendo extraer aproximaciones con nivel de detalle tanto uniforme como variable, haciéndolo idóneo para la visualización interactiva de modelos poligonales formados por ordenación establecida por el método de simplificación empleado en el proceso de construcción. Este orden va a permitir codificar de forma implícita la mayor parte de las dependencias existentes entre las distintas tiangulaciones almacenadas redundado en un menor coste de almacenamiento y en un aumento de las prestaciones de los algoritmos propiedad de la coherencia cuadro a cuadro y el uso de abanicos de triangulos con el fin de aumentar aun más las prestaciones y mejorar el comportamiento general del modelo.

Autor: VILLAR CASTRO PEDRO.
Año: 2000.
Universidad: VIGO.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: ESCUELA SUPERIOR DE INGENIERIA INFORMATICA.

Resumen: Los Sistemas Basados en Reglas Difusas (SBRDs) constituyen una herramienta para el modelado de sistemas. En el denominado "modelado linguistico", el requerimiento prioritario del modelo obtenido es la interpretabilidad del mismo, y se realiza mediante los Sistemas Basados en Reglas Difusas Descriptivos (SBRDDs). En dichos sistemas la base de conocimiento está compuesta por una colección de reglas que constituyen de la base de Reglas Linguisticas (BRL), y por la Base de Datos (BD), que contiene la definición de los conjuntos difusos asociados a los términos lingüisticos empleados en las reglas. Cuando no se dispone de un "experto" que defina la base de conocimiento, son necesarios métodos de aprendizaje automático para la derivación de la misma utilizando información numérica sobre el problema a resolver. La mayoría de esos métodos se han centrado en el aprendizaje de la BRL, utilizando una BD previamente definida. Debido a que el comportamiento del SBRDD es muy sensible a la definición de la BD, tambien se han estudiado métodos de ajuste de la BD "a posteriori" una vez aprendida la BRL. En esos procesos no se modifica el número de etiquetas (granularidad) de cada variable. En esta tesis se pretende demostrar la influencia del nivel de granularidad en el comportamiento de los SBRDDs, además de proponer una serie de métodos de aprendizaje automático de la base de conocimiento mediante la derivación "a priori", de la BD, que pueden usarse en combinación con cualquier algoritmo de generación de la BRL. Los métodos son los siguientes: -Un método de aprendizaje del nivel de granularidad adecuado para cada variable lingüística basado en la tecnica de "Recocido Simulado"("Simulated Annealing"). -Un metodo de aprendizaje del nivel de granularidad y funciones de pertenencia para cada variable lingüística utilizando un "Algoritmo Genético", que implementan un ajuste "local" de cada una de las etiquetas. -Un metodo de aprendizaje del universo de discurso, nivel de granularidad y funciones de pertenencia para cada variable lingüística, basado en la teoria de adaptación de contextos difusos utilizando un "Algoritmo Genético", que implementa un ajuste "global" sobre las participaciones difusas. Los metodos propuestos se validan sobre una serie de problemas de modelado ya estudiados y sobre un nuevo problema, basado en la prediccion del riesgo de contraer enfermedades cardiovasculares.

Autor: BELDA MEDINA JOSE RAMON.
Año: 2000.
Universidad: ALICANTE.
Centro de lectura: FILOSOFIA Y LETRAS.
Centro de realización: UNIVERSIDAD DE ALICANTE.

Resumen: Estudio contrastivo sobre mecanismos de formacion de palabras en la terminologia de la informatica e internet, con especial enfasis en la composicion, la derivacion y la abreviación. Este estudio morfologico de los diferentes recursos léxicos-genesicos se lleva a cabo de forma practica, desde el punto de vista de la traducción. Se trata de un amplio estudio de 700 paginas aproximadamente, que analiza, entre otros temas, cuestiones como los diferentes tipos de compuestos y derivados, la conversion, tipos y subtipos de abreviaciones y otros fenomenos directamente relacionados (genero y plural de las abreviaciones, acentuacion,programas de chat) en el lenguaje de la informatica y de Internet.

Autor: RICO JUAN JUAN RAMÓN.
Año: 2000.
Universidad: ALICANTE.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: ESCUELA POLITÉCNICA SUPERIOR.

Resumen: Este trabajo se centra en la extensión de los K-gramos a los lenguajes de árboles (normalmente utilizados en cadenas) y en dos de sus aplicaciones como son la compresión y la clasificación. También se aporta un modelo probabilística para compresión de superfícies 3D y un método de clasificación de palabras manuscritos usando una estructura de tipo árboreo. En todo este trabajo se realizan estudios teóricos y aplicaciones sobre estructuras de tipo jerárquico.

Autor: LLABRES SEGURA MERCE.
Año: 2000.
Universidad: ISLAS BALEARES .
Centro de lectura: ESCUELA POLITECNICA SUPERIOR.
Centro de realización: ESCOLA POLITECNICA SUPERIOR.

Resumen: La transformación de pushout doble (DPO) de grafos, introducida a principios de los años setenta, es en la actualidad un formalismo de reescritura bien establecido, que ha sido generalizado a diversas categorias de estructuras relacionales y unarias, y que se usa como una tecnica basada en reglas para la especificación formal de sistemas de software. El objetivo final de esta tesis es establecer los fundamentos para el desarrollo de la transformación de DPO de algebras parciales y totales de un tipo arbitario, que permitiria la especificacion de sistemas de software con estados complejos. Para ello hemos trabajado en la categoria Alg de álgebras parciales con tipo arbitrario , y su subcategoria plena Alg de algebras cuyas operaciones pertenecientes a un conjunto fijado de simbolos operacionales son totales. Esta ultima categoria cubre el caso de las álgebras totales y de los grafos atribuidos. Tambien hemos considerado la categoria TCF-Alg de álgebras parciales de tipo unario con los conformismos totales como morfismos, porque la transformacion DPO en esta categoria crea un nuevo tipo de transformación de algebras parciales unarias. En dichas categorias hemos resuelto los siguientes problemas, los cuales son previos al desarrollo de la transformacion DPO. El problema de la aplicación: ¿Cuando podemos aplicar una regla a través de un morfismo? La solución viene dada por lo que suele llamar una condición de pegado: una condición necesaria y suficiente sobre dos morfismos f:k-->A y m:A-->B para la existencia de un complemento de pushout. El problema de la unicidad: ¿para que reglas es siempre único (salvo isomorfismo) el resultado de su aplicación a traves de cada morfismo? La solución viene dada por una condición de unicidad: una condición necesaria y suficiente sobre un morfismo f:k-->A para la unicidad salvo isomorfismo del complemento de pushout(caso de existir) de f y cada morfismo m: A-->B. Y el problema de la descripción: ¿A que llamamos "el" resultado de la aplicación de una regla? Hemos resuelto este problema a traves de la descripción explicita de un objeto derivado distinguido que puede ser caracterizado salvo isomorfismo.

Autor: SEGURA SÁNCHEZ RAFAEL JESÚS.
Año: 2000.
Universidad: GRANADA.
Centro de lectura: INFORMÁTICA.
Centro de realización: E.T.S.I INFORMÁTICA.

Resumen: El Modelado de Sólidos es una parte del Modelado Geométrico encaminada hacia el estudio de representaciones de objetos tridimensionales en una computadora, de manera que dicha representación sea manipulable de una forma sencilla y eficiente. En el presente trabajo se parte del Álgebra de Objetos Gráficos propuesta por Torres, y el sistema de representación formal para sólidos con caras planas propuesto por Feito. A partir de estos principios teóricos se presenta un esquema de representación para el modelado de sólidos con caras planas basado en el recubrimiento de los sólidos mediante símplices. Este esquema de representación permite el almacenamiento y manipulación de cualquier tipo de sólido con caras planas, cono sin agujeros, variedad o no-variedad. La estructura de datos es sencilla y requiere menor espacio de almacenamiento que otras estructuras de datos similares diseñadas para el tratamiento de este tipo de sólidos. Para ello, se proponen algortimos básicos de clasificación de puntos y test de intersección basados exclusivamente en el estudio de signos. De esta manera, los resultados obtenidos son robustos y, además, la velocidad de ejecucción de los mismo resulta similar y en algunos casos superior a otros algoritmos diseñados con el mismo objetivo. En el caso de tratarse de sólidos delimitados por caras triangulares las mejoras en cuanto a eficiencia son aún más significativas. Tomando como base estos algoritmos básicos, se desarrolla un conjunto de algoritmos rápidos y eficientes para la realización de las operaciones booleanas regularizadas entre sólidos en tres dimensiones. Una de las principales ventajas de los algoritmos desarrollados es que permiten la realización de ciertas operaciones básicas tales como la visualización o la clasificación de puntos sin necesidad de evaluar el sólido resultante de dichas operaciones booleanas, lo que failita su utilización como estructura de datos intermedia en aplicaciones de prototipado o previsualización.

Autor: RAMOS JIMENEZ GONZALO PASCUAL.
Año: 2000.
Universidad: MALAGA.
Centro de lectura: INFORMATICA.
Centro de realización: ESCUELA TECNICA SUPERIOR DE INGENIERIA INFORMATICA.

Resumen: Esta Tesis se encuadra dentro de la Inteligencia Artificial. Concretamente se centra en el aspecto del Aprendizaje, y dentro de este en un tema de gran actividad y con buenos resultados empiricos: el Aprendizaje Inductivo de Arboles de Decision. Las principales aportaciones de esta Tesis son: -Una formalizacion completa y rigurosa de los algoritmos de induccion de arboles de decisión, tambien conocidos como algoritmos TDIDT (Top Down Induction Decision Tree). -Un nuevo metodo de aprendizaje denominado CIDIM (Control de Induccion por Division Muestral) que realiza poda adaptativa con control predictivo, y division automatica, dinamica y local de los atributos, todo ello por medio de una division muestral. -Un nuevo metodo de aprendizaje denominado CIGES (Control de Induccion por Generalizacion Estimada). Tambien realiza poda adaptativa con control predictivo, pero utilizando una estimacion de la generalizacion por medio de validación cruzada por deciles en lugar de division muestral. -Dos nuevas familias de medidas, Betas y Gammas, para la eleccion de atributos, que pueden usarse en cualquier algoritmos de inducción de arboles de decisión. Tienen un calculo sencillo y sin logaritmos. -Un nuevo algoritmo por votación basado en el CIDIM, el MultiCIDIM. Pertenece a un nuevo tipo de Bagging que hemos desarrollado y al que hemos denominado Fombagging. -El algoritmo IADEM-0 (Induccion de Arboles de Decision por Muestreo). Nuevo algoritmo de Descubrimeinto de Conocimiento en Bases de Datos o KDD(Knowledge Discovery in Databases). Es el primero que a partir de un conjunto muy grande de experiencias realiza, con cierta confianza y con un error menor que uno dado, la induccion de un arbol de decision, sin almacenar las experiencias que va muestreando. Se han realizado más de dos mil doscientos experimentos de aprendizaje. Se puede destacar que CIDIM funciona tan bien omejor que el C5, generando siempre menos reglas; que las nuevas medidas funcionan tan bien o mejor que la Entropia; que el MultiCIDIM obtiene unos resultados excelentes, siendo el algoritmo con menor error de predicion; y que el IADEM-0 obtiene los resultados previstos, pero con una convergencia muy rapida (hay que realizar pocos muestreos para alcanzar el error buscado).