Viewpoint consistency in Z and LOTOS: A case study

Specification by viewpoints is advocated as a suitable method of specifying complex systems. Each viewpoint describes the envisaged system from a particular perspective, using concepts and specification languages best suited for that perspective. Inherent in any viewpoint approach is the need to check or manage the consistency of viewpoints and to show that the different viewpoints do not impose contradictory requirements. In previous work we have described a range of techniques for consistency checking, refinement, and translation between viewpoint specifications, in particular for the languages LOTOS and Z. These two languages are advocated in a particular viewpoint model, viz. that of the Open Distributed Processing (ODP) reference model. In this paper we present a case study which demonstrates how all these techniques can be combined in order to show consistency between a viewpoint specified in LOTOS and one specified in Z. Keywords: Viewpoints; Consistency; Z; LOTOS; ODP

Thermistor Pressure Gauge Design

Thermistor pressure gauges are characterized by large pressure range, good accuracy and stability, fast measurement, insensitivity to over-pressure, negligible out-gassing, ease in cleaning, and physical and electrical simplicity and ruggedness. A number of excellent papers have been published describing these gauges. However, a detailed account of design procedure and characteristics for a specific gauge would eliminate much of the trial and error encountered in designing a gauge having prescribed range, sensitivity, and stability

Tentative Evidence for Relativistic Electrons Generated by the Jet of the Young Sun-like Star DG Tau

Synchrotron emission has recently been detected in the jet of a massive protostar, providing further evidence that certain jet formation characteristics for young stars are similar to those found for highly relativistic jets from AGN. We present data at 325 and 610 MHz taken with the GMRT of the young, low-mass star DG Tau, an analog of the Sun soon after its birth. This is the first investigation of a low-mass YSO at at such low frequencies. We detect emission with a synchrotron spectral index in the proximity of the DG Tau jet and interpret this emission as a prominent bow shock associated with this outflow. This result provides tentative evidence for the acceleration of particles to relativistic energies due to the shock impact of this otherwise very low-power jet against the ambient medium. We calculate the equipartition magnetic field strength (0.11 mG) and particle energy (4x10^40 erg), which are the minimum requirements to account for the synchrotron emission of the DG Tau bow shock. These results suggest the possibility of low energy cosmic rays being generated by young Sun-like stars.Comment: 19 pages, 2 figures, accepted for publication in ApJ Letter

Considerations for Using a Geographic Information System to Assess Environmental Supports for Physical Activity

The use of a geographic information system (GIS) to study environmental supports for physical activity raises several issues, including acquisition and development, quality, and analysis. We recommend to public health professionals interested in using GIS that they investigate available data, plan for data development where none exists, ensure the availability of trained personnel and sufficient time, and consider issues such as data quality, analyses, and confidentiality. This article shares information about data-related issues that we encountered when using GIS to validate responses to a questionnaire about environmental supports for physical activity

2024 Wheelchair Compendium of Physical Activities: An Update of Activity Codes and Energy Expenditure Values

Purpose: This paper presents an update of the 2011 Wheelchair Compendium of Physical Activities designed for wheelchair users and is referred to as the 2024 Wheelchair Compendium. The Wheelchair Compendium aims to curate existing knowledge of the energy expenditure for wheelchair physical activities (PAs). Methods: A systematic review of the published energy expenditure of PA for wheelchair users was completed between 2011 and May 2023. We added these data to the 2011 Wheelchair Compendium data that was compiled previously in a systematic review through 2011. Results: A total of 47 studies were included, and 124 different wheelchair PA reported energy expenditure values ranging from 0.8 metabolic equivalents for wheelchair users (filing papers, light effort) to 11.8 metabolic equivalents for wheelchair users (Nordic sit skiing). Conclusion: In introducing the updated 2024 Wheelchair Compendium, we hope to bridge the resource gap and challenge the prevailing narratives that inadvertently exclude wheelchair users from physical fitness and health PAs

