Development of a novel titration and off-gas analysis (TOGA) sensor for study of biological processes in wastewater treatment systems

The development of the new TOGA (titration and off-gas analysis) sensor for the detailed study of biological processes in wastewater treatment systems is outlined. The main innovation of the sensor is the amalgamation of titrimetric and off-gas measurement techniques. The resulting measured signals are: hydrogen ion production rate (HPR), oxygen transfer rate (OTR), nitrogen transfer rate (NTR), and carbon dioxide transfer rate (CTR). While OTR and NTR are applicable to aerobic and anoxic conditions, respectively, HPR and CTR are useful signals under all of the conditions found in biological wastewater treatment systems, namely, aerobic, anoxic and anaerobic. The sensor is therefore a powerful tool for studying the key biological processes under all these conditions. A major benefit from the integration of the titrimetric and off-gas analysis methods is that the acid/base buffering systems, in particular the bicarbonate system, are properly accounted for. Experimental data resulting from the TOGA sensor in aerobic, anoxic, and anaerobic conditions demonstrates the strength of the new sensor. In the aerobic environment, carbon oxidation (using acetate as an example carbon source) and nitrification are studied. Both the carbon and ammonia removal rates measured by the sensor compare very well with those obtained from off-line chemical analysis. Further, the aerobic acetate removal process is examined at a fundamental level using the metabolic pathway and stoichiometry established in the literature, whereby the rate of formation of storage products is identified. Under anoxic conditions, the denitrification process is monitored and, again, the measured rate of nitrogen gas transfer (NTR) matches well with the removal of the oxidised nitrogen compounds (measured chemically). In the anaerobic environment, the enhanced biological phosphorus process was investigated. In this case, the measured sensor signals (HPR and CTR) resulting from acetate uptake were used to determine the ratio of the rates of carbon dioxide production by competing groups of microorganisms, which consequently is a measure of the activity of these organisms. The sensor involves the use of expensive equipment such as a mass spectrometer and requires special gases to operate, thus incurring significant capital and operational costs. This makes the sensor more an advanced laboratory tool than an on-line sensor. (C) 2003 Wiley Periodicals, Inc.

A refinement calculus for logic programs

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.

New product warranty: A literature review

Warranty is an important element of marketing new products as better warranty signals higher product quality and provides greater assurance to customers. Servicing warranty involves additional costs to the manufacturer and this cost depends on product reliability and warranty terms. Product reliability is influenced by the decisions made during the design and manufacturing of the product. As such warranty is very important in the context of new products. Product warranty has received the attention of researchers from many different disciplines and the literature on warranties is vast. This paper carries out a review of the literature that has appeared in the last ten years. It highlights issues of interest to manufacturers in the context of managing new products from an overall business perspective. (C) 2002 Elsevier Science B.V. All rights reserved.

A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

Teaching PSP: Challenges and lessons learned

Teaching the PSP: Challenges and Lessons Learned by Jurgen Borstler, David Carrington, Gregory W Hislop, Susan Lisack, Keith Olson, and Laurie Williams, pp. 42-48. Soft-ware engineering educators need to provide environments where students learn about the size and complexity of modern software systems and the techniques available for managing these difficulties. Five universities used the Personal Software Process to teach software engineering concepts in a variety of contexts.

Powder forging of a sintered Al-3.8Cu-1Mg-0.8Si-O.1Sn alloy

The forging characteristics of an Al-Cu-Mg-Si-Sn alloy are examined using it new testing strategy which incorporates a double truncated cone specimen and finite element modelling. This sample geometry produces controlled strain distributions within a single specimen and can readily identify the specific strain required to achieve a specific microstructural event by matching the metallographic data with the strain profiles calculated from finite element software, The friction conditions were determined using the conventional friction ring test, which was evaluated using finite element software. The rheological properties of the alloy, evaluated from compression testing of right cylinders, are similar to the properties of conventional aluminium forgings. A hoop strain develops at the outer diameter of the truncated cones and this leads to pore opening at the outer few millimetres. The porosity is effectively removed when the total strain equals the net compressive strain. The strain profiles that develop in the truncated cones are largely independent of the processing temperature and the strain rate although the strain required for pore closure increases as the forging temperature is reduced. This suggests that the microstructure and the strain rate sensitivity may also be important factors controlling pore behaviour. (C) 2002 Elsevier Science B.V. All rights reserved.

