A technique for modular logic program refinement

A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we introduce modules into a logic programming refinement calculus. Modules allow data types to be grouped together with sets of procedures that manipulate the data types. By placing restrictions on the way a program uses a module, we develop a technique for refining the module so that it uses a more efficient representation of the data type.

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.

Improved design of all-optical processor for modular arithmetic

A new improved design of an all-optical processor that performs modular arithmetic is presented. The modulo-processor is based on all-optical circuit of interconnected semiconductor optical amplifier logic gates. The design allows processing times of less than 1 µs for 16-bit operation at 10 Gb/s and up to 32-bit operation at 100 Gb/s.

Spectra of modular and small-world matrices

We compute spectra of symmetric random matrices describing graphs with general modular structure and arbitrary inter- and intra-module degree distributions, subject only to the constraint of finite mean connectivities. We also evaluate spectra of a certain class of small-world matrices generated from random graphs by introducing shortcuts via additional random connectivity components. Both adjacency matrices and the associated graph Laplacians are investigated. For the Laplacians, we find Lifshitz-type singular behaviour of the spectral density in a localized region of small |?| values. In the case of modular networks, we can identify contributions of local densities of state from individual modules. For small-world networks, we find that the introduction of short cuts can lead to the creation of satellite bands outside the central band of extended states, exhibiting only localized states in the band gaps. Results for the ensemble in the thermodynamic limit are in excellent agreement with those obtained via a cavity approach for large finite single instances, and with direct diagonalization results.

A modular holistic approach to prosody modelling for Standard Yorùbá speech synthesis

This paper presents a novel prosody model in the context of computer text-to-speech synthesis applications for tone languages. We have demonstrated its applicability using the Standard Yorùbá (SY) language. Our approach is motivated by the theory that abstract and realised forms of various prosody dimensions should be modelled within a modular and unified framework [Coleman, J.S., 1994. Polysyllabic words in the YorkTalk synthesis system. In: Keating, P.A. (Ed.), Phonological Structure and Forms: Papers in Laboratory Phonology III, Cambridge University Press, Cambridge, pp. 293–324]. We have implemented this framework using the Relational Tree (R-Tree) technique. R-Tree is a sophisticated data structure for representing a multi-dimensional waveform in the form of a tree. The underlying assumption of this research is that it is possible to develop a practical prosody model by using appropriate computational tools and techniques which combine acoustic data with an encoding of the phonological and phonetic knowledge provided by experts. To implement the intonation dimension, fuzzy logic based rules were developed using speech data from native speakers of Yorùbá. The Fuzzy Decision Tree (FDT) and the Classification and Regression Tree (CART) techniques were tested in modelling the duration dimension. For practical reasons, we have selected the FDT for implementing the duration dimension of our prosody model. To establish the effectiveness of our prosody model, we have also developed a Stem-ML prosody model for SY. We have performed both quantitative and qualitative evaluations on our implemented prosody models. The results suggest that, although the R-Tree model does not predict the numerical speech prosody data as accurately as the Stem-ML model, it produces synthetic speech prosody with better intelligibility and naturalness. The R-Tree model is particularly suitable for speech prosody modelling for languages with limited language resources and expertise, e.g. African languages. Furthermore, the R-Tree model is easy to implement, interpret and analyse.

Modular system design and control for flexible assembly

Flexible Assembly Systems (FASs) are normally associated with the automatic, or robotic, assembly of products, supported by automated material handling systems. However, manual assembly operations are still prevalent within many industries, where the complexity and variety of products prohibit the development of suitable automated assembly equipment. This article presents a generic model for incorporating flexibility into the design and control of assembly operations concerned with high variety/low volume manufacture, drawing on the principles for Flexible Manufacturing Systems (FMS) and Just-in-Time (JIT) delivery. It is based on work being undertaken in an electronics company where the assembly operations have been overhauled and restructured in response to a need for greater flexibility, shorter cycle times and reduced inventory levels. The principles employed are in themselves not original. However, the way they have been combined and tailored has created a total manufacturing control system which represents a new concept for responding to demands placed on market driven firms operating in an uncertain environment.

Control of second-life hybrid battery energy storage system based on modular boost-multilevel buck converter

To fully utilize second-life batteries on the grid system, a hybrid battery scheme needs to be considered for several reasons: the uncertainty over using a single source supply chain for second-life batteries, the differences in evolving battery chemistry and battery configuration by different suppliers to strive for greater power levels, and the uncertainty of degradation within a second-life battery. Therefore, these hybrid battery systems could have widely different module voltage, capacity, and initial state of charge and state of health. In order to suitably integrate and control these widely different batteries, a suitable multimodular converter topology and an associated control structure are required. This paper addresses these issues proposing a modular boost-multilevel buck converter based topology to integrate these hybrid second-life batteries to a grid-tie inverter. Thereafter, a suitable module-based distributed control architecture is introduced to independently utilize each converter module according to its characteristics. The proposed converter and control architecture are found to be flexible enough to integrate widely different batteries to an inverter dc link. Modeling, analysis, and experimental validation are performed on a single-phase modular hybrid battery energy storage system prototype to understand the operation of the control strategy with different hybrid battery configurations.

Design and analysis of an all-optical processor for modular arithmetic

We present a logical design of an all-optical processor that performs modular arithmetic. The overall design is based a set of interconnected modules that use all-optical gates to perform simple logical functions. The all-optical logic gates are based on the semiconductor optical amplifier nonlinear loop. Simulation results are presented and some practical design issues are discussed.