Más sobre equivalencias lógicas y distancias entre procesos

Esta tesis se enmarca en el amplio campo de la teoría de la concurrencia. Más específicamente, nos centramos en el estudio de las relaciones de similitud entre procesos concurrentes. Comenzamos estudiando la bisimulación, considerada la más importante de estas relaciones, y vemos después cómo podemos extender nuestros resultados al resto de las semánticas de procesos estudiadas durante las últimas décadas. En particular, nuestra contribución a la comunidad científica, se centra en dos puntos principales: – El desarrollo de una caracterización lógica uniforme de las semánticas de procesos: proponemos un esquema lógico común (enmarcado en la conocida lógica modal de Hennessy-Milner) e incluimos las diferentes semánticas en este esquema, enfatizando las diferencias y similitudes entre ellas, que se presentan del modo más claro posible. – La presentación de una nueva noción de distancia, tanto entre procesos finitos como infinitos: la misma se diferencia de las anteriormente propuestas en su carácter global, que acumula las diferencias que aportan los distintos cómputos, en lugar de quedarnos con la máxima de ellas...

Generadores ScalaCheck para property-based testing de programas Spark y Spark Streaming

En los últimos años hemos sido testigos de la expansión del paradigma big data a una velocidad vertiginosa. Los cambios en este campo, nos permiten ampliar las áreas a tratar; lo que a su vez implica una mayor complejidad de los sistemas software asociados a estas tareas, como sucede en sistemas de monitorización o en el Internet de las Cosas (Internet of Things). Asimismo, la necesidad de implementar programas cada vez robustos y eficientes, es decir, que permitan el cómputo de datos a mayor velocidad y de los se obtengan información relevante, ahorrando costes y tiempo, ha propiciado la necesidad cada vez mayor de herramientas que permitan evaluar estos programas. En este contexto, el presente proyecto se centra en extender la herramienta sscheck. Sscheck permite la generación de casos de prueba basados en propiedades de programas escritos en Spark y Spark Streaming. Estos lenguajes forman parte de un mismo marco de código abierto para la computación distribuida en clúster. Dado que las pruebas basadas en propiedades generan datos aleatorios, es difícil reproducir los problemas encontrados en una cierta sesion; por ello, la extensión se centrará en cargar y guardar casos de test en disco mediante el muestreo de datos desde colecciones mayores.

Co-simulación HW/SW en Raspberry Pi

En el mundo de la simulación existen varios tipos de sistemas reales, entre los que se encuentran los sistemas de eventos discretos. Para poder simular estos sistemas se pueden utilizar, entre otras, herramientas basadas en el formalismo DEVS (Discrete EVents system Specification), como la utilizada en este proyecto: xDEVS. La simulación posee una importancia muy elevada en campos como la educación y la ciencia, y en ocasiones es necesario incluir datos del medio físico o sacar información al exterior del simulador. Por ello es necesario contar con herramientas que puedan realizar simulaciones utilizando sensores, actuadores, circuitos externos, etc., o lo que es lo mismo, que puedan realizar co-simulaciones entre software y hardware. De esta forma se puede facilitar el desarrollo de sistemas por medio de modelado y simulación, pudiendo extraer el hardware gradualmente y analizar los resultados en cada etapa. Este proyecto es de carácter incremental, y trata de extender la funcionalidad de la plataforma xDEVS para poder realizar co-simulaciones entre hardware y software sobre una Raspberry Pi. Para ello se van a utilizar circuitos lógicos como hardware externo y se enlazarán al simulador a través de ficheros de dispositivo, gestionados por módulos del kernel de Linux. Como caso de estudio se desarrolla la co-simulación entre hardware y software completa de un ascensor de siete plantas para mostrar el uso y funcionamiento en xDEVS, extrayendo los circuitos integrados de uno en uno.

Las redes como factor clave para la consolidación de nuevas cooperativas de trabajo asociado

En estos últimos años de crisis y destrucción de empleo, el interés por impulsar el dinamismo y crecimiento de la economía de un área geográfica a través de la creación de nuevas empresas ha ido en aumento. Las cooperativas de trabajo asociado (CTA) representan un modelo de empresa en el que los objetivos económicos se combinan con los sociales, logrando un crecimiento basado en el empleo, la igualdad social y la equidad. Las nuevas CTA necesitan conocimiento para su consolidación, una parte del cual proviene de la formación y experiencia de sus promotores, y otra de las relaciones de tipo interpersonal e interorganizacional dentro de su entorno económico y social. La supervivencia y crecimiento de la CTA se verá muy influida por su habilidad para mantener y extender sus redes. Este trabajo plantea como objetivo contribuir al conocimiento de los diferentes tipos de redes con los que se relaciona una cooperativa desde su nacimiento hasta la consolidación, así como el impacto que tienen en su supervivencia y crecimiento. Para ello se han realizado un total de 36 entrevistas en profundidad utilizando una metodología cualitativa (Teoría Fundamentada) con los socios promotores de CTA creadas en el periodo 2006-2007, todas ellas localizadas en la Comunidad Valenciana.

Epigrafía y territorio: las civitates de la Asturia meridional y la Lusitania nororiental

La tesis Epigrafía y territorio: las civitates de la Asturia meridional y la Lusitania nororiental tiene como objetivo analizar contextualmente el hábito epigráfico provincial en un territorio rural. Éste se circunscribe a una región que se extiende por el occidente de Zamora (comarcas de Aliste y Sayago) y el oriente del Distrito de Bragança (concelhos de Miranda do Douro y Mogadouro). Se trata de una zona interfronteriza en la actualidad, que se ha considerado tradicionalmente parte de la civitas más meridional del conventus Asturum, la de los zoelas, y cuyos límites marcarían también las fronteras entre las provincias Lusitania y Citerior, además de las demarcaciones de los conventus Bracarensis, Asturum, Cluniensis y Emeritensis. En este trabajo, a través de una metodología basada en la Arqueología del Paisaje, se integran las diferentes fuentes de información disponibles en un estudio integral y diacrónico del territorio. De esta manera es posible analizar los procesos sociales ocurridos en esta zona desde la conquista romana hasta el final del Alto Imperio. Para ello se parte de una serie de presupuestos iniciales. Fundamentalmente se considera el hábito epigráfico provincial como una herramienta política de autopromoción utilizada por los grupos de poder locales surgidos a partir de la conquista romana. Esta concepción elitista de la epigrafía local parte de la configuración del nuevo sistema social, basado en la desigualdad, impuesto por Roma a las comunidades conquistadas y que se articula a través de la entidad administrativa de referencia: la civitas. Esta nueva organización, que rompe radicalmente con la realidad prerromana local, posibilita la estructuración de un territorio de carácter rural, ajeno al modelo urbano–cívico clásico. Sin embargo, esto no equivale a negar la integración de estas poblaciones en el Imperio, pues la conquista romana supuso un cambio de primer orden en el conjunto de la estructura social y territorial. A partir de un nuevo modelo de datación de las inscripciones propuesto en esta tesis, se puede observar cómo la epigrafía revela unas dinámicas particulares por parte de las aristocracias locales en toda esta zona. Algunos de los centros donde los grupos de poder proyectan su posición a través de la epigrafía durante el siglo I d.C., pasan a un segundo plano a partir de los primeros años del siglo II d.C. Con ello, es posible definir variaciones en los centros de poder, que forman parte de un territorio descentralizado en el que diferentes grupos locales compiten para afianzar y extender su influencia. Precisamente las estelas que se han considerado como características de este populus, el “estilo Picote”, se restringen al área oriental y no se documentan en uno de los principales centros, Castro de Avelãs, el único lugar donde aparece recogido el ordo Zoelarum...

Tensiones y oportunidades en las multinacionales coopitalistas de Mondragón: el caso de Fagor Electrodomésticos, sdad. coop.

Las cooperativas de Mondragon, de acuerdo con su misión, reflejan el esfuerzo de combinar los objetivos de las organizaciones empresariales que compiten a nivel internacional con la creación de empleo, la utilización de métodos democráticos de gestión y el compromiso con el entorno. La multinacionalización de las cooperativas trae consigo nuevas contradicciones, paradojas y dilemas al mundo de la democracia económica. En este artículo se analiza el caso de la cooperativa-multinacional “Fagor Electrodomésticos S. Coop.” de la Corporación Mondragon. Tras años de expansión internacional mediante la inversión directa extranjera, debido a la crisis ha tenido que acometer procesos radicales de restructuración del empleo, tanto en las plantas de la matriz de Mondragón, como en sus empresas filiales extranjeras: la empresa francesa Fagor-Brandt y la antigua empresa comunista polaca Fagor Mastercook. El análisis de las medidas adoptadas para reducir el empleo en Fagor nos servirá de base para profundizar en el conocimiento de las características organizativas de las multinacionales de Mondragon y para reflexionar sobre las posibilidades de extender el modelo cooperativo a las filiales.

La economía atlántica: liberalización comercial y efectos económicos

La Unión Europea inició en 2013 la negociación del acuerdo comercial denominado “Partenariado Transatlántico sobre Comercio e Inversión”, más conocido por las siglas en inglés de dicho acuerdo, TTIP (Transatlantic Trade and Investment Partnership). Se trata del acuerdo de libre comercio más importante de la historia de la Unión Europea, con un potencial impacto económico relevante sobre la economía europea, la economía española y, también, sobre el orden comercial multilateral articulado en torno a la Organización Mundial de Comercio y el GATT. Se ha considera oportuno, en consecuencia, investigar de forma rigurosa sobre el potencial impacto económico de este acuerdo comercial. Síntesis La tesis doctoral tiene por objetivo desarrollar el marco analítico en el cual evaluar el potencial impacto económico del acuerdo comercial conocido como TTIP. Pretende, en primer lugar, a la luz de las estadísticas oficiales disponibles, analizar en profundidad la economía atlántica, desde la perspectiva de los flujos de comercio de bienes y servicios y de los flujos de inversión, y aplicar la nueva teoría pura del comercio internacional (bajo supuestos de economías de escala, diferenciación de producto y preferencia por la variedad en las funciones de demanda del consumidor) a la explicación de los intercambios comerciales atlánticos. Se propone asimismo aplicar la teoría económica al análisis del impacto de las variaciones de los precios internacionales de los inputs energéticos o commodities sobre la economía atlántica. El segundo objetivo es profundizar en el análisis de las barreras que aún obstaculizan los intercambios comerciales de bienes y servicios y los flujos de capitales y de personas en la “economía atlántica”. Se trata de extender el análisis desde los obstáculos comerciales tradicionales (aranceles y contingentes), a los que subyacen en la regulación, los estándares técnicos, las reglas sobre compras públicas, las decisiones en el ámbito de la política de defensa de la competencia o en el uso de los instrumentos de defensa comercial. El análisis horizontal de las barreras se complementa con otro de carácter sectorial. Sin este ejercicio no es posible evaluar correctamente el impacto potencial de una liberalización comercial atlántica completa y profunda...