Therapeutic efficacy of zeta-cypermethrin pour-on for the treatment of biting and sucking lice in cattle under field conditions

Objective To assess the efficacy of zeta-cypermethrin pour-on to control cattle lice. Design Five field trials in south-eastern Australia. Procedure Zeta-cypermethrin pour-on, deltamethrin pour-on and pour-on vehicle were applied to groups of 10 cattle. Lice were counted before treatment and 14, 28, 42 and 56 days after treatment. Results Zeta-cypermethrin pour-on given at 2.5 mg/kg was equivalent to, or marginally more effective than a deltamethrin pour-on at 0.75 mg/kg. It eliminated B bovis and H eurysternus and gave good control of L vituli and S capillatus. Zeta-cypermethrin at 1 mg/kg gave good control of B bovis and H eurysternus but was not satisfactory against L vituli and S capillatus. Conclusion Zeta-cypermethrin pour-on, given at 2.5 mg/kg, is an effective treatment for cattle lice control. Zeta-cypermethrin, and other synthetic pyrethroid pour-ons, are the treatment of choice to control B bovis.

Influence of field-based nutrient enrichment on the photobiology of the giant clam Tridacna maxima

Nutrients were added to 12 microatolls in One Tree Island lagoon every low tide for 13 mo to an initial concentration of 10 mu M (ammonium, N) and 2 mu M (phosphate, P). These concentrations remained above background for 2 to 3 h after addition. The addition of ammonium (N and NI-P but not P alone) significantly increased P, (gross photosynthesis) P,, (net photosynthesis) and R (respiration) per unit wet-tissue weight and cc (photosynthetic efficiency) in Tridacna maxima after 3 mo nutrient enrichment. These responses to small and transient changes in ammonium concentrations suggest that symbiotic clams are not nutrient-replete, and that even subtle changes in nutrients can have a measurable effect on photosynthesis. The same clams did not show significant differences in photosynthetic parameters 6 mo after the beginning of nutrient enrichment, suggesting that their previous responses had either been seasonal or that symbiotic clams such as T. maxima are able to adjust their photophysiology following external changes in nutrient concentrations.

Effect of disorder on quantum phase transitions in anisotropic XY spin chains in a transverse field

We present some exact results for the effect of disorder on the critical properties of an anisotropic XY spin chain in a transverse held. The continuum limit of the corresponding fermion model is taken and in various cases results in a Dirac equation with a random mass. Exact analytic techniques can then be used to evaluate the density of states and the localization length. In the presence of disorder the ferromagnetic-paramagnetic or Ising transition of the model is in the same universality class as the random transverse field Ising model solved by Fisher using a real-space renormalization-group decimation technique (RSRGDT). If there is only randomness in the anisotropy of the magnetic exchange then the anisotropy transition (from a ferromagnet in the x direction to a ferromagnet in the y direction) is also in this universality class. However, if there is randomness in the isotropic part of the exchange or in the transverse held then in a nonzero transverse field the anisotropy transition is destroyed by the disorder. We show that in the Griffiths' phase near the Ising transition that the ground-state energy has an essential singularity. The results obtained for the dynamical critical exponent, typical correlation length, and for the temperature dependence of the specific heat near the Ising transition agree with the results of the RSRODT and numerical work. [S0163-1829(99)07125-8].

The crack tip strain field of AISI 4340 - Part I - Measurement technique

This is the first paper in a study on the influence of the environment on the crack tip strain field for AISI 4340. A stressing stage for the environmental scanning electron microscope (ESEM) was constructed which was capable of applying loads up to 60 kN to fracture-mechanics samples. The measurement of the crack tip strain field required preparation (by electron lithography or chemical etching) of a system of reference points spaced at similar to 5 mu m intervals on the sample surface, loading the sample inside an electron microscope, image processing procedures to measure the displacement at each reference point and calculation of the strain field. Two algorithms to calculate strain were evaluated. Possible sources of errors were calculation errors due to the algorithm, errors inherent in the image processing procedure and errors due to the limited precision of the displacement measurements. Estimation of the contribution of each source of error was performed. The technique allows measurement of the crack tip strain field over an area of 50 x 40 mu m with a strain precision better than +/- 0.02 at distances larger than 5 mu m from the crack tip. (C) 1999 Kluwer Academic Publishers.

