The implementation of a functional query language front-end to a relational database system. Available in 2 volumes.

Database systems have a user interface one of the components of which will normally be a query language which is based on a particular data model. Typically data models provide primitives to define, manipulate and query databases. Often these primitives are designed to form self-contained query languages. This thesis describes a prototype implementation of a system which allows users to specify queries against the database in a query language whose primitives are not those provided by the actual model on which the database system is based, but those provided by a different data model. The implementation chosen is the Functional Query Language Front End (FQLFE). This uses the Daplex functional data model and query language. Using FQLFE, users can specify the underlying database (based on the relational model) in terms of Daplex. Queries against this specified view can then be made in Daplex. FQLFE transforms these queries into the query language (Quel) of the underlying target database system (Ingres). The automation of part of the Daplex function definition phase is also described and its implementation discussed.

An Exploration of parametric software cost estimating models for Jackson Systems Development

Most parametric software cost estimation models used today evolved in the late 70's and early 80's. At that time, the dominant software development techniques being used were the early 'structured methods'. Since then, several new systems development paradigms and methods have emerged, one being Jackson Systems Development (JSD). As current cost estimating methods do not take account of these developments, their non-universality means they cannot provide adequate estimates of effort and hence cost. In order to address these shortcomings two new estimation methods have been developed for JSD projects. One of these methods JSD-FPA, is a top-down estimating method, based on the existing MKII function point method. The other method, JSD-COCOMO, is a sizing technique which sizes a project, in terms of lines of code, from the process structure diagrams and thus provides an input to the traditional COCOMO method.The JSD-FPA method allows JSD projects in both the real-time and scientific application areas to be costed, as well as the commercial information systems applications to which FPA is usually applied. The method is based upon a three-dimensional view of a system specification as opposed to the largely data-oriented view traditionally used by FPA. The method uses counts of various attributes of a JSD specification to develop a metric which provides an indication of the size of the system to be developed. This size metric is then transformed into an estimate of effort by calculating past project productivity and utilising this figure to predict the effort and hence cost of a future project. The effort estimates produced were validated by comparing them against the effort figures for six actual projects.The JSD-COCOMO method uses counts of the levels in a process structure chart as the input to an empirically derived model which transforms them into an estimate of delivered source code instructions.

Spatial tuning studies of the pattern evoked electroretinogram

The locus of origin of the pattern evoked electroretinogram, (PERG), has been the subject of considerable discussion. A novel approach was adopted in this study to further elaborate the nature of the PERG evoked by pattern onset/offset presentation. The PERG was found to be linearly related to stimulus contrast and in particular was linearly related to the temporal contrast of the retinal image, when elicited by patterns of low spatial frequency. At high spatial frequencies the retinal image contrast is significantly reduced because of optical degradation. This is described by the eye's modulation transfer function (MTF). The retinal contrast of square wave grating and chequerboard patterns of increasing spatial frequency were found by filtering their Fourier transforms by the MTF. The filtered pattern harmonics were then resynthesised to constitute a profile of retinal image illuminance from which the temporal and spatial contrast of the image could be calculated. If the PERG is a pure illuminance response it should be spatially insensitive and dependent upon the temporal contrast of stimulation. The calculated loss of temporal contrast for finer patterns was expressed as a space-averaged temporal contrast attentuation factor. This factor, applied to PERGs evoked by low spatial frequency patterns, was used to predict the retinal illuminance response elicited by a finer pattern. The predicted response was subtracted from the recorded signal and residual waveform was proposed to represent specific activity. An additional correction for the attenuation of spatial contrast was applied to the extracted pattern specific response. Pattern specific responses computed for different spatial frequency patterns in this way are the predicted result of iso-contrast pattern stimulation. The pattern specific responses demonstrate a striking bandpass spatial selectivity which peaks at higher spatial frequencies in the more central retina. The variation of spatial sensitivity with eccentricity corresponds closely with estimated ganglion receptive field centre separation and psychophysical data. The variation of retinal structure with eccentricity, in the form of the volumes of the nuclear layers, was compared with the amplitudes of the computed retinal illuminance and pattern specific responses. The retinal illuminance response corresponds more closely to the outer and inner nuclear layers whilst the pattern specific response appears more closely related to the ganglion cell layer. In general the negative response transients correspond to the more proximal retinal layers. This thesis therefore supports the proposed contribution of proximal retinal cell activity to the PERG and describes techniques which may be further elaborated for more detailed studies of retinal receptive field dimensions.

Semantics of query-driven communication of exact values

We address the question of how to communicate among distributed processes valuessuch as real numbers, continuous functions and geometrical solids with arbitrary precision, yet efficiently. We extend the established concept of lazy communication using streams of approximants by introducing explicit queries. We formalise this approach using protocols of a query-answer nature. Such protocols enable processes to provide valid approximations with certain accuracy and focusing on certain locality as demanded by the receiving processes through queries. A lattice-theoretic denotational semantics of channel and process behaviour is developed. Thequery space is modelled as a continuous lattice in which the top element denotes the query demanding all the information, whereas other elements denote queries demanding partial and/or local information. Answers are interpreted as elements of lattices constructed over suitable domains of approximations to the exact objects. An unanswered query is treated as an error anddenoted using the top element. The major novel characteristic of our semantic model is that it reflects the dependency of answerson queries. This enables the definition and analysis of an appropriate concept of convergence rate, by assigning an effort indicator to each query and a measure of information content to eachanswer. Thus we capture not only what function a process computes, but also how a process transforms the convergence rates from its inputs to its outputs. In future work these indicatorscan be used to capture further computational complexity measures. A robust prototype implementation of our model is available.

