Energy and power aware scheduling algorithm modeling for battery powered embedded systems

Energy management has always been recognized as a challenge in mobile systems, especially in modern OS-based mobile systems where multi-functioning are widely supported. Nowadays, it is common for a mobile system user to run multiple applications simultaneously while having a target battery lifetime in mind for a specific application. Traditional OS-level power management (PM) policies make their best effort to save energy under performance constraint, but fail to guarantee a target lifetime, leaving the painful trading off between the total performance of applications and the target lifetime to the user itself. This thesis provides a new way to deal with the problem. It is advocated that a strong energy-aware PM scheme should first guarantee a user-specified battery lifetime to a target application by restricting the average power of those less important applications, and in addition to that, maximize the total performance of applications without harming the lifetime guarantee. As a support, energy, instead of CPU or transmission bandwidth, should be globally managed as the first-class resource by the OS. As the first-stage work of a complete PM scheme, this thesis presents the energy-based fair queuing scheduling, a novel class of energy-aware scheduling algorithms which, in combination with a mechanism of battery discharge rate restricting, systematically manage energy as the first-class resource with the objective of guaranteeing a user-specified battery lifetime for a target application in OS-based mobile systems. Energy-based fair queuing is a cross-application of the traditional fair queuing in the energy management domain. It assigns a power share to each task, and manages energy by proportionally serving energy to tasks according to their assigned power shares. The proportional energy use establishes proportional share of the system power among tasks, which guarantees a minimum power for each task and thus, avoids energy starvation on any task. Energy-based fair queuing treats all tasks equally as one type and supports periodical time-sensitive tasks by allocating each of them a share of system power that is adequate to meet the highest energy demand in all periods. However, an overly conservative power share is usually required to guarantee the meeting of all time constraints. To provide more effective and flexible support for various types of time-sensitive tasks in general purpose operating systems, an extra real-time friendly mechanism is introduced to combine priority-based scheduling into the energy-based fair queuing. Since a method is available to control the maximum time one time-sensitive task can run with priority, the power control and time-constraint meeting can be flexibly traded off. A SystemC-based test-bench is designed to assess the algorithms. Simulation results show the success of the energy-based fair queuing in achieving proportional energy use, time-constraint meeting, and a proper trading off between them. La gestión de energía en los sistema móviles está considerada hoy en día como un reto fundamental, notándose, especialmente, en aquellos terminales que utilizando un sistema operativo implementan múltiples funciones. Es común en los sistemas móviles actuales ejecutar simultaneamente diferentes aplicaciones y tener, para una de ellas, un objetivo de tiempo de uso de la batería. Tradicionalmente, las políticas de gestión de consumo de potencia de los sistemas operativos hacen lo que está en sus manos para ahorrar energía y satisfacer sus requisitos de prestaciones, pero no son capaces de proporcionar un objetivo de tiempo de utilización del sistema, dejando al usuario la difícil tarea de buscar un compromiso entre prestaciones y tiempo de utilización del sistema. Esta tesis, como contribución, proporciona una nueva manera de afrontar el problema. En ella se establece que un esquema de gestión de consumo de energía debería, en primer lugar, garantizar, para una aplicación dada, un tiempo mínimo de utilización de la batería que estuviera especificado por el usuario, restringiendo la potencia media consumida por las aplicaciones que se puedan considerar menos importantes y, en segundo lugar, maximizar las prestaciones globales sin comprometer la garantía de utilización de la batería. Como soporte de lo anterior, la energía, en lugar del tiempo de CPU o el ancho de banda, debería gestionarse globalmente por el sistema operativo como recurso de primera clase. Como primera fase en el desarrollo completo de un esquema de gestión de consumo, esta tesis presenta un algoritmo de planificación de encolado equitativo (fair queueing) basado en el consumo de energía, es decir, una nueva clase de algoritmos de planificación que, en combinación con mecanismos que restrinjan la tasa de descarga de una batería, gestionen de forma sistemática la energía como recurso de primera clase, con el objetivo de garantizar, para una aplicación dada, un tiempo de uso de la batería, definido por el usuario, en sistemas móviles empotrados. El encolado equitativo de energía es una extensión al dominio de la energía del encolado equitativo tradicional. Esta clase de algoritmos asigna una reserva de potencia a cada tarea y gestiona la energía sirviéndola de manera proporcional a su reserva. Este uso proporcional de la energía garantiza que cada tarea reciba una porción de potencia y evita que haya tareas que se vean privadas de recibir energía por otras con un comportamiento más ambicioso. Esta clase de algoritmos trata a todas las tareas por igual y puede planificar tareas periódicas en tiempo real asignando a cada una de ellas una reserva de potencia que es adecuada para proporcionar la mayor de las cantidades de energía demandadas por período. Sin embargo, es posible demostrar que sólo se consigue cumplir con los requisitos impuestos por todos los plazos temporales con reservas de potencia extremadamente conservadoras. En esta tesis, para proporcionar un soporte más flexible y eficiente para diferentes tipos de tareas de tiempo real junto con el resto de tareas, se combina un mecanismo de planificación basado en prioridades con el encolado equitativo basado en energía. En esta clase de algoritmos, gracias al método introducido, que controla el tiempo que se ejecuta con prioridad una tarea de tiempo real, se puede establecer un compromiso entre el cumplimiento de los requisitos de tiempo real y el consumo de potencia. Para evaluar los algoritmos, se ha diseñado en SystemC un banco de pruebas. Los resultados muestran que el algoritmo de encolado equitativo basado en el consumo de energía consigue el balance entre el uso proporcional a la energía reservada y el cumplimiento de los requisitos de tiempo real.

