Modern scientific methods and their potential in wastewater science and technology

Application of novel analytical and investigative methods such as fluorescence in situ hybridization, confocal laser scanning microscopy (CLSM), microelectrodes and advanced numerical simulation has led to new insights into micro-and macroscopic processes in bioreactors. However, the question is still open whether or not these new findings and the subsequent gain of knowledge are of significant practical relevance and if so, where and how. To find suitable answers it is necessary for engineers to know what can be expected by applying these modern analytical tools. Similarly, scientists could benefit significantly from an intensive dialogue with engineers in order to find out about practical problems and conditions existing in wastewater treatment systems. In this paper, an attempt is made to help bridge the gap between science and engineering in biological wastewater treatment. We provide an overview of recently developed methods in microbiology and in mathematical modeling and numerical simulation. A questionnaire is presented which may help generate a platform from which further technical and scientific developments can be accomplished. Both the paper and the questionnaire are aimed at encouraging scientists and engineers to enter into an intensive, mutually beneficial dialogue. (C) 2002 Elsevier Science Ltd. All rights reserved.

Reasoning about real-time repetitions: terminating and nonterminating

It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to support nonterminating repetitions. In this paper we develop a general proof rule for reasoning about possibly nonterminating repetitions. The rule makes use of a Floyd-Hoare-style loop invariant that is maintained by each iteration of the repetition, a Jones-style relation between the pre- and post-states on each iteration, and a deadline specifying an upper bound on the starting time of each iteration. The general rule is proved correct with respect to a predicative semantics. In the case of a terminating repetition the rule reduces to the standard rule extended to handle real time. Other special cases include repetitions whose bodies are guaranteed to terminate, nonterminating repetitions with the constant true as a guard, and repetitions whose termination is guaranteed by the inclusion of a fixed deadline. (C) 2002 Elsevier Science B.V. All rights reserved.

Neonatal respiratory therapy in the new millennium: Does clinical practice reflect scientific evidence?

Respiratory therapy has historically been considered the primary role of the physiotherapist in neonatal intensive care in Australia. In 2001 a survey was undertaken of all level three neonatal intensive care units in Australia to determine the role of the physiotherapist and of respiratory therapy in clinical practice. It appears that respiratory therapy is provided infrequently, with the number of infants treated per month ranging from 0 to 10 in 15 of the 20 units who provide respiratory therapy, regardless of therapist availability. The median number of respiratory treatments per month during the week was three, and on weekends it was one. Respiratory therapy was carried out by physiotherapists and nurses in 54.6% of units, by physiotherapists only in 36.4% of units, and by nurses only in the remaining 9% of units surveyed. There was also a diminution of the role of respiratory therapy in the extubation of premature infants. A review of the literature shows that overall the use of respiratory therapy reflects current evidence. The question remains whether it is possible to maintain the competency of staff and justify the cost of training in the current healthcare economic climate. It seems probable that the future role of physiotherapists in neonatal intensive care unit may be in the facilitation of optimal neurological development of surviving very low birth weight infants.