The crack tip strain field of AISI 4340 - Part II - Experimental measurements

Crack tip strain maps have been measured for AISI 4340 high strength steel. No significant creep was observed. The measured values of CTOD were greater than expected from the HRR model. Crack tip branching was observed in every experiment. The direction of crack branching was in the same direction as a major ridge'' of epsilon(yy) strain, which in turn was in the same direction as predicted by the HRR model. Furthermore, the measured magnitudes of the epsilon(y)y strain in this same direction were in general greater than the values predicted by the HRR model. This indicates more plasticity in the crack tip region than expected from the HRR model. This greater plasticity could be related to the larger than expected CTOD values. The following discrepancies between the measured strain fields for AISI 4340 and the HRR predictions are noteworthy: (1) The crack branching. (2) Values of CTOD significantly higher than predicted by HRR. (3) The major ridge'' of epsilon(yy) strain an angle of about 60 degrees with the direction of overall propagation of the fatigue precrack, in which the measured magnitudes of the epsilon(yy) strain were greater than the values predicted by the HRR model. (4) Asymmetric shape of the plastic zone as measured by the epsilon(yy) strain. (5) Values of shear strain gamma(xy) significantly higher than predicted by the HRR model. (C) 1999 Kluwer Academic Publishers.

The crack tip strain field of AISI 4340 - Part III - Hydrogen influence

This paper studied the influence of hydrogen and water vapour environments on the plastic behaviour in the vicinity of the crack tip for AISI 4340. Hydrogen and water vapour (at a pressure of 15 Torr) significantly increased the crack tip opening displacement. The crack tip strain distribution in 15 Torr hydrogen was significantly different to that measured in vacuum. In the presence of sufficient hydrogen, the plastic zone was larger, was elongated in the direction of crack propagation and moreover there was significant creep. These observations support the hydrogen enhanced localised plasticity model for hydrogen embrittlement in this steel. The strain distribution in the presence of water vapour also suggests that SCC in AISI 4340 occurs via the hydrogen enhanced localised plasticity mechanism. (C) 1999 Kluwer Academic Publishers.

Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

Paramagnetic limiting of the upper critical field of the layered organic superconductor kappa-(BEDT-TTF)(2)Cu(SCN)(2)

We report detailed measurements of the interlayer magnetoresistance of the layered organic superconductor kappa-(BEDT-TTF)(2)Cu(SCN)(2) for temperatures down to 0.5 K and fields up to 30 T. The upper critical field is determined from the resistive transition for a wide range of temperatures and field directions. For magnetic fields parallel to the layers, the upper critical field increases approximately linearly with decreasing temperature. The upper critical field at low temperatures is compared to the Pauli paramagnetic limit, at which singlet superconductivity should be destroyed by the Zeeman splitting of the electron spins. The measured value is comparable to a value for the paramagnetic limit calculated from thermodynamic quantities but exceeds the limit calculated from BCS theory. The angular dependence of the upper critical field shows a cusplike feature for fields close to the layers, consistent with decoupled layers.

Transport properties of strongly correlated metals: A dynamical mean-field approach

The temperature dependence of the transport properties of the metallic phase of a frustrated Hubbard model on the hypercubic lattice at half-filling is calculated. Dynamical mean-held theory, which maps the Hubbard model onto a single impurity,Anderson model that is solved self-consistently, and becomes exact in the limit of large dimensionality, is used. As the temperature increases there is a smooth crossover from coherent Fermi liquid excitations at low temperatures to incoherent excitations at high temperatures. This crossover leads to a nonmonotonic temperature dependence for the resistance, thermopower, and Hall coefficient, unlike in conventional metals. The resistance smoothly increases from a quadratic temperature dependence at low temperatures to large values which can exceed the Mott-Ioffe-Regel value ha/e(2) (where a is a lattice constant) associated with mean free paths less than a lattice constant. Further signatures of the thermal destruction of quasiparticle excitations are a peak in the thermopower and the absence of a Drude peak in the optical conductivity. The results presented here are relevant to a wide range of strongly correlated metals, including transition metal oxides, strontium ruthenates, and organic metals.

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.

