Compositional semantics of dataflow networks with query-driven communication of exact values

We develop and study the concept of dataflow process networks as used for exampleby Kahn to suit exact computation over data types related to real numbers, such as continuous functions and geometrical solids. Furthermore, we consider communicating these exact objectsamong processes using protocols of a query-answer nature as introduced in our earlier work. This enables processes to provide valid approximations with certain accuracy and focusing on certainlocality as demanded by the receiving processes through queries. We define domain-theoretical denotational semantics of our networks in two ways: (1) directly, i. e. by viewing the whole network as a composite process and applying the process semantics introduced in our earlier work; and (2) compositionally, i. e. by a fixed-point construction similarto that used by Kahn from the denotational semantics of individual processes in the network. The direct semantics closely corresponds to the operational semantics of the network (i. e. it iscorrect) but very difficult to study for concrete networks. The compositional semantics enablescompositional analysis of concrete networks, assuming it is correct. We prove that the compositional semantics is a safe approximation of the direct semantics. Wealso provide a method that can be used in many cases to establish that the two semantics fully coincide, i. e. safety is not achieved through inactivity or meaningless answers. The results are extended to cover recursively-defined infinite networks as well as nested finitenetworks. A robust prototype implementation of our model is available.

Ion bombardment induced compositional changes in compound semiconductor surfaces studied by XPS combined with LEISS

Surface compositional change of GaP, GaAs, GaSb, InP, InAs, InSb, GeSi and CdSe single crystals due to low keV noble gas ion beam bombardment has been investigated by combining X-ray Photoelectron Spectroscopy (XPS) and Low Energy Ion Scattering Spectroscopy (LEISS). The purpose of using this complementary analytical method is to obtain more complete experimental evidence of ion beam modification in surfaces of compound semiconductors and GeSi alloy to improve the understanding of the mechanisms responsible for these effects. Before ion bombardment the sample surfaces were analysed nondestructively by Angular Resolved XPS (ARXPS) and LEISS to get the initial distribution of surface composition. Ion bombardment experiments were carried out using 3keV argon ions with beam current of 1μA for a period of 50 minutes, compositional changes in the surfaces of compound semiconductors and GeSi alloy were monitored with normal XPS. After ion bombardment the surfaces were re-examined with ARXPS and LEISS. Both XPS and LEISS results showed clearly that ion bombardment will change the compositional distribution in the compound semiconductor and GeSi surfaces. In order to explain the observed experimental results, two major theories in this field, Sigmund linear collision cascade theory and the thermodynamic models based on bombardment induced Gibbsian surface segregation and diffusion, were investigated. Computer simulation using TRIM code was also carried out for assistance to the theoretical analysis. Combined the results obtained from XPS and LEISS analyses, ion bombardment induced compositional changes in compound semiconductor and GeSi surfaces are explained in terms of the bombardment induced Gibbsian surface segregation and diffusion.

Gold mineralisation in the Caledonides of the British Isles with special reference to the Dolgellau Gold-belt, North Wales and the Southern Uplands, Scotland. Available in 2 volumes.

