A model of specification-based testing of interactive systems

In this paper we present a model of specification-based testing of interactive systems. This model provides the basis for a framework to guide such testing. Interactive systems are traditionally decomposed into a functionality component and a user interface component; this distinction is termed dialogue separation and is the underlying basis for conceptual and architectural models of such systems. Correctness involves both proper behaviour of the user interface and proper computation by the underlying functionality. Specification-based testing is one method used to increase confidence in correctness, but it has had limited application to interactive system development to date.

Glutamate-mediated transmission, alcohol, and alcoholism

Glutamate-mediated neurotransmission may be involved in the range of adaptive changes in brain which occur after ethanol administration in laboratory animals, and in chronic alcoholism in human cases. Excitatory amino acid transmission is modulated by a complex system of receptors and other effecters, the efficacy of which can be profoundly affected by altered gene or protein expression. Local variations in receptor composition may underlie intrinsic regional variations in susceptibility to pathological change. Equally, ethanol use and abuse may bring about alterations in receptor subunit expression as the essence of the adaptive response. Such considerations may underlie the regional localization characteristic of the pathogenesis of alcoholic brain damage, or they may form part of the homeostatic change that constitutes the neural substrate for alcohol dependence. (C) 2000 Elsevier Science Ltd. All rights reserved.

Mechanisms of substitution reactions on cyclometallated platinum(IV) complexes: "Quasi-labile" systems

The substitution reactions of SMe2 by phosphines (PMePh2, PEtPh2, PPh3, P(4-MeC6H4)(3), P(3-MeC6H4)(3), PCy3) on Pt-IV complexes having a cyclometalated imine ligand, two methyl groups in a cis-geometrical arrangement, a halogen, and a dimethyl sulfide as ligands, [Pt(CN)(CH3)(2)(X)(SMe2)], have been studied as a function of temperature, solvent, and electronic and steric characteristics of the phosphines and the X and CN ligands. In all cases, a limiting dissociative mechanism has been found, where the dissociation of the SMe2 ligand corresponds to the rate-determining step. The pentacoordinated species formed behaves as a true pentacoordinated Pt-IV compound in a steady-state concentration, given the solvent independence of the rate constant. The X-ray crystal structures of two of the dimethyl sulfide complexes and a derivative of the pentacoordinate intermediate have been determined. Differences in the individual rate constants for the entrance of the phosphine ligand can only be estimated as reactivity ratios. In all cases an effect of the phosphine size is detected, indicating that an associative step takes place from the pentacoordinated intermediate. The nature of the (CN) imine and X ligands produces differences in the dimethyl sulfide dissociation reactions rates, which can be quantified by the corresponding DeltaS double dagger values (72, 64, 48, 31, and 78 J K-1 mol(-1) for CN/X being C6H4CHNCH2C6H5/Br, C6H4CHNCH2-(2,4,6-(CH3)(3))C6H2/Br, C6H4CHNCH2C6H5/Cl, C6Cl4CHNCH2C6H5/Cl, and C6W4CH2NCHC6H5/ Pr, respectively). As a whole, the donor character of the coordinated C-aromatic and X atoms have the greatest influence on the dissociativeness of the rate-determining step.

The fine structure of (v, 3) directed triple systems: v equivalent to 2 (mod 3)

The fine structure of a directed triple system of index lambda is the vector (c(1), c(2),...,C-lambda), where c(i) is the number of directed triples appearing precisely i times in the system. We determine necessary and sufficient conditions for a vector to be the fine structure of a directed triple system of index 3 for upsilon = 2 (mod 3).

Experimental study of phase equilibria in the systems Fe-Zn-O and Fe-Zn-Si-O at metallic iron saturation

The reported experimental work on the systems Fe-Zn-O and Fe-Zn-Si-O in equilibrium with metallic iron is part of a wider research program that combines experimental and thermodynamic computer modeling techniques to characterize zinc/lead industrial slags and sinters in the system PbO-ZnO-SiO2-CaO-FeO-Fe2O3. Extensive experimental,investigations using high-temperature equilibration and quenching techniques followed by electron probe X-ray microanalysis (EPMA) were carried out. Special experimental; procedures were developed to enable accurate measurements in these ZnO-containing systems to be performed in equilibrium with metallic iron; The systems Fe-Zn-O and FeZn-Si-O were experimentally investigated in equilibrium with metallic iron in the temperature ranges 900 degreesC to 1200 degreesC (1173 to 1473 K) and from 1000 degreesC to 1350 degreesC (1273 to 1623 K), respectively. The liquidus surface in the system Fe-Zn-Si-O in equilibrium with metallic iron was characterized in the composition ranges 0 to 33 wt pet ZnO and 0 to 40 wt pet SiO2. The wustite (Fe,Zn)O, zincite (Zn,Fe)O, willemite (Zn,Fe)(2)SiO4, arid fayalite: (Fe,Zn)(2)SiO4 solid solutions in equilibrium with metallic iron were measured.

Quantum spin ladder systems associated with su(2 vertical bar 2)

