A formal representation of assumptions in process modelling

In this work, we present a systematic approach to the representation of modelling assumptions. Modelling assumptions form the fundamental basis for the mathematical description of a process system. These assumptions can be translated into either additional mathematical relationships or constraints between model variables, equations, balance volumes or parameters. In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The smallest indivisible syntactical element, the so called assumption atom has been identified as a triplet. With this syntax a modelling assumption can be described as an elementary assumption, i.e. an assumption consisting of only an assumption atom or a composite assumption consisting of a conjunction of elementary assumptions. The above syntax of modelling assumptions enables us to represent modelling assumptions as transformations acting on the set of model equations. The notion of syntactical correctness and semantical consistency of sets of modelling assumptions is defined and necessary conditions for checking them are given. These transformations can be used in several ways and their implications can be analysed by formal methods. The modelling assumptions define model hierarchies. That is, a series of model families each belonging to a particular equivalence class. These model equivalence classes can be related to primal assumptions regarding the definition of mass, energy and momentum balance volumes and to secondary and tiertinary assumptions regarding the presence or absence and the form of mechanisms within the system. Within equivalence classes, there are many model members, these being related to algebraic model transformations for the particular model. We show how these model hierarchies are driven by the underlying assumption structure and indicate some implications on system dynamics and complexity issues. (C) 2001 Elsevier Science Ltd. All rights reserved.

Quantum criticality

We investigate the theory of quantum fluctuations in non-equilibrium systems having large critical fluctuations. This allows us to treat the limits imposed by nonlinearities to quantum squeezing and noise reduction, and also to envisage future tests of quantum theory in regions of macroscopic quantum fluctuations. A long-term objective of this research is to identify suitable physical systems in which macroscopic 'Schrodinger cat'-like behaviour may be observed. We investigate two systems in particular of much current experimental interest, namely the degenerate parametric oscillator near threshold, and the evaporatively cooled (BEC). We compare the results obtained in the positive-P representation, as a fully quantum mechanical calculation, with the truncated Wigner phase space equation, also known as semi-classical theory. We show when these results agree and differ in calculations taken beyond the linearized approximation. In the region where the largest quantum fluctuations and Schrodinger cat-like behaviour might be expected, we find that the quantum predictions correspond very closely to the semi-classical theory. Nature abhors observing a Schrodinger car.

A comparison of low-storage strategies for spectral analysis in dissipative systems: filter diagonalisation in the Lanczos representation and harmonic inversion of the Chebychev-order-domain autocorrelation function

We compare the performance of two different low-storage filter diagonalisation (LSFD) strategies in the calculation of complex resonance energies of the HO2, radical. The first is carried out within a complex-symmetric Lanczos subspace representation [H. Zhang, S.C. Smith, Phys. Chem. Chem. Phys. 3 (2001) 2281]. The second involves harmonic inversion of a real autocorrelation function obtained via a damped Chebychev recursion [V.A. Mandelshtam, H.S. Taylor, J. Chem. Phys. 107 (1997) 6756]. We find that while the Chebychev approach has the advantage of utilizing real algebra in the time-consuming process of generating the vector recursion, the Lanczos, method (using complex vectors) requires fewer iterations, especially for low-energy part of the spectrum. The overall efficiency in calculating resonances for these two methods is comparable for this challenging system. (C) 2001 Elsevier Science B.V. All rights reserved.

A semi-analytical solution for vibration of rectangular plates with abrupt thickness variation

A semi-analytical analysis of free vibration of plates with cross-sectional discontinuities due to abrupt changes in thickness is presented. A basic square element divided into suitable subdomains dependent upon the positions of these abrupt changes is used as the basic building element, Admissible functions that satisfy the essential or geometric boundary conditions are used to define the transverse deflection of each subdomain. Continuities in the displacement, slope, moment and higher derivatives between adjacent subdomains are enforced at the interconnecting edges. The resulting global energy functional from the proper assembly of the coupled strain and kinetic energy contributions of each subdomain is then minimized via the Ritz procedure to extract the frequencies and mode shapes. Contour plots of a range of new mode shapes are presented for the enhancement of understanding the dynamic behavior of this class of plates, (C) 2001 Elsevier Science Ltd, All rights reserved.

