Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Field hydraulic properties of an Alfisol under various fallow systems in southwestern Nigeria

The effects of various fallow management systems and cropping intensities on water infiltration were measured on an Alfisol at Ibadan in southwestern Nigeria. The objective was to determine the influence of the land use systems (a combination of crop-fallow sequences and intercropping types) on soil hydraulic properties obtained by disc permeameter and double-ring infiltration measurements. The experiment was established in 1989 as a split-plot design with four replications. The main plots were natural fallow, planted Pueraria phaseoloides and planted Leucaena leucocephala. The subplots were 1 year of maize/cassava intercrop followed by 3-year fallow (25% cropping intensity), or 2-year fallow (33% cropping intensity), or 1-year fallow (50% cropping intensity), or no fallow period (100% cropping intensity). Water infiltration rates and sorptivities were measured under saturated and unsaturated flow. Irrespective of land use, infiltration rates at the soil surface (121-324 cm h(-1)) were greater than those measured at 30 cm depth (55-144 cm h(-1)). This indicated that fewer large pores were present below 30 cm depth compared with 0-30 cm, depth. Despite some temporal variation, sorptivities with the highest mean value of 93.5 cm h(-1/2) increased as the cropping intensity decreased, suggesting a more continuous macropore system under less intensive land use systems. This was most likely due to continuous biopores created by perennial vegetation under long fallow systems. Intercropped maize and cassava yields also increased as cropping intensity decreased. The weak relationship between crop yields and hydraulic conductivity/infiltration rates suggests that the rates were not limiting.

Method for determining the shear stress in cylindrical systems

We develop a method for determining the elements of the pressure tensor at a radius r in a cylindrically symmetric system, analogous to the so-called method of planes used in planar systems [B. D. Todd, Denis J. Evans, and Peter J. Daivis, Phys. Rev. E 52, 1627 (1995)]. We demonstrate its application in determining the radial shear stress dependence during molecular dynamics simulations of the forced flow of methane in cylindrical silica mesopores. Such expressions are useful for the examination of constitutive relations in the context of transport in confined systems.

The genetics of glycosylation in Gram-negative bacteria

In recent years there has been a dramatic increase in reports of glycosylation of proteins in various Gram-negative systems including Neisseria meningitidis, Neisseria gonorrhoeae, Campylobacter jejuni, Pseudomonas aeruginosa, Escherichia coli, Caulobacter crescentus, Aeromonas caviae and Helicobacter pylori. Although this growing list contains many important pathogens (reviewed by Benz and Schmidt [Mol. Microbiol. 45 (2002) 267-276]) and the glycosylations are found on proteins important in pathogenesis such as pili, adhesins and flagella the precise role(s) of the glycosylation of these proteins remains to be determined. Furthermore, the details of the glycosylation biosynthetic process have not been determined in any of these systems. The definition of the precise role of glycosylation and the mechanism of biosynthesis will be facilitated by a detailed understanding of the genes involved. (C) 2002 Federation of European Microbiological Societies. Published by Elsevier Science B.V. All rights reserved.

Effect of pore-network connectivity on multicomponent adsorption of large molecules

The effect of pore-network connectivity on binary liquid-phase adsorption equilibria using the ideal adsorbed solution theory (LAST) was studied. The liquid-phase binary adsorption experiments used ethyl propionate, ethyl butyrate, and ethyl isovalerate as the adsorbates and commercial activated carbons Filtrasorb-400 and Norit ROW 0.8 as adsorbents. As the single-component isotherm, a modified Dubinin-Radushkevich equation was used. A comparison with experimental data shows that incorporating the connectivity of the pore network and considering percolation processes associated with different molecular sizes of the adsorptives in the mixture, as well as their different corresponding accessibility, can improve the prediction of binary adsorption equilibria using the LAST Selectivity of adsorption for the larger molecule in binary systems increases with an increase in the pore-network coordination number, as well with an increase in the mean pore width and in the spread of the pore-size distribution.

Prediction of multilayer adsorption and capillary condensation phenomena in cylindrical mesopores

MCM-41 periodic mesoporous silicates with a high degree of structural ordering are synthesized and used as model adsorbents to study the isotherm prediction of nitrogen adsorption. The nitrogen adsorption isotherm at 77 K for a macroporous silica is measured and used in high-resolution alpha(s)-plot comparative analysis to determine the external surface area, total surface area and primary mesopore volume of the MCM-41 materials. Adsorption equilibrium data of nitrogen on the different pore size MCM-41 samples (pore diameters from 2.40 to 4.92 nm) are also obtained. Based on the Broekhoff and de Boer' thermodynamic analysis, the nitrogen adsorption isotherms for the different pore size MCM-41 samples are interpreted using a novel strategy, in which the parameters of an empirical expression, used to represent the potential of interaction between the adsorbate and adsorbent, are obtained by fitting only the multilayer region prior to capillary condensation for C-16 MCM-41. Subsequently the entire isotherm, including the phase transition, is predicted for all the different pore size MCM-41 samples without any fitting. The results show that the prediction of multilayer adsorption and total adsorbed amount are in good agreement with the experimental isotherms. The predictions of the relative pressure corresponding to capillary equilibrium (coexistence) transition agree remarkably with experimental data on the adsorption branch even for hysteretic isotherms, confirming that this is the branch appropriate for pore size distribution analysis. The impact of pore radius on the adsorption film thickness and capillary coexistence pressure is also investigated, and found to agree with the experimental data. (C) 2003 Elsevier Inc. All rights reserved.