Two aspects of gold mineralisation in the Caledonides of the British Isles have been investigated: gold-telluride mineralisation at Clogau Mine, North Wales; and placer gold mineralisation in the Southern Uplands, Scotland. The primary ore assemblage at Clogau Mine is pyrite, arsenopyrite, cobaltite, pyrrhotine, chalcopyrite, galena, tellurbismuth, tetradymite, altaite, hessite, native gold, wehrlite, hedleyite, native bismuth, bismuthunite and various sulphosalts. The generalised paragenesis is early Fe, Co, Cu, As and S species, and later minerals of Pb, Bi, Ag, Au, Te, Sb. Electron probe micro-analysis (EPMA) of complex telluride-sulphide intergrowths suggests that these intergrowths formed by co-crystallisation/replacement processes and not exsolution. Minor element chemical variation, in the sulphides and tellurides, indicates that antimony and cadmium are preferentially partitioned into telluride minerals. Mineral stability diagrams suggest that during gold deposition log bf aTe2 was between -7.9 and -9.7 and log bf aS2 between -12.4 and -13.8. Co-existing mineral assemblages indicate that the final stages of telluride mineralisation were between c. 250 - 275oC. It is suggested that the high-grade telluride ore shoot was the result of remobilisation of Au, Bi, Ag and Te from low grade mineralisation elsewhere within the vein system, and that gold deposition was brought about by destabilisation of gold chloride complexes by interaction with graphite, sulphides and tellurbismuth. Scanning electron microscopy of planer gold grains from the Southern Uplands, Scotland, indicates that detailed studies on the morphology of placer gold can be used to elucidate the history of gold in the placer environment. In total 18 different morphological characteristics were identified. These were divided on an empirical basis, using the relative degree of mechanical attrition, into proximal and distal characteristics. One morphological characteristic (a porous/spongy surface at high magnification) is considered to be chemical in origin and represent the growth of `new' gold in the placer environment. The geographical distribution of morphological characteristics has been examined and suggests that proximal placer gold is spatially associated with the Loch Doon, Cairsphairn and Fleet granitoids. Quantitative EPMA of the placer gold reveals two compositional populations of placer gold. Examination of the geographical distribution of fineness suggests a loose spatial association between granitoids and low fineness placer gold. Also identified was chemically heterogeneous placer gold. EPMA studies of these heterogeneities allowed estimation of annealing history limits, which suggest that the heterogeneities formed between 150 and 235oC. It is concluded, on the basis of relationships between morphology and composition, that there are two types of placer gold in the Southern Uplands: (i) placer gold which is directly inherited from a hypogene source probably spatially associated with granitoids; and (ii) placer gold that has formed during supergene processes.

Design of a stock control methodology for use within an oil blending company

The thesis deals with the background, development and description of a mathematical stock control methodology for use within an oil and chemical blending company, where demand and replenishment lead-times are generally non-stationary. The stock control model proper relies on, as input, adaptive forecasts of demand determined for an economical forecast/replenishment period precalculated on an individual stock-item basis. The control procedure is principally that of the continuous review, reorder level type, where the reorder level and reorder quantity 'float', that is, each changes in accordance with changes in demand. Two versions of the Methodology are presented; a cost minimisation version and a service level version. Realising the importance of demand forecasts, four recognised variations of the Trigg and Leach adaptive forecasting routine are examined. A fifth variation, developed, is proposed as part of the stock control methodology. The results of testing the cost minimisation version of the Methodology with historical data, by means of a computerised simulation, are presented together with a description of the simulation used. The performance of the Methodology is in addition compared favourably to a rule-of-thumb approach considered by the Company as an interim solution for reducing stack levels. The contribution of the work to the field of scientific stock control is felt to be significant for the following reasons:- (I) The Methodology is designed specifically for use with non-stationary demand and for this reason alone appears to be unique. (2) The Methodology is unique in its approach and the cost-minimisation version is shown to work successfully with the demand data presented. (3) The Methodology and the thesis as a whole fill an important gap between complex mathematical stock control theory and practical application. A brief description of a computerised order processing/stock monitoring system, designed and implemented as a pre-requisite for the Methodology's practical operation, is presented as an appendix.

An X-ray micro-fluorescence study to investigate the distribution of Al, Si, P and Ca ions in the surrounding soft tissue after implantation of a calcium phosphate-mullite ceramic composite in a rabbit animal model

Synthetic calcium phosphates, despite their bioactivity, are brittle. Calcium phosphate-mullite composites have been suggested as potential dental and bone replacement materials which exhibit increased toughness. Aluminium, present in mullite, has however been linked to bone demineralisation and neurotoxicity: it is therefore important to characterise the materials fully in order to understand their in vivo behaviour. The present work reports the compositional mapping of the interfacial region of a calcium phosphate-20 wt% mullite biocomposite/soft tissue interface, obtained from the samples implanted into the long bones of healthy rabbits according to standard protocols (ISO-10993) for up to 12 weeks. X-ray micro-fluorescence was used to map simultaneously the distribution of Al, P, Si and Ca across the ceramic-soft tissue interface. A well defined and sharp interface region was present between the ceramic and the surrounding soft tissue for each time period examined. The concentration of Al in the surrounding tissue was found to fall by two orders of magnitude, to the background level, within similar to 35 mu m of the implanted ceramic.