Competing for knowledge:creating, connecting and growing

With the buzzwords of knowledge-based economy and knowledge-driven economy, policy-makers, as well as journalists and management consultants, are pushing forward a vision of change that transforms the way advanced economies work. Yet little is understood about how the knowledge-based economy differs from the old, traditional economy. It is generally agreed that the phenomenon has grown out of the branch of economic thought known as new growth theory. Digesting up-to-date thinking in economics, management, innovation studies and economic geography, this significant volume provides an account of these developments and how they have transformed advanced economies.

The application of calcined natural dolomitic rock as a solid base catalyst in triglyceride transesterification for biodiesel synthesis

Natural dolomitic rock has been investigated in the transesterification of C and C triglycerides and olive oil with a view to determining its viability as a solid base catalyst for use in biodiesel synthesis. XRD reveals that the dolomitic rock comprised 77% dolomite and 23% magnesian calcite. The generation of basic sites requires calcination at 900 °C, which increases the surface area and transforms the mineral into MgO nanocrystallites dispersed over CaO particles. Calcined dolomitic rock exhibits high activity towards the liquid phase transesterification of glyceryl tributyrate and trioctanoate, and even olive oil, with methanol for biodiesel production. © The Royal Society of Chemistry 2008.

Structure-sensitive biodiesel synthesis over MgO nanocrystals

Size-controlled MgO nanocrystals were synthesised via a simple sol-gel method and their bulk and surface properties characterised by powder XRD, HRTEM and XPS. Small, cubic MgO single crystals, generated by low temperature processing, expose weakly basic (100) surfaces. High temperature annealing transforms these into large, stepped cuboidal nanoparticles of periclase MgO which terminate in more basic (110) and (111) surfaces. The size dependent evolution of surface electronic structure correlates directly with the associated catalytic activity of these MgO nanocrystals towards glyceryl tributyrate transesterification, revealing a pronounced structural preference for (110) and (111) facets. © 2009 The Royal Society of Chemistry.

Annealing and temperature coefficient study of type IA fibre Bragg gratings inscribed under strain and no strain - Implications to optical fibre component reliability

The annealing properties of Type IA Bragg gratings are investigated and compared with Type I and Type IIA Bragg gratings. The transmission properties (mean and modulated wavelength components) of gratings held at predetermined temperatures are recorded from which decay characteristics are inferred. Our data show critical results concerning the high temperature stability of Type IA gratings, as they undergo a drastic initial decay at 100°C, with a consequent mean index change that is severely reduced at this temperature However, the modulated index change of IA gratings remains stable at lower annealing temperatures of 80°C, and the mean index change decays at a comparable rate to Type I gratings at 80°C. Extending this work to include the thermal decay of Type IA gratings inscribed under strain shows that the application of strain quite dramatically transforms the temperature characteristics of the Type IA grating, modifying the temperature coefficient and annealing curves, with the grating showing a remarkable improvement in high temperature stability, leading to a robust grating that can survive temperatures exceeding 180°C. Under conditions of inscription under strain it is found that the temperature coefficient increases, but is maintained at a value considerably different to the Type I grating. Therefore, the combination of Type I and IA (strained) gratings make it possible to decouple temperature and strain over larger temperature excursions.

Projective Methods of Image Recognition

We propose a method for image recognition on the base of projections. Radon transform gives an opportunity to map image into space of its projections. Projection properties allow constructing informative features on the base of moments that can be successfully used for invariant recognition. Offered approach gives about 91-97% of correct recognition.

Cauchy-Type Problem for Diffusion-Wave Equation with the Riemann-Liouville Partial Derivative

2000 Mathematics Subject Classification: 35A15, 44A15, 26A33

Well-Posedness of the Cauchy Problem for Inhomogeneous Time-Fractional Pseudo-Differential Equations

Mathematics Subject Classification: 26A33, 45K05, 35A05, 35S10, 35S15, 33E12

q-Heat Operator and q-Poisson’s Operator

2000 Mathematics Subject Classification: 33D15, 33D90, 39A13

Applications of the Owa-Srivastava Operator to the Class of K-Uniformly Convex Functions

2000 Mathematics Subject Classification: Primary 30C45, 26A33; Secondary 33C15

Some Fractional Extensions of the Temperature Field Problem in Oil Strata

This survey is devoted to some fractional extensions of the incomplete lumped formulation, the lumped formulation and the formulation of Lauwerier of the temperature field problem in oil strata. The method of integral transforms is used to solve the corresponding boundary value problems for the fractional heat equation. By using Caputo’s differintegration operator and the Laplace transform, new integral forms of the solutions are obtained. In each of the different cases the integrands are expressed in terms of a convolution of two special functions of Wright’s type.

On Hankel Transform of Generalized Mathieu Series

Mathematics Subject Classification: Primary 33E20, 44A10; Secondary 33C10, 33C20, 44A20