Energy-aware feedback control for a H.264 video decoder

Embedded devices using highly integrated chips must cope with conflicting constraints, while executing computationally demanding applications under limited energy storage. Automatic control and feedback loops appear to be an effective solution to simultaneously accommodate for performance uncertainties due to the tiny scale gates variability, varying and poorly predictable computing demands and limited energy storage constraints. This paper presents the example of an embedded video decoder controlled by several feedback loops to carry out the trade-off between decoding quality and energy consumption, exploiting the frequency and voltage scaling capabilities of the chip. The inner loop controls the dynamic voltage and frequency scaling through a fast predictive control strategy. The outer loop computes the scheduling set-points needed by the inner loop to process frames decoding. The feedback loops have been implemented on a stock PC and experimental results are provided.     

Leaf area index mapping in northern Canada

Leaf area index (LAI) is an important structural vegetation parameter that is commonly derived from remotely sensed data. It has been used as a reliable indicator for vegetation's cover, status, health and productivity. In the past two decades, various Canada-wide LAI maps have been generated by the Canada Centre for Remote Sensing (CCRS). These products have been produced using a variety of very coarse satellite data such as those from SPOT VGT and NOAA AVHRR satellite data. However, in these LAI products, the mapping of the Canadian northern vegetation has not been performed with field LAI measurements due in large part to scarce in situ measurements over northern biomes. The coarse resolution maps have been extensively used in Canada, but finer resolution LAI maps are needed over the northern Canadian ecozones, in particular for studying caribou habitats and feeding grounds.

In this study, a new LAI algorithm was developed with particular emphasis over northern Canada using a much finer resolution of remotely sensed data and in situ measurements collected over a wide range of northern arctic vegetation. A statistical relationship was developed between the in situ LAI measurements collected over vegetation plots in northern Canada and their corresponding pixel spectral information from Landsat Thematic Mapper (TM) and Enhanced Thematic Mapper Plus (ETM+) data. Furthermore, all Landsat TM and ETM+ data have been pre-normalized to NOAA AVHRR and SPOT VGT data from the growing season of 2005 to reduce any seasonal or temporal variations. Various spectral vegetation indices developed from the Landsat TM and ETM?+?data were analysed in this study. The reduced simple ratio index (RSR) was found to be the most robust and an accurate estimator of LAI for northern arctic vegetation. An exponential relationship developed using the Theil–Sen regression technique showed an R ² of 0.51 between field LAI measurement and the RSR. The developed statistical relationship was applied to a pre-existing Landsat TM 250 m resolution mosaic for northern Canada to produce the final LAI map for northern Canada ecological zones. Furthermore, the 250 m resolution LAI estimates, per ecological zone, were almost generally lower than those of the CCRS Canada-wide VGT LAI maps for the same ecozones. Validation of the map with LAI field data from the 2008 season, not used in the derivation of the algorithm, shows strong agreement between the in situ LAI measurement values and the map-estimated LAI values.     

Semantical investigations into nonmonotonic and probabilistic logics

Different forms of semantics have been proposed for conditionals of the form “Usually, if A then B”, ranging from quantitative probability distributions to qualitative approaches using plausibility orderings, possibility distributions, or conditional objects. Atomic-bound systems, also called big-stepped probabilities, allow qualitative reasoning with probabilities, aiming at bridging the gap between qualitative and quantitative argumentation and providing a model for the nonmonotonic reasoning system P. By using Goguen and Burstall’s notion of institutions for the formalization of logical systems, we elaborate precisely which formal connections exist among big-stepped probabilities, standard probabilities, and qualitative logics. Based on our investigations, we also develop two variants of conditional objects, one of them having a simpler semantics while still providing a model for system P.     

Diet effects in the asthma treatment: A systematic review

