Development of a quasi-chemical viscosity model for fully liquid slags in the Al2O3-CaO-'FeO'-MgO-SiO2 system. Part 1. Description of the model and its application to the MgO, MgO-SiO2, Al2O3-MgO and CaO-MgO sub-systems

A structurally-based quasi-chemical viscosity model for fully liquid slags in the Al2O3 CaO-'FeO'-MgO-SiO2 system has been developed. The model links the slag viscosities to the internal structures of the melts through the concentrations of various Si0.5O, Me2/nn+O and Me1/nn+Si0.25O viscous flow structural units. The concentrations of these structural units are derived from a quasi-chemical thermodynamic model of the system. The model described in this series of papers enables the viscosities of liquid slags to be predicted within experimental uncertainties over the whole range of temperatures and compositions in the Al2O3 CaOMgO-SiO2 system.

Development of a quasi-chemical viscosity model for fully liquid slags in the Al2O3-CaO-'FeO'-MgO-SiO2 system. Part 2. A review of the experimental data and the model predictions for the Al2O3-CaO-MgO, CaO-MgO-SiO2 and Al2O3-MgO-SiO2 systems

A structurally-based quasi-chemical viscosity model has been developed for the Al2O3 CaO-'FeO'-MgO-SiO2 system. The model links the slag viscosity to the internal structure of melts through the concentrations of various anion/cation Si0.5O, Me2/nn+O and Me1/nn+Si0.25O viscous flow structural units. The concentrations of structural units are derived from the quasi-chemical thermodynamic model. The focus of the work described in the present paper is the analysis of experimental data and the viscosity models for fully liquid slags in the Al2O3-CaO-MgO, Al2O3 MgO-SiO2 and CaO-MgO-SiO2 systems.

Development of a quasi-chemical viscosity model for fully liquid slags in the Al2O3-CaO-'FeO'-MgO-SiO2 system. Part 3. Summary of the model predictions for the Al2O3-CaO-MgO-SiO2 system and its sub-systems

A structurally-based quasi-chemical viscosity model for fully liquid slags in the Al2O3 CaO-'FeO'-MgOSiO2 system has been developed. The focus of the work described in the present paper is the analysis of the experimental data and viscosity models in the quaternary system Al2O3 CaO-MgO-SiO2 and its subsystems. A review of the experimental data, viscometry methods used and viscosity models available in the Al2O3 CaO-MgO-SiO2 and its sub-systems is reported. The quasi-chemical viscosity model is shown to provide good agreement between experimental data and predictions over the whole compositional range.

Identification of MIMO Hammerstein systems using cardinal spline functions

A new approach to identify multivariable Hammerstein systems is proposed in this paper. By using cardinal cubic spline functions to model the static nonlinearities, the proposed method is effective in modelling processes with hard and/or coupled nonlinearities. With an appropriate transformation, the nonlinear models are parameterized such that the nonlinear identification problem is converted into a linear one. The persistently exciting condition for the transformed input is derived to ensure the estimates are consistent with the true system. A simulation study is performed to demonstrate the effectiveness of the proposed method compared with the existing approaches based on polynomials. (C) 2006 Elsevier Ltd. All rights reserved.

Modeling hydrogen separation in high temperature silica membrane systems

In this work, a working model is proposed of molecular sieve silica (MSS) multistage membrane systems for CO cleanup at high temperatures (up to 500 degrees C) in a simulated fuel cell fuel processing system. Gases are described as having little interactions with each other relative to the pore walls due to low isosteric heat of adsorption on silica surfaces and high temperatures. The Arrhenius function for activated transport of pure gases was used to predict mixture concentration in the permeate and retentate streams. Simulation predicted CO could be reduced to levels below the required 50 ppmv for polymer electrolyte membrane fuel cell anodes at a stage H-2/CO selectivity of higher than 40 in 4 series membrane units. Experimental validation showed predicting mixture concentrations required only pure gas permeation data. This model has significant application for setting industrial stretch targets and as a robust basis for complex membrane model configurations. (c) 2006 American Institute of Chemical Engineers.

