Practical programming for static average-case analysis: the MOQA investigation

This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due to the difficulties inherent in average-case analysis. While each of these systems make a pertinent contribution, and are individually discussed in this work, only one of them forms the basis of this research. That particular system is known as MOQA. The MOQA system consists of the MOQA language and the MOQA static analysis tool. Its technique for statically determining average-case behaviour centres on maintaining strict control over both the data structure type and the labeling distribution. This research develops and evaluates the MOQA language implementation, and adds to the functions already available in this language. Furthermore, the theory that backs MOQA is generalised and the range of data structures for which the MOQA static analysis tool can determine average-case behaviour is increased. Also, some of the MOQA applications and extensions suggested in other works are logically examined here. For example, the accuracy of classifying the MOQA language as reversible is investigated, along with the feasibility of incorporating duplicate labels into the MOQA theory. Finally, the analyses that take place during the course of this research reveal some of the MOQA strengths and weaknesses. This thesis aims to be pragmatic when evaluating the current MOQA theory, the advancements set forth in the following work and the benefits of MOQA when compared to similar systems. Succinctly, this work’s significant expansion of the MOQA theory is accompanied by a realistic assessment of MOQA’s accomplishments and a serious deliberation of the opportunities available to MOQA in the future.

Mobile cloud application models facilitated by the CPA

This paper describes implementations of two mobile cloud applications, file synchronisation and intensive data processing, using the Context Aware Mobile Cloud Services middleware, and the Cloud Personal Assistant. Both are part of the same mobile cloud project, actively developed and currently at the second version. We describe recent changes to the middleware, along with our experimental results of the two application models. We discuss challenges faced during the development of the middleware and their implications. The paper includes performance analysis of the CPA support for the two applications in respect to existing solutions.

Burst-mode electronic dispersion compensation in long reach PONs

Long reach passive optical networks (LR-PONs), which integrate fibre-to-the-home with metro networks, have been the subject of intensive research in recent years and are considered one of the most promising candidates for the next generation of optical access networks. Such systems ideally have reaches greater than 100km and bit rates of at least 10Gb/s per wavelength in the downstream and upstream directions. Due to the limited equipment sharing that is possible in access networks, the laser transmitters in the terminal units, which are usually the most expensive components, must be as cheap as possible. However, the requirement for low cost is generally incompatible with the need for a transmitter chirp characteristic that is optimised for such long reaches at 10Gb/s, and hence dispersion compensation is required. In this thesis electronic dispersion compensation (EDC) techniques are employed to increase the chromatic dispersion tolerance and to enhance the system performance at the expense of moderate additional implementation complexity. In order to use such EDC in LR-PON architectures, a number of challenges associated with the burst-mode nature of the upstream link need to be overcome. In particular, the EDC must be made adaptive from one burst to the next (burst-mode EDC, or BM-EDC) in time scales on the order of tens to hundreds of nanoseconds. Burst-mode operation of EDC has received little attention to date. The main objective of this thesis is to demonstrate the feasibility of such a concept and to identify the key BM-EDC design parameters required for applications in a 10Gb/s burst-mode link. This is achieved through a combination of simulations and transmission experiments utilising off-line data processing. The research shows that burst-to-burst adaptation can in principle be implemented efficiently, opening the possibility of low overhead, adaptive EDC-enabled burst-mode systems.

Automatic segmentation of seven retinal layers in SDOCT images congruent with expert manual segmentation.

Segmentation of anatomical and pathological structures in ophthalmic images is crucial for the diagnosis and study of ocular diseases. However, manual segmentation is often a time-consuming and subjective process. This paper presents an automatic approach for segmenting retinal layers in Spectral Domain Optical Coherence Tomography images using graph theory and dynamic programming. Results show that this method accurately segments eight retinal layer boundaries in normal adult eyes more closely to an expert grader as compared to a second expert grader.

Determinación de distintos grados de erosión eólica mediante procesamiento automático de imagenes satelitales

p.193-198

Plankton Of The Fladen Ground During Flex-76 .3. Vertical-Distribution Population-Dynamics And Production Of Calanus-Finmarchicus (Crustacea Copepoda)

