On-line analysis of froth surface in coal and mineral flotation using JKFrothCam

The personal computer revolution has resulted in the widespread availability of low-cost image analysis hardware. At the same time, new graphic file formats have made it possible to handle and display images at resolutions beyond the capability of the human eye. Consequently, there has been a significant research effort in recent years aimed at making use of these hardware and software technologies for flotation plant monitoring. Computer-based vision technology is now moving out of the research laboratory and into the plant to become a useful means of monitoring and controlling flotation performance at the cell level. This paper discusses the metallurgical parameters that influence surface froth appearance and examines the progress that has been made in image analysis of flotation froths. The texture spectrum and pixel tracing techniques developed at the Julius Kruttschnitt Mineral Research Centre are described in detail. The commercial implementation, JKFrothCam, is one of a number of froth image analysis systems now reaching maturity. In plants where it is installed, JKFrothCam has shown a number of performance benefits. Flotation runs more consistently, meeting product specifications while maintaining high recoveries. The system has also shown secondary benefits in that reagent costs have been significantly reduced as a result of improved flotation control. (C) 2002 Elsevier Science B.V. All rights reserved.

Distortion product otoacoustic emissions in schoolchildren: Effects of ear asymmetry, handedness and gender

The present study examined effects of ear asymmetry, handedness, and gender on distortion-product otoacoustic emissions (DPOAEs) obtained from schoolchildren. A total of 1003 children (528 boys and 475 girls), with a mean age of 6.2 years (SD = 0.4, range = 5.2-7.9 years), were tested in a quiet room at their schools using the GSI-60 DPOAE system. A distortion-product (DP)-gram was obtained for each ear, with f2 varying from 1.1 to 6.0 kHz and the ratio of f2/f1 at 1.21. The signal-to-noise ratios (SNRs) (DPOAE amplitude minus the mean noise floor) at the tested frequencies 1.1, 1.5, 1.9, 2.4, 3.0, 3.8, 4.8, and 6.0 kHz were measured. The results revealed a small but significant difference in SNR between ears, with right ears showing a higher mean SNR than left ears at 1.9, 3.0, 3.8, and 6.0 kHz. At these frequencies, the difference in mean SNR between ears was less than 1 dB. A significant gender effect was also found. Girls exhibited a higher SNR than boys at 3.8, 4.8, and 6.0 kHz. The difference in mean SNR, as a result of the gender effect, was about 1 to 2 dB at these frequencies. There was no significant difference in mean SNR between left-handed and right-handed children for all tested frequencies.

Distortion product otoacoustic emissions in children at school entry: A comparison with pure tone screening and tympanometry results

This study examined the test performance of distortion product otoacoustic emissions (DPOAEs) when used as a screening tool in the school setting. A total of 1003 children (mean age 6.2 years, SD = 0.4) were tested with pure-tone screening, tympanometry, and DPOAE assessment. Optimal DPOAE test performance was determined in comparison with pure-tone screening results using clinical decision analysis. The results showed hit rates of 0.86, 0.89, and 0.90, and false alarm rates of 0.52, 0.19, and 0.22 for criterion signal-to-noise ratio (SNR) values of 4, 5, and 11 dB at 1.1, 1.9, and 3.8 kHz respectively. DPOAE test performance was compromised at 1.1 kHz. In view of the different test performance characteristics across the frequencies, the use of a fixed SNR as a pass criterion for all frequencies in DPOAE assessments is not recommended. When compared to pure tone plus tympanometry results, the DPOAEs showed deterioration in test performance, suggesting that the use of DPOAEs alone might miss children with subtle middle ear dysfunction. However, when the results of a test protocol, which incorporates both DPOAEs and tympanometry, were used in comparison with the gold standard of pure-tone screening plus tympanometry, test performance was enhanced. In view of its high performance, the use of a protocol that includes both DPOAEs and tympanometry holds promise as a useful tool in the hearing screening of schoolchildren, including difficult-to-test children.

Quantum symmetries and the Weyl–Wigner product of group representations

In the usual formulation of quantum mechanics, groups of automorphisms of quantum states have ray representations by unitary and antiunitary operators on complex Hilbert space, in accordance with Wigner's theorem. In the phase-space formulation, they have real, true unitary representations in the space of square-integrable functions on phase space. Each such phase-space representation is a Weyl–Wigner product of the corresponding Hilbert space representation with its contragredient, and these can be recovered by 'factorizing' the Weyl–Wigner product. However, not every real, unitary representation on phase space corresponds to a group of automorphisms, so not every such representation is in the form of a Weyl–Wigner product and can be factorized. The conditions under which this is possible are examined. Examples are presented.

Structuring real-time Object-Z specifications

This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes using inheritance and composition of classes to form multi-component systems are examined. Two approaches to the latter are considered: using Object-Z's notion of object instantiation and introducing a parallel composition operator similar to those found in process algebras. The parallel composition operator approach is both more concise and allows more general modelling of concurrency. Its incorporation into the existing semantics of real-time Object-Z is presented.

The response of native Australian rodents to predator odours varies seasonally: a by-product of life history variation?

Small mammals are subject to predation from mammalian, avian and reptilian predators. There is an obvious advantage for prey species to detect the presence of predators in their environment, enabling them to make decisions about movement and foraging behaviour based on perceived risk of predation. We examined the effect of faecal odours from marsupial and eutherian predators, and a native reptilian predator, on the behaviour of three endemic Australian rodent species (the fawn-footed melomys, Melomys cervinipes, the bush rat, Rattus fuscipes, and the giant white-tailed rat, Uromys caudimaculatus) in rainforest remnants on the Atherton Tableland, North Queensland, Australia. Infrared camera traps were used to assess visit rates of rodents to odour stations containing faecal and control odours. Rodents avoided odour stations containing predator faeces, but did not avoid herbivore or control odours. The responses of the three prey species differed: in the late wet season U. caudimaculatus avoided predator odours, whereas R. fuscipes and M. cervinipes did not. In contrast, in the late dry season all three species avoided odour stations containing predator odours. We speculate that these different responses may result from variation in life history traits between the species. (c) 2006 The Association for the Study of Animal Behaviour Published by Elsevier Ltd. All rights reserved.

Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

H-1 NMR spectroscopic studies of the stability of an oxazolidine condensation product

Condensation of (-)-norephedrine with excess formaldehyde under mild conditions leads to formation of the 2:1 condensation product N,N'-methylenebis(4-methyl-5-phenyl)oxazolidine compared with the reaction with 1 mol of formaldehyde, which leads to 4-methyl-5-phenyloxazolidine. H-1 and C-13 NMR spectroscopy was used to monitor the stability of this compound and its decomposition products. The 2:1 condensation product is found to be stable in CDC1(3) but breaks down rapidly in CD3OD to yield a 50:50 mixture of 4-methyl-5-phenyloxazolidine and 3-hydroxymethyl-4-methyl-5-phenyloxazolidine. Upon addition of D2O to this equimolar mixture, the latter compound decomposes to norephedrine and formaldehyde, whereas the former compound is stable. (C) 1997 by John Wiley & Sons, Ltd.

Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.