Air target detection via bistatic radar based on LEOS communication signals

The paper discusses the bistatic radar parameters for the case when the transmitter is a satellite emitting communication signals. The model utilises signals from an Iridium-like low earth orbiting satellite system. The maximum detection range, when thermal noise-limited, is discussed at the theoretical level and these results are compared with experimentation. Satellite-radar signal levels and the power of ground reflections are evaluated.

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.

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.

P/M in Australia

Powder metallurgy activities in Australia are reviewed. Though relatively small, the industry is diverse and is experiencing record sales, buoyed by a strong domestic economy. In particular, the industry is underpinned by a vibrant automotive sector and a dominant mining and minerals industry. Research on powder metallurgy and particulate materials is conducted primarily in the universities with emphasis on mechanical alloying and aluminium alloys. Overall, the future outlook for powder metallurgy in Australia is excellent.

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.

Molecular orbital theory calculations of the H2O-carbon reaction

Carbon gasification with steam to produce H-2 and CO is an important reaction widely used in industry for hydrogen generation. Although the literature is vast, the. mechanism for the formation of H-2 is still unclear. In particular, little has, been done to investigate the potential of molecular orbital theory to distinguish different mechanism possibilities. In this work, we used molecular orbital theory to demonstrate a favorable energetic pathway where H2O is first physically adsorbed on the virgin graphite surface with negligible change in molecular structure. Chemisorption occurs via O approaching the carbon edge site with one H atom stretching away from the O in the transition state. This is followed by a local minimum. state in which the stretching H is further disconnected from the O atoms and the remaining OH group is still on the carbon edge site. The disconnected H then pivot around the OH group to bond with the H of the OH group and forms H-2. The O atom remaining on the carbon edge site is subsequently desorbed as CO. The reverse occurs when H-2 reacts with the surface oxygen to produce H2O.