Samples taken in the northern North Sea with the Continuous Plankton Recorder (CPR), the Undulating Oceanographic Recorder (UOR), the Longhurst Hardy Plankton Recorder (LHPR) and by our colleagues from other participating Institutes during the Fladen Ground Experiment (FLEX 76) were used to describe the vertical distribution and population dynamics of Calanus finmarchicus (Gunnerus) and to provide estimates of the production and carbon budget of the population from 19 March to 3 June, 1976. Total production of the 19 March to 3 June, 1976. Total production of the nauplii and copepodite stages (including adults), during the exponential growth phase in May, was estimated to be in the range of 0.49 to 0.91 g C m-2 d-1 or 29.0 to 55 g dry wt m-2 (14.5 to 27.8 g C m-2) for the three successive 10 d periods in May. Two gross growth efficiencies (K 1) (20 and 34%), together with the lower value of C. finmarchicus production, were used to calculate the gross ingestion levels of algae as 2.45 and 1.44 g C m-2 d-1 (73.5 and 43.2 g C m-2 over the May period). These ingestion levels, together with the algae ingested by other zooplankton species, are greater than the estimated total phytoplankton production of 45.9 g C m-2 over the FLEX period. A number of factors are discussed which could explain the discrepancies between the production estimates. One suggestion is that the vertical distribution of the development stages of this herbivorous copepod and their diel and ontogenetic migration patterns enable it to efficiently exploit its food source. Data from the FLEX experiment indicated that the depletion of nutrients limited the size of the spring bloom, but that it was the grazing pressure exerted by C. finmarchicus which was responsible for the control and depletion of the phytoplankton in the spring of 1976 in the northern North Sea.

The Russell Cycle. An update and review of trends in zooplankton and fish larvae off Plymouth 1924-2009. Occasional Publication of the Marine Biological Association 24

Regular plankton sampling off Plymouth by the Marine Biological Association (MBA) has been carried out from the early 1900s. Much of the sample analysis and description of the results was carried out by Sir Frederick Russell and Professor Alan Southward (AJS), the latter having completed the organisation and transfer of the paper records to digital files. The current authors have transferred the main data files of AJS on zooplankton and fish larvae to the MBA long-term database (including various editing and checking against original analysis records and published data) together with adding the data for 2002-2009. In this report the updated time-series are reviewed in the context of earlier work, particularly with respect to the Russell Cycle. It is not intended as an exhaustive analysis. Brief details of the sampling and comments on data processing are given in an appendix.

Advances in biosensor-based analysis for antimicrobial residues in foods

Biosensors are used for a large number of applications within biotechnology, including the pharmaceutical industry and life sciences. Since the production of Biacore surface-plasmon resonance instruments in the early 1990s, there has been steadily growing use of this technology for the detection of food contaminants (e.g., veterinary drugs, mycotoxins, marine toxins, food dyes and processing contaminants). Other biosensing technologies (e.g., electrochemical and piezoelectric) have also been employed for the analysis of small-molecule contaminants. This review concentrates on recent advances made in detection and quantification of antimicrobial compounds with different types of biosensors and on the emergence of multiplexing, which is highly desirable as it increases sample analysis at lower cost and in less time. (C) 2010 Elsevier Ltd. All rights reserved.

Microscopy of heat treated titanium alloy BT16

Metallographic characterisation is combined with statistical analysis to study the microstructure of a BT16 titanium alloy after different heat treatment processes. It was found that the length, width and aspect ratio of α plates in this alloy follow the three-parameter Weibull distribution. Increasing annealing temperature or time causes the probability distribution of the length and the width of α plates to tend toward a normal distribution. The phase transformation temperature of the BT16 titanium alloy was found to be 875±5°C.

N-epsilon-(carboxymethyl)lysine content of foods commonly consumed in a Western style diet

The potential adverse effects on health of diet-derived advanced glycation end-products (AGEs) is of current interest, due to their proposed involvement in the disease progression of diabetic and uraemic conditions. However, accurate information about levels of AGEs in foods is lacking. The objective of this investigation was to determine the level of one particular AGE, N-epsilon-(carboxymethyl)lysine (CML), a marker of AGE formation, in a wide range of foods commonly consumed in a Western style diet. Individual foods (n = 257) were mixed, lyophilised, ground, reduced, fat-extracted, hydrolysed, and underwent solid-phase extraction. Extracts were analysed by ultra-performance liquid chromatography-tandem mass spectrometry (UPLC-MS/MS). Cereal (2.6 mg/100 g food) and fruit and vegetable (0.13 mg/100 g food) categories had the highest and lowest mean level of CML, respectively, when expressed in mg/100 g food. These data can be used for estimating potential consumer intakes, and provide information that can be used to educated consumers on how to reduce their CML intake. (C) 2011 Elsevier Ltd. All rights reserved.

