Semántica de simulación para relaciones de conformidad

Esta tesis trata de las llamadas relaciones de conformidad que pueden darse entre dos sistemas cualesquiera, especificación e implementación. Como novedad introduce el uso de técnicas coinductivas para la definición de iocos, una relación de conformidad capaz de distinguir el contexto local de ejecución de un proceso. Al constituir iocos la parte central de una nueva teoría de Model Based Testing (MBT), se precisa de una descripción formal de los sistemas en juego; esto se lleva a cabo en primera instancia mediante sistemas de transiciones etiquetadas y posteriormente mediante un enfoque más abstracto, un álgebra de procesos. Las teorías de testing tienen por objeto confirmar las relaciones de conformidad mediante la ejecución de un conjunto de tests sobre un sistema –la implementación– cuya estructura interna se desconoce. Particularmente los beneficios de un enfoque MBT son inmediatos, ya que la generación de los tests puede abordarse de manera sistemática una vez se disponga de un modelo formal de la especificación, lo que contribuye a eliminar el error imputable al factor humano; esto se logra dando un algoritmo generador de tests que toma cono entrada una especificación y produce un conjunto de tests, posiblemente infinito, suficientemente representativo para asegurar la relación de conformidad. Este enfoque inicial, conocido como testing offline o testing estático, es mejorado para ganar en eficiencia evitando un alto consumo en recursos tanto de tiempo como de memoria mediante la técnica de testing online o testing dinámico, donde ambos pasos de generación y ejecución se ejecutan de manera alternada...

Diseño e implementación de una herramienta de visualización para análisis en tiempo real de redes SDN/OpenFlow

Las Redes Definidas por Software (Software Defined Networking) permiten la monitorización y el control centralizado de la red, de forma que los administradores pueden tener una visión real y completa de la misma. El análisis y visualización de los diferentes parámetros obtenidos representan la forma más viable y práctica de programar la red en función de las necesidades del usuario. Por este motivo, en este proyecto se desarrolla una arquitectura modular cuyo objetivo es presentar en tiempo real la información que se monitoriza en una red SDN. En primera instancia, las diferentes métricas monitorizadas (error, retardo y tasa de datos) son almacenadas en una base de datos, para que en una etapa posterior se realice el análisis de dichas métricas. Finalmente, los resultados obtenidos, tanto de métricas en tiempo real como de los datos estadísticos, son presentados en una aplicación web. La información es obtenida a través de la interfaz REST que expone el controlador Floodlight y para el análisis de la información se plantea una comparación entre los valores medios y máximos del conjunto de datos. Los resultados obtenidos muestran gráficamente de forma clara y precisa las diferentes métricas de monitorización. Además, debido al carácter modular de la arquitectura, se ofrece un valor añadido a los sistemas actuales de monitorización SDN.

Diseño e implementación en FPGA de un filtro de partículas para aplicaciones biomédicas

La diabetes mellitus tipo 1 (DM1) es una enfermedad crónica caracterizada por la incapacidad del páncreas de producir insulina. Esta hormona regula la absorción de la glucosa del torrente sanguíneo por parte de las células. Debido a la ausencia de insulina en el cuerpo, la glucosa se acumula en el torrente sanguíneo provocando problemas a corto y largo plazo, como por ejemplo deterioro celular. Los pacientes con esta enfermedad necesitan controlar su glucemia (concentración de glucosa en sangre) midiendo la misma de forma regular e inyectándose insulina subcutánea de por vida. Para conocer la glucemia se pueden utilizar Monitores Continuos de Glucosa (MCG), que proporcionan el valor de la glucosa intersticial en un rango entre uno y cinco minutos. Los MCG actuales presentan los siguientes problemas: Por un lado, el sensor que lleva incorporado introduce ruidos asociados a la medición obtenida. Y, por otro lado, el sensor se degrada a lo largo de su vida útil, lo que dificulta la interpretación de los datos obtenidos. La solución propuesta en este trabajo consiste en la utilización de filtros de partículas. Este tipo de filtros consta de cuatro fases: inicialización, predicción, corrección y remuestreo. Son capaces de identificar los estados ocultos del sistema (glucosa en sangre y degeneración del sensor), a partir de medidas indirectas del mismo (como por ejemplo la glucosa intersticial) teniendo en cuenta el ruido de las mediciones del MCG. En este proyecto se va a aplicar un filtro de partículas de cuatro estados (glucosa, velocidad de variación de la glucosa, degeneración del sensor y velocidad de variación de la degeneración del sensor.). En primera instancia, se utilizará la herramienta Matlab para analizar el correcto funcionamiento de este algoritmo frente a los problemas mencionados anteriormente de los MCG. Y, en segundo lugar, se realizará una implementación hardware sobre una FPGA.

Guido Bonato y "El Tratado de Forlivio sobre los más principales juicios de los astros"

