The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Caenorhabditis elegans mutants resistant to phosphine toxicity show increased longevity and cross-resistance to the synergistic action of oxygen

Phosphine (hydrogen phosphide, PH3) is the fumigant most widely used to protect stored products from pest infestation. Despite the importance of this chemical, little is known about its mode of action. We have created three phosphine-resistant lines (pre-1, pre-7, pre-33) in the model organism C. elegans, with LC50 values 2, 5, and 9 times greater than the fully susceptible parental strain. Molecular oxygen was shown to be an extremely effective synergist with phosphine as, under hyperoxic conditions, 100% mortality was observed in wild-type nematodes exposed to 0.1 mg/l phosphine, a nonlethal concentration in air. All three mutants were resistant to the synergistic effects of oxygen in proportion to their resistance to phosphine with one mutant, pre-33, showing complete resistance to this synergism. We take the proportionality of cross-resistance between phosphine and the synergistic effect of oxygen to imply that all three mutants circumvent a mechanism of phosphine toxicity that is directly coupled to oxygen metabolism. Compared with the wild-type strain, all three mutants have an extended average life expectancy of from 12.5 to 25.3%. This is consistent with the proposed involvement of oxidative stress in both phosphine toxicity and ageing. Because the wild-type and mutant nematodes develop at the same rate, the longevity is unlikely to be caused by a clk-type reduction in oxidative metabolism, a potential alternative mechanism of phosphine resistance.

Do expertise and the degree of perception-action coupling affect natural anticipatory performance?

Two experiments using a temporal occlusion paradigm (the first with expert and novice participants and the second with participants of intermediate skill) were conducted to examine the capability of tennis players to predict the direction of an opponent's service in situ. In both experiments two different response conditions, reflecting differing degrees of perception-action coupling, were employed. In a coupled condition players were required to make a movement-based response identical to that which they would use to hit a return of service in a game situation, whereas in an uncoupled condition a verbal prediction of service direction was required. Experiment 1 provided clear evidence of superior prediction accuracy under the coupled response condition when ball flight was available, plus some limited evidence to suggest that superior prediction accuracy under uncoupled response conditions might hold true if only advance (pre-contact) information was available. Experiment 2 showed the former finding to be a robust one, but was unable to reveal any support for the latter. Experiment 1 also revealed that expert superiority is more apparent for predictions made under natural (coupled) than uncoupled response-mode conditions. Collectively, these findings suggest that different perceptual processes may be in operation in anticipatory tasks which depend on skill level, the type of information presented, and degree of perception-action coupling inherent in the task requirements.

Evaluating plant breeding strategies by simulating gene action and dryland environment effects

Functional genomics is the systematic study of genome-wide effects of gene expression on organism growth and development with the ultimate aim of understanding how networks of genes influence traits. Here, we use a dynamic biophysical cropping systems model (APSIM-Sorg) to generate a state space of genotype performance based on 15 genes controlling four adaptive traits and then search this spice using a quantitative genetics model of a plant breeding program (QU-GENE) to simulate recurrent selection. Complex epistatic and gene X environment effects were generated for yield even though gene action at the trait level had been defined as simple additive effects. Given alternative breeding strategies that restricted either the cultivar maturity type or the drought environment type, the positive (+) alleles for 15 genes associated with the four adaptive traits were accumulated at different rates over cycles of selection. While early maturing genotypes were favored in the Severe-Terminal drought environment type, late genotypes were favored in the Mild-Terminal and Midseason drought environment types. In the Severe-Terminal environment, there was an interaction of the stay-green (SG) trait with other traits: Selection for + alleles of the SG genes was delayed until + alleles for genes associated with the transpiration efficiency and osmotic adjustment traits had been fixed. Given limitations in our current understanding of trait interaction and genetic control, the results are not conclusive. However, they demonstrate how the per se complexity of gene X gene X environment interactions will challenge the application of genomics and marker-assisted selection in crop improvement for dryland adaptation.

Translating policy: Power and action in Australia's country towns

Controversies In its present condition, rural Australia is characterised by a discourse of decline that sees country towns and regions as places of demoralisation and despair. From a Foucauldian governmentality perspective, those who live in these spaces are not so much 'powerless' to the demands of urban-based governments and global capital, as rendered governable according to the socio-political ambitions of late capitalism. While important insights have been derived from such analyses, it is argued in this paper that excessive attention is often paid to the power of the state with little concern for the various ways in which local people engage with, and transform the strategies and effects of state power. Rather than utilising the concept of resistance to make sense of these interactions, a sociology of translation is adopted from the Actor Network Theory literature. Applied to two case examples, it shows how governmental policies and programmes are frequently the outcome of the interactions and negotiations that take place between all those enrolled in the actor-network.

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.