Dynamic QoS management and optimisation in service-based systems

Service-based systems that are dynamically composed at run time to provide complex, adaptive functionality are currently one of the main development paradigms in software engineering. However, the Quality of Service (QoS) delivered by these systems remains an important concern, and needs to be managed in an equally adaptive and predictable way. To address this need, we introduce a novel, tool-supported framework for the development of adaptive service-based systems called QoSMOS (QoS Management and Optimisation of Service-based systems). QoSMOS can be used to develop service-based systems that achieve their QoS requirements through dynamically adapting to changes in the system state, environment and workload. QoSMOS service-based systems translate high-level QoS requirements specified by their administrators into probabilistic temporal logic formulae, which are then formally and automatically analysed to identify and enforce optimal system configurations. The QoSMOS self-adaptation mechanism can handle reliability- and performance-related QoS requirements, and can be integrated into newly developed solutions or legacy systems. The effectiveness and scalability of the approach are validated using simulations and a set of experiments based on an implementation of an adaptive service-based system for remote medical assistance.

The effects of negative affectivity on self-reported activity limitations in stroke patients:testing the symptom perception, disability and psychosomatic hypotheses

This study investigated whether Negative Affectivity (NA) causes bias in self-report measures of activity limitations or whether NA has a real, non-artifactual association with activity limitations. The Symptom Perception Hypothesis (NA negatively biases self-reporting), Disability Hypothesis (activity limitations cause NA) and Psychosomatic Hypothesis (NA causes activity limitations) were examined longitudinally using both self-report and objective activity limitations measures. Participants were 101 stroke patients and their caregivers interviewed within two weeks of discharge, six weeks later and six months post-discharge. NA and self-report, proxy-report and observed performance activity (walking) limitations were assessed at each interview. NA was associated with activity limitations across measures. Both the Disability and Psychosomatic Hypotheses were supported: initial NA predicted objective activity limitations at six weeks but, additionally, activity limitations at six weeks predicted NA at six months. These results suggest that NA both affects and is affected by activity limitations and does not simply influence reporting.

Agent-orientated auction mechanism and strategy design

Agent-based technology is playing an increasingly important role in today’s economy. Usually a multi-agent system is needed to model an economic system such as a market system, in which heterogeneous trading agents interact with each other autonomously. Two questions often need to be answered regarding such systems: 1) How to design an interacting mechanism that facilitates efficient resource allocation among usually self-interested trading agents? 2) How to design an effective strategy in some specific market mechanisms for an agent to maximise its economic returns? For automated market systems, auction is the most popular mechanism to solve resource allocation problems among their participants. However, auction comes in hundreds of different formats, in which some are better than others in terms of not only the allocative efficiency but also other properties e.g., whether it generates high revenue for the auctioneer, whether it induces stable behaviour of the bidders. In addition, different strategies result in very different performance under the same auction rules. With this background, we are inevitably intrigued to investigate auction mechanism and strategy designs for agent-based economics. The international Trading Agent Competition (TAC) Ad Auction (AA) competition provides a very useful platform to develop and test agent strategies in Generalised Second Price auction (GSP). AstonTAC, the runner-up of TAC AA 2009, is a successful advertiser agent designed for GSP-based keyword auction. In particular, AstonTAC generates adaptive bid prices according to the Market-based Value Per Click and selects a set of keyword queries with highest expected profit to bid on to maximise its expected profit under the limit of conversion capacity. Through evaluation experiments, we show that AstonTAC performs well and stably not only in the competition but also across a broad range of environments. The TAC CAT tournament provides an environment for investigating the optimal design of mechanisms for double auction markets. AstonCAT-Plus is the post-tournament version of the specialist developed for CAT 2010. In our experiments, AstonCAT-Plus not only outperforms most specialist agents designed by other institutions but also achieves high allocative efficiencies, transaction success rates and average trader profits. Moreover, we reveal some insights of the CAT: 1) successful markets should maintain a stable and high market share of intra-marginal traders; 2) a specialist’s performance is dependent on the distribution of trading strategies. However, typical double auction models assume trading agents have a fixed trading direction of either buy or sell. With this limitation they cannot directly reflect the fact that traders in financial markets (the most popular application of double auction) decide their trading directions dynamically. To address this issue, we introduce the Bi-directional Double Auction (BDA) market which is populated by two-way traders. Experiments are conducted under both dynamic and static settings of the continuous BDA market. We find that the allocative efficiency of a continuous BDA market mainly comes from rational selection of trading directions. Furthermore, we introduce a high-performance Kernel trading strategy in the BDA market which uses kernel probability density estimator built on historical transaction data to decide optimal order prices. Kernel trading strategy outperforms some popular intelligent double auction trading strategies including ZIP, GD and RE in the continuous BDA market by making the highest profit in static games and obtaining the best wealth in dynamic games.

