190 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

    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

    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

    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

    Climate Change, Coral Reef Ecosystems, and Management Options for Marine Protected Areas

    Get PDF
    Marine protected areas (MPAs) provide place-based management of marine ecosystems through various degrees and types of protective actions. Habitats such as coral reefs are especially susceptible to degradation resulting from climate change, as evidenced by mass bleaching events over the past two decades. Marine ecosystems are being altered by direct effects of climate change including ocean warming, ocean acidification, rising sea level, changing circulation patterns, increasing severity of storms, and changing freshwater influxes. As impacts of climate change strengthen they may exacerbate effects of existing stressors and require new or modified management approaches; MPA networks are generally accepted as an improvement over individual MPAs to address multiple threats to the marine environment. While MPA networks are considered a potentially effective management approach for conserving marine biodiversity, they should be established in conjunction with other management strategies, such as fisheries regulations and reductions of nutrients and other forms of land-based pollution. Information about interactions between climate change and more “traditional” stressors is limited. MPA managers are faced with high levels of uncertainty about likely outcomes of management actions because climate change impacts have strong interactions with existing stressors, such as land-based sources of pollution, overfishing and destructive fishing practices, invasive species, and diseases. Management options include ameliorating existing stressors, protecting potentially resilient areas, developing networks of MPAs, and integrating climate change into MPA planning, management, and evaluation

    Beta-alanine supplementation improves isometric, but not isotonic or isokinetic strength endurance in recreationally strength-trained young men

    Get PDF
    Background: β-alanine (BA) supplementation may be ergogenic during high intensity exercise, primarily due to the buffering of hydrogen cations, although the effects of beta-alanine supplementationon strength endurance are equivocal. Aim: To determine the effects of 4 weeks of beta-alanine supplementation on skeletal muscle endurance using a battery of performance tests. Methods: This study employed a parallel group, repeated measures, randomised, double-blinded and placebo controlled design. Twenty recreationally strength-trained healthy males completed tests of isotonic strength endurance (repeated bench and leg press), along with tests of isometric and isokinetic endurance conducted using an isokinetic dynamometer. Tests were performed before and after a 4 week intervention, comprising an intake of 6.4g.day-1 10 of BA (n = 9) or placebo (maltodextrin, n = 11). Results: Time-to-exhaustion during the isometric endurance test improved by ~17% in the BA group (p 0.1) were shown for any of the performance variables in the isokinetic test (peak torque, fatigue index, total work) nor for the total number of repetitions performed in the isotonic endurance tests (leg or bench press). Conclusions: Four weeks of BA supplementation (6.4 g.day-1 15 ) improved isometric, but not isokinetic or isotonic endurance performance
    corecore