Tool support for testing concurrent Java components

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.

API documentation with executable examples

The rise of component-based software development has created an urgent need for effective application program interface (API) documentation. Experience has shown that it is hard to create precise and readable documentation. Prose documentation can provide a good overview but lacks precision. Formal methods offer precision but the resulting documentation is expensive to develop. Worse, few developers have the skill or inclination to read formal documentation. We present a pragmatic solution to the problem of API documentation. We augment the prose documentation with executable test cases, including expected outputs, and use the prose plus the test cases as the documentation. With appropriate tool support, the test cases are easy to develop and read. Such test cases constitute a completely formal, albeit partial, specification of input/output behavior. Equally important, consistency between code and documentation is demonstrated by running the test cases. This approach provides an attractive bridge between formal and informal documentation. We also present a tool that supports compact and readable test cases; and generation of test drivers and documentation, and illustrate the approach with detailed case studies. (C) 2002 Elsevier Science Inc. All rights reserved.

Gender differences in CF phenotype associated with low bone mineral density

Adolescents and adults with CF have lower bone mineral density (BMD) than normal, but its relationship with phenotype is not well understood. Point FEV1% predicted (FEV) and rate of change of FEV are biased estimates of disease severity, because progressively older subjects represent a selected survivor population, with females at greater risk of death than males. To investigate the relationship between BMD and phenotype we used an index (predicted age at death) derived from Bayesian estimates of slope and intercept of FEV, age at last measurement and survival status. Predictive equations for the index were derived from 97 subjects (78 survivors) from the RCH CF clinic, and applied to a group of 102 comparable subjects who had BMD measured, classified as having‘mild’ ()75th), ‘moderate’ (25– 75th), or ‘severe’ (-25th centile) phenotype. Total body (TB) and lumbar spine (LS) BMD z-scores (Z) were compared, adjustingfor gender effects, using 2-way ANOVA. Annual mean change in FEV segregated, as expected, according to phenotype, ‘severe’ (ns25), ‘moderate’ (ns51) and ‘mild’ (ns25) y3.01(y3.73 to y2.30)%, y0.85(y1.36 to y0.35)%, 2.70(1.92 to 3.46)%, respectively, with no gender difference. LS and TB BMDZ were different in each phenotype (P-s 0.002), LS BMDZ for ‘severe’, ‘moderate’ and ‘mild’ y1.63(CI: y2.07 to y 1.19), y0.86(CI: y1.17 to y0.55), y0.06(CI: y0.54 to 0.41). Males had lower LS BMDZ than females overall (y1.22 (CI: y1.54 to y0.91) vs. y0.48(CI: y 0.84 to y0.12) Ps0.002). In the ‘severe’ group, males had lower TB BMDZ and LS BMDZ (PF0.002). Low BMD is associated with ‘moderate’ and ‘severe’ phenotypes, with relative preservation in females in the ‘severe’ group. Female biology (reproductive fitness) might promote resistance to bone resorption at a critical level of BMD loss.

Water table waves in an unconfined aquifer: Experiments and modeling

[1] Comprehensive measurements are presented of the piezometric head in an unconfined aquifer during steady, simple harmonic oscillations driven by a hydrostatic clear water reservoir through a vertical interface. The results are analyzed and used to test existing hydrostatic and nonhydrostatic, small-amplitude theories along with capillary fringe effects. As expected, the amplitude of the water table wave decays exponentially. However, the decay rates and phase lags indicate the influence of both vertical flow and capillary effects. The capillary effects are reconciled with observations of water table oscillations in a sand column with the same sand. The effects of vertical flows and the corresponding nonhydrostatic pressure are reasonably well described by small-amplitude theory for water table waves in finite depth aquifers. That includes the oscillation amplitudes being greater at the bottom than at the top and the phase lead of the bottom compared with the top. The main problems with respect to interpreting the measurements through existing theory relate to the complicated boundary condition at the interface between the driving head reservoir and the aquifer. That is, the small-amplitude, finite depth expansion solution, which matches a hydrostatic boundary condition between the bottom and the mean driving head level, is unrealistic with respect to the pressure variation above this level. Hence it cannot describe the finer details of the multiple mode behavior close to the driving head boundary. The mean water table height initially increases with distance from the forcing boundary but then decreases again, and its asymptotic value is considerably smaller than that previously predicted for finite depth aquifers without capillary effects. Just as the mean water table over-height is smaller than predicted by capillarity-free shallow aquifer models, so is the amplitude of the second harmonic. In fact, there is no indication of extra second harmonics ( in addition to that contained in the driving head) being generated at the interface or in the interior.