Assessing walking limitations in stroke survivors:are self-reports and proxy-reports interchangeable?

Objective: To examine the extent to which proxy-report measures adequately assess walking limitations and are interchangeable with self-report measures in stroke survivors. Design and Participants: Self-report, proxy-report, and observed performance measures of walking limitations were compared cross-sectionally on 3 occasions following the discharge from hospital of 101 stroke survivors. Correlations between measures, differences between mean scores, and agreement of self- and proxy reports were analyzed. Results and Conclusions: Self- and proxy-report measures correlated significantly with each other and with observed performance measures; differences between mean scores were not found. Agreement between individual self- and proxy-report pairs was poor, however, indicating that freely substituting proxy-report data for self-report data when self-report data are unavailable is inappropriate.

A pilot study to evaluate the self-medication system for liver transplant patients at the Queen Elizabeth Hospital in Birmingham

Background and Objective: Medication non-compliance is a considerable obstacle in achievinga therapeutic goal, whichcan result in poorerhealthcare outcomes, increased expenditure, wastage and potential for medication resistance. The UK Government’s Audit Commission’s publication ‘A Spoonful of Sugar’1 addresses these issues and promotes self-medication systems as a possible solution. The self-medication system within the Liver Transplant Unit (LTU) was implemented to induct patients onto new post- transplantation medication regimes ready for discharge. The system involves initial consultations with both the Liver Transplant Pharmacist and Trans- plant Co-ordinator, supported with additional advice as and when necessary. Design: Following ethical approval, evaluation of the self-medication sys- tem for liver transplant patients was conducted between January and March 2004 via two methods: audit and structured post-transplantation interview. The audit enabled any discrepancies between current Hospital guidelines and Liver Transplant Unit (LTU) practices to be highlighted. Patient interviews generated a retrospective insight into patient acceptance of the self-medication system. Setting: LTU, Queen Elizabeth Hospital, Birmingham, England. Main Outcome Measures: LTU compliance with Hospital self-medication guidelines and patient insight into self-medication system. Results: A total of seven patients were audited. Findings illustrated that self- medication by transplant patients is a complex process which was not fully addressed by current Hospital self-medication guidelines. Twenty-three patients were interviewed, showing an overwhelming positive attitude to- wards participating in their own care and a high level of understanding towards their individual medication regimes. Following a drugs counselling session, 100% of patients understood why they were taking their medica- tion, and their doses, 95% understood how to take their medication and 85% were aware of potential side effects. Conclusions: From this pilot evaluation it can be stated that the LTU self-medication system is appreciated by patients and assists them in fully understanding their medication regimes. There appear to be no major defects in the system. However areas such as communication barriers and on-going internet education were illustrated as areas for possible future investigation. References: 1. Audit Commission. A spoonful of sugar – medicines management in NHS hospitals. London: Audit Commission; 2001.

Self-assembly-driven electrospinning:the transition from fibers to intact beaded morphologies

Polymer beads have attracted considerable interest for use in catalysis, drug delivery, and photo­nics due to their particular shape and surface morphology. Electrospinning, typically used for producing nanofibers, can also be used to fabricate polymer beads if the solution has a sufficiently low concentration. In this work, a novel approach for producing more uniform, intact beads is presented by electrospinning self-assembled block copolymer (BCP) solutions. This approach allows a relatively high polymer concentration to be used, yet with a low degree of entanglement between polymer chains due to microphase separation of the BCP in a selective solvent system. Herein, to demonstrate the technology, a well-studied polystyrene-poly(ethylene butylene)–polystyrene triblock copolymer is dissolved in a co-solvent system. The effect of solvent composition on the characteristics of the fibers and beads is intensively studied, and the mechanism of this fiber-to-bead is found to be dependent on microphase separation of the BCP.

Necessary conditions for the emergence of homochirality via autocatalytic self-replication

We analyze a recent proposal for spontaneous mirror symmetry breaking based on the coupling of first-order enantioselective autocatalysis and direct production of the enantiomers that invokes a critical role for intrinsic reaction noise. For isolated systems, the racemic state is the unique stable outcome for both stochastic and deterministic dynamics when the system is in compliance with the constraints dictated by the thermodynamics of chemical reaction processes. In open systems, the racemic outcome also results for both stochastic and deterministic dynamics when driving the auto-catalysis unidirectionally by external reagents. Nonracemic states can result in the latter only if the reverse reactions are strictly zero: these are kinetically controlled outcomes for small populations and volumes, and can be simulated by stochastic dynamics. However, the stability of the thermodynamic limit proves that the racemic outcome is the unique stable state for strictly irreversible externally driven autocatalysis. These findings contradict the suggestion that the inhibition requirement of the Frank autocatalytic model for the emergence of homochirality may be relaxed in a noise-induced mechanism.