Contributions to the deadlock problem in multithreaded software applications observed as Resource Allocation Systems

Desde el punto de vista de la competencia por recursos compartidos sucesivamente reutilizables, se dice que un sistema concurrente compuesto por procesos secuenciales está en situación de bloqueo si existe en él un conjunto de procesos que están indefinidamente esperando la liberación de ciertos recursos retenidos por miembros del mismo conjunto de procesos. En sistemas razonablemente complejos o distribuidos, establecer una política de asignación de recursos que sea libre de bloqueos puede ser un problema muy difícil de resolver de forma eficiente. En este sentido, los modelos formales, y particularmente las redes de Petri, se han ido afianzando como herramientas fructíferas que permiten abstraer el problema de asignación de recursos en este tipo de sistemas, con el fin de abordarlo analíticamente y proveer métodos eficientes para la correcta construcción o corrección de estos sistemas. En particular, la teoría estructural de redes de Petri se postula como un potente aliado para lidiar con el problema de la explosión de estados inherente a aquéllos. En este fértil contexto han florecido una serie de trabajos que defienden una propuesta metodológica de diseño orientada al estudio estructural y la correspondiente corrección física del problema de asignación de recursos en familias de sistemas muy significativas en determinados contextos de aplicación, como el de los Sistemas de Fabricación Flexible. Las clases de modelos de redes de Petri resultantes asumen ciertas restricciones, con significado físico en el contexto de aplicación para el que están destinadas, que alivian en buena medida la complejidad del problema. En la presente tesis, se intenta acercar ese tipo de aproximación metodológica al diseño de aplicaciones software multihilo libres de bloqueos. A tal efecto, se pone de manifiesto cómo aquellas restricciones procedentes del mundo de los Sistemas de Fabricación Flexible se muestran demasiado severas para aprehender la versatilidad inherente a los sistemas software en lo que respecta a la interacción de los procesos con los recursos compartidos. En particular, se han de resaltar dos necesidades de modelado fundamentales que obstaculizan la mera adopción de antiguas aproximaciones surgidas bajo el prisma de otros dominios: (1) la necesidad de soportar el anidamiento de bucles no desplegables en el interior de los procesos, y (2) la posible compartición de recursos no disponibles en el arranque del sistema pero que son creados o declarados por un proceso en ejecución. A resultas, se identifica una serie de requerimientos básicos para la definición de un tipo de modelos orientado al estudio de sistemas software multihilo y se presenta una clase de redes de Petri, llamada PC2R, que cumple dicha lista de requerimientos, manteniéndose a su vez respetuosa con la filosofía de diseño de anteriores subclases enfocadas a otros contextos de aplicación. Junto con la revisión e integración de anteriores resultados en el nuevo marco conceptual, se aborda el estudio de propiedades inherentes a los sistemas resultantes y su relación profunda con otros tipos de modelos, la confección de resultados y algoritmos eficientes para el análisis estructural de vivacidad en la nueva clase, así como la revisión y propuesta de métodos de resolución de los problemas de bloqueo adaptadas a las particularidades físicas del dominio de aplicación. Asimismo, se estudia la complejidad computacional de ciertas vertientes relacionadas con el problema de asignación de recursos en el nuevo contexto, así como la traslación de los resultados anteriormente mencionados sobre el dominio de la ingeniería de software multihilo, donde la nueva clase de redes permite afrontar problemas inabordables considerando el marco teórico y las herramientas suministradas para subclases anteriormente explotadas

Nueva especie de helófito (Butomus umbellatus L.) a incluir en el catálogo de la flora de Extremadura

El presente trabajo es producto de un estudio realizado sobre el estado ecológico del río Zújar, fi nanciado por la Confederación Hidrográfi ca del Guadiana en el tramo comprendido entre la presa del Zújar y su confl uencia con el río Guadiana. En dicho tramo se ha encontrado Butomus umbellatus L., una planta rara en el sur de España, y que es el motivo de la presente nota

Formación de alumnos ciberayudantes

Desde el año 2008/2009 se desarrolla en el I.E.S Luis Buñuel el programa de alumnos-ayudantes con alumnos de 1º y 2º de la ESO cuyo principal objetivo es promover la cooperación y participación del alumnado, para que se cree un entramado fuerte entre el alumnado, capaz de afrontar los problemas cotidianos desde un marco de confianza, creyendo que el beneficio individual repercute en el del grupo y viceversa.Uno de los problemas que detectan los docentes implicados en el programa, y que pretende resolver este trabajo, es que muchos de los conflictos con los que se encuentran no se dan físicamente en el aula sino que ocurren en redes sociales y en entornos virtuales y que la formación de este programa no es suficiente para alcanzar las problemáticas específicas de las redes sociales, privacidad en internet, y ciberacoso.Para ello este trabajo propone complementar con una formación específica en riesgos en internet/redes sociales y ciberacoso para los alumnos ayudantes cuando alcancen 3ºESO, pudiendo aplicar así su funciones en conflictos relacionados con el mundo virtual. Además a través de la creación colectiva de materiales preventivos trabajarán estos temas con el resto de compañeros de su curso, revirtiendo esta formación en todo el alumnado de 3ºESO<br /

De la ludificación a la inclusión: Una experiencia colaborativa

Este trabajo plantea la implantación de estrategias metodológicas situadas en el marco de la ludificación con una orientación colaborativa y con el objetivo de aumentar la motivación del alumnado y en consecuencia sus resultados académicos. La propuesta concreta su acción a través de elementos lúdicos procedentes de los juegos de rol, dando especial importancia al desarrollo de una narrativa que facilite la generación de una experiencia inmersiva para el conjunto del grupo clase y que además pretende acercar los contenidos de disintas unidades didácticas mediante su integración dentro de la misma aventura.<br /

