An improved result of exponential stability of stochastic semilinear evolution equations

Sufficient conditions for the exponential stability of a class ofnonlinear, non-autonomous stochastic differential equations in infinitedimensions are studied. The analysis consists of introducing a suitableapproximating solution systems and using a limiting argument to pass onstability of strong solutions to mild ones. As a consequence, the classicalcriteriaof stability in A. Ichikawa [8] are improved and extended to cover a class ofnon-autonomous stochastic evolution equations.Two examples are investigated to illustrate our theory.

Across the bridge: CLEF 2001 - Non-English monolingual retrieval. The French task.

This paper presents work on document retrieval based on first time participation in the CLEF 2001 monolingual retrieval task using French. The experiment findings indicated that Okapi, the text retrieval system in use, can successfully be used for non-English text retrieval. A lot of internal pre-processing is required in the basic search system for conversion into Okapi access formats. Various shell scripts were written to achieve the conversion in a UNIX environment, failure of which would significantly have impeded the overall performance. Based on the experiment findings using Okapi - originally designed for English - it was clear that, although most European languages share conventional word boundaries and variant word morphemes formed by the additon of suffixes, there is significant difference between French and English retrieval depending on the adaptation of indexing and search strategies in use. No sophisticated method for higher recall and precision such as stemming techniques, phrase translation or de-compounding was employed for the experiment and our results were suggestively poor. Future participation would include more refined query translation tools.

Natural inspiration for self-adaptive systems

The emergent behaviour of autonomic systems, together with the scale of their deployment, impedes prediction of the full range of configuration and failure scenarios; thus it is not possible to devise management and recovery strategies to cover all possible outcomes. One solution to this problem is to embed self-managing and self-healing abilities into such applications. Traditional design approaches favour determinism, even when unnecessary. This can lead to conflicts between the non-functional requirements. Natural systems such as ant colonies have evolved cooperative, finely tuned emergent behaviours which allow the colonies to function at very large scale and to be very robust, although non-deterministic. Simple pheromone-exchange communication systems are highly efficient and are a major contribution to their success. This paper proposes that we look to natural systems for inspiration when designing architecture and communications strategies, and presents an election algorithm which encapsulates non-deterministic behaviour to achieve high scalability, robustness and stability.

A policy-definition language and prototype implementation library for policy-based autonomic systems

This paper presents work towards generic policy toolkit support for autonomic computing systems in which the policies themselves can be adapted dynamically and automatically. The work is motivated by three needs: the need for longer-term policy-based adaptation where the policy itself is dynamically adapted to continually maintain or improve its effectiveness despite changing environmental conditions; the need to enable non autonomics-expert practitioners to embed self-managing behaviours with low cost and risk; and the need for adaptive policy mechanisms that are easy to deploy into legacy code. A policy definition language is presented; designed to permit powerful expression of self-managing behaviours. The language is very flexible through the use of simple yet expressive syntax and semantics, and facilitates a very diverse policy behaviour space through both hierarchical and recursive uses of language elements. A prototype library implementation of the policy support mechanisms is described. The library reads and writes policies in well-formed XML script. The implementation extends the state of the art in policy-based autonomics through innovations which include support for multiple policy versions of a given policy type, multiple configuration templates, and meta-policies to dynamically select between policy instances and templates. Most significantly, the scheme supports hot-swapping between policy instances. To illustrate the feasibility and generalised applicability of these tools, two dissimilar example deployment scenarios are examined. The first is taken from an exploratory implementation of self-managing parallel processing, and is used to demonstrate the simple and efficient use of the tools. The second example demonstrates more-advanced functionality, in the context of an envisioned multi-policy stock trading scheme which is sensitive to environmental volatility

Generic support for policy-based self-adaptive systems

This paper presents a policy definition language which forms part of a generic policy toolkit for autonomic computing systems in which the policies themselves can be modified dynamically and automatically. Targeted enhancements to the current state of practice include: policy self-adaptation where the policy itself is dynamically modified to match environmental conditions; improved support for non autonomics-expert developers; and facilitating easy deployment of adaptive policies into legacy code. The policy definition language permits powerful expression of self-managing behaviours and facilitates a diverse policy behaviour space. Features include support for multiple versions of a given policy type, multiple configuration templates, and meta policies to dynamically select between policy instances. An example deployment scenario illustrates advanced functionality in the context of a multi policy stock trading system which is sensitive to environmental volatility.

The AGILE policy expression language for autonomic systems

This paper presents the AGILE policy expression language. The language enables powerful expression of self-managing behaviours and facilitates policy-based autonomic computing in which the policies themselves can be adapted dynamically and automatically. The language is generic so as to be deployable across a wide spectrum of application domains, and is very flexible through the use of simple yet expressive syntax and semantics. The development of AGILE is motivated by the need for adaptive policy mechanisms that are easy to deploy into legacy code and can be used by non autonomics-expert practitioners to embed self-managing behaviours with low cost and risk. A library implementation of the policy language is described. The implementation extends the state of the art in policy-based autonomics through innovations which include support for multiple policy versions of a given policy type, multiple configuration templates, and higher-level ‘meta-policies’ to dynamically select between differently configured business-logic policy instances and templates. Two dissimilar example deployment scenarios are examined.

Effect of fluid dynamics and device mechanism on biofluid behaviour in microchannel systems: modelling biofluids in a microchannel biochip separator