Two integrable quantum spin ladder systems will be introduced associated with the fundamental su(2 \2) solution of the Yang-Baxter equation. The first model is a generalized quantum Ising system with Ising rung interactions. In the second model the addition of extra interactions allows us to impose Heisenberg rung interactions without violating integrability. The existence of a Bethe ansatz solution for both models allows us to investigate the elementary excitations for antiferromagnetic rung couplings. We find that the first model does not show a gap whilst in the second case there is a gap for all positive values of the rung coupling.

Simultaneous steady state and dynamic design of process systems using structural indicators

The simultaneous design of the steady-state and dynamic performance of a process has the ability to satisfy much more demanding dynamic performance criteria than the design of dynamics only by the connection of a control system. A method for designing process dynamics based on the use of a linearised systems' eigenvalues has been developed. The eigenvalues are associated with system states using the unit perturbation spectral resolution (UPSR), characterising the dynamics of each state. The design method uses a homotopy approach to determine a final design which satisfies both steady-state and dynamic performance criteria. A highly interacting single stage forced circulation evaporator system, including control loops, was designed by this method with the goal of reducing the time taken for the liquid composition to reach steady-state. Initially the system was successfully redesigned to speed up the eigenvalue associated with the liquid composition state, but this did not result in an improved startup performance. Further analysis showed that the integral action of the composition controller was the source of the limiting eigenvalue. Design changes made to speed up this eigenvalue did result in an improved startup performance. The proposed approach provides a structured way to address the design-control interface, giving significant insight into the dynamic behaviour of the system such that a systematic design or redesign of an existing system can be undertaken with confidence.

Compact stellar systems in the Fornax Cluster: Super-massive star clusters or extremely compact dwarf galaxies?

We describe a population of compact objects in the centre of the Fornax Cluster which were discovered as part of our 2dF Fornax Spectroscopic Survey. These objects have spectra typical of old stellar systems, but are unresolved on photographic sky survey plates. They have absolute magnitudes - 13 < M-B

Characteristics of DSM-IV and ICD-10 cannabis dependence among Australian adults: results from the National Survey of Mental Health and Wellbeing

A representative sample (n = 10 641) of Australian adults completed a structured diagnostic interview assessing the prevalence of mental and substance use disorders in the last year. The prevalence of DSM-IV (1.5%) and ICD-10 (1.7%) cannabis dependence was similar. DSM-IV and ICD-10 dependence criteria comprised unidimensional syndromes. The most common symptoms among dependent and non-dependent users were difficulties with controlling use and withdrawal, although there were marked differences in symptom prevalence. Dependent users reported a median of four symptoms. There was good to excellent diagnostic concordance (kappas = 0.7-0.9) between systems for dependence but not for abuse/harmful use (Y = 0.4). These findings provide some support for the validity of cannabis dependence. (C) 2001 Elsevier Science Ireland Ltd. All rights reserved.

Co-morbidity between alcohol, tobacco and cannabis use: reply to David Fergusson

No abstract

Gender-related symptoms and correlates of alcohol dependence among men and women with a lifetime diagnosis of alcohol use disorders

This study explored gender-related symptoms and correlates of alcohol dependence in a cross-sectional study of 150 men and 150 women with a lifetime diagnosis of alcohol use disorders (AUD). Participants were recruited in equal numbers from treatment settings, correctional centres and the general community. Standardized measures were used to determine participants' use of substances, history of psychiatric disorders and psychosocial stress, their sensation seeking and family history of substance use and mental health disorders. Multivariate analyses were used to detect patterns of variables associated with gender and the lifetime severity of AUD. Men had a longer history of severe AUD than women. Women had similar levels of alcohol dependence and medical and psychological sequelae as men, despite 6 fewer years of AUD. More women than men had a history of severe psychosocial stress, severe dependence on other substances and antecedent mental health problems, especially mood and anxiety disorders. There were differences in family history of alcohol-related problems approximating same-gender aggregation. The severity of a lifetime AUD was predicted by its earlier age at onset and the occurrence of other disorders, especially anxiety, among both men and women. The limitations in the generalizability of these findings due to sample idiosyncrasies are discussed.

Finite element modelling of rock alteration and metamorphic process in hydrothermal systems

We use the finite element method to simulate the rock alteration and metamorphic process in hydrothermal systems. In particular, we consider the fluid-rock interaction problems in pore-fluid saturated porous rocks. Since the fluid rock interaction takes place at the contact interface between the pore-fluid and solid minerals, it is governed by the chemical reaction which usually takes place very slowly at this contact interface, from the geochemical point of view. Due to the relative slowness of the rate of the chemical reaction to the velocity of the pore-fluid flow in the hydrothermal system to be considered, there exists a retardation zone, in which the conventional static theory in geochemistry does not hold true. Since this issue is often overlooked by some purely numerical modellers, it is emphasized in this paper. The related results from a typical rock alteration and metamorphic problem in a hydrothermal system have shown not only the detailed rock alteration and metamorphic process, but also the size of the retardation zone in the hydrothermal system. Copyright (C) 2001 John Wiley & Sons, Ltd.