High flow conditions mediate damaging impacts of sub-lethal thermal stress on corals' endosymbiotic algae

The effects of thermal anomalies on tropical coral endosymbiosis can be mediated by a range of environmental factors, which in turn ultimately influence coral health and survival. One such factor is the water flow conditions over coral reefs and corals. Although the physiological benefits of living under high water flow are well known, there remains a lack of conclusive experimental evidence characterizing how flow mitigates thermal stress responses in corals. Here we use in situ measurements of flow in a variety of reef habitats to constrain the importance of flow speeds on the endosymbiosis of an important reef building species under different thermal regimes. Under high flow speeds (0.15 m s−1) and thermal stress, coral endosymbionts retained photosynthetic function and recovery capacity for longer compared to low flow conditions (0.03 m s−1). We hypothesize that this may be due to increased rates of mass transfer of key metabolites under higher flow, putatively allowing corals to maintain photosynthetic efficiency for longer. We also identified a positive interactive effect between high flow and a pre-stress, sub-lethal pulse in temperature. While higher flow may delay the onset of photosynthetic stress, it does not appear to confer long-term protection; sustained exposure to thermal stress (eDHW accumulation equivalent to 4.9°C weeks) eventually overwhelmed the coral meta-organism as evidenced by eventual declines in photo-physiological function and endosymbiont densities. Investigating flow patterns at the scale of metres within the context of these physiological impacts can reveal interesting avenues for coral reef management. This study increases our understanding of the effects of water flow on coral reef health in an era of climate change and highlights the potential to learn from existing beneficial bio-physical interactions for the effective preservation of coral reefs into the future

Mixed methods process evaluation of my breathing matters, a digital intervention to support self-management of asthma.

This study aimed to explore user engagement with 'My Breathing Matters', a digital self-management intervention for asthma, and identify factors that may influence engagement. In a mixed methods design, adults with asthma allocated to the intervention arm of a feasibility trial (n = 44) participated in semi-structured interviews (n = 18) and a satisfaction questionnaire (n = 36) to explore their views and experiences of the intervention. Usage data highlighted that key intervention content was delivered to most users. The majority of questionnaire respondents (78%; n = 28) reported they would recommend the intervention to friends and family. Interviewees expressed positive views of the intervention and experienced several benefits, mainly improved asthma control, medication use, and breathing technique. Factors that may influence user engagement were identified, including perceptions of asthma control, current self-management practices, and appeal of the target behaviours and behaviour change techniques. Findings suggested My Breathing Matters was acceptable and engaging to participants, and it was used as intended

Genetic strategies for improving crop yields.

The current trajectory for crop yields is insufficient to nourish the world's population by 20501. Greater and more consistent crop production must be achieved against a backdrop of climatic stress that limits yields, owing to shifts in pests and pathogens, precipitation, heat-waves and other weather extremes. Here we consider the potential of plant sciences to address post-Green Revolution challenges in agriculture and explore emerging strategies for enhancing sustainable crop production and resilience in a changing climate. Accelerated crop improvement must leverage naturally evolved traits and transformative engineering driven by mechanistic understanding, to yield the resilient production systems that are needed to ensure future harvests

On stability of discretizations of the Helmholtz equation (extended version)

We review the stability properties of several discretizations of the Helmholtz equation at large wavenumbers. For a model problem in a polygon, a complete $k$-explicit stability (including $k$-explicit stability of the continuous problem) and convergence theory for high order finite element methods is developed. In particular, quasi-optimality is shown for a fixed number of degrees of freedom per wavelength if the mesh size $h$ and the approximation order $p$ are selected such that $kh/p$ is sufficiently small and $p = O(\log k)$, and, additionally, appropriate mesh refinement is used near the vertices. We also review the stability properties of two classes of numerical schemes that use piecewise solutions of the homogeneous Helmholtz equation, namely, Least Squares methods and Discontinuous Galerkin (DG) methods. The latter includes the Ultra Weak Variational Formulation