Application-based workload model for wireless sensor node computing platforms

Wireless sensor node platforms are very diversified and very constrained, particularly in power consumption. When choosing or sizing a platform for a given application, it is necessary to be able to evaluate in an early design stage the impact of those choices. Applied to the computing platform implemented on the sensor node, it requires a good understanding of the workload it must perform. Nevertheless, this workload is highly application-dependent. It depends on the data sampling frequency together with application-specific data processing and management. It is thus necessary to have a model that can represent the workload of applications with various needs and characteristics. In this paper, we propose a workload model for wireless sensor node computing platforms. This model is based on a synthetic application that models the different computational tasks that the computing platform will perform to process sensor data. It allows to model the workload of various different applications by tuning data sampling rate and processing. A case study is performed by modeling different applications and by showing how it can be used for workload characterization. © 2011 IEEE.

Fault Location on a Distribution Network Using a Decentralised Analysis Process

A reduction in the time required to locate and restore faults on a utility's distribution network improves the customer minutes lost (CML) measurement and hence brings direct cost savings to the operating company. The traditional approach to fault location involves fault impedance determination from high volume waveform files dispatched across a communications channel to a central location for processing and analysis. This paper examines an alternative scheme where data processing is undertaken locally within a recording instrument thus reducing the volume of data to be transmitted. Processed event fault reports may be emailed to relevant operational staff for the timely repair and restoration of the line.

Lovastatin production by Aspergillus terreus using lignocellulose biomass in large scale packed bed reactor

The effect of superficial air velocity on lovastatin production by Aspergillus terreus PL10 using wheat bran and wheat straw was investigated in a 7 l and a 1200 l packed bed reactor. Mass transfer and reaction limitations on bioconversion in the 1200 l reactor was studied based on a central composite design of experiments constructed using the superficial air velocity and solid substrate composition as variables and lovastatin production as response.
The surface response prediction showed a maximum lovastatin production of 1.86 mg g-1 dry substrate on day 5 of the bioconversion process when the reactor was operated using 0.19 vvm airflow rate (23.37 cm min-1 superficial air velocity) and 54% substrate composition (wC). Lovastatin production did not increase significantly with superficial air velocity in the 7 l reactor. Variation in temperature and exit CO2 composition was recorded, and the Damköhler number was calculated for lovastatin production at these two scales. The results showed that in larger reactors mass transfer limitation controlled bioconversion while in smaller reactors bioconversion was controlled by reaction rate limitations. In addition, mass transfer limitations in larger reactors reduced the rate of metabolic heat removal, resulting in hot spots within the substrate bed.

Earthmoving trucks condition level prediction using neural networks

Purpose: The purpose of this paper is to present an artificial neural network (ANN) model that predicts earthmoving trucks condition level using simple predictors; the model’s performance is compared to the respective predictive accuracy of the statistical method of discriminant analysis (DA).

Design/methodology/approach: An ANN-based predictive model is developed. The condition level predictors selected are the capacity, age, kilometers travelled and maintenance level. The relevant data set was provided by two Greek construction companies and includes the characteristics of 126 earthmoving trucks.

Findings: Data processing identifies a particularly strong connection of kilometers travelled and maintenance level with the earthmoving trucks condition level. Moreover, the validation process reveals that the predictive efficiency of the proposed ANN model is very high. Similar findings emerge from the application of DA to the same data set using the same predictors.

Originality/value: Earthmoving trucks’ sound condition level prediction reduces downtime and its adverse impact on earthmoving duration and cost, while also enhancing the maintenance and replacement policies effectiveness. This research proves that a sound condition level prediction for earthmoving trucks is achievable through the utilization of easy to collect data and provides a comparative evaluation of the results of two widely applied predictive methods.