Toxicity of biorational insecticides to Helicoverpa spp. (Lepidoptera : Noctuidae) and predators in cotton field

Field trials on upland cotton (Gossypium hirstum L.) during its reproductive phase were used to assess the toxicity of several biorational pesticides and chemicals to Helicoverpa armigera (Hubner) and H. puntigera Wallengren, as well as major predators at Dalby, Queensland, Australia. Moderate rate-dependent control was obtained in plots treated with neem (Azadirachta indica A. Juss) seed extract-azadirachtin (Aza) at rates of 30, 60 and 90 g/ha. Plots treated with Talstar EC (bifenthrin) applications achieved the best results, followed by treatment with alternation of chemicals (methomyl, bifenthrin, thiodicarb and endosulfan) and biorational insecticides (neem oil, azadirachtin and Bacillus thuringiensis kurstaki var. Berliner). Predators, including lady beetles, lacewings, spiders and predatory bugs, were insensitive to Aza, tooseendanin (Tsdn) and BT applications. In contrast, chemicals were very destructive of predators. All treatments provided some protection from infestation of H. armigera and H. puntigera. The effect of Aza on Helicoverpa spp. was reflected in a relatively higher yield of seed cotton harvested from Aza-treated plots compared with the control, but chemical control achieved significantly higher yields than any other treatment.

A landscape-scale test of the predictive ability of a spatially explicit model for population viability analysis

1. Although population viability analysis (PVA) is widely employed, forecasts from PVA models are rarely tested. This study in a fragmented forest in southern Australia contrasted field data on patch occupancy and abundance for the arboreal marsupial greater glider Petauroides volans with predictions from a generic spatially explicit PVA model. This work represents one of the first landscape-scale tests of its type. 2. Initially we contrasted field data from a set of eucalypt forest patches totalling 437 ha with a naive null model in which forecasts of patch occupancy were made, assuming no fragmentation effects and based simply on remnant area and measured densities derived from nearby unfragmented forest. The naive null model predicted an average total of approximately 170 greater gliders, considerably greater than the true count (n = 81). 3. Congruence was examined between field data and predictions from PVA under several metapopulation modelling scenarios. The metapopulation models performed better than the naive null model. Logistic regression showed highly significant positive relationships between predicted and actual patch occupancy for the four scenarios (P = 0.001-0.006). When the model-derived probability of patch occupancy was high (0.50-0.75, 0.75-1.00), there was greater congruence between actual patch occupancy and the predicted probability of occupancy. 4. For many patches, probability distribution functions indicated that model predictions for animal abundance in a given patch were not outside those expected by chance. However, for some patches the model either substantially over-predicted or under-predicted actual abundance. Some important processes, such as inter-patch dispersal, that influence the distribution and abundance of the greater glider may not have been adequately modelled. 5. Additional landscape-scale tests of PVA models, on a wider range of species, are required to assess further predictions made using these tools. This will help determine those taxa for which predictions are and are not accurate and give insights for improving models for applied conservation management.

Heat flow for the Yang-Mills-Higgs field and the Hermitian Yang-Mills-Higgs metric

For a parameter lambda > 0, we study a type of vortex equations, which generalize the well-known Hermitian-Einstein equation, for a connection A and a section phi of a holomorphic vector bundle E over a Kahler manifold X. We establish a global existence of smooth solutions to heat flow for a self-dual Yang-Mills-Higgs field on E. Assuming the lambda -stability of (E, phi), we prove the existence of the Hermitian Yang-Mills-Higgs metric on the holomorphic bundle E by studying the limiting behaviour of the gauge flow.