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

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

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

Electronic structure of strained InP/GaInP quantum dots

We calculate the electronic structure of nm scale InP islands embedded in $Ga_{0.51}In_{0.49}P$. 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

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

Eight-band calculations of strained InAs/GaAs quantum dots compared with one, four, and six-band approximations

The electronic structure of pyramidal shaped InAs/GaAs quantum dots is calculated using an eight-band strain dependent $\bf k\cdot p$ Hamiltonian. The influence of strain on band energies and the conduction-band effective mass are examined. Single particle bound-state energies and exciton binding energies are computed as functions of island size. The eight-band results are compared with those for one, four and six bands, and with results from a one-band approximation in which m(r) is determined by the local value of the strain. The eight-band model predicts a lower ground state energy and a larger number of excited states than the other approximations.Comment: 8 pages, 7 figures, revtex, eps

Anomalous magnetophotoluminescence as a result of level repulsion in arrays of quantum dots

Selectively excited photoluminescence (SPL) of an array of self-organized In$_{0.5}$Ga$_{0.5}$As quantum dots has been measured in a magnetic field up to 11T. Anomalous magnetic field sensitivity of the SPL spectra has been observed under conditions for which the regular photoluminescence spectra is insensitive to the magnetic field due to large inhomogeneous broadening. The anomalous sensitivity is interpreted in terms of the repulsion of excited levels of the dots in a random potential. A theory presented to describe this phenomena is in excellent agreement with the experimental data. The data estimated the correlation in the positions of excited levels of the dots to be 94%. The magnetic field dependence allows the determination of the reduced cyclotron effective mass in a dot. For our sample we have obtained $m_em_h/(m_e+m_h)=0.034m_0$.Comment: 12 revtex preprint pages + 4 ps figures, uuencode