Biofluid behaviour in microchannel systems is investigated in this paper through the modelling of a microfluidic biochip developed for the separation of blood plasma. Based on particular assumptions, the effects of some mechanical features of the microchannels on behaviour of the biofluid are explored. These include microchannel, constriction, bending channel, bifurcation as well as channel length ratio between the main and side channels. The key characteristics and effects of the microfluidic dynamics are discussed in terms of separation efficiency of the red blood cells with respect to the rest of the medium. The effects include the Fahraeus and Fahraeus-Lindqvist effects, the Zweifach-Fung bifurcation law, the cell-free layer phenomenon. The characteristics of the microfluid dynamics include the properties of the laminar flow as well as particle lateral or spinning trajectories. In this paper the fluid is modelled as a single-phase flow assuming either Newtonian or Non-Newtonian behaviours to investigate the effect of the viscosity on flow and separation efficiency. It is found that, for a flow rate controlled Newtonian flow system, viscosity and outlet pressure have little effect on velocity distribution. When the fluid is assumed to be Non-Newtonian more fluid is separated than observed in the Newtonian case, leading to reduction of the flow rate ratio between the main and side channels as well as the system pressure as a whole.

Intrinsic measure of diversity gains in generalised distributed antenna systems with cooperative users

The diversity gains achievable in the generalised distributed antenna system with cooperative users (GDAS-CU) are considered. A GDAS-CU is comprised of M largely separated access points (APs) at one side of the link, and N geographically closed user terminals (UTs) at the other side. The UTs are collaborating together to enhance the system performance, where an idealised message sharing among the UTs is assumed. First, geometry-based network models are proposed to describe the topology of a GDAS-CU. The mean cross-correlation coefficients of signals received from non-collocated APs and UTs are calculated based on the network topology and the correlation models derived from the empirical data. The analysis is also extendable to more general scenarios where the APs are placed in a clustered form due to the constraints of street layout or building structure. Subsequently, a generalised signal attenuation model derived from several stochastic ray-tracing-based pathloss models is applied to describe the power-decaying pattern in urban built-up areas, where the GDAS-CU may be deployed. Armed with the cross-correlation and pathloss model preliminaries, an intrinsic measure of cooperative diversity obtainable from a GDAS-CU is then derived, which is the number of independent fading channels that can be averaged over to detect symbols. The proposed analytical framework would provide critical insight into the degree of possible performance improvement when combining multiple copies of the received signal in such systems.

Development of an in-situ, non-destructive ultrasonic monitoring technique for solder pastes

This paper concerns the use of a non-destructive ultrasonic technique for characterising the rheological properties of solder paste and specifically, the use of through-mode microsecond ultrasonic pulses for evaluation of viscoelastic properties of paste materials at the molecular level. Ultrasonic techniques are a widely used and a reliable form of non-destructive testing of materials. This is because techniques such as ultrasounds while used for testing or monitoring material properties, has offered immense benefits in applications where access to the sample is restricted or when handling the sample for testing could interfere with the monitoring or analysis process. Very often, this would mean that the measurements taken are not a true representation of the behaviour of the material (due to externally incorporated changes into the material's physical state during the removal or testing process). Ultrasonic based techniques are being increasingly used for quality control and production monitoring functions which requires evaluation of the changes in material properties over wide range of industrial applications such as cement paste quality, plastic/polymer extrusion process, dough, and even sugar content in beverage drinks. In addition, ultrasound techniques are of great interest for their capacity to take rapid measurements in systems which are optically opaque. The viscometer and rheometer are two of the most widely used rheological instruments used in industry for monitoring the quality of solder pastes, during the production and packaging stage. One of the potential limitations of viscometer and rheometer based measurements is that the collection and preparation of the solder paste samples can irreversibly alter the structure and flow behaviour of the sample. Hence the measurement may not represent the actual quality of the whole production batch. Secondly, rheological measurements and the interpretation of rheological data is a very technical and time consuming process, which requires professionally trained R&D personnel. It is for these reasons that materials suppliers (who formulate and produce solder pastes) and solder paste consumers (especially, contract electronics manufacturers) are keen to see the development of simple, easy to use and accurate techniques for the theological characterisation of solder pastes. The results from the work show that the technique can be used by R&D personnel involved in paste formulation and manufacture to monitor the batch-to-batch quality and consistency.

In-situ non-destructive ultrasonic rheology technique for monitoring different lead-free solder pastes for surface mount applications

This paper investigates the application of a non-destructive ultrasonic technique for characterising the rheological properties of solder paste through the use of through-mode microsecond ultrasonic pulses for evaluation of viscoelastic properties of lead-free solder paste containing different types of flux. Ultrasonic techniques offer a robust and reliable form of non-destructive testing of materials where access to the sample is restricted or when sample handling can interfere with the monitoring or analysis process due to externally incorporated changes to the material’s physical state or accidental contamination during the removal or testing process. Ultrasonic based techniques are increasingly used for quality control and production monitoring functions which requires evaluation of changes in material properties for a wide range of industrial applications such as cement paste quality, plastic/polymer extrusion process, dough and even sugar content in beverage drinks. In addition, ultrasound techniques are of great interest for their capability to take rapid measurements in systems which are optically opaque. The conventional industry approach for characterising the rheological properties of suspensions during processing/packaging stage is mainly through the use of viscometer and some through the use of rheometer. One of the potential limitations of viscometer and rheometer based measurements is that the collection and preparation of the solder paste samples can irreversibly alter the structure and flow behaviour of the sample. Hence the measurement may not represent the actual quality of the whole production batch. Secondly, rheological measurements and the interpretation of rheological data is a very technical and time consuming process, which requires professionally trained R&D personnel. The ultrasound technique being proposed provides simple, yet accurate and easy to use solution for the in-situ rheological characterisation of solder pastes which will benefit the materials suppliers (who formulate and produce solder pastes) and solder paste consumers (especially, contract electronics manufacturers). The results from the work show that the technique can be used by R&D personnel involved in paste formulation and manufacture to monitor the batch-to-batch quality and consistency.