Anticipated versus inferred politeness

A number of researchers have recently argued that politeness is not always inferred in the form of an implicature as claimed by Brown and Levinson (1987), but rather can be anticipated by addressees when it involves expected behaviour. The distinction between anticipated and inferred politeness is thus an important area for further development of politeness theory. In this paper, the way in which the notion of ‘expectations’ is related to politeness is first considered, before outlining the distinction between anticipated and inferred politeness in some detail. It is then argued that discourse politeness theory (Usami, 1998, 2001a, b, 2002) shows greater promise for deepening our understanding of this distinction than the proposals made thus far by relevance theorists. It is concluded that any investigation of the distinction between anticipating and inferring politeness must ultimately be grounded in empirical studies of politeness phenomena.

A reduced load approximation accounting for link interactions in a loss network

This paper is concerned with evaluating the performance of loss networks. Accurate determination of loss network performance can assist in the design and dimen- sioning of telecommunications networks. However, exact determination can be difficult and generally cannot be done in reasonable time. For these reasons there is much interest in developing fast and accurate approximations. We develop a reduced load approximation that improves on the famous Erlang fixed point approximation (EFPA) in a variety of circumstances. We illustrate our results with reference to a range of networks for which the EFPA may be expected to perform badly.

Simulation supplements field studies to determine no-till dryland corn population recommendations for semiarid western Nebraska

In a 2-yr multiple-site field study conducted in western Nebraska during 1999 and 2000, optimum dryland corn (Zea mays L.) population varied from less than 1.7 to more than 5.6 plants m(-2), depending largely on available water resources. The objective of this study was to use a modeling approach to investigate corn population recommendations for a wide range of seasonal variation. A corn growth simulation model (APSIM-maize) was coupled to long-term sequences of historical climatic data from western Nebraska to provide probabilistic estimates of dryland yield for a range of corn populations. Simulated populations ranged from 2 to 5 plants m(-2). Simulations began with one of three levels of available soil water at planting, either 80, 160, or 240 mm in the surface 1.5 m of a loam soil. Gross margins were maximized at 3 plants m(-2) when starting available water was 160 or 240 mm, and the expected probability of a financial loss at this population was reduced from about 10% at 160 mm to 0% at 240 mm. When starting available water was 80 mm, average gross margins were less than $15 ha(-1), and risk of financial loss exceeded 40%. Median yields were greatest when starting available soil water was 240 mm. However, perhaps the greater benefit of additional soil water at planting was reduction in the risk of making a financial loss. Dryland corn growers in western Nebraska are advised to use a population of 3 plants m(-2) as a base recommendation.

Climate change and biotic invasions: a case history of a tropical woody vine

The impacts of climate change in the potential distribution and relative abundance of a C3 shrubby vine, Cryptostegia grandiflora, were investigated using the CLIMEX modelling package. Based upon its current naturalised distribution, C. grandiflora appears to occupy only a small fraction of its potential distribution in Australia under current climatic conditions; mostly in apparently sub-optimal habitat. The potential distribution of C. grandiflora is sensitive towards changes in climate and atmospheric chemistry in the expected range of this century, particularly those that result in increased temperature and water use efficiency. Climate change is likely to increase the potential distribution and abundance of the plant, further increasing the area at risk of invasion, and threatening the viability of current control strategies markedly. By identifying areas at risk of invasion, and vulnerabilities of control strategies, this analysis demonstrates the utility of climate models for providing information suitable to help formulate large-scale, long-term strategic plans for controlling biotic invasions. The effects of climate change upon the potential distribution of C. grandiflora are sufficiently great that strategic control plans for biotic invasions should routinely include their consideration. Whilst the effect of climate change upon the efficacy of introduced biological control agents remain unknown, their possible effect in the potential distribution of C. grandiflora will likely depend not only upon their effects on the population dynamics of C. grandiflora, but also on the gradient of climatic suitability adjacent to each segment of the range boundary.

SPAnDX: a process-based population dynamics model to explore management and climate change impacts on an invasive alien plant, Acacia nilotica

