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.

Making developmental biology relevant to undergraduates in an era of economic rationalism in Australia

This report describes the road map we followed at our university to accommodate three main factors: financial pressure within the university system; desire to enhance the learning experience of undergraduates; and motivation to increase the prominence of the discipline of developmental biology in our university. We engineered a novel, multi-year undergraduate developmental biology program which was student-oriented, ensuring that students were continually exposed to the underlying principles and philosophy of this discipline throughout their undergraduate career. Among its key features are introductory lectures in core courses in the first year, which emphasize the relevance of developmental biology to tissue engineering, reproductive medicine, therapeutic approaches in medicine, agriculture and aquaculture. State-of-the-art animated computer graphics and images of high visual impact are also used. In addition, students are streamed into the developmental biology track in the second year, using courses like human embryology and courses shared with cell biology, which include practicals based on modern experimental approaches. Finally, fully dedicated third-year courses in developmental biology are undertaken in conjunction with stand-alone practical courses where students experience first-hand work in a research laboratory. Our philosophy is a cradle-to-grave approach to the education of undergraduates so as to prepare highly motivated, enthusiastic and well-educated developmental biologists for entry into graduate programs and ultimately post-doctoral research.

Sequencing batch reactor technology: the key to a BP refinery (Bulwer Island) upgraded environmental protection system - a low cost lagoon based retro-fit

BP Refinery (Bulwer Island) Ltd (BP) located on the eastern Australian coast is currently undergoing a major expansion as a part of the Queensland Clean Fuels Project. The associated wastewater treatment plant upgrade will provide a better quality of treated effluent than is currently possible with the existing infrastructure, and which will be of a sufficiently high standard to meet not only the requirements of imposed environmental legislation but also BP's environmental objectives. A number of challenges were faced when considering the upgrade, particularly; cost constraints and limited plot space, highly variable wastewater, toxicity issues, and limited available hydraulic head. Sequencing Batch Reactor (SBR) Technology was chosen for the lagoon upgrade based on the following; SBR technology allowed a retro-fit of the existing earthen lagoon without the need for any additional substantial concrete structures, a dual lagoon system allowed partial treatment of wastewaters during construction, SBRs give substantial process flexibility, SBRs have the ability to easily modify process parameters without any physical modifications, and significant cost benefits. This paper presents the background to this application, an outline of laboratory studies carried out on the wastewater and details the full scale design issues and methods for providing a cost effective, efficient treatment system using the existing lagoon system.

Is maximizing resilience compatible with established ecological goal functions?

Cropp and Gabric [Ecosystem adaptation: do ecosystems maximise resilience? Ecology. In press] used a simple phytoplanktonzooplankton-nutrient model and a genetic algorithm to determine the parameter values that would maximize the value of certain goal functions. These goal functions were to maximize biomass, maximize flux, maximize flux to biomass ratio, and maximize resilience. It was found that maximizing goal functions maximized resilience. The objective of this study was to investigate whether the Cropp and Gabric [Ecosystem adaptation: do ecosystems maximise resilience? Ecology. In press] result was indicative of a general ecosystem principle, or peculiar to the model and parameter ranges used. This study successfully replicated the Cropp and Gabric [Ecosystem adaptation: do ecosystems maximise resilience? Ecology. In press] experiment for a number of different model types, however, a different interpretation of the results is made. A new metric, concordance, was devised to describe the agreement between goal functions. It was found that resilience has the highest concordance of all goal functions trialled. for most model types. This implies that resilience offers a compromise between the established ecological goal functions. The parameter value range used is found to affect the parameter versus goal function relationships. Local maxima and minima affected the relationship between parameters and goal functions, and between goal functions. (C) 2003 Elsevier B.V. All rights reserved.

Study of wet porous filtration

A growing demand for efficient air quality management calls for the development of technologies capable of meeting the stringent requirements now being applied in areas of chemical, biological and medical activities. Currently, filtration is the most effective process available for removal of fine particles from carrier gases. Purification of gaseous pollutants is associated with adsorption, absorption and incineration. In this paper we discuss a new technique for highly efficient simultaneous purification of gaseous and particulate pollutants from carrier gases, and investigate the utilization of Nuclear Magnetic Resonance (NMR) imaging for the study of the dynamic processes associated with gas-liquid flow in porous media. Our technique involves the passage of contaminated carrier gases through a porous medium submerged into a liquid, leading to the formation of narrow and tortuous pathways through the medium. The wet walls of these pathways result in outstanding purification of gaseous, liquid and solid alien additives. NMR imaging was successfully used to map the gas pathways inside the porous medium submerged into the liquid layer. (C) 2002 Elsevier Science B.V. All rights reserved.

Theoretical and experimental studies of unbraced tubular trusses allowing for torsional stiffness

This paper describes the buckling phenomenon of a tubular truss with unsupported length through a full-scale test and presents a practical computational method for the design of the trusses allowing for the contribution of torsional stiffness against buckling, of which the effect has never been considered previously by others. The current practice for the design of a planar truss has largely been based on the linear elastic approach which cannot allow for the contribution of torsional stiffness and tension members in a structural system against buckling. The over-simplified analytical technique is unable to provide a realistic and an economical design to a structure. In this paper the stability theory is applied to the second-order analysis and design of the structural form, with detailed allowance for the instability and second-order effects in compliance with design code requirements. Finally, the paper demonstrates the application of the proposed method to the stability design of a commonly adopted truss system used in support of glass panels in which lateral bracing members are highly undesirable for economical and aesthetic reasons.

Vitamin C: Effects of exercise and requirements with training

Ascorbic acid or vitamin C is involved in a number of biochemical pathways that are important to exercise metabolism and the health of exercising individuals. This review reports the results of studies investigating the requirement for vitamin C with exercise on the basis of dietary vitamin C intakes, the response to supplementation and alterations in plasma, serum, and leukocyte ascorbic acid concentration following both acute exercise and regular training. The possible physiological significance of changes in ascorbic acid with exercise is also addressed. Exercise generally causes a transient increase in circulating ascorbic acid in the hours following exercise, but a decline below pre-exercise levels occurs in the days after prolonged exercise. These changes could be associated with increased exercise-induced oxidative stress. On the basis of alterations in the concentration of ascorbic acid within the blood, it remains unclear if regular exercise increases the metabolism of vitamin C. However, the similar dietary intakes and responses to supplementation between athletes and nonathletes suggest that regular exercise does not increase the requirement for vitamin C in athletes. Two novel hypotheses are put forward to explain recent findings of attenuated levels of cortisol postexercise following supplementation with high doses of vitamin C.