Competition between polyphosphate and glycogen accumulating organisms in enhanced biological phosphorus removal systems with acetate and propionate as carbon sources

Enhanced biological phosphorus removal (EBPR) is a widely used process for achieving phosphorus removal from wastewater. A potential reason for EBPR failure is the undesirable growth of glycogen accumulating organisms (GAOs), which can compete for carbon sources with the bacterial group responsible for phosphorus removal from wastewater: the polyphosphate accumulating organisms (PAOs). This study investigates the impact of carbon source on EBPR performance and the competition between PAOs and GAOs. Two sequencing batch reactors (SBRs) were operated during a 4-6 month period and fed with a media containing acetate or propionate, respectively, as the sole carbon source. It was found that the acetate fed SBR rarely achieved a high level of phosphorus removal, and that a large portion of the microbial community was comprised of Candidatus Competibacter phosphatis, a known GAO. The propionate fed SBR, however, achieved stable phosphorus removal throughout the study, apart from one brief disturbance. The bacterial community of the propionate fed SBR was dominated by Candidatus Accumulibacter phosphatis, a known PAO, and did not contain Competibacter In a separate experiment, another SBR was seeded with a mixture of PAOs and a group of alphaproteobacterial GAOs, both enriched with propionate as the sole carbon source. Stable EBPR was achieved and the PAO population increased while the GAOs appeared to be out-competed. The results of this paper suggest that propionate may provide PAOs with a selective advantage over GAOs in the PAO-GAO competition, particularly through the minimisation of Competibacter Propionate may be a more suitable substrate than acetate for enhancing phosphorus removal in EBPR systems. (c) 2005 Elsevier B.V. All rights reserved.

Modelling biological processes under anaerobic conditions through integrating titrimetric and off-gas measurements - applied to EBPR systems

An innovative method for modelling biological processes under anaerobic conditions is presented and discussed. The method is based on titrimetric and off-gas measurements. Titrimetric data is recorded as the addition rate of hydroxyl ions or protons that is required to maintain pH in a bioreactor at a constant level. An off-gas analysis arrangement measures, among other things, the transfer rate of carbon dioxide. The integration of these signals results in a continuous signal which is solely related to the biological reactions. When coupled with a mathematical model of the biological reactions, the signal allows a detailed characterisation of these reactions, which would otherwise be difficult to achieve. Two applications of the method to the enhanced biological phosphorus removal processes are presented and discussed to demonstrate the principle and effectiveness of the method.

Towards platform-independent real-time systems

Real-time software systems are rarely developed once and left to run. They are subject to changes of requirements as the applications they support expand, and they commonly outlive the platforms they were designed to run on. A successful real-time system is duplicated and adapted to a variety of applications - it becomes a product line. Current methods for real-time software development are commonly based on low-level programming languages and involve considerable duplication of effort when a similar system is to be developed or the hardware platform changes. To provide more dependable, flexible and maintainable real-time systems at a lower cost what is needed is a platform-independent approach to real-time systems development. The development process is composed of two phases: a platform-independent phase, that defines the desired system behaviour and develops a platform-independent design and implementation, and a platform-dependent phase that maps the implementation onto the target platform. The last phase should be highly automated. For critical systems, assessing dependability is crucial. The partitioning into platform dependent and independent phases has to support verification of system properties through both phases.

A formal framework for modelling and analysing mobile systems

This paper presents a formal framework for modelling and analysing mobile systems. The framework comprises a collection of models of the dominant design paradigms which are readily extended to incorporate details of particular technologies, i.e., programming languages and their run-time support, and applications. The modelling language is Object-Z, an extension of the well-known Z specification language with explicit support for object-oriented concepts. Its support for object orientation makes Object-Z particularly suited to our task. The system structuring techniques offered by object-orientation are well suited to modelling mobile systems. In addition, inheritance and polymorphism allow us to exploit commonalities in mobile systems by defining more complex models in terms of simpler ones.