Towards platform-independent real-time systems

Real-time software systems are rarely developed once and left to run. They are subject to changes of requirements as the applications they support expand, and they commonly outlive the platforms they were designed to run on. A successful real-time system is duplicated and adapted to a variety of applications - it becomes a product line. Current methods for real-time software development are commonly based on low-level programming languages and involve considerable duplication of effort when a similar system is to be developed or the hardware platform changes. To provide more dependable, flexible and maintainable real-time systems at a lower cost what is needed is a platform-independent approach to real-time systems development. The development process is composed of two phases: a platform-independent phase, that defines the desired system behaviour and develops a platform-independent design and implementation, and a platform-dependent phase that maps the implementation onto the target platform. The last phase should be highly automated. For critical systems, assessing dependability is crucial. The partitioning into platform dependent and independent phases has to support verification of system properties through both phases.

Interactions between behaviour and plasma steroids within the scramble mating system of the promiscuous green turtle, Chelonia mydas

We measured plasma androgen (combined testosterone and 5 alpha-dihydrotestosterone) (A) and corticosterone (B) in the promiscuous green turtle (Chelonia mydas) during courtship in the southern Great Barrier Reef. This study examined if reproductive behaviors and intermale aggression induced behavioral androgen and adrenocortical responses in reproductively active male and female green turtles. Associations between reproductive behavior and plasma steroids were investigated in green turtles across the population and within individuals. Levels across a range of both asocial and social behaviors were compared including (a) free swimming behavior; (b) initial courtship interactions; (c) mounted behavior (male and female turtles involved in copulatory activities); (d) intermale aggression (rival males that physically competed with another male turtle or mounted males recipient to these aggressive interactions); and (e) extensive courtship damage (male turtles that had accumulated excessive courtship damage from rival males). Behavioral androgen responses were detected in male turtles, in that plasma A was observed to increase with both attendant and mounted behavior. Male turtles who had been subjected to intermale aggression or who had accumulated severe courtship damage exhibited significantly lower plasma A than their respective controls. No pronounced adrenocortical response was observed after either intermale aggression or accumulation of extensive courtship damage. Female turtles exhibited a significant increase in plasma B during swimming versus mounted behavior, but no change in plasma A. We discuss our results in terms of how scramble polygamy might influence behavioral androgen interactions differently from more typical combative and territorial forms Of male polygamy. (C) 1999 Academic Press.

Probabilistic Action System Trace Semantics

Action systems are a construct for reasoning about concurrent, reactive systems, in which concurrent behaviour is described by interleaving atomic actions. Sere and Troubitsyna have proposed an extension to action systems in which actions may be expressed and composed using discrete probabilistic choice as well as demonic nondeterministic choice. In this paper we develop a trace-based semantics for probabilistic action systems. This semantics provides a simple theoretical base on which practical refinement rules for probabilistic action systems may be justified.

Implication of the visual system in the regulation of activity cycles in the absence of solar light: 2-[I-125]iodomelatonin binding sites and melatonin receptor gene expression in the brains of demersal deep-sea gadiform fish

Relative eye size, gross brain morphology and central localization of 2-[I-125]iodomelatonin binding sites and melatonin receptor gene expression were compared in six gadiform fish living at different depths in the north-east Atlantic Ocean: Phycis blennoides (capture depth range 265-1260 m), Nezumia aequalis (445-1512 m), Coryphaenoides rupestris (706-1932 m), Trachyrincus murrayi (1010-1884 m), Coryphaenoides guentheri (1030 m) and Coryphaenoides (Nematonurus) armatus (2172-4787 m). Amongst these, the eye size range was 0.15-0.35 of head length with a value of 0.19 for C.(N.) armatus, the deepest species. Brain morphology reflected behavioural differences with well-developed olfactory regions in P.blennoides, T.murrayi and C. (N.) armatus and evidence of olfactory deficit in N. aequalis, C. rupestris and C. guentheri. All species had a clearly defined optic tectum with 2-[I-125] iodomelatonin binding and melatonin receptor gene expression localized to specific brain regions in a similar pattern to that found in shallow-water fish. Melatonin receptors were found throughout the visual structures of the brains of all species. Despite living beyond the depth of penetration of solar light these fish have retained central features associated with the coupling of cycles of growth, behaviour and reproduction to the diel light-dark cycle. How this functions in the deep sea remains enigmatic.

Physical properties and fluidization behaviour of fresh green bean particulates during fluidized bed drying

Changes in the physical properties (such as particle density, bulk density of the bed, shrinkage and bed porosity) of fresh green bean particulates were investigated during drying. Three length:diameter ratios (1:1, 2:1 and 3:1) were considered, using drying conditions of 50 +/- 2 degrees C and 13 +/- 2% relative humidity in a heat pump dehumidifier system. The fluidization behaviour was also evaluated at 10 levels of moisture content. The fluidization experiments demonstrated that the minimum fluidization velocity decreases as the drying proceeds due to the reduced moisture content and changes in the physical properties of the bean particulates. Empirical relationships of the following nature were developed for the change in shrinkage [VR = 1 - Be-kMR], particle density [rho(p) = A + BMR + C (exp)(-D MR)], bulk density [rho(b) = a(1) + b(1)MR + c(1)MR(2)] and bed porosity [epsilon = a(2) + b(2)MR + c(2)MR(2)] with the moisture content during fluidized bed drying.

The filter system for tertiary treatment of sewage effluent by land application - its performance in a subtropical environment

