Religious Relationships with the Environment in a Tibetan Rural Community : Interactions and Contrasts with Popular Notions of Indigenous Environmentalism

Acknowledgments: We thank Beijing Forestry University, our field assistants Tashi Rabden, Pema Dechin, Tsewang Chomtso and Gele Chopel for their invaluable help, the Forest Bureau of Daocheng county for permission and support, and the people of Samdo for their hospitality and participation. The research was funded by the ESRC and the World Pheasant Association. This paper is a contribution to Imperial College’s Grand Challenges in Ecosystems and the Environment initiative. Two anonymous reviewers gave valuable comments on the manuscript.Peer reviewedPublisher PD

Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5

Most of the world’s power grids are controlled remotely. Their control messages are sent over potentially insecure channels, driving the need for an authentication mechanism. The main communication mechanism for power grids and other utilities is defined by an IEEE standard, referred to as DNP3; this includes the Secure Authentication v5 (SAv5) protocol, which aims to ensure that messages are authenticated. We provide the first security analysis of the complete DNP3: SAv5 protocol. Previous work has considered the message-passing sub-protocol of SAv5 in isolation, and considered some aspects of the intended security properties. In contrast, we formally model and analyse the complex composition of the protocol’s three sub-protocols. In doing so, we consider the full state machine, and the possibility of cross-protocol attacks. Furthermore, we model fine-grained security properties that closely match the standard’s intended security properties. For our analysis, we leverage the Tamarin prover for the symbolic analysis of security protocols. Our analysis shows that the core DNP3: SAv5 design meets its intended security properties. Notably, we show that a previously reported attack does not apply to the standard. However, our analysis also leads to several concrete recommendations for improving future versions of the standard

Extreme flood disturbance effects on multiple dimensions of river invertebrate community stability

Multidimensional analysis of community stability has recently emerged as an overarching approach to evaluating ecosystem response to disturbance. However, the approach has previously been applied only in experimental and modelling studies. We applied this concept to an 18-year time series (2000–2017) of macroinvertebrate community dynamics from a southeast Alaskan river to further develop and test the approach in relation to the effects of two extreme flood events occurring in 2005 (event 1) and 2014 (event 2). Five components of stability were calculated for pairs of pre- or post-event years. Individual components were tested for differences between pre- and post-event time periods. Stability components’ pairwise correlations were assessed and ellipsoids of stability were developed for each time period and compared to a null model derived from the permuted dataset. Only one stability component demonstrated a significant difference between time periods. In contrast, 80% of moderate and significant correlations between stability components were degraded post-disturbance and significant changes to the form of stability ellipsoids were observed. Ellipsoids of stability for all periods after the initial disturbance (2005) were not different to the null model. Our results illustrate that the dimensionality of stability approach can be applied to natural ecosystem time-series data. The major increase in dimensionality of stability observed following disturbance potentially indicates significant shifts in the processes which drive stability following disturbance. This evidence improves our understanding of community response beyond what is possible through analysis of individual stability components

Reconstruction-based speech enhancement from robust acoustic features

This paper proposes a method of speech enhancement where a clean speech signal is reconstructed from a sinusoidal model of speech production and a set of acoustic speech features. The acoustic features are estimated from noisy speech and comprise, for each frame, a voicing classification (voiced, unvoiced or non-speech), fundamental frequency (for voiced frames) and spectral envelope. Rather than using different algorithms to estimate each parameter, a single statistical model is developed. This comprises a set of acoustic models and has similarity to the acoustic modelling used in speech recognition. This allows noise and speaker adaptation to be applied to acoustic feature estimation to improve robustness. Objective and subjective tests compare reconstruction-based enhancement with other methods of enhancement and show the proposed method to be highly effective at removing noise

Explaining semantic short-term memory deficits:evidence for the critical role of semantic control

Patients with apparently selective short-term memory (STM) deficits for semantic information have played an important role in developing multi-store theories of STM and challenge the idea that verbal STM is supported by maintaining activation in the language system. We propose that semantic STM deficits are not as selective as previously thought and can occur as a result of mild disruption to semantic control processes, i.e., mechanisms that bias semantic processing towards task-relevant aspects of knowledge and away from irrelevant information. We tested three semantic STM patients with tasks that tapped four aspects of semantic control: (i) resolving ambiguity between word meanings, (ii) sensitivity to cues, (iii) ignoring irrelevant information and (iv) detecting weak semantic associations. All were impaired in conditions requiring more semantic control, irrespective of the STM demands of the task, suggesting a mild, but task-general, deficit in regulating semantic knowledge. This mild deficit has a disproportionate effect on STM tasks because they have high intrinsic control demands: in STM tasks, control is required to keep information active when it is no longer available in the environment and to manage competition between items held in memory simultaneously. By re-interpreting the core deficit in semantic STM patients in this way, we are able to explain their apparently selective impairment without the need for a specialised STM store. Instead, we argue that semantic STM patients occupy the mildest end of spectrum of semantic control disorders

A Conceptual Model for a Universal Severity of Emergency Report (USER): An Example in Aviation

In emergency situations, it is important that information be communicated quickly, concisely, and efficiently. Breakdowns can occur when the receiver of the emergency call does not fully understand the information that the person is sending. The purpose of this paper is to present a new model for enhancing communication between the sender and receiver in emergency situations. The Universal Severity of Emergency Report (USER) is a model designed to be used in emergency situations and convey more information about the current state of the person declaring the emergency than is currently offered by emergency communication channels. USER provides three key pieces of vital information: severity of the situation, capabilities of the sender, and ability to communicate. Severity identifies the level of the emergency on a scale of 1, 2, or 3. Capabilities use the colors white, yellow, and red to indicate the current self-determined capabilities of the individual. Communicate notifies the receiver if the individual is able to communicate or is unable to communicate. This paper presents this concept in an aviation context, but USER has the potential to be used in any number of industries, including medical, military, shipping, transportation, space flight, and law enforcement

Incipient fault detection study for advanced spacecraft systems

A feasibility study to investigate the application of vibration monitoring to the rotating machinery of planned NASA advanced spacecraft components is described. Factors investigated include: (1) special problems associated with small, high RPM machines; (2) application across multiple component types; (3) microgravity; (4) multiple fault types; (5) eight different analysis techniques including signature analysis, high frequency demodulation, cepstrum, clustering, amplitude analysis, and pattern recognition are compared; and (6) small sample statistical analysis is used to compare performance by computation of probability of detection and false alarm for an ensemble of repeated baseline and faulted tests. Both detection and classification performance are quantified. Vibration monitoring is shown to be an effective means of detecting the most important problem types for small, high RPM fans and pumps typical of those planned for the advanced spacecraft. A preliminary monitoring system design and implementation plan is presented