A formal model of the Semantic Web Service Ontology (WSMO)

Semantic Web Service, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service Modelling Ontology (WSMO) has been proposed as an enabling framework for the total/partial automation of the tasks (e.g., discovery, selection, composition, mediation, execution, monitoring, etc.) involved in both intra- and inter-enterprise integration of Web services. To support the standardisation and tool support of WSMO, a formal model of the language is highly desirable. As several variants of WSMO have been proposed by the WSMO community, which are still under development, the syntax and semantics of WSMO should be formally defined to facilitate easy reuse and future development. In this paper, we present a formal Object-Z formal model of WSMO, where different aspects of the language have been precisely defined within one unified framework. This model not only provides a formal unambiguous model which can be used to develop tools and facilitate future development, but as demonstrated in this paper, can be used to identify and eliminate errors present in existing documentation.

Molecular Dynamics implementation of BN2D or 'Mercedes Benz' water model

Two-dimensional 'Mercedes Benz' (MB) or BN2D water model (Naim, 1971) is implemented in Molecular Dynamics. It is known that the MB model can capture abnormal properties of real water (high heat capacity, minima of pressure and isothermal compressibility, negative thermal expansion coefficient) (Silverstein et al., 1998). In this work formulas for calculating the thermodynamic, structural and dynamic properties in microcanonical (NVE) and isothermal-isobaric (NPT) ensembles for the model from Molecular Dynamics simulation are derived and verified against known Monte Carlo results. The convergence of the thermodynamic properties and the system's numerical stability are investigated. The results qualitatively reproduce the peculiarities of real water making the model a visually convenient tool that also requires less computational resources, thus allowing simulations of large (hydrodynamic scale) molecular systems. We provide the open source code written in C/C++ for the BN2D water model implementation using Molecular Dynamics.

The measurements of neutron and gamma dose rates in mixed radiation fields, using a liquid scintillation counter

Measurements of neutron and gamma dose rates in mixed radiation fields, and gamma dose rates from calibrated gamma sources, were performed using a liquid scintillation counter NE213 with a pulse shape discrimination technique based on the charge comparison method. A computer program was used to analyse the experimental data. The radiation field was obtained from a 241Am-9Be source. There was general agreement between measured and calculated neutron and gamma dose rates in the mixed radiation field, but some disagreement in the measurements of gamma dose rates for gamma sources, due to the dark current of the photomultiplier and the effect of the perturbation of the radiation field by the detector. An optical fibre bundle was used to couple an NE213 scintillator to a photomultiplier, in an attempt to minimise these effects. This produced an improvement in the results for gamma sources. However, the optically coupled detector system could not be used for neutron and gamma dose rate measurements in mixed radiation fields. The pulse shape discrimination system became ineffective as a consequence of the slower time response of the detector system.

A detailed design study of leaching and ancillary processes in the hydrometallurgical extraction of iron from iron bearing feedstocks

A systematic survey of the possible methods of chemical extraction of iron by chloride formation has been presented and supported by a comparable study of :feedstocks, products and markets. The generation and evaluation of alternative processes was carried out by the technique of morphological analysis vihich was exploited by way of a computer program. The final choice was related to technical feasibility and economic viability, particularly capital cost requirements and developments were made in an estimating procedure for hydrometallurgjcal processes which have general applications. The systematic exploration included the compilation of relevant data, and this indicated a need.to investigate precipitative hydrolysis or aqueous ferric chloride. Arising from this study, two novel hydrometallurgical processes for manufacturing iron powder are proposed and experimental work was undertaken in the following .areas to demonstrate feasibility and obtain basic data for design purposes: (1) Precipitative hydrolysis of aqueous ferric chloride. (2) Gaseous chloridation of metallic iron, and oxidation of resultant ferrous chloride. (3) Reduction of gaseous ferric chloride with hydrogen. (4) Aqueous acid leaching of low grade iron ore. (5) Aqueous acid leaching of metallic iron. The experimentation was supported by theoretical analyses dealing with: (1) Thermodynamics of hydrolysis. (2) Kinetics of ore leaching. (3) Kinetics of metallic iron leaching. (4) Crystallisation of ferrous chloride. (5) Oxidation of anhydrous ferrous chloride. (6) Reduction of ferric chloride. Conceptual designs are suggested fbr both the processes mentioned. These draw attention to areas where further work is necessary, which are listed. Economic analyses have been performed which isolate significant cost areas, und indicate total production costs. Comparisons are mode with previous and analogous proposals for the production of iron powder.

