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.

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.

Genetic manipulation of blood group carbohydrates alters development and pathfinding of primary sensory axons of the olfactory systems

Primary sensory neurons in the vertebrate olfactory systems are characterised by the differential expression of distinct cell surface carbohydrates. We show here that the histo-blood group H carbohydrate is expressed by primary sensory neurons in both the main and accessory olfactory systems while the blood group A carbohydrate is expressed by a subset of vomeronasal neurons in the developing accessory olfactory system. We have used both loss-of-function and gain-of-function approaches to manipulate expression of these carbohydrates in the olfactory system. In null mutant mice lacking the alpha(1,2)fucosyltransferase FUT1, the absence of blood group H carbohydrate resulted in the delayed maturation of the glomerular layer of the main olfactory bulb. In addition, ubiquitous expression of blood group A on olfactory axons in gain-of-function transgenic mice caused mis-routing of axons in the glomerular layer of the main olfactory bulb and led to exuberant growth of vomeronasal axons in the accessory olfactory bulb. These results provide in vivo evidence for a role of specific cell surface carbohydrates during development of the olfactory nerve pathways. (c) 2006 Elsevier Inc. All rights reserved.