Cloud-point extraction and preconcentration of cyanobacterial toxins (microcystins) from natural waters using a cationic surfactant

A new cloud-point extraction and preconcentration method, using a cationic, surfactant, Aliquat-336 (tricaprylyl-methy;ammonium chloride), his-been developed for the determination of cyanobacterial toxins, microcystins, in natural waters. Sodium sulfate was used to induce phase separation at 25 degreesC. The phase behavior of Aliquat-336 with respect to concentration of Na2SO4 was studied. The cloud-point system revealed a very high phase volume ratio compared to other established systems of nonionic, anionic, and cationic surfactants: At pH 6-7, it showed an outstanding selectivity in ahalyte extraction for anionic species. Only MC-LR and MC-YR, which are known to be predominantly anionic, were extracted (with averaged recoveries of 113.9 +/- 9% and 87.1 +/- 7%, respectively). MC-RR, which is likely to be amphoteric at the above pH range, was. not cle tectable in.the extract. Coupled to HPLC/UV separation and detection, the cloud-point extraction method (with 2.5 mM Aliquat-336 and 75 mM Na2SO4 at 25 degreesC) offered detection limits of 150 +/- 7 and 470 +/- 72 pg/mL for MC-LR and MC-YR, respectively, in 25 mL of deionized water. Repeatability of the method was 7.6% for MC-LR and 7.3% for MC-YR: The cloud-point extraction process can be. completed within 10-15 min with no cleanup steps required. Applicability of the new method to the determination of microcystins in real samples was demonstrated using natural surface waters, collected from a local river and a local duck pond spiked with realistic. concentrations of microcystins. Effects of salinity and organic matter (TOC) content in the water sample on the extraction efficiency were also studied.

Transformation processes, pathways, and possible sources of distinctive polychlorinated dibenzo-p-dioxin signatures in sink environments

In recent years, studies on environmental samples with unusual dibenzo-p-dioxin (PCDD) congener profiles were reported from a range of countries. These profiles, characterized by a dominance of octachlorinated dibenzodioxin (OCDD) and relatively low in dibenzofuran (PCDF) concentrations, could not be attributed to known sources or formation processes. In the present study, the processes that result in these unusual profiles were assessed using the concentrations and isomer signatures of PCDDs from dated estuarine sediment cores in Queensland, Australia. Increases in relative concentrations of lower chlorinated PODS and a relative decrease of OCDD were correlated with time of sediment deposition. Preferred lateral, anaerobic dechlorination of OCDD represents a likely pathway for these changes. In Queensland sediments, these transformations result in a distinct dominance of isomers fully chlorinated in the 1,4,6,9-positions (1,4-patterns), and similar 1,4-patterns were observed in sediments from elsewhere. Consequently, these environmental samples may not reflect the signatures of the original source, and a reevaluation of source inputs was undertaken. Natural formation of PCDDs, which has previously been suggested, is discussed; however, based on the present results and literature comparisons, we propose an alternative scenario. This scenario hypothesizes that an anthropogenic PCDD precursor input (e.g. pentachlorophenol) results in the contamination. These results and hypothesis imply further investigations are warrented into possible anthropogenic sources in areas where natural PCDD formation has been suggested.

A framework for table driven testing of Java classes

With the advent of object-oriented languages and the portability of Java, the development and use of class libraries has become widespread. Effective class reuse depends on class reliability which in turn depends on thorough testing. This paper describes a class testing approach based on modeling each test case with a tuple and then generating large numbers of tuples to thoroughly cover an input space with many interesting combinations of values. The testing approach is supported by the Roast framework for the testing of Java classes. Roast provides automated tuple generation based on boundary values, unit operations that support driver standardization, and test case templates used for code generation. Roast produces thorough, compact test drivers with low development and maintenance cost. The framework and tool support are illustrated on a number of non-trivial classes, including a graphical user interface policy manager. Quantitative results are presented to substantiate the practicality and effectiveness of the approach. Copyright (C) 2002 John Wiley Sons, Ltd.