This paper describes a process-based metapopulation dynamics and phenology model of prickly acacia, Acacia nilotica, an invasive alien species in Australia. The model, SPAnDX, describes the interactions between riparian and upland sub-populations of A. nilotica within livestock paddocks, including the effects of extrinsic factors such as temperature, soil moisture availability and atmospheric concentrations of carbon dioxide. The model includes the effects of management events such as changing the livestock species or stocking rate, applying fire, and herbicide application. The predicted population behaviour of A. nilotica was sensitive to climate. Using 35 years daily weather datasets for five representative sites spanning the range of conditions that A. nilotica is found in Australia, the model predicted biomass levels that closely accord with expected values at each site. SPAnDX can be used as a decision-support tool in integrated weed management, and to explore the sensitivity of cultural management practices to climate change throughout the range of A. nilotica. The cohort-based DYMEX modelling package used to build and run SPAnDX provided several advantages over more traditional population modelling approaches (e.g. an appropriate specific formalism (discrete time, cohort-based, process-oriented), user-friendly graphical environment, extensible library of reusable components, and useful and flexible input/output support framework). (C) 2003 Published by Elsevier Science B.V.

Selective entrainment of sediment graded by size and density under waves

The influence of near-bed sorting processes on heavy mineral content in suspension is discussed. Sediment concentrations above a rippled bed of mixed quartz and heavy mineral sand were measured under regular nonbreaking waves in the laboratory. Using the traditional gradient diffusion process, settling velocity would be expected to strongly affect sediment distribution. This was not observed during present trials. In fact, the vertical gradients of time-averaged suspension concentrations were found to be similar for the light and heavy minerals, despite their different settling velocities. This behavior implies a convective rather than diffusive distribution mechanism. Between the nonmoving bed and the lowest suspension sampling point, fight and heavy mineral concentration differs by two orders of magnitude. This discrimination against the heavy minerals in the pickup process is due largely to selective entrainment at the ripple face. Bed-form dynamics and the nature of quartz suspension profiles are found to be little affected by the trialed proportion of overall heavy minerals in the bed (3.8-22.1%).

Decreased coumarin 7-hydroxylase activities and CYP2A6 expression levels in humans caused by genetic polymorphism in CYP2A6 promoter region (CYP2A6*9)

