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.

Volunteer decision making by older people: A test of a revised theory of planned behavior

This study was designed to test the utility of a revised theory of planned behavior in the prediction of intentions to volunteer among older people. Such a perspective allowed for the consideration of a broader range of social and contextual factors than has been examined in previous research on volunteer decision making among older people. The article reports the findings from a study that investigated volunteer intentions and behavior in a random sample of older people aged 65 to 74 years living in an Australian capital city. Results showed that, as predicted by the revised theory of planned behavior, intention to volunteer predicted subsequent reported volunteer behavior. Intention was, in turn, predicted by social norms (both subjective and behavioral), perceived behavioral control, and moral obligation, with the effect of attitude being mediated through moral obligation.

Finite element modelling of reactive fluids mixing and mineralization in pore-fluid saturated hydrothermal/sedimentary basins

We present the finite element simulations of reactive mineral carrying fluids mixing and mineralization in pore-fluid saturated hydrothermal/sedimentary basins. In particular we explore the mixing of reactive sulfide and sulfate fluids and the relevant patterns of mineralization for Load, zinc and iron minerals in the regime of temperature-gradient-driven convective flow. Since the mineralization and ore body formation may last quite a long period of time in a hydrothermal basin, it is commonly assumed that, in the geochemistry, the solutions of minerals are in an equilibrium state or near an equilibrium state. Therefore, the mineralization rate of a particular kind of mineral can be expressed as the product of the pore-fluid velocity and the equilibrium concentration of this particular kind of mineral Using the present mineralization rate of a mineral, the potential of the modern mineralization theory is illustrated by means of finite element studies related to reactive mineral-carrying fluids mixing problems in materially homogeneous and inhomogeneous porous rock basins.

A 2D numerical model for simulating the physics of fault systems

Simulations provide a powerful means to help gain the understanding of crustal fault system physics required to progress towards the goal of earthquake forecasting. Cellular Automata are efficient enough to probe system dynamics but their simplifications render interpretations questionable. In contrast, sophisticated elasto-dynamic models yield more convincing results but are too computationally demanding to explore phase space. To help bridge this gap, we develop a simple 2D elastodynamic model of parallel fault systems. The model is discretised onto a triangular lattice and faults are specified as split nodes along horizontal rows in the lattice. A simple numerical approach is presented for calculating the forces at medium and split nodes such that general nonlinear frictional constitutive relations can be modeled along faults. Single and multi-fault simulation examples are presented using a nonlinear frictional relation that is slip and slip-rate dependent in order to illustrate the model.

Simultaneous X-ray imaging of plant root growth and water uptake in thin-slab systems

Direct and simultaneous observation of root growth and plant water uptake is difficult because soils are opaque. X-ray imaging techniques such as projection radiography or Computer Tomography (CT) offer a partial alternative to such limitations. Nevertheless, there is a trade-off between resolution, large field-of-view and 3-dimensionality: With the current state of the technology, it is possible to have any two. In this study, we used X-ray transmission through thin-slab systems to monitor transient saturation fields that develop around roots as plants grow. Although restricted to 2-dimensions, this approach offers a large field-of-view together with high spatial and dynamic resolutions. To illustrate the potential of this technology, we grew peas in 1 cm thick containers filled with soil and imaged them at regular intervals. The dynamics of both the root growth and the water content field that developed around the roots could be conveniently monitored. Compared to other techniques such as X-ray CT, our system is relatively inexpensive and easy to implement. It can potentially be applied to study many agronomic problems, such as issues related to the impact of soil constraints (physical, chemical or biological) on root development.

A comparison of the performance and biological efficiency of new knapsack sprayers and a controlled droplet application (CDA) sprayer for the control of the diamondback moth, Plutella xylostella L. (Lepidoptera : Plutellidae)

Field trials and laboratory bioassays were undertaken to compare the performance and efficacy (mortality of diamondback moth larvae) of insecticides applied to cabbages with three high volume hydraulic knapsack sprayers (NS-16, PB-20 and Selecta 12V) and a controlled droplet application (CDA) sprayer. In field experiments, the high volume knapsack sprayers (application rate 500-600 L ha(-1)) provided better spray coverage on the upper and lower surfaces of inner leaves, the upper surfaces of middle and outer leaves, and greater biological efficacy than the CDA sprayer (application rate 20similar to40 L ha(-1)). The PB-20 provided better spray coverage on the upper surface of middle leaves and both surfaces of outer leaves when compared with the Selecta 12V. However, its biological efficacy in the field was not significantly different from that of the other high volume sprayers. Increasing the application rate from 20 to 40 L ha(-1) for the CDA sprayer significantly increased droplet density but had no impact on test insect mortality. Laboratory evaluations of biological efficacy yielded higher estimates than field evaluations and there was no significant difference between the performance of the PB-20 and the CDA sprayer. Significant positive relationships were detected between insect mortality and droplet density deposited for both the PB-20 and the CDA sprayers.

The pattern and control of reproductive development in non-astringent persimmon (Diospyros kaki L.): a review

Non-astringent persimmon is rapidly expanding as a new fruit crop in warm subtropical regions of the world, Most research and development of this fruit crop has occurred in Japan, where there is a considerable amount of published literature on its performance. Much of this information is not readily accessible to other countries and needs to be interpreted and modified for other climatic regions. This paper reviews reproductive events from floral initiation to the completion of fruit growth. The timing and significance of these events is described in relation to the phenological cycle. Method of improving flowering, reducing fruit drop and altering the fruit maturity period are discussed. (C) 1997 Elsevier Science B.V.

Differences between older volunteers and nonvolunteers - Attitudinal, normative, and control beliefs

It has been suggested that older people are a rich potential source of volunteers, as prior literature has highlighted the benefits and rewards of volunteering in later life. This article examines differences between volunteers and nonvolunteers in a random sample of older people resident in Brisbane, Australia. Using the theory of planned behavior as a framework, the article focuses on the beliefs that distinguish those who volunteer from those who do not. Findings from the study allowed for an assessment of both the costs and benefits associated with volunteering; beliefs about the support of others, including the broader community, to volunteer; and beliefs about the barriers that might prevent volunteering. The implications of these finding's to a country with an aging population are discussed.

A systematic study of the microwave and thermal cure kinetics of the TGDDM/DDS and TGDDM/DDM epoxy-amine resin systems

The microwave and thermal cure processes for the epoxy-amine systems N,N,N',N'-tetraglycidyl-4,4'-diaminodiphenyl methane (TGDDM) with diaminodiphenyl sulfone (DDS) and diaminodiphenyl methane (DDM) have been investigated. The DDS system was studied at a single cure temperature of 433 K and a single stoichiometry of 27 wt% and the DDM system was studied at two stoichiometries, 19 and 32 wt%, and a range temperatures between 373 and 413 K. The best values the kinetic rate parameters for the consumption of amines have been determined by a least squares curve Ft to a model for epoxy-amine cure. The activation energies for the rate parameters for the MY721/DDM system were determined as was the overall activation energy for the cure reaction which was found to be 62 kJ mol(-1). No evidence was found for any specific effect of the microwave radiation on the rate parameters, and the systems were both found to be characterized by a negative substitution effect. Copyright (C) 2001 John Wiley & Sons, Ltd.