Introduction: Obesity in asthmatic patients has important relationships with asthma control, pulmonary function, and quality of life. The objective of this study was to conduct a systematic review of the literature on the effect of diet on asthma management in adults. Methods: We searched PubMed, Embase, and Scopus (January 1948–October 2014) for randomized clinical trials that evaluated the effects of diet in adults with asthma. Results: Of 12,215 studies identified, 21 were included. A reduction in weight of at least 7.5% from baseline as a result of caloric restriction can be beneficial for improving disease control, quality of life, and pulmonary function in obese patients with asthma. A dietary pattern rich in foods with potential antioxidant effect had an impact in improving asthma control, but with little clinical significance. Studies involving antioxidant supplementation showed improvements in asthma control with magnesium supplementation and less decline in lung function with vitamin C supplementation. Studies of fatty acid supplementation demonstrated effects on weight loss and improvement of asthma control and lung function. Studies of supplementation with propolis and caffeine reported significant increases in FEV1. Conversely, studies of high dietary salt intake reported greater declines in lung function. Conclusions: The evidence shows that, for obese adults with asthma, the best dietary intervention seems to be caloric restriction, regardless of specific dietary components.     

Comparison of a static and a dynamic in vitro model to estimate the bioaccessibility of As, Cd, Pb and Hg from food reference materials Fucus sp. (IAEA-140/TM) and Lobster hepatopancreas (TORT-2)

Bioaccessibility, the fraction of an element solubilized during gastrointestinal digestion and available for absorption, is a factor that should be considered when evaluating the health risk of contaminants from food. Static and dynamic models that mimic human physiological conditions have been used to evaluate bioaccessibility. This preliminary study compares the bioaccessibility of arsenic (As), cadmium (Cd), lead (Pb) and mercury (Hg) in two food certified reference materials (CRMs) (seaweed: Fucus sp., IAEA-140/TM; Lobster hepatopancreas: TORT-2), using two in vitro gastrointestinal digestion methods: a static method (SM) and a dynamic multicompartment method (TIM-1). There are significant differences (p < 0.05) between the bioaccessible values of As, Cd, Pb and Hg obtained by SM and TIM-1 in the two CRMs. The specific form in which the elements studied are present in the CRM may help to explain the bioaccessibility values obtained.     

Fast in situ 3D nanoimaging: a new tool for dynamic characterization in materials science

1. Download high-res image (269KB)
2. Download full-size image

     

Influence of liquid lead and lead-bismuth eutectic on tensile, fatigue and creep properties of ferritic/martensitic and austenitic steels for transmutation systems

In this paper, the tensile, fatigue and creep properties of the Ferritic/Martensitic (F/M) steel T91 and of the Austenitic Stainless (AS) Steel 316L in lead-bismuth eutectic (LBE) or lead, obtained in the different organizations participating to the EUROTRANS-DEMETRA project are reviewed. The results show a remarkable consistency, referring to the variety of metallurgical and surface state conditions studied. Liquid Metal Embrittlement (LME) effects are shown, remarkable on heat-treated hardened T91 and also on corroded T91 after long-term exposure to low oxygen containing Liquid Metal (LM), but hardly visible on passive or oxidized smooth T91 specimens. For T91, the ductility trough was estimated, starting just above the melting point of the embrittler (T_M,E = 123.5 °C for LBE, 327 °C for lead) with the ductility recovery found at 425 °C. LME effects are weaker on 316L AS steel. Liquid Metal Assisted Creep (LMAC) effects are reported for the T91/LBE system at 550 °C, and for the T91/lead system at 525 °C. Today, if the study of the LME effects on T91 and 316L in LBE or lead can be considered well documented, in contrast, complementary investigations are necessary in order to quantify the LMAC effects in these systems, and determine rigorously the threshold creep conditions.     

Fast radix-p discrete cosine transform

A new fast radix-p-algorithm (p 2) for the discrete cosine transform (DCT) and its inverse is presented. It is based on the divide-and-conquer method and on the arithmetic with Chebyshev polynomials. The algorithm can be applied for the efficient calculation of DCT's of arbitrary transform lengths and for the implementation of other discrete Vandermonde transforms withO(N logN) arithmetical operations.