Wavelet-based image segment representation

An efficient representation method for arbitrarily shaped image segments is proposed. This method includes a smart way to select wavelet basis to approximate the given image segment, with improved image quality and reduced computational load.

Engineering closure of an open pit gold operation in a semi-arid climate

Along with material characteristics and geometry, the climate in which a mine is located can have a dramatic effect on the appropriate options for rehabilitation. The paper outlines the setting, mining, milling and waste disposal at Kidston Gold Mine's open pit operations in the semi-arid climate of North Queensland, Australia, before focusing on the engineering aspects of the rehabilitation of Kidston. The mine took a holistic and proactive approach to rehabilitation, and was prepared to demonstrate a number of innovative approaches, which are described in the paper. Engineering issues that had to be addressed included the geotechnical stability and deformation of waste rock dumps, including a 240 m high in-pit dump: the construction and performance monitoring of a “store and release” cover over potentially acid forming mineralised waste rock; erosion from the side slopes of the waste rock dumps; the in-pit co-disposal of waste rock and thickened tailings; the geotechnical stability of the tailings dam wall; the potential for erosion of bare tailings; the water balance of the tailings dam; direct revegetation of the tailings; and the pit hydrology. The rehabilitation of the mine represents an important benchmark in mine site rehabilitation best practice, from which lessons applicable worldwide can be shared.

Ontogenetic changes of swimming kinematics in a semi-aquatic reptile (Crocodylus porosus)

Semi-aquatic animals represent a transitional locomotor condition characterised by the possession of morphological features that allow locomotion both in water and on land. Most ecologically important behaviours of crocodilians occur in the water, raising the question of whether their 'terrestrial construction' constrains aquatic locomotion. Moreover, the demands for aquatic locomotion change with life-history stage. It was the aim of this research to determine the kinematic characteristics and efficiency of aquatic locomotion in different-sized crocodiles (Crocodylus porosus). Aquatic propulsion was achieved primarily by tail undulations, and the use of limbs during swimming was observed only in very small animals or at low swimming velocities in larger animals. Over the range of swimming speeds we examined, tail beat amplitude did not change with increasing velocity, but amplitude increased significantly with body length. However, amplitude expressed relative to body length decreased with increasing body length. Tail beat frequency increased with swimming velocity but there were no differences in frequency between different-sized animals. Mechanical power generated during swimming and thrust increased non-linearly with swimming velocity, but disproportionally so that kinematic efficiency decreased with increasing swimming velocity. The importance of unsteady forces, expressed as the reduced frequency, increased with increasing swimming velocity. Amplitude is the main determinant of body-size-related increases in swimming velocity but, compared with aquatic mammals and fish, crocodiles are slow swimmers probably because of constraints imposed by muscle performance and unsteady forces opposing forward movement. Nonetheless, the kinematic efficiency of aquatic locomotion in crocodiles is comparable to that of fully aquatic mammals, and it is considerably greater than that of semi-aquatic mammals.

An EM-based Semi-Parametric Mixture Model Approach to the Regression Analysis of Competing-Risks Data

We consider a mixture model approach to the regression analysis of competing-risks data. Attention is focused on inference concerning the effects of factors on both the probability of occurrence and the hazard rate conditional on each of the failure types. These two quantities are specified in the mixture model using the logistic model and the proportional hazards model, respectively. We propose a semi-parametric mixture method to estimate the logistic and regression coefficients jointly, whereby the component-baseline hazard functions are completely unspecified. Estimation is based on maximum likelihood on the basis of the full likelihood, implemented via an expectation-conditional maximization (ECM) algorithm. Simulation studies are performed to compare the performance of the proposed semi-parametric method with a fully parametric mixture approach. The results show that when the component-baseline hazard is monotonic increasing, the semi-parametric and fully parametric mixture approaches are comparable for mildly and moderately censored samples. When the component-baseline hazard is not monotonic increasing, the semi-parametric method consistently provides less biased estimates than a fully parametric approach and is comparable in efficiency in the estimation of the parameters for all levels of censoring. The methods are illustrated using a real data set of prostate cancer patients treated with different dosages of the drug diethylstilbestrol. Copyright (C) 2003 John Wiley Sons, Ltd.