Combined static and dynamic assertion-based debugging of constraint logic programs

We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions for expressing properties of programs. We define several assertion schemas for writing (partial) specifications for constraint logic programs using quite general properties, including user-defined programs. The framework is aimed at detecting deviations of the program behavior (symptoms) with respect to the given assertions, either at compile-time (i.e., statically) or run-time (i.e., dynamically). We provide techniques for using information from global analysis both to detect at compile-time assertions which do not hold in at least one of the possible executions (i.e., static symptoms) and assertions which hold for all possible executions (i.e., statically proved assertions). We also provide program transformations which introduce tests in the program for checking at run-time those assertions whose status cannot be determined at compile-time. Both the static and the dynamic checking are provably safe in the sense that all errors flagged are definite violations of the pecifications. Finally, we report briefly on the currently implemented instances of the generic framework.

Effectiveness of combined sharing and freeness analysis using abstract interpretation

This paper presents improved unification algorithms, an implementation, and an analysis of the effectiveness of an abstract interpreter based on the sharing + freeness domain presented in a previous paper, which was designed to accurately and concisely represent combined freeness and sharing information for program variables. We first briefly review this domain and the unification algorithms previously proposed. We then improve these algorithms and correct them to deal with some cases which were not well analyzed previously, illustrating the improvement with an example. We then present the implementation of the improved algorithm and evaluate its performance by comparing the effectiveness of the information inferred to that of other interpreters available to us for an application (program parallelization) that is common to all these interpreters. All these systems have been embedded in a real parallelizing compiler. Effectiveness of the analysis is measured in terms of actual final performance of the system: i.e. in terms of the actual speedups obtained. The results show good performance for the combined domain in that it improves the accuracy of both types of information and also in that the analyzer using the combined domain is more effective in the application than any of the other analyzers it is compared to.

The Olympic Games and the production of the public realm. México City 1968 and Rio de Janeiro 2016

Para Brasil, actualmente una de las 10 economías más grandes del mundo, los Juegos Olímpicos y Paralímpicos de 2016 representan una oportunidad única. El artículo contrasta Río de Janeiro 2016 con México 1968, los primeros juegos en América Latina, y provee una mirada de cómo los juegos deberían proveer regeneración urbana así como un mejoramiento de la imagen de la ciudad, una imagen constantemente dañada, para una audiencia internacional.

STC power for 15MW of PV comparing nameplate, initial power and power after 4 years

To date, the majority of quality controls performed at PV plants are based on the measurement of a small sample of individual modules. Consequently, there is very little representative data on the real Standard Test Conditions (STC) power output values for PV generators. This paper presents the power output values for more than 1300 PV generators having a total installed power capacity of almost 15.3 MW. The values were obtained by the INGEPER-UPNA group, in collaboration with the IES-UPM, through a study to monitor the power output of a number of PV plants from 2006 to 2009. This work has made it possible to determine, amongst other things, the power dispersion that can be expected amongst generators made by different manufacturers, amongst generators made by the same manufacturer but comprising modules of different nameplate ratings and also amongst generators formed by modules with the same characteristics. The work also analyses the STC power output evolution over time in the course of this 4-year study. The values presented here could be considered to be representative of generators with fault-free modules.

Spherical collectors versus bare tethers for drag, thrust, and power generation