The steam reforming of hydrocarbons with special reference to methane

From an examination of the literature relating to the catalytic steam reforming of hydrocarbons, it is concluded that the kinetics of high pressure reforming, particularly steam-methane reforming, has received relatively little attention. Therefore because of the increasing availability of natural gas in the U.K., this system was considered worthy of investigation. An examination of the thermodynamics relating to the equilibria of steam-hydrocarbon reforming is described. The reactions most likely to have influence over the process are established and from these a computer program was written to calculate equilibrium compositions. A means of presenting such data in a graphica1 form for ranges of the operating variables is given, and also an operating chart which may be used to quickly check feed ratios employed on a working naphtha reforming plant is presented. For the experimental kinetic study of the steam-methane system, cylindrical pellets of ICI 46-1 nickel catalyst were used in the form of a rod catalyst. The reactor was of the integral type and a description is given with the operating procedures and analytical method used. The experimental work was divided into two parts, qualitative and quantitative. In the qualitative study the various reaction steps are examined in order to establish which one is rate controlling. It is concluded that the effects of film diffusion resistance within the conditions employed are negligible. In the quantitative study it was found that at 250 psig and 6500C the steam-methane reaction is much slower than the CO shift reaction and is rate controlling. Two rate mechanisms and accompanying kinetic rate equations are derived, both of which represent 'chemical' steps in the reaction and are considered of equal merit. However the possibility of a dual control involving 'chemical' and pore diffusion resistances is also expressed.

Vapour-liquid equilibrium studies at atmospheric to moderate pressures

A study of vapour-liquid equilibria is presented together with current developments. The theory of vapour-liquid equilibria is discussed. Both experimental and prediction methods for obtaining vapour-liquid equilibria data are critically reviewed. The development of a new family of equilibrium stills to measure experimental VLE data from sub-atmosphere to 35 bar pressure is described. Existing experimental techniques are reviewed, to highlight the needs for these new apparati and their major attributes. Details are provided of how apparatus may be further improved and how computer control may be implemented. To provide a rigorous test of the apparatus the stills have been commissioned using acetic acid-water mixture at one atmosphere pressure. A Barker-type consistency test computer program, which allows for association in both phases has been applied to the data generated and clearly shows that the stills produce data of a very high quality. Two high quality data sets, for the mixture acetone-chloroform, have been generated at one atmosphere and 64.3oC. These data are used to investigate the ability of the new novel technique, based on molecular parameters, to predict VLE data for highly polar mixtures. Eight, vapour-liquid equilibrium data sets have been produced for the cyclohexane-ethanol mixture at one atmosphere, 2, 4, 6, 8 and 11 bar, 90.9oC and 132.8oC. These data sets have been tested for thermodynamic consistency using a Barker-type fitting package and shown to be of high quality. The data have been used to investigate the dependence of UNIQUAC parameters with temperature. The data have in addition been used to compare directly the performance of the predictive methods - Original UNIFAC, a modified version of UNIFAC, and the new novel technique, based on molecular parameters developed from generalised London's potential (GLP) theory.

Studies on the thermal decomposition behaviour, kinetics and electrical conductivity of the non-isothermal decomposition of pyridine mono carboxylic acids and some of their transition metal complexes

