229 research outputs found

    Parameterized Synthesis with Safety Properties

    Full text link
    Parameterized synthesis offers a solution to the problem of constructing correct and verified controllers for parameterized systems. Such systems occur naturally in practice (e.g., in the form of distributed protocols where the amount of processes is often unknown at design time and the protocol must work regardless of the number of processes). In this paper, we present a novel learning based approach to the synthesis of reactive controllers for parameterized systems from safety specifications. We use the framework of regular model checking to model the synthesis problem as an infinite-duration two-player game and show how one can utilize Angluin's well-known L* algorithm to learn correct-by-design controllers. This approach results in a synthesis procedure that is conceptually simpler than existing synthesis methods with a completeness guarantee, whenever a winning strategy can be expressed by a regular set. We have implemented our algorithm in a tool called L*-PSynth and have demonstrated its performance on a range of benchmarks, including robotic motion planning and distributed protocols. Despite the simplicity of L*-PSynth it competes well against (and in many cases even outperforms) the state-of-the-art tools for synthesizing parameterized systems.Comment: 18 page

    Associations between fruit and vegetable intake, leisure-time physical activity, sitting time and self-rated health among older adults : cross-sectional data from the WELL study

    Get PDF
    BackgroundLifestyle behaviours, such as healthy diet, physical activity and sedentary behaviour, are key elements of healthy ageing and important modifiable risk factors in the prevention of chronic diseases. Little is known about the relationship between these behaviours in older adults. The purpose of this study was to explore the relationship between fruit and vegetable (F&V) intake, leisure-time physical activity (LTPA) and sitting time (ST), and their association with self-rated health in older adults.MethodsThis cross-sectional study comprised 3,644 older adults (48% men) aged 55-65 years, who participated in the Wellbeing, Eating and Exercise for a Long Life ("WELL") study. Respondents completed a postal survey about their health and their eating and physical activity behaviours in 2010 (38% response rate). Spearman\u27s coefficient (rho) was used to evaluate the relationship between F&V intake, LTPA and ST. Their individual and shared associations with self-rated health were examined using ordinal logistic regression models, stratified by sex and adjusted for confounders (BMI, smoking, long-term illness and socio-demographic characteristics).ResultsThe correlations between F&V intake, LTPA and ST were low. F&V intake and LTPA were positively associated with self-rated health. Each additional serving of F&V or MET-hour of LTPA were associated with approximately 10% higher likelihood of reporting health as good or better among women and men. The association between ST and self-rated health was not significant in the multivariate analysis. A significant interaction was found (ST*F&V intake). The effect of F&V intake on self-rated health increased with increasing ST in women, whereas the effect decreased with increasing ST in men.ConclusionThis study contributes to the scarce literature related to lifestyle behaviours and their association with health indicators among older adults. The findings suggest that a modest increase in F&V intake, or LTPA could have a marked effect on the health of older adults. Further research is needed to fully understand the correlates and determinants of lifestyle behaviours, particularly sitting time, in this age group

    Sodium bicarbonate supplementation improves severe-intensity intermittent exercise under moderate acute hypoxic conditions

    Get PDF
    Acute moderate hypoxic exposure can substantially impair exercise performance, which occurs with a concurrent exacerbated rise in hydrogen cation (H+) production. The purpose of this study was therefore, to alleviate this acidic stress through sodium bicarbonate (NaHCO3) supplementation and determine the corresponding effects on severe intensity intermittent exercise performance. Eleven recreationally active individuals participated in this randomised, double-blind, crossover study performed under acute normobaric hypoxic conditions (FiO2% = 14.5%). Pre-experimental trials involved the determination of time to attain peak bicarbonate anion concentrations ([HCO3-]) following NaHCO3 ingestion. The intermittent exercise tests involved repeated 60 s work in their severe intensity domain and 30 s recovery at 20 W to exhaustion. Participants ingested either 0.3 g·kg bm-1 of NaHCO3 or a matched placebo of 0.21 g·kg bm-1 of sodium chloride prior to exercise. Exercise tolerance (+110.9 ± 100.6 s; 95% CI: 43.3 to 178 s; g = 1.0) and work performed in the severe intensity domain (+5.8 ± 6.6 kJ; 95% CI: 1.3 to 9.9 kJ; g = 0.8) were enhanced with NaHCO3 supplementation. Furthermore, a larger post-exercise blood lactate concentration was reported in the experimental group (+4 ± 2.4 mmol·l-1; 95% CI: 2.2 to 5.9; g = 1.8), while blood [HCO3-] and pH remained elevated in the NaHCO3 condition throughout experimentation. In conclusion, this study reported a positive effect of NaHCO3 under acute moderate hypoxic conditions during intermittent exercise and therefore, may offer an ergogenic strategy to mitigate hypoxic induced declines in exercise performance

    Impacts of savanna trees on forage quality for a large African herbivore

    Get PDF
    Recently, cover of large trees in African savannas has rapidly declined due to elephant pressure, frequent fires and charcoal production. The reduction in large trees could have consequences for large herbivores through a change in forage quality. In Tarangire National Park, in Northern Tanzania, we studied the impact of large savanna trees on forage quality for wildebeest by collecting samples of dominant grass species in open grassland and under and around large Acacia tortilis trees. Grasses growing under trees had a much higher forage quality than grasses from the open field indicated by a more favourable leaf/stem ratio and higher protein and lower fibre concentrations. Analysing the grass leaf data with a linear programming model indicated that large savanna trees could be essential for the survival of wildebeest, the dominant herbivore in Tarangire. Due to the high fibre content and low nutrient and protein concentrations of grasses from the open field, maximum fibre intake is reached before nutrient requirements are satisfied. All requirements can only be satisfied by combining forage from open grassland with either forage from under or around tree canopies. Forage quality was also higher around dead trees than in the open field. So forage quality does not reduce immediately after trees die which explains why negative effects of reduced tree numbers probably go initially unnoticed. In conclusion our results suggest that continued destruction of large trees could affect future numbers of large herbivores in African savannas and better protection of large trees is probably necessary to sustain high animal densities in these ecosystems

    Functional identity versus species richness: herbivory resistance in plant communities

    Get PDF
    The resistance of a plant community against herbivore attack may depend on plant species richness, with monocultures often much more severely affected than mixtures of plant species. Here, we used a plant–herbivore system to study the effects of selective herbivory on consumption resistance and recovery after herbivory in 81 experimental grassland plots. Communities were established from seed in 2002 and contained 1, 2, 4, 8, 16 or 60 plant species of 1, 2, 3 or 4 functional groups. In 2004, pairs of enclosure cages (1 m tall, 0.5 m diameter) were set up on all 81 plots. One randomly selected cage of each pair was stocked with 10 male and 10 female nymphs of the meadow grasshopper, Chorthippus parallelus. The grasshoppers fed for 2 months, and the vegetation was monitored over 1 year. Consumption resistance and recovery of vegetation were calculated as proportional changes in vegetation biomass. Overall, grasshopper herbivory averaged 6.8%. Herbivory resistance and recovery were influenced by plant functional group identity, but independent of plant species richness and number of functional groups. However, herbivory induced shifts in vegetation composition that depended on plant species richness. Grasshopper herbivory led to increases in herb cover at the expense of grasses. Herb cover increased more strongly in species-rich mixtures. We conclude that selective herbivory changes the functional composition of plant communities and that compositional changes due to selective herbivory depend on plant species richness

    Nutrients cause grassland biomass to outpace herbivory

    Get PDF
    Human activities are transforming grassland biomass via changing climate, elemental nutrients, and herbivory. Theory predicts that food-limited herbivores will consume any additional biomass stimulated by nutrient inputs ('consumer-controlled'). Alternatively, nutrient supply is predicted to increase biomass where herbivores alter community composition or are limited by factors other than food ('resource-controlled'). Using an experiment replicated in 58 grasslands spanning six continents, we show that nutrient addition and vertebrate herbivore exclusion each caused sustained increases in aboveground live biomass over a decade, but consumer control was weak. However, at sites with high vertebrate grazing intensity or domestic livestock, herbivores consumed the additional fertilization-induced biomass, supporting the consumer-controlled prediction. Herbivores most effectively reduced the additional live biomass at sites with low precipitation or high ambient soil nitrogen. Overall, these experimental results suggest that grassland biomass will outstrip wild herbivore control as human activities increase elemental nutrient supply, with widespread consequences for grazing and fire risk

    The influence of alkalosis on repeated high-intensity exercise performance and acid–base balance recovery in acute moderate hypoxic conditions

    Get PDF
    Purpose Exacerbated hydrogen cation (H⁺) production is suggested to be a key determinant of fatigue in acute hypoxic conditions. This study, therefore, investigated the effects of NaHCO3 ingestion on repeated 4 km TT cycling performance and post-exercise acid–base balance recovery in acute moderate hypoxic conditions. Methods Ten male trained cyclists completed four repeats of 2 × 4 km cycling time trials (TT1 and TT2) with 40 min passive recovery, each on different days. Each TT series was preceded by supplementation of one of the 0.2 g kg⁻¹ BM NaHCO3 (SBC2), 0.3 g kg⁻¹ BM NaHCO3 (SBC3), or a taste-matched placebo (0.07 g kg⁻¹ BM sodium chloride; PLA), administered in a randomized order. Supplements were administered at a pre-determined individual time to peak capillary blood bicarbonate concentration ([HCO3⁻]). Each TT series was also completed in a normobaric hypoxic chamber set at 14.5% FiO2 (~ 3000 m). Results Performance was improved following SBC3 in both TT1 (400.2 ± 24.1 vs. 405.9 ± 26.0 s; p = 0.03) and TT2 (407.2 ± 29.2 vs. 413.2 ± 30.8 s; p = 0.01) compared to PLA, displaying a very likely benefit in each bout. Compared to SBC2, a likely and possible benefit was also observed following SBC3 in TT1 (402.3 ± 26.5 s; p = 0.15) and TT2 (410.3 ± 30.8 s; p = 0.44), respectively. One participant displayed an ergolytic effect following SBC3, likely because of severe gastrointestinal discomfort, as SBC2 still provided ergogenic effects. Conclusion NaHCO3 ingestion improves repeated exercise performance in acute hypoxic conditions, although the optimal dose is likely to be 0.3 g kg⁻¹ BM

    Ingestion of oxygenated water enhances lactate clearance kinetics in trained runners

    Full text link
    Abstract Background Drinks with higher dissolved oxygen concentrations have in recent times gained popularity as a potential ergogenic aid, despite a lack of evidence regarding their efficacy. The aim of this study was to assess effects of ingestion of an oxygen supplement (OS) on exercise performance and post-exercise recovery in a group of trained runners. Methods Trained male runners (n = 25, mean ± SD; age 23 ± 6 years, mass 70 ± 9 kg, BMI 21.9 ± 2.7 kg.m−2 VO2max 64 ± 6mL.kg−1.min−1), completed a randomised double blinded, crossover study to assess the effect of ingestion of OS solution on exercise performance and recovery. Trials consisted of a 30min rest period, 5min warm-up, a 5000m treadmill time-trial, and a 30min passive recovery. Participants ingested 6x15mL of either OS or a taste matched placebo during the trials (3 during the rest phase, 1 during exercise and 2 during the recovery). Muscle tissue O2 saturation was measured via near infrared spectroscopy. Blood lactate concentrations were measured prior to, mid-way and directly after the finish of the 5000m time trials and every 3-min during the post-exercise recovery. Results Ingestion of OS did not improve exercise performance. No significant differences were observed for muscle tissue O2 saturation at any time-points. However, lactate clearance was significantly improved during recovery in the OS trials. Both AUC (109 ± 32 vs. 123 ± 38 mmol.min, P < 0.05, d = 0.40) and lactate half-life (λ) (1127 ± 272 vs. 1223 ± 334 s, P < 0.05, d = 0.32) were significantly reduced. Conclusions Despite no evidence of improved exercise performance, ingestion of OS did enhance post-exercise recovery via increased lactate clearance
    corecore