Deorbit, power generation, and thrusting performances of a bare thin-tape tether and an insulated tether with a spherical electron collector are compared for typical conditions in low-Earth orbit and common values of length L = 4−20 km and cross-sectional area of the tether A = 1−5 mm2. The relative performance of moderately large spheres, as compared with bare tapes, improves but still lags as one moves from deorbiting to power generation and to thrusting: Maximum drag in deorbiting requires maximum current and, thus, fully reflects on anodic collection capability, whereas extracting power at a load or using a supply to push current against the motional field requires reduced currents. The relative performance also improves as one moves to smaller A, which makes the sphere approach the limiting short-circuit current, and at greater L, with the higher bias only affecting moderately the already large bare-tape current. For a 4-m-diameter sphere, relative performances range from 0.09 sphere-to-bare tether drag ratio for L = 4 km and A = 5 mm2 to 0.82 thrust–efficiency ratio for L = 20 km and A = 1 mm2. Extremely large spheres collecting the short-circuit current at zero bias at daytime (diameters being about 14 m for A = 1 mm2 and 31 m for A = 5 mm2) barely outperform the bare tape for L = 4 km and are still outperformed by the bare tape for L = 20 km in both deorbiting and power generation; these large spheres perform like the bare tape in thrusting. In no case was sphere or sphere-related hardware taken into account in evaluating system mass, which would have reduced the sphere performances even further.

Spherical collectors versus bare tethers for drag, thrust, and power generation

Performances of ED-tethers using either spherical collectors or bare tethers for drag, thrust, or power generation, are compared. The standard Parker-Murphy model of current to a full sphere, with neither space-charge nor plasmamotion effects considered, but modified to best fit TSS1R results, is used (the Lam, Al'pert/Gurevich space-charge limited model will be used elsewhere) In the analysis, the spherical collector is assumed to collect current well beyond its random-current value (thick-heath). Both average current in the bare-tether and current to the sphere are normalized with the short-circuit current in the absence of applied power, allowing a comparison of performances for all three applications in terms of characteristic dimensionless numbers. The sphere is always substantially outperformed by the bare-tether if ohmic effects are weak, though its performance improves as such effects increase.

The role of land and water for trade and food production in Latin America: Environmental trade-offs of agricultural intensification versus extensification

One of humanity’s major challenges of the 21st century will be meeting future food demands on an increasingly resource constrained-planet. Global food production will have to rise by 70 percent between 2000 and 2050 to meet effective demand which poses major challenges to food production systems. Doing so without compromising environmental integrity is an even greater challenge. This study looks at the interdependencies between land and water resources, agricultural production and environmental outcomes in Latin America and the Caribbean (LAC), an area of growing importance in international agricultural markets. Special emphasis is given to the role of LAC’s agriculture for (a) global food security and (b) environmental sustainability. We use the International Model for Policy Analysis of Agricultural Commodities and Trade (IMPACT)—a global dynamic partial equilibrium model of the agricultural sector—to run different future production scenarios, and agricultural trade regimes out to 2050, and assess changes in related environmental indicators. Results indicate that further trade liberalization is crucial for improving food security globally, but that it would also lead to more environmental pressures in some regions across Latin America. Contrasting land expansion versus more intensified agriculture shows that productivity improvements are generally superior to agricultural land expansion, from an economic and environmental point of view. Finally, our analysis shows that there are trade-offs between environmental and food security goals for all agricultural development paths.

The influence of diet on the effectiveness of garlic oil and cinnamaldehyde to manipulate in vitro ruminal fermentation and methane production.

The objective of this study was to evaluate the effects of increasing doses [0 (control: CON), 20, 60, 180 and 540 mg/L incubation medium] of garlic oil (GO) and cinnamaldehyde (CIN) on in vitro ruminal fermentation of two diets. Batch cultures of mixed ruminal microorganisms were inoculated with ruminal fluid from four sheep fed a medium-concentrate diet (MC; 50 : 50 alfalfa hay : concentrate) or four sheep fed a high-concentrate diet (HC; 15 : 85 barley straw : concentrate). Diets MC and HC were representative of those fed to dairy and fattening ruminants, respectively. Samples of each diet were used as incubation substrates for the corresponding inoculum, and the incubation was repeated on 4 different days (four replicates per experimental treatment). There were GO × diet-type and CIN × diet-type interactions (P < 0.001–0.05) for many of the parameters determined, indicating different effects of both oils depending on the diet type. In general, effects of GO were more pronounced for MC compared with HC diet. Supplementation of GO did not affect (P > 0.05) total volatile fatty acid (VFA) production at any dose. For MC diet, GO at 60, 180 and 540 mg/L decreased (P < 0.05) molar proportion of acetate (608, 569 and 547 mmol/mol total VFA, respectively), and increased (P < 0.05) propionate proportion (233, 256 and 268 mmol/mol total VFA, respectively), compared with CON values (629 and 215 mmol/mol total VFA for acetate and propionate, respectively). A minimum dose of 180 mg of GO/L was required to produce similar modifications in acetate and propionate proportions with HC diet, but no effects (P > 0.05) on butyrate proportion were detected. Methane/VFA ratio was reduced (P < 0.05) by GO at 60, 180 and 540 mg/L for MC diet (0.23, 0.16 and 0.10 mol/mol, respectively), and by GO at 20, 60, 180 and 540 mg/L for HC diet (0.19, 0.19, 0.16 and 0.08 mol/mol, respectively), compared with CON (0.26 and 0.21 mol/mol for MC and HC diets, respectively). No effects (P = 0.16–0.85) of GO on final pH and concentrations of NH3-N and lactate were detected. For both diet types, the highest CIN dose decreased (P < 0.05) production of total VFA, gas and methane, which would indicate an inhibition of fermentation. Compared with CON, CIN at 180 mg/L increased (P < 0.05) acetate proportion for the MC (629 and 644 mmol/mol total VFA for CON and CIN, respectively) and HC (525 and 540 mmol/mol total VFA, respectively) diets, without affecting the proportions of any other VFA or total VFA production. Whereas for MC diet CIN at 60 and 180 mg/L decreased (P < 0.05) NH3-N concentrations compared with CON, only a trend (P < 0.10) was observed for CIN at 180 mg/L with the HC diet. Supplementation of CIN up to 180 mg/L did not affect (P = 0.18–0.99) lactate concentrations and production of gas and methane for any diet. The results show that effectiveness of GO and CIN to modify ruminal fermentation may depend on diet type, which would have practical implications if they are confirmed in vivo.

Analysis of dehidration and strenth in elite badminton players

Background: The negative effects of dehydration on aerobic activities are well established. However, it is unknown how dehydration affects intermittent sports performance. The purpose of this study was to identify the level of dehydration in elite badminton players and its relation to muscle strength and power production. Methodology: Seventy matches from the National Spanish badminton championship were analyzed (46 men?s singles and 24 women?s singles). Before and after each match, jump height and power production were determined during a countermovement jump on a force platform. Participants? body weight and a urine sample were also obtained before and after each match. The amount of liquid that the players drank during the match was also calculated by weighing their individual drinking bottles. Results and Discussion: Sweat rate during the game was 1.1460.46 l/h in men and 1.0260.64 l/h in women. The players rehydrated at a rate of 1.1060.55 l/h and 1.0160.44 l/h in the male and female groups respectively. Thus, the dehydration attained during the game was only 0.3760.50% in men and 0.3260.83% in women. No differences were found in any of the parameters analyzed during the vertical jump (men: from 31.8265.29 to 32.9064.49 W/kg; p.0.05, women: from 26.3664.73 to 27.2564.44 W/kg; p.0.05). Post-exercise urine samples revealed proteinuria (60.9% of cases in men and 66.7% in women), leukocyturia (men = 43.5% and women = 50.0%) and erythrocyturia (men = 50.0% and women = 21.7%). Conclusions: Despite a moderate sweat rate, badminton players adequately hydrated during a game and thus the dehydration attained was low. The badminton match did not cause muscle fatigue but it significantly increased the prevalence of proteinuria, leukocyturia and erythrocyturia.

Analysis of Combined Bending and Punching Tests of Reinforced Concrete Slabs within IMPACT III Project

The paper reports on a collaborative effort between the Swiss Federal Nuclear Safety Inspectorate (ENSI) and their consultants Principia and Stangenberg. As part of the IMPACT III project, reduced scale impact tests of reinforced concrete structures were carried out. The simulation of test X3 is presented here and the numerical results are compared with those obtained in the test, carried out in August 2013. The general object is to improve the safety of nuclear facilities and, more specifically, to demonstrate the capabilities of current simulation techniques to reproduce the behaviour of a reinforced concrete structure impacted by a soft missile. The missile is a steel tube with a mass of 50 kg and travelling at 140 m/s. The target is a 250 mm thick, 2,1 m by 2,1 m reinforced concrete wall, held in a stiff supporting frame. The reinforcement includes both longitudinal and transverse rebars. Calculations were carried out before and after the test with Abaqus (Principia) and SOFiSTiK (Stangenberg). In the Abaqus simulation the concrete is modelled using solid elements and a damaged plasticity formulation, the rebars with embedded beam elements, and the missile with shell elements. In SOFiSTiK the target is modelled with non-linear, layered shell elements for the reinforcement on both sides; non-linear shear deformations of shell/plate elements are approximately included. The results generally indicate a good agreement between calculations and measurements.

Iterative bit- and power allocation in correlated MIMO systems

In this contribution a novel iterative bit- and power allocation (IBPA) approach has been developed when transmitting a given bit/s/Hz data rate over a correlated frequency non-selective (4× 4) Multiple-Input MultipleOutput (MIMO) channel. The iterative resources allocation algorithm developed in this investigation is aimed at the achievement of the minimum bit-error rate (BER) in a correlated MIMO communication system. In order to achieve this goal, the available bits are iteratively allocated in the MIMO active layers which present the minimum transmit power requirement per time slot.

Crisis and the city: neoliberalism, austerity planning and the production of space

The current crisis, with its particularly severe configuration in Southern European countries, provides an opportunity to probe the interrelation of economic crunches and the production of space, and also to imagine potential paths of sociospatial emancipation from the dictates of global markets. This introductory chapter offers a preliminary interpretive framework exploring the fundamental role of urban and territorial restructuring in the formation, management and resolution of capitalist crises and, conversely, periods of crisis as key stages in the history of urbanization. I will begin by contextualizing the 2007-8 economic slump, the subsequent global recession and its uneven impact on states and cities in the longue durée of capitalist productions of space, studying the transformation of spatial configurations in previous episodes of economic stagnation. This broader perspective will then be used to analyze currently emerging formations of austerity urbanism, showing how the practices of crisis management incorporate a strategy for economic and institutional restructuring that eventually impacts on urban policy, and indeed in the production of urban space itself.

Effect of nano-Si2O and nano-Al2O3 on cement mortars for use in agriculture and livestock production

The effect of nano-silica, nano-alumina and binary combinations on surface hardness, resistance to abrasion and freeze-thaw cycle resistance in cement mortars was investigated. The Vickers hardness, the Los Angeles coefficient (LA) and the loss of mass in each of the freeze–thaw cycles to which the samples were subjected were measured. Four cement mortars CEM I 52.5R were prepared, one as control, and the other three with the additions: 5% nano-Si, 5% nano-Al and mix 2.5% n-Si and 2.5% n-Al. Mortars were tested at 7, 28 and 90 d of curing to determine compression strength, total porosity and pore distribution by mercury intrusion porosimetry (MIP) and the relationship between the CSH gel and Portlandite total by thermal gravimetric analysis (TGA). The capillary suction coefficient and an analysis by a scanning electron microscope (SEM) was made. There was a large increase in Vickers surface hardness for 5% n-Si mortar and a slight increase in resistance to abrasion. No significant difference was found between the mortars with nano-particles, whose LA was about 10.8, classifying them as materials with good resistance to abrasion. The microstructure shows that the addition of n-Si in mortars refines their porous matrix, increases the amount of hydrated gels and generates significant changes in both Portlandite and Ettringite. This produced a significant improvement in freeze–thaw cycle resistance. The effect of n-Al on mortar was null or negative with respect to freeze–thaw cycle resistance.

Immunization with live attenuated simian immunodeficiency virus induces strong type 1 T helper responses and β-chemokine production

Immunization with live attenuated simian immunodeficiency virus (SIV) strains has proved to be one of the most effective strategies to induce protective immunity in the SIV/macaque model. To better understand the role that CD4+ T helper responses may play in mediating protection in this model, we characterized SIV-specific proliferative and cytokine responses in macaques immunized with live attenuated SIV strains. Macaques chronically infected with live attenuated SIV had strong proliferative responses to SIV proteins, with stimulation indices of up to 74. The magnitude of the proliferative response to SIV Gag varied inversely with the degree of attenuation; Gag-specific but not envelope-specific responses were lower in animals infected with more highly attenuated SIV strains. SIV-specific stimulation of lymphocytes from vaccinated macaques resulted in secretion of interferon-γ, IL-2, regulated-upon-activation, normal T cells expressed and secreted (RANTES), macrophage inflammatory protein (MIP)-1α, and MIP-1β but not IL-4 or IL-10. Intracellular flow cytometric analysis documented that, in macaques vaccinated with SIVmac239Δnef, up to 2% of all CD4+T cells were specific for SIV p55. The ability of live attenuated SIV to induce a strong, sustained type 1 T helper response may play a role in the success of this vaccination approach to generate protection against challenge with wild-type SIV.