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.

Titanium phosphate for Fuel Cell Proton Conduction Membranes

Environmental issues due to increases in emissions of air pollutants and greenhouse gases are driving the development of clean energy delivery technologies such as fuel cells. Low temperature Proton Exchange Membrane Fuel Cells (PEMFC) use hydrogen as a fuel and their only emission is water. While significant advances have been made in recent years, a major limitation of the current technology is the cost and materials limitations of the proton conduction membrane. The proton exchange membrane performs three critical functions in the PEMFC membrane electrode assembly (MEA): (i) conduction of protons with minimal resistance from the anode (where they are generated from hydrogen) to the cathode (where they combine with oxygen and electrons, from the external circuit or load), (ii) providing electrical insulation between the anode and cathode to prevent shorting, and (iii) providing a gas impermeable barrier to prevent mixing of the fuel (hydrogen) and oxidant. The PFSA (perfluorosulphonic acid) family of membranes is currently the best developed proton conduction membrane commercially available, but these materials are limited to operation below 100oC (typically 80oC, or lower) due to the thermochemical limitations of this polymer. For both mobile and stationary applications, fuel cell companies require more durable, cost effective membrane technologies capable of delivering enhanced performance at higher temperatures (typically 120oC, or higher. This is driving research into a wide range of novel organic and inorganic materials with the potential to be good proton conductors and form coherent membranes. There are several research efforts recently reported in the literature employing inorganic nanomaterials. These include functionalised silica phosphates [1,2], fullerene [3] titania phosphates [4], zirconium pyrophosphate [5]. This work addresses the functionalisation of titania particles with phosphoric acid. Proton conductivity measurements are given together with structural properties.

The interaction between technologies and society: Lessons learnt from 160 evolutionary years of online news services

In mapping the evolutionary process of online news and the socio-cultural factors determining this development, this paper has a dual purpose. First, in reworking the definition of “online communication”, it argues that despite its seemingly sudden emergence in the 1990s, the history of online news started right in the early days of the telegraphs and spread throughout the development of the telephone and the fax machine before becoming computer-based in the 1980s and Web-based in the 1990s. Second, merging macro-perspectives on the dynamic of media evolution by DeFleur and Ball-Rokeach (1989) and Winston (1998), the paper consolidates a critical point for thinking about new media development: that something technically feasible does not always mean that it will be socially accepted and/or demanded. From a producer-centric perspective, the birth and development of pre-Web online news forms have been more or less generated by the traditional media’s sometimes excessive hype about the power of new technologies. However, placing such an emphasis on technological potentials at the expense of their social conditions not only can be misleading but also can be detrimental to the development of new media, including the potential of today’s online news.

Spatial Technologies: What use are they to managers of environmental lands?

This paper reviews the potential use of three types of spatial technology to land managers, namely satellite imagery, satellite positioning systems and supporting computer software. Developments in remote sensing and the relative advantages of multispectral and hyperspectral images are discussed. The main challenge to the wider use of remote sensing as a land management tool is seen as uncertainty whether apparent relationships between biophysical variables and spectral reflectance are direct and causal, or artefacts of particular images. Developments in satellite positioning systems are presented in the context of land managers’ need for position estimates in situations where absolute precision may or may not be required. The role of computer software in supporting developments in spatial technology is described. Spatial technologies are seen as having matured beyond empirical applications to the stage where they are useful and reliable land management tools. In addition, computer software has become more user-friendly and this has facilitated data collection and manipulation by semi-expert as well as specialist staff.

Cost functions and duality for stochastic technologies

Cost functions dual to stochastic production technologies are derived and their properties are discussed. These cost functions are shown to be consistent with expected-utility maximization without placing serious structural restrictions on the underlying technology.

The role of mobile belts for the longevity of deep cratonic lithosphere: The crumple zone model

Many Archean cratons are surrounded by Proterozoic mobile belts that have experienced episodes of tectonic re-activation over their lifetimes. This suggests that mobile belt lithosphere may be associated with long lived, inherited weakness. It is proposed that the proximity of this weakness can increase the longevity of deep Archean lithosphere by buffering Archean cratons from mantle derived stresses. The physical plausibility of this idea is explored through numerical simulations of mantle convection that include continents and allow for material rheologies that model the combined brittle and ductile behavior of the lithosphere. Within the simulations, the longevity of deep cratonic lithosphere does increase if it is buffered by mobile belts that can fail at relatively low stress levels.

New gene technologies and their potential value for sugarcane

An efficient system is now in place for improving diverse sugarcane cultivars by genetic transformation, that is, the insertion of useful new genes into single cells followed by the regeneration of genetically modified (transgenic) plants. The method has already been used to introduce genes for resistance to several major diseases, insect pests and a herbicide, Field testing has begun, and research is underway to identify other genes for increased environmental stress resistance, agronomic efficiency and yield of sucrose or other valuable products. Experience in other crops has shown that genetically improved varieties which provide genuine environmental and consumer benefits are welcomed by producers and consumers. Substantial research is still needed, but these new gene technologies will reshape the sugar industry and determine the international competitive efficiency of producers.

The generation of H-1-NMR-detectable mobile lipid in stimulated lymphocytes: Relationship ts cellular activation, the cell cycle, and phosphatidylcholine-specific phospholipase C

Mobile Lipids detected using H-1-NMR in stimulated lymphocytes were correlated with cell cycle phase, expression of the interleukin-2 receptor alpha and proliferation to assess the activation status of the lymphocytes. Mobile lipid levels, IL-2R alpha expression and proliferation increased after treatment with PMA and ionomycin. PMA or ionomycin stimulation alone induced increased IL-2R alpha expressiom but not proliferation, PMA- but not ionomycin-stimulation generated mobile lipid, Treatment with anti-CD3 antibody did not increase IL-2R alpha expression or proliferation but did generate increased amounts of mobile lipid, The cell cycle status of thymocytes treated with anti-CD3, PMA or ionomycin alone indicated an. accumulation of the cells in the G(1) phase of the cell cycle, The generation of mobile lipid was abrogated in anti-CD3 antibody-stimulated thymic lymphocytes but not in splenic lymphocytes, using a phosphatidylcholine-specific phospholipase C (PC-PLC) inhibitor which blocked cells in the G(1)/S phase of the cell cycle, This suggests that the H-1-NMR-detectable mobile Lipid may be generated in anti-CD3 antibody-stimulated thymic lymphocytes by the action of PC-PLC activity via the catabolism of PC, in the absence of classical signs of activation. (C) 1997 Academic Press.