The thesis is divided into four chapters. They are: introduction, experimental, results and discussion about the free ligands and results and discussion about the complexes. The First Chapter, the introductory chapter, is a general introduction to the study of solid state reactions. The Second Chapter is devoted to the materials and experimental methods that have been used for carrying out tile experiments. TIle Third Chapter is concerned with the characterisations of free ligands (Picolinic acid, nicotinic acid, and isonicotinic acid) by using elemental analysis, IR spectra, X-ray diffraction, and mass spectra. Additionally, the thermal behaviour of free ligands in air has been studied by means of thermogravimetry (TG), derivative thermogravimetry (DTG), and differential scanning calorimetry (DSC) measurements. The behaviour of thermal decomposition of the three free ligands was not identical Finally, a computer program has been used for kinetic evaluation of non-isothermal differential scanning calorimetry data according to a composite and single heating rate methods in comparison with the methods due to Ozawa and Kissinger methods. The most probable reaction mechanism for the free ligands was the Avrami-Erofeev equation (A) that described the solid-state nucleation-growth mechanism. The activation parameters of the decomposition reaction for free ligands were calculated and the results of different methods of data analysis were compared and discussed. The Fourth Chapter, the final chapter, deals with the preparation of cobalt, nickel, and copper with mono-pyridine carboxylic acids in aqueous solution. The prepared complexes have been characterised by analyses, IR spectra, X-ray diffraction, magnetic moments, and electronic spectra. The stoichiometry of these compounds was ML2x(H20), (where M = metal ion, L = organic ligand and x = water molecule). The environments of cobalt, nickel, and copper nicotinates and the environments of cobalt and nickel picolinates were octahedral, whereas the environment of copper picolinate [Cu(PA)2] was tetragonal. However, the environments of cobalt, nickel, and copper isonicotinates were polymeric octahedral structures. The morphological changes that occurred throughout the decomposition were followed by SEM observation. TG, DTG, and DSC measurements have studied the thermal behaviour of the prepared complexes in air. During the degradation processes of the hydrated complexes, the crystallisation water molecules were lost in one or two steps. This was also followed by loss of organic ligands and the metal oxides remained. Comparison between the DTG temperatures of the first and second steps of the dehydration suggested that the water of crystallisation was more strongly bonded with anion in Ni(II) complexes than in the complexes of Co(II) and Cu(II). The intermediate products of decomposition were not identified. The most probable reaction mechanism for the prepared complexes was also Avrami-Erofeev equation (A) characteristic of solid-state nucleation-growth mechanism. The tempemture dependence of conductivity using direct current was determined for cobalt, nickel, Cl.nd copper isonicotinates. An activation energy (ΔΕ), the activation energy (ΔΕ ) were calculated.The ternperature and frequency dependence of conductivity, the frequency dependence of dielectric constant, and the dielectric loss for nickel isonicotinate were determined by using altemating current. The value of s paralneter and the value of'density of state [N(Ef)] were calculated. Keyword Thermal decomposition, kinetic, electrical conduclion, pyridine rnono~ carboxylic acid, cOlnplex, transition metal compJex.

Dipole moments and Kerr effect of poly(n-vinylcarbazole) and its complexes with trinitrofluorenone

N-vinylcarbazole was polymerised using the free radical catalyst (azo-bisisobutyronitrile) and cationic catalysts (boron-trifluoride etherate and aluminium chloride). The polymers produced were characterised by molecular weight measurements and powder x-ray diffraction. The tacticity of the polymer samples was determined using proton and carbon-13 nuclear magnetic resonance spectroscopy. Measurements of their static dielectric permittivity and electro-optical birefringence (Kerr effect) in solution in 1,4-dioxane were carried out over a range of temperatures. The magnitudes of the dipole moments and Kerr constants were found to vary with changes in the tacticity of poly(N-vinylcarbazole). The results of these measurements support the view that the stereostructure of poly(N-vinylcarbazole) is sensitive to the mechanism of polymerisation. These results, together with proton and carbon-13 N.M.R. data, are discussed in terms of the possible conformations of the polymer chains and the relative orientation of the bulky carbazole side groups. The dielectric and molecular Kerr effect studies have also been carried out on complexes formed between 2,4,7-trinitro-9-fluorenone (TNF) and different stereoregular forms of poly(N-vinylcarbazole) in solution in 1,4-dioxane. The differences in the molar Kerr constants between pure (uncomplexed) and complexed poly(N-vinylcarbazole) samples were attributed to changes in optical anisotropy and dipole moments. A molecular modelling computer program Desktop Molecular Modeller was used to examine the 3/1 helical isotactic and 2/1 helical syndiotactic forms of poly(N-vinylcarbazole). These models were used to calculate the pitch distances of helices and the results were interpreted in terms of van der Waal's radii on TNF. This study indicated that the pitch distance in 3/1 isotactic helices was large enough to accommodate the bulky TNF molecules to form sandwich type charge transfer complexes whereas the pitch distance in syndiotactic poly(N-vinylcarbazole) was smaller and would not allow a similar type of complex formation.

An expert system for the development of a health and safety policy/risk assessment in the plastics industry

