An experiment in the design of distributed programs

This paper describes an experiment in the design of distributed programs. It is based on the theory of Owicki and Gries extended with rules for reasoning about message passing. The experiment is designed to test the effectiveness of the extended theory for designing distributed programs.

Extending the theory of Owicki and Gries with asynchronous message passing

We describe an extension of the theory of Owicki and Gries (1976) to a programming language that supports asynchronous message passing based on unconditional send actions and conditional receive actions. The focus is on exploring the fitness of the extension for distributed program derivation. A number of experiments are reported, based on a running example problem, and with the aim of exploring design heuristics and of streamlining derivations and progress arguments.

A Review of the Environmental and Health Effects of Termiticides under Australian Conditions

There exists a major cost issue as regards termite damage to wooden structures. A factor in this cost has been the increasing trend towards slab-on-ground construction. Current literature has been reviewed in relation to concerns about the possible public/environmental health consequences of the repeated use of termiticides in large quantities. The previous, current and projected future use patterns of termiticides are reviewed in the context of techniques appropriate for termite control and treatment priorities. The phasing out of organochlorine termiticides in Australia was undertaken to minimise impact of these substances on the environment and to a lesser extent on public health. These persistent chemicals were replaced by substances with high activity but relatively low persistence in the soil. There has also been an increase in the use of alternative methods (e.g. physical barriers) for the control of termites. The transition away from organochlorine termiticides has led to a realisation that significant information gaps exist with regard to replacement chemicals and other technologies. Although relatively persistent, the organochlorine chemicals have a limited lifespan in soils. Their concentrations are gradually attenuated by processes such as transport away from the point of application and biodegradation. Wooden structures originally treated with these substances will, with the passing of time, be at risk of termite infestation. The only available option is re-treatment with chemicals currently registered for termite control. Thus, there are likely to be substantial future increases associated with the cost of re-treatment and repairs of older slab-on-ground dwellings. More information is required on Australian termite biology, taxonomy and ecology. The risks of termite infestation need to be evaluated, both locally and nationally so that susceptible or high risk areas, structures and building types can be identified and preventive measures taken in terms of design and construction. Building regulations and designs need to be able to reduce or eliminate high-risk housing; and eliminate or reduce conditions that are attractive to termites and/or facilitate termite infestation.

The practice of participatory planning at Mapoon Aboriginal settlement: Towards community control, ownership and autonomy

The practice of participatory planning in discrete Indigenous settlements has been established since the early 1990s. In addition to technical and economic goals, participatory planning also seeks community development outcomes, including community control, ownership and autonomy. This paper presents an evaluation of one such planning project, conducted at Mapoon in 1995. The Plan successfully improved physical infrastructure and housing, but had mixed success in terms of community development. Despite various efforts to follow participatory processes, the Plan was essentially a passing event, community control progressively diminished after its completion, and outcomes fell short of notions of ownership and autonomy. This suggests some misunderstandings between the practice of participatory planning and the workings of governance.

Experimental expansion tube study of the flow over a toroidal ballute

An experimental investigation of high-enthalpy flow over a toroidal ballute (balloon/parachute) was conducted in an expansion tube facility. The ballute, proposed for use in a number of future aerocapture missions, involves the deployment of a large toroidal-shaped inflatable parachute behind a space vehicle to generate drag on passing through a planetary atmosphere, thus, placing the spacecraft in orbit. A configuration consisting of a spherical spacecraft, followed by a toroid, was tested in a superorbital facility. Measurements at moderate-enthalpy conditions (15-20 MJ/kg) in nitrogen and carbon dioxide showed peak heat transfer rates of around 20 MW/m(2) on the toroid. At higher enthalpies (>50 MJ/kg) in nitrogen, carbon dioxide, and a hydrogen-neon mixture, heat transfer rates above 100 MW/m(2) were observed. Imaging using near-resonant holographic interferometry showed that the flows were steady except when the opening of the toroid was blocked.

The consistency of extinction risk classification protocols

Systematic protocols that use decision rules or scores arc, seen to improve consistency and transparency in classifying the conservation status of species. When applying these protocols, assessors are typically required to decide on estimates for attributes That are inherently uncertain, Input data and resulting classifications are usually treated as though they arc, exact and hence without operator error We investigated the impact of data interpretation on the consistency of protocols of extinction risk classifications and diagnosed causes of discrepancies when they occurred. We tested three widely used systematic classification protocols employed by the World Conservation Union, NatureServe, and the Florida Fish and Wildlife Conservation Commission. We provided 18 assessors with identical information for 13 different species to infer estimates for each of the required parameters for the three protocols. The threat classification of several of the species varied from low risk to high risk, depending on who did the assessment. This occurred across the three Protocols investigated. Assessors tended to agree on their placement of species in the highest (50-70%) and lowest risk categories (20-40%), but There was poor agreement on which species should be placed in the intermediate categories, Furthermore, the correspondence between The three classification methods was unpredictable, with large variation among assessors. These results highlight the importance of peer review and consensus among multiple assessors in species classifications and the need to be cautious with assessments carried out 4), a single assessor Greater consistency among assessors requires wide use of training manuals and formal methods for estimating parameters that allow uncertainties to be represented, carried through chains of calculations, and reported transparently.

Rationalization of taro germplam collections in the Pacific Island region using simple sequence repeat (SSR) markers

A regional (Oceania) core collection for taro germplasm has been developed based on phenotypic and molecular characterization. In total, 2199 accessions of taro germplasm have been collected by TaroGen (Taro Genetic Resources: Conservation and Utilisation) from 10 countries in Oceania: Papua New Guinea, Solomon Islands, Vanuatu, New Caledonia, Fiji, Palau, Niue, Tonga, Cook Islands and Samoa. Our objective was to select 10% from each country to contribute to a regional core. The larger collections from Papua New Guinea, Vanuatu and New Caledonia were analysed based on phenotypic characters, and a diverse subset representing 20% of these collections was fingerprinted. A diverse 20% subsample was also taken from the Solomon Islands. All accessions from the other six countries were fingerprinted. In total, 515 accessions were genotyped (23.4% overall) using taro specific simple sequence repeat (SSR) markers. DNA fingerprint data showed that great allelic diversity existed in Papua New Guinea and the Solomon Islands. Interestingly, rare alleles were identified in taros from the Solomon Islands province of Choiseul which were not observed in any of the other collections. Overall, 211 accessions were recommended for inclusion in the final regional core collection based on the phenotypic and molecular characterization.