Who does not gain weight? Prevalence and predictors of weight maintenance in young women

OBJECTIVE: To investigate the prevalence and predictors of weight maintenance over time in a large sample of young Australian women. DESIGN: This population study examined baseline and 4y follow-up data from the cohort of young women participating in the Australian Longitudinal Study on Women's Health. SUBJECTS: A total of 8726 young women aged 18 - 23y at baseline. MEASURES: Height, weight and body mass index (BMI); physical activity; time spent sitting; selected eating behaviours (eg dieting, disordered eating, takeaway food consumption); cigarette smoking, alcohol consumption; parity; and socio-demographic characteristics. RESULTS: Only 44% of the women reported their BMI at follow-up to be within 5% of their baseline BMI (maintainers); 41% had gained weight and 15% had lost weight. Weight maintainers were more likely to be in managerial or professional occupations; to have never married; to be currently studying; and not to be mothers. Controlling for sociodemographic factors, weight maintainers were more likely to be in a healthy weight range at baseline, and to report that they spent less time sitting, and consumed less takeaway food, than women who gained weight. CONCLUSIONS: Fewer than half the young women in this community sample maintained their weight over this 4y period in their early twenties. Findings of widespread weight gain, particularly among those already overweight, suggest that early adulthood, which is a time of significant life changes for many women, may be an important time for implementing strategies to promote maintenance of healthy weight. Strategies which encourage decreased sitting time and less takeaway food consumption may be effective for encouraging weight maintenance at this life stage.

An age hardening model for Al-7Si-Mg casting alloys

Yield strength (YS) ageing curves have been modelled for A356 and A357 aluminium casting alloys below the solvus temperature of the main hardening precipitate. Predictions are based on the Shercliff and Ashby methodology (Acta MetaH. Mater. 38 (1990) 1789) for wrought alloys. Differences between strengthening in wrought and cast Al-Si-Mg alloys are considered. A Brinell hardness to YS conversion incorporating strain hardening has been established to enable YS ageing curves to be predicted with reduced experimental effort. (C) 2002 Elsevier Science B.V. All rights reserved.

An atomistic simulation of solid state sintering using Monte Carlo methods

This paper presents results on the simulation of the solid state sintering of copper wires using Monte Carlo techniques based on elements of lattice theory and cellular automata. The initial structure is superimposed onto a triangular, two-dimensional lattice, where each lattice site corresponds to either an atom or vacancy. The number of vacancies varies with the simulation temperature, while a cluster of vacancies is a pore. To simulate sintering, lattice sites are picked at random and reoriented in terms of an atomistic model governing mass transport. The probability that an atom has sufficient energy to jump to a vacant lattice site is related to the jump frequency, and hence the diffusion coefficient, while the probability that an atomic jump will be accepted is related to the change in energy of the system as a result of the jump, as determined by the change in the number of nearest neighbours. The jump frequency is also used to relate model time, measured in Monte Carlo Steps, to the actual sintering time. The model incorporates bulk, grain boundary and surface diffusion terms and includes vacancy annihilation on the grain boundaries. The predictions of the model were found to be consistent with experimental data, both in terms of the microstructural evolution and in terms of the sintering time. (C) 2002 Elsevier Science B.V. All rights reserved.

The effect of latent heat of fusion on heat transfer in fluidized-bed coating of thin plates

This paper presents a numerical study of fluidized-bed coating on thin plates using an orthogonal collocation technique. Inclusion of the latent heat of fusion term in the boundary conditions of the mathematical model accounts for the fact that some polymer powders used in coating may be partially crystalline. Predictions of coating thickness on flat plates were made with actual polymers used in fluidized-bed coating. Reasonably good agreement between numerical predictions of the coating thickness and experimental coating data of Richart was obtained for steel panels preheated to 316 degreesC. A good agreement was also obtained between numerical predictions and our coating thickness data for nylon-11 and polyethylene powders. Predicted coating thickness for polyethylene powder on flat plates were obtained with values of heat transfer coefficient closer to those obtained from our experiments. (C) 2002 Elsevier Science B.V. All rights reserved.