Health and safety policies may be regarded as the cornerstone for positive prevention of occupational accidents and diseases. The Health and Safety at Work, etc Act 1974 makes it a legal duty for employers to prepare and revise a written statement of a general policy with respect to the health and safety at work of employees as well as the organisation and arrangements for carrying out that policy. Despite their importance and the legal equipment to prepare them, health and safety policies have been found, in a large number of plastics processing companies (particularly small companies), to be poorly prepared, inadequately implemented and monitored. An important cause of these inadequacies is the lack of necessary health and safety knowledge and expertise to prepare, implement and monitor policies. One possible way of remedying this problem is to investigate the feasibility of using computers to develop expert system programs to simulate the health and safety (HS) experts' task of preparing the policies and assisting companies implement and monitor them. Such programs use artificial intelligence (AI) techniques to solve this sort of problems which are heuristic in nature and require symbolic reasoning. Expert systems have been used successfully in a variety of fields such as medicine and engineering. An important phase in the feasibility of development of such systems is the engineering of knowledge which consists of identifying the knowledge required, eliciting, structuring and representing it in an appropriate computer programming language.

The molecular design of a new solvent for the absorption of carbon dioxide

Gas absorption, the removal of one or more constitutents from a gas mixture, is widely used in chemical processes. In many gas absorption processes, the gas mixture is already at high pressure and in recent years organic solvents have been developed for the process of physical absorption at high pressure followed by low pressure regeneration of the solvent and recovery of the absorbed gases. Until now the discovery of new solvents has usually been by expensive and time consuming trial and error laboratory tests. This work describes a new approach, whereby a solvent is selected from considerations of its molecular structure by applying recently published methods of predicting gas solubility from the molecular groups which make up the solvent molecule. The removal of the acid gases of carbon dioxide and hydrogen sulfide from methane or hydrogen was used as a commercially important example. After a preliminary assessment to identify promising moecular groups, more than eighty new solvent molecules were designed and evaluated by predicting gas solubility. The other important physical properties were also predicted by appropriate theoretical procedures, and a commercially promising new solvent was chosen to have a high solubility for acid gases, a low solubility for methane and hydrogen, a low vapour pressure, and a low viscosity. The solvent chosen, of molecular structure Ch3-COCH2-CH2-CO-CH3, was tested in the laboratory and shown to have physical properties, except for vapour pressures, close to those predicted. That is gas solubilities were within 10% but lower than predicted. Viscosity within 10% but higher than predicted and a vapour pressure significantly lower than predicted. A computer program was written to predict gas solubility in the new solvent at the high pressures (25 bar) used in practice. This is based on the group contribution method of Skold Jorgensen (1984). Before using this with the new solvent, Acetonyl acetone, the method was show to be sufficiently accurate by comparing predicted values of gas solubility with experimental solubilities from the literature for 14 systems up to 50 bar. A test of the commercial potential of the new solvent was made by means of two design studies which compared the size of plant and approximate relative costs of absorbing acid gases by means of the new solvent with other commonly used solvents. These were refrigerated methanol(Rectisol process) and Dimethyl Ether or Polyethylene Glycol(Selexol process). Both studies showed in terms of capital and operating cost some significant advantage for plant designed for the new solvent process.

On the stress analysis of cracked bodies by means of finite elements

The work described in this thesis deals with the development and application of a finite element program for the analysis of several cracked structures. In order to simplify the organisation of the material presented herein, the thesis has been subdivided into two Sections : In the first Section the development of a finite element program for the analysis of two-dimensional problems of plane stress or plane strain is described. The element used in this program is the six-mode isoparametric triangular element which permits the accurate modelling of curved boundary surfaces. Various cases of material aniftropy are included in the derivation of the element stiffness properties. A digital computer program is described and examples of its application are presented. In the second Section, on fracture problems, several cracked configurations are analysed by embedding into the finite element mesh a sub-region, containing the singularities and over which an analytic solution is used. The modifications necessary to augment a standard finite element program, such as that developed in Section I, are discussed and complete programs for each cracked configuration are presented. Several examples are included to demonstrate the accuracy and flexibility of the technique.

Noise generated at the tyre/road interface

The work described in this thesis is directed towards the reduction of tyre/road interface noise and embodies a study of the factors involved in its generation. These factors comprise: (a) materials and construction of tyres and road surfaces (b) the spectral distribution of the noise. The importance of this work has become greater with reduction in engine noise. A review of the literature shows what has been achieved so far, and stresses the importance of maintaining other desirable tyre properties such as adhesion in wet conditions. The work has involved an analysis of mechanical factors in tyre construction and the behaviour of road surfaces. Measurements on noise have been carried out under practical conditions and also on replica surfaces in the laboratory, and in addition tests of wet road adhesion have been carried out with a variety of road surfaces. Consideration has been given to the psychological effects of the spectral distribution of noise. A major part of the work under-taken has been the development of a computer program, the results of which have made it possible to design a tyre tread block pattern to give an optimum spectral distribution. Sample tyres built to this design have been subjected to noise measurements and these have been shown to agree closely with the theoretical prediction and other properties of this tyre have proved to be satisfactory.