One of seven poor metabolizers of coumarin found in Thai subjects was previously genotyped as heterozygote for the CYP2A6*4 (whole deletion) and CYP2A6*9. Thus, we aimed to investigate the relationship between the genetic polymorphism in the TATA box of the CYP2A6 gene (CYP2A6*9), expression levels of CYP2A6 mRNA and coumarin 7-hydroxylase activities in human livers. Levels of CYP2A6 mRNA were quantified by real-time quantitative reverse transcriptase-polymerase chain reaction. The mean expression levels of CYP2A6 mRNA in individuals with CYP2A6*1/*4, CYP2A6*1/*9 and CYP2A6*4/*9 were 58%, 71% and 21% of the individuals genotyped as CYP2A6*1/*1, respectively. The mean in-vitro coumarin 7-hydroxylase activities in subjects carrying CYP2A6*1/*4, CYP2A6*1/*9 and CYP2A6*4/*9 were 41%, 71% and 12%, respectively, compared to those of the subjects judged as wild-type. Vmax values for coumarin 7-hydroxylation in the liver microsomes from human subjects with genotypes of CYP2A6*1/*1, CYP2A6*1/*4, CYP2A6*1/*9 and CYP2A6*4/*9 were 0.58, 0.26, 0.44 and 0.13 nmol/min/nmol total P450, respectively. CYP2A6 protein levels in human liver microsomes with the CYP2A6*4 and the CYP2A6*9 alleles were markedly decreased. These results suggest that the genetic polymorphism in the promoter region of the CYP2A6 gene (CYP2A6*9) reduced the expression levels of CYP2A6 mRNA and protein in human livers, resulting in the decrease of coumarin 7-hydroxylase activities. Individuals judged as CYP2A6*4/*9 were expected to be poor metabolizers, having extremely low activity of CYP2A6.

Influence of shapes of selected vegetable materials on drying kinetics during fluidized bed drying

Three different particular geometrical shapes of parallelepiped, cylinder and sphere were taken from cut green beans (length:diameter = 1:1, 2:1 and 3:1) and potatoes (aspect ratio = 1:1, 2:1 and 3:1) and peas, respectively. Their drying behaviour in a fluidised bed was studied at three different drying temperatures of 30, 40 and 50 degreesC (RH = 15%). Drying curves were constructed using non-dimensional moisture ratio (MR) and time and their behaviour was modelled using exponential (MR = exp(-kt)) and Page (MR = exp(-kt(n))) models. The effective diffusion coefficient of moisture transfer was determined by Fickian method using uni- and three-dimensional moisture movements. The diffusion coefficient was least affected by the size when the moisture movement was considered three-dimensional, whereas the drying temperature had a significative effect on diffusivity as expected. The drying constant and diffusivity coefficients were on the descending order for potato, beans and peas. The Arrhenius activation energy for the peas was also highest, indicating a strong barrier to moisture movement in peas as compared to beans and skinless cut potato pieces. (C) 2003 Elsevier Science Ltd. All rights reserved.

Teachers and productive pedagogies: Contextualising, conceptualising, utilising

Improving students' outcomes from schooling requires schools to be learning organisations, where both students and teachers are engaged in learning. As such, knowledge and talk about pedagogy need to be at the core of the professional culture of schools. This article argues that this will require the valuing of teachers' work, that is, their pedagogical practices, to be a central focus of educational policy. Dangers are associated with this argument in terms of understating the impacts of poverty, lack of funding to disadvantaged schools and other social factors such as the pressures of globalisation upon students' educational opportunities. Hence, while acknowledging the importance of pedagogy to students' outcomes, the article contextualises the argument through a recognition of the policy and structural conditions that work against the valuing of teachers and their work. It then conceptualises how, within this context, a focus on pedagogies can make a difference to students' academic and social outcomes from schooling. This conceptualisation utilises the productive pedagogies model of classroom practice, developed in a large Australian study of school reform, as an example of the forms of pedagogical practices that support students' achievement of academic and social outcomes. It is argued that such pedagogical practices ought to be a concern of teachers, school administrators, education systems and local communities interested in schools as learning organisations.

Estimates of global mortality attributable to smoking in 2000

Background Smoking is a risk factor for several diseases and has been increasing in many developing countries. Our aim was to estimate global and regional mortality in 2000 caused by smoking, including an analysis of uncertainty. Methods Following the methods of Peto and colleagues, we used lung-cancer mortality as an indirect marker for accumulated smoking risk. Never-smoker lung-cancer mortality was estimated based on the household use of coal with poor ventilation. Relative risks were taken from the American Cancer Society Cancer Prevention Study, phase II, and the retrospective proportional mortality analysis of Liu and colleagues in China. Relative risks were corrected for confounding and extrapolation to other regions. Results We estimated that in 2000, 4.83 (uncertainty range 3.94-5.93) million premature deaths in the world were attributable to smoking; 2.41 (1.80-3.15) million in developing countries and 2.43 (2.13-2.78) million in industrialised countries. 3.84 million of these deaths were in men. The leading causes of death from smoking were cardiovascular diseases (1.69 million deaths), chronic obstructive pulmonary disease (0.97 million deaths), and lung cancer (0.85 million deaths). Interpretation Smoking was an important cause of global mortality in 2000. In view of the expected demographic and epidemiological transitions and current smoking patterns in the developing world, the health loss due to smoking will grow even larger unless effective interventions and policies that reduce smoking among men and prevent increases among women in developing countries are implemented.

A yield architecture framework to explain adaptation of pearl millet to environmental stress

Functional knowledge of the physiological basis of crop adaptation to stress is a prerequisite for exploiting specific adaptation to stress environments in breeding programs. This paper presents an analysis of yield components for pearl millet, to explain the specific adaptation of local landraces to stress environments in Rajasthan, India. Six genotypes, ranging from high-tillering traditional landraces to low-tillering open-pollinated modern cultivars, were grown in 20 experiments, covering a range of nonstress and drought stress patterns. In each experiment, yield components (particle number, grain number, 100 grain mass) were measured separately for main shoots, basal tillers, and nodal tillers. Under optimum conditions, landraces had a significantly lower grain yield than the cultivars, but no significant differences were observed at yield levels around 1 ton ha(-1). This genotype x environment interaction for grain yield was due to a difference in yield strategy, where landraces aimed at minimising the risk of a crop failure under stress conditions, and modem cultivars aimed at maximising yield potential under optimum conditions. A key aspect of the adaptation of landraces was the small size of the main shoot panicle, as it minimised (1) the loss of productive tillers during stem elongation; (2) the delay in anthesis if mid-season drought occurs; and (3) the reduction in panicle productivity of the basal tillers under stress. In addition, a low investment in structural panicle weight, relative to vegetative crop growth rate, promoted the production of nodal tillers, providing a mechanism to compensate for reduced basal tiller productivity if stress occurred around anthesis. A low maximum 100 grain mass also ensured individual grain mass was little affected by environmental conditions. The strategy of the high-tillering landraces carries a yield penalty under optimum conditions, but is expected to minimise the risk of a crop failure, particularly if mid-season drought stress occurs. The yield architecture of low-tillering varieties, by contrast, will be suited to end-of-season drought stress, provided anthesis is early. Application of the above adaptation mechanisms into a breeding program could enable the identification of plant types that match the prevalent stress patterns in the target environments. (C) 2003 E.J. van Oosterom. Published by Elsevier Science B.V. All rights reserved.