FILTER is an innovative, CSIRO developed system for treating effluent using high rate land application and subsequent effluent recapture via a closely spaced, subsurface drainage network. We report on the summer performance of a FILTER system established in a subtropical environment on a relatively impermeable swelling clay soil underlain by a deep regional water table. Using secondary treated sewage effluent, the FILTER system produced effluent of tertiary nutrient standards (less than or equal to5 mg/L TN; less than or equal to1 mg/L TP), with salinity levels suitable for subsequent irrigation reuse (EC less than or equal to2.5 dS/m). Removal of faecal coliforms was considerably less effective. The hydraulic loading rate achieved was about two and a half times larger than conventional irrigation demand, but this was associated with high deep percolation losses (e 3 mm/day). Comparisons are made with the original FILTER system developed and tested by Jayawardane et al. in temperate Australia. Suggestions are made for modifications to, and further testing of FILTER in a subtropical environment.

Combined hydraulic and biological modelling and full-scale validation of SBR process

The biological reactions during the settling and decant periods of Sequencing Batch Reactors (SBRs) are generally ignored as they are not easily measured or described by modelling approaches. However, important processes are taking place, and in particular when the influent is fed into the bottom of the reactor at the same time (one of the main features of the UniFed process), the inclusion of these stages is crucial for accurate process predictions. Due to the vertical stratification of both liquid and solid components, a one-dimensional hydraulic model is combined with a modified ASM2d biological model to allow the prediction of settling velocity, sludge concentration, soluble components and biological processes during the non-mixed periods of the SBR. The model is calibrated on a full-scale UniFed SBR system with tracer breakthrough tests, depth profiles of particulate and soluble compounds and measurements of the key components during the mixed aerobic period. This model is then validated against results from an independent experimental period with considerably different operating parameters. In both cases, the model is able to accurately predict the stratification and most of the biological reactions occurring in the sludge blanket and the supernatant during the non-mixed periods. Together with a correct description of the mixed aerobic period, a good prediction of the overall SBR performance can be achieved.

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.

Field hydraulic properties of an Alfisol under various fallow systems in southwestern Nigeria

The effects of various fallow management systems and cropping intensities on water infiltration were measured on an Alfisol at Ibadan in southwestern Nigeria. The objective was to determine the influence of the land use systems (a combination of crop-fallow sequences and intercropping types) on soil hydraulic properties obtained by disc permeameter and double-ring infiltration measurements. The experiment was established in 1989 as a split-plot design with four replications. The main plots were natural fallow, planted Pueraria phaseoloides and planted Leucaena leucocephala. The subplots were 1 year of maize/cassava intercrop followed by 3-year fallow (25% cropping intensity), or 2-year fallow (33% cropping intensity), or 1-year fallow (50% cropping intensity), or no fallow period (100% cropping intensity). Water infiltration rates and sorptivities were measured under saturated and unsaturated flow. Irrespective of land use, infiltration rates at the soil surface (121-324 cm h(-1)) were greater than those measured at 30 cm depth (55-144 cm h(-1)). This indicated that fewer large pores were present below 30 cm depth compared with 0-30 cm, depth. Despite some temporal variation, sorptivities with the highest mean value of 93.5 cm h(-1/2) increased as the cropping intensity decreased, suggesting a more continuous macropore system under less intensive land use systems. This was most likely due to continuous biopores created by perennial vegetation under long fallow systems. Intercropped maize and cassava yields also increased as cropping intensity decreased. The weak relationship between crop yields and hydraulic conductivity/infiltration rates suggests that the rates were not limiting.

Modelling the input-output behaviour of piezoelectric structural health monitoring systems for composite plates

This paper investigates the input-output characteristics of structural health monitoring systems for composite plates based on permanently attached piezoelectric transmitter and sensor elements. Using dynamic piezoelectricity theory and a multiple integral transform method to describe the propagating and scattered flexural waves an electro-mechanical model for simulating the voltage input-output transfer function for circular piezoelectric transmitters and sensors adhesively attached to an orthotropic composite plate is developed. The method enables the characterization of all three physical processes, i.e. wave generation, wave propagation and wave reception. The influence of transducer, plate and attached electrical circuit characteristics on the voltage output behaviour of the system is examined through numerical calculations, both in frequency and the time domain. The results show that the input-output behaviour of the system is not properly predicted by the transducers' properties alone. Coupling effects between the transducers and the tested structure have to be taken into account, and adding backing materials to the piezoelectric elements can significantly improve the sensitivity of the system. It is shown that in order to achieve maximum sensitivity, particular piezoelectric transmitters and sensors need to be designed according to the structure to be monitored and the specific frequency regime of interest.

Non-linear analysis of the thermo-electro-mechanical behaviour of shear deformable FGM plates with piezoelectric actuators

This paper investigates the non-linear bending behaviour of functionally graded plates that are bonded with piezoelectric actuator layers and subjected to transverse loads and a temperature gradient based on Reddy's higher-order shear deformation plate theory. The von Karman-type geometric non-linearity, piezoelectric and thermal effects are included in mathematical formulations. The temperature change is due to a steady-state heat conduction through the plate thickness. The material properties are assumed to be graded in the thickness direction according to a power-law distribution in terms of the volume fractions of the constituents. The plate is clamped at two opposite edges, while the remaining edges can be free, simply supported or clamped. Differential quadrature approximation in the X-axis is employed to convert the partial differential governing equations and the associated boundary conditions into a set of ordinary differential equations. By choosing the appropriate functions as the displacement and stress functions on each nodal line and then applying the Galerkin procedure, a system of non-linear algebraic equations is obtained, from which the non-linear bending response of the plate is determined through a Picard iteration scheme. Numerical results for zirconia/aluminium rectangular plates are given in dimensionless graphical form. The effects of the applied actuator voltage, the volume fraction exponent, the temperature gradient, as well as the characteristics of the boundary conditions are also studied in detail. Copyright (C) 2004 John Wiley Sons, Ltd.