The computerisation of community pharmacy

Computers have, over the past 10 to 15 years, become an integral part of many activities carried out by British community pharmacists. This thesis employs quantitative and qualitative research methods to explore the use of computers and other forms of information technology (IT) in a number of these activities. Mail questionnaires were used to estimate the level of IT use among British community pharmacists in 1989 and 1990. Comparison of the results suggests that the percentage of community pharmacists using computers and other forms of IT is increasing, and that the range of applications to which pharmacy computers are put is expanding. The use of an electronic, on-line information service, PINS, by community pharmacists was investigated using mail questionnaires. The majority of community pharmacists who subscribed to the service, and who responded to the questionnaire, claimed to use PINS less than they had expected to. In addition, most did not find it user-friendly. A computer program to aid pharmacists when responding to their patients' symptoms was investigated using interviews and direct observation. The aid was not found to help pharmacists in responding to patients' symptoms because of impracticalities involved in its operation. Use of the same computer program by members of the public without the involvement of a pharmacist was also studied. In this setting, the program was favourably accepted by the majority of those who used it. Provision of computer generated information leaflets from pharmacies was investigated using mail questionnaires and interviews. The leaflets were found to be popular with the majority of recipients interviewed. Since starting to give out the leaflets, 27 out of 55 pharmacists who responded to the questionnaire had experienced an increase in the numbers of prescriptions they dispensed. 46 had experienced an increase in the number of patient enquiries they received.

The development of a solid waste management strategy

This research is concerned with the application of operational research techniques in the development of a long- term waste management policy by an English waste disposal authority. The main aspects which have been considered are the estimation of future waste production and the assessment of the effects of proposed systems. Only household and commercial wastes have been dealt with in detail, though suggestions are made for the extension of the effect assessment to cover industrial and other wastes. Similarly, the only effects considered in detail have been costs, but possible extensions are discussed. An important feature of the study is that it was conducted in close collaboration with a waste disposal authority, and so pays more attention to the actual needs of the authority than is usual in such research. A critical examination of previous waste forecasting work leads to the use of simple trend extrapolation methods, with some consideration of seasonal effects. The possibility of relating waste production to other social and economic indicators is discussed. It is concluded that, at present, large uncertainties in predictions are inevitable; waste management systems must therefore be designed to cope with this uncertainty. Linear programming is used to assess the overall costs of proposals. Two alternative linear programming formulations of this problem are used and discussed. The first is a straightforward approach, which has been .implemented as an interactive computer program. The second is more sophisticated and represents the behaviour of incineration plants more realistically. Careful attention is paid to the choice of appropriate data and the interpretation of the results. Recommendations are made on methods for immediate use, on the choice of data to be collected for future plans, and on the most useful lines for further research and development.

Settlement of fill with particular reference to opencast coal mining sites

A study of information available on the settlement characteristics of backfill in restored opencast coal mining sites and other similar earthworks projects has been undertaken. In addition, the methods of opencast mining, compaction controls, monitoring and test methods have been reviewed. To consider and develop the methods of predicting the settlement of fill, three sites in the West Midlands have been examined; at each, the backfill had been placed in a controlled manner. In addition, use has been made of a finite element computer program to compare a simple two-dimensional linear elastic analysis with field observations of surface settlements in the vicinity of buried highwalls. On controlled backfill sites, settlement predictions have been accurately made, based on a linear relationship between settlement (expressed as a percentage of fill height) against logarithm of time. This `creep' settlement was found to be effectively complete within 18 months of restoration. A decrease of this percentage settlement was observed with increasing fill thickness; this is believed to be related to the speed with which the backfill is placed. A rising water table within the backfill is indicated to cause additional gradual settlement. A prediction method, based on settlement monitoring, has been developed and used to determine the pattern of settlement across highwalls and buried highwalls. The zone of appreciable differential settlement was found to be mainly limited to the highwall area, the magnitude was dictated by the highwall inclination. With a backfill cover of about 15 metres over a buried highwall the magnitude of differential settlement was negligible. Use has been made of the proposed settlement prediction method and monitoring to control the re-development of restored opencase sites. The specifications, tests and monitoring techniques developed in recent years have been used to aid this. Such techniques have been valuable in restoring land previously derelict due to past underground mining.