2,190 research outputs found
Weak refinement in Z
An important aspect in the specification of distributed systems is the role of the internal (or unobservable) operation. Such operations are not part of the user interface (i.e. the user cannot invoke them), however, they are essential to our understanding and correct modelling of the system. Various conventions have been employed to model internal operations when specifying distributed systems in Z. If internal operations are distinguished in the specification notation, then refinement needs to deal with internal operations in appropriate ways. However, in the presence of internal operations, standard Z refinement leads to undesirable implementations.
In this paper we present a generalization of Z refinement, called weak refinement, which treats internal operations differently from observable operations when refining a system. We illustrate some of the properties of weak refinement through a specification of a telecommunications protocol
Formal Specification and Testing of a Management Architecture
The importance of network and distributed systems management to supply and maintain services required by users has led to a demand for management facilities. Open network management is assisted by representing the system resources to be managed as objects, and providing standard services and protocols for interrogating and manipulating these objects. This paper examines the application of formal description techniques to the specification of managed objects by presenting a case study in the specification and testing of a management architecture. We describe a formal specification of a management architecture suitable for scheduling and distributing services across nodes in a distributed system. In addition, we show how formal specifications can be used to generate conformance tests for the management architecture
The ACIGA Data Analysis programme
The Data Analysis programme of the Australian Consortium for Interferometric
Gravitational Astronomy (ACIGA) was set up in 1998 by the first author to
complement the then existing ACIGA programmes working on suspension systems,
lasers and optics, and detector configurations. The ACIGA Data Analysis
programme continues to contribute significantly in the field; we present an
overview of our activities.Comment: 10 pages, 0 figures, accepted, Classical and Quantum Gravity,
(Proceedings of the 5th Edoardo Amaldi Conference on Gravitational Waves,
Tirrenia, Pisa, Italy, 6-11 July 2003
An information theoretic characterisation of auditory encoding.
The entropy metric derived from information theory provides a means to quantify the amount of information transmitted in acoustic streams like speech or music. By systematically varying the entropy of pitch sequences, we sought brain areas where neural activity and energetic demands increase as a function of entropy. Such a relationship is predicted to occur in an efficient encoding mechanism that uses less computational resource when less information is present in the signal: we specifically tested the hypothesis that such a relationship is present in the planum temporale (PT). In two convergent functional MRI studies, we demonstrated this relationship in PT for encoding, while furthermore showing that a distributed fronto-parietal network for retrieval of acoustic information is independent of entropy. The results establish PT as an efficient neural engine that demands less computational resource to encode redundant signals than those with high information content
Quantum atomic delocalization vs. structural disorder in amorphous silicon
Quantum effects on the atom delocalization in amorphous silicon have been
studied by path-integral Monte Carlo simulations from 30 to 800 K. The quantum
delocalization is appreciable vs. topological disorder, as seen from structural
observables such as the radial distribution function (RDF). At low
temperatures, the width of the first peak in the RDF increases by a factor of
1.5 due to quantum effects. The overall anharmonicity of the solid vibrations
at finite temperatures in amorphous silicon is clearly larger than in the
crystalline material. Low-energy vibrational modes are mainly located on
coordination defects in the amorphous material.Comment: 5 pages, 5 PS figures, REVTE
Understanding individual resilience in the workplace: the international collaboration of workforce resilience model
When not managed effectively, high levels of workplace stress can lead to several negative personal and performance outcomes. Some professional groups work in highly stressful settings and are therefore particularly at risk of conditions such as anxiety, depression, secondary traumatic stress, and burnout. However, some individuals are less affected by workplace stress and the associated negative outcomes. Such individuals have been described as “resilient.” A number of studies have found relationships between levels of individual resilience and specific negative outcomes such as burnout and compassion fatigue. However, because psychological resilience is a multi-dimensional construct it is necessary to more clearly delineate it from other related and overlapping constructs. The creation of a testable theoretical model of individual workforce resilience, which includes both stable traits (e.g., neuroticism) as well as more malleable intrapersonal factors (e.g., coping style), enables information to be derived that can eventually inform interventions aimed at enhancing individual resilience in the workplace. The purpose of this paper is to introduce a new theoretical model of individual workforce resilience that includes several intrapersonal constructs known to be central in the appraisal of and response to stressors and that also overlap with the construct of psychological resilience. We propose a model in which psychological resilience is hypothesized to mediate the relationship between neuroticism, mindfulness, self-efficacy, coping, and psychological adjustment
Quantum wires from coupled InAs/GaAs strained quantum dots
The electronic structure of an infinite 1D array of vertically coupled
InAs/GaAs strained quantum dots is calculated using an eight-band
strain-dependent k-dot-p Hamiltonian. The coupled dots form a unique quantum
wire structure in which the miniband widths and effective masses are controlled
by the distance between the islands, d. The miniband structure is calculated as
a function of d, and it is shown that for d>4 nm the miniband is narrower than
the optical phonon energy, while the gap between the first and second minibands
is greater than the optical phonon energy. This leads to decreased optical
phonon scattering, providing improved quantum wire behavior at high
temperatures. These miniband properties are also ideal for Bloch oscillation.Comment: 5 pages revtex, epsf, 8 postscript figure
Molecular mechanism of influenza A NS1-mediated TRIM25 recognition and inhibition
RIG-I is a viral RNA sensor that induces the production of type I interferon (IFN) in response to infection with a variety of viruses. Modification of RIG-I with K63-linked poly-ubiquitin chains, synthesised by TRIM25, is crucial for activation of the RIG-I/MAVS signalling pathway. TRIM25 activity is targeted by influenza A virus non-structural protein 1 (NS1) to suppress IFN production and prevent an efficient host immune response. Here we present structures of the human TRIM25 coiled-coil-PRYSPRY module and of complexes between the TRIM25 coiled-coil domain and NS1. These structures show that binding of NS1 interferes with the correct positioning of the PRYSPRY domain of TRIM25 required for substrate ubiquitination and provide a mechanistic explanation for how NS1 suppresses RIG-I ubiquitination and hence downstream signalling. In contrast, the formation of unanchored K63-linked poly-ubiquitin chains is unchanged by NS1 binding, indicating that RING dimerisation of TRIM25 is not affected by NS1
Electronic structure of strained InP/GaInP quantum dots
We calculate the electronic structure of nm scale InP islands embedded in
. The calculations are done in the envelope approximation
and include the effects of strain, piezoelectric polarization, and mixing among
6 valence bands. The electrons are confined within the entire island, while the
holes are confined to strain induced pockets. One pocket forms a ring at the
bottom of the island near the substrate interface, while the other is above the
island in the GaInP. The two sets of hole states are decoupled. Polarization
dependent dipole matrix elements are calculated for both types of hole states.Comment: Typographical error corrected in strain Hamiltonia
- …