En esta tesis doctoral pretendo aproximarme a la figura del famoso astrólogo Guido Bonato o Bonatus, así como a su obra, el Tratado de Forlivio sobre los más principales juicios de los astros, traducción castellana llevada a cabo por Auger Ferrer en el siglo XVII (1638) del voluminoso compendio latino Registrum Guidonis Bonati de Forliuio. Decem continens tractatus Astronomie (1491). Así pues, es mi intención, en primera instancia, hacer una extensa introducción a la Historia de la Astrología desde la Antigüedad hasta el Renacimiento, contexto este último en el cual se inscribe el autor de la traducción castellana de la obra del autor latino Bonatus. Me centraré, con especial atención, en los avatares científico-teológicoastrológicos del siglo XIII, siglo en el cual el astrólogo ejerce su labor intelectual. En segundo lugar, pretendo dedicar un espacio a la vida de Guido Bonato, dando una serie de detalles y apuntes biográficos. Asimismo, he de hablar de su extensa producción astrológica en la tercera parte: el Liber astronomicus, posteriormente nombrado como Registrum Guidonis Bonati de Forliuio (1491), Decem continens tractatus astronomie (1506) y De astronomia tractatus decem (1550). En cuarto lugar, intentaré introducir al lector al significado de la extensa y compleja obra latina del astrólogo nativo de Forlí. Por último, destinaré a la quinta y última parte de este trabajo el análisis pormenorizado del Tratado de Forlivio sobre los más principales juicios de los astros. Nuestra obra se adhiere a la corriente de la llamada astrología judiciaria, concretamente a la llamada astrología de interrogaciones o astrología horaria, que predomina en las obras de los astrólogos árabes medievales, según afirma Luis Miguel Vicente García en su obra Estrellas y astrólogos en la literatura medieval española1. De hecho, la parte original latina se intitula «De interrogationibus», «Tractatus interrogationibus seu questioniis guidonis bonati» o «Tractatus super precipuis iudiciis astrorum»...

La expansión del incidente de nulidad de actuaciones por motivos procesales. A propósito de la STC 43/2010, de 26 de julio

En este artículo el autor realiza un estudio detallado de la trascendental STC (1.ª) 43/2010, de 26 de julio, que marcó un hito en la interpretación que el Alto Tribunal realizó del art. 241 LOPJ, tras la reforma legislativa operada en el año 2007, a través de la LO 6/2007, de 24 de mayo. En esta sentencia se otorga el amparo porque un Juzgado de Primera Instancia había producido una clara indefensión a los recurrentes, consistente en la imposibilidad de éstos de conocer y comparecer en un proceso ejecutivo en el que resultaban afectados directamente sus intereses, pues se subastó y adjudicó una vivienda de su propiedad pese a haber sido advertido el Juzgado, por diferentes conductos, de que ellos eran los titulares registrales de dicho bien inmueble. La especial relevancia de la STC (1.ª) 43/2010, de 26 de julio —con claras concomitancias con la STC (2.ª) 40/2005, ya que ambas tienen su origen en actos procesales del mismo procedimiento judicial de ejecución, aunque los demandantes de amparo fueran distintos—, radica en resaltar el reforzado protagonismo, en aras de la defensa del derecho fundamental a la tutela judicial efectiva, que ha adquirido el incidente de nulidad de actuaciones, tras la reforma operada en el art. 241.1 LOPJ por la LO 6/2007, de 24 de mayo, por la que se modifica la Ley Orgánica 2/1979, de 3 de octubre, del Tribunal Constitucional. El TC cambia su postura y viene a afirmar, sin ambages, que el incidente de nulidad de actuaciones se ha erigido en el instrumento clave para la tutela del derecho fundamental a la tutela judicial efectiva sin indefensión, como última vía que permite la reparación ante la jurisdicción ordinaria, máxime si se tiene en cuenta el nuevo sistema, mucho más restrictivo, de admisión a trámite del recurso de amparo ante el TC (sólo si concurre una «especial trascendencia constitucional»).

Uniones monetarias incompletas y crisis de deuda soberana: el caso de España

Esta tesis doctoral analiza el papel de la UEM en la formación de la burbuja crediticia en España, en su estallido y en su transformación en una crisis de deuda bancaria, en primera instancia y, posteriormente, en una crisis de deuda soberana. Para ello se plantean dos hipótesis principales. La primera, que la creación de la UEM fue un factor determinante en la formación de la burbuja inmobiliaria en España, cuyo estallido derivó en una profunda crisis financiera a partir del año 2008. En este sentido, los datos aportados indican que la instauración de la moneda única produjo una convergencia acelerada de los tipos de interés pagados por los agentes privados de las economías de la zona euro. En el caso particular de España, los análisis llevados a cabo revelan la existencia de una relación exponencial entre esta bajada de los tipos y el aumento del crédito. Se muestra, además, cómo el incremento de la financiación disponible no tuvo un reflejo igual en todos los sectores de la economía española, siendo el residencial el que creció de manera más significativa, lo que fue posible gracias al papel de la UEM en la rápida integración de los mercados financieros. Para respaldar esta afirmación se presentan datos que revelan el desarrollo de los productos de financiación estructurada en el seno de la moneda única, y su papel en el aumento del crédito y, en particular, en el crecimiento de la financiación a particulares para la compra de vivienda. En este escenario de fuerte dependencia de los mercados de capitales se produjo una interrupción brusca de los mismos, lo que permite plantear la segunda de las hipótesis...