Un servicio para la comunidad mediante Aprendizaje Basado en Proyectos

Con el fin de conseguir despertar el interés y la motivación del alumnado, y, en consecuencia, facilitar la adquisición de competencias y los objetivos planteados durante el proceso educativo de una manera atractiva para los alumnos, se propone un hipotético proyecto de innovación, que consiste en llevar a la práctica dos metodologías activas y compatibles entre sí: aprendizaje basado en proyectos (ABP) y aprendizaje – servicio (ApS).Para llevar a la práctica ambas metodologías y mejorar la situación actual descrita, se plantea para el próximo curso un proyecto denominado “Juguetes sin barreras”, con alumnos de segundo curso de Educación Secundaria Obligatoria (ESO) en Aragón: un proyecto interdisciplinar que consiste en el diseño y fabricación de un juguete destinado a un niño o niña con alguna discapacidad.<br /

Utilización de un Entorno Personal de Aprendizaje y las herramientas 2.0 para la mejora personal a través del trabajo en equipo

Teniendo en cuenta la importancia de las herramientas TIC en la sociedad actual, encontramos en dichas herramientas un medio para desarrollar aprendizaje significativo. Utilizando un EPA (Entorno Personal de Aprendizaje) el alumnado podrá emprender la realización de proyectos que le lleven a la mejora de sus capacidades de trabajo en equipo. Se utilizará la metodología ágil Scrum con el fin de trasmitir al alumnado la necesidad de aplicar nuevas metodologías y procesos así como resaltar la importancia en la sociedad actual de desarrollar sus habilidades interpersonales y competencias orientadas al trabajo en equipo. A su vez, ese desempeño incluye otra serie de competencias básicas como la de aprender a aprender, competencias lingüísticas, competencias de emprendimiento, etc.<br /

High-density lipoproteins and immune response: A review

High-density lipoproteins (HDLs) are heterogeneous lipoproteins that modify their composition and functionality depending on physiological or pathological conditions. The main roles of HDL are cholesterol efflux, and anti-inflammatory and antioxidant functions. These functions can be compromised under pathological conditions. HDLs play a role in the immune system as anti-inflammatory molecules but when inflammation occurs, HDLs change their composition and carry pro-inflammatory cargo. Hence, many molecular intermediates that influence inflammatory microenvironments and cell signaling pathways can modulate HDLs structural modification and function. This review provides a comprehensive assessment of the importance of HDL composition and anti-inflammatory function in the onset and progression of atherosclerotic cardiovascular diseases. On the other hand, immune cell activation during progression of atheroma plaque formation can be influenced by HDLs through HDL-derived cholesterol depletion from lipid rafts and through HDL interaction with HDL receptors expressed on T and B lymphocytes. Cholesterol efflux is mediated by HDL receptors located in lipid rafts in peripheral cells, which undergo membrane structural modifications, and interferes with subsequent molecules interactions or intracellular signaling cascades. Regarding antigen-presentation cells such as macrophages or dendritic cells, HDL function may then modulate lymphocytes activation in immune response. Our review also contributes to the understanding of the effects exerted by HDLs in signal transduction associated to our immune cell population during chronic diseases progression.Junta de Andalucía US-126345

Effects of a steps/day programme with evaluation in physical education on body mass index in schoolchildren 11-12 years of age

The aim of the study was to assess the effects that a steps/day programme may have on body mass index (BMI) among primary education students (11.37±0.48 years). A six-week controlled trial with a follow-up was completed with an experimental group (N=66, pedometer + steps/day programme + reinforcement programme in their physical education (PE) marks + weekly follow-up in PE), and a control group (N=76). Omron HJ-152-E2 pedometers were used. Normoweight students complied with programme requirements to a greater extent than their overweight counterparts (72.7 vs 59.1%). The programmed minimum number of 12,000 steps/day for boys and 10,000 for girls was exceeded by 83% of boys and 60% of girls. The differences in the number of steps/day between boys (14,274) and girls (10,626) were significant across all the measured periods (p<.05). The results show that the teenagers who complied with the programme requirements reduced their BMI significantly after the intervention (p<.001) and this reduction persisted for six weeks after the programme (p<.001). In conclusion, the six-week programme of 12,000 steps/day for boys and 10,000 for girls, jointly with a reinforcement programme in their PE marks and weekly follow-up by their PE teacher, reduces BMI significantly in 11-12-year-old schoolchildren. Monitored steps/day programmes in the PE curriculum increase out-of-school physical activity and reduce BMI in 11-12-year-old schoolchildren

A Unified Tool for Performance Modelling and Prediction

Abstract. We describe a novel performability modelling approach which facilitates the efficient solution of performance models extracted from high-level descriptions of systems. The notation which we use for our high-level designs is the UML graphical modelling language. The technology which provides the efficient representation capability for the underlying performance model is the MTBDD-based PRISM probabilistic model checker. The UML models are compiled through an intermediate language, the stochastic process algebra PEPA, before translation into MTBDDs for solution. We illustrate our approach on a real-world analysis problem from the domain of mobile telephony. 1 Introduction Distributed, mobile and global computing environments provide robust development challenges to practising software system developers. Working with rapidlychanging implementation technology means that developers often must spend some of their development time finding and correcting errors in the software libraries and APIs which they use. Fortifying this difficulty is the arduous terrain of dynamic distributed systems where the difficulty of replaying a communication sequence which led to a system fault confounds the process of detecting and correcting implementation errors. In this setting, application developers rarely wish to expend the investment of time which would be needed to build and analyse a performance model of the system which they are developing. The concepts and the modelling languages of performance analysis are relatively unfamiliar to software developers and when already faced with a generous range of other difficulties in the development process, early predictive performance analysis can easily be overlooked