On modeling and satisfaction of non-functional requirements using cloud computing

Specification of the non-functional requirements of applications and determining the required resources for their execution are activities that demand a great deal of technical knowledge, frequently resulting in an inefficient use of resources. Cloud computing is an alternative for provisioning of resources, which can be done using either the provider's own infrastructure or the infrastructure of one or more public clouds, or even a combination of both. It enables more flexibly/elastic use of resources, but does not solve the specification problem. In this paper we present an approach that uses models at runtime to facilitate the specification of non-functional requirements and resources, aiming to facilitate dynamic support for application execution in cloud computing environments with shared resources. © 2013 IEEE.

A biological-inspired support frame for an artificial cornea

Bilateral corneal blindness represents a quarter of the total blind, world-wide. The artificial cornea in assorted forms, was developed to replace opaque non-functional corneas and to return sight in otherwise hopeless cases that were not amenable to corneal grafts; believed to be 2% of corneal blind. Despite technological advances in materials design and tissue engineering no artificial cornea has provided absolute, long-term success. Formidable problems exist, due to a combination of unpredictable wound healing and unmanageable pathology. To have a solid guarantee of reliable success an artificial cornea must possess three attributes: an optical window to replace the opaque cornea; a strong, long term union to surrounding ocular tissue; and the ability to induce desired host responses. A unique artificial cornea possesses all three functional attributes- the Osteo-odonto-keratoprosthesis (OOKP). The OOKP has a high success rate and can survive for up to twenty years, but it is complicated both in structure and in surgical procedure; it is expensive and not universally available. The aim of this project was to develop a synthetic substitute for the OOKP, based upon key features of the tooth and bone structure. In doing so, surgical complexity and biological complications would be reduced. Analysis of the biological effectiveness of the OOKP showed that the structure of bone was the most crucial component for implant retention. An experimental semi-rigid hydroxyapatite framework was fabricated with a complex bone-like architecture, which could be fused to the optical window. The first method for making such a framework, was pressing and sintering of hydroxyapatite powders; however, it was not possible to fabricate a void architecture with the correct sizes and uniformity of pores. Ceramers were synthesised using alternative pore forming methods, providing for improved mechanical properties and stronger attachment to the plastic optical window. Naturally occurring skeletal structures closely match the structural features of all forms of natural bone. Synthetic casts were fabricated using the replamineform process, of desirable natural artifacts, such as coral and sponges. The final method of construction by-passed ceramic fabrication in favour of pre-formed coral derivatives and focused on methods for polymer infiltration, adhesion and fabrication. Prototypes were constructed and evaluated; a fully penetrative synthetic OOKP analogue was fabricated according to the dimensions of the OOKP. Fabrication of the cornea shaped OOKP synthetic analogue was also attempted.

Minimizing nasty surprises with better informed decision-making in self-adaptive systems

Designers of self-adaptive systems often formulate adaptive design decisions, making unrealistic or myopic assumptions about the system's requirements and environment. The decisions taken during this formulation are crucial for satisfying requirements. In environments which are characterized by uncertainty and dynamism, deviation from these assumptions is the norm and may trigger 'surprises'. Our method allows designers to make explicit links between the possible emergence of surprises, risks and design trade-offs. The method can be used to explore the design decisions for self-adaptive systems and choose among decisions that better fulfil (or rather partially fulfil) non-functional requirements and address their trade-offs. The analysis can also provide designers with valuable input for refining the adaptation decisions to balance, for example, resilience (i.e. Satisfiability of non-functional requirements and their trade-offs) and stability (i.e. Minimizing the frequency of adaptation). The objective is to provide designers of self adaptive systems with a basis for multi-dimensional what-if analysis to revise and improve the understanding of the environment and its effect on non-functional requirements and thereafter decision-making. We have applied the method to a wireless sensor network for flood prediction. The application shows that the method gives rise to questions that were not explicitly asked before at design-time and assists designers in the process of risk-aware, what-if and trade-off analysis.

Supporting decision-making for self-adaptive systems:from goal models to dynamic decision networks

Context/Motivation - Different modeling techniques have been used to model requirements and decision-making of self-adaptive systems (SASs). Specifically, goal models have been prolific in supporting decision-making depending on partial and total fulfilment of functional (goals) and non-functional requirements (softgoals). Different goalrealization strategies can have different effects on softgoals which are specified with weighted contribution-links. The final decision about what strategy to use is based, among other reasons, on a utility function that takes into account the weighted sum of the different effects on softgoals. Questions/Problems - One of the main challenges about decisionmaking in self-adaptive systems is to deal with uncertainty during runtime. New techniques are needed to systematically revise the current model when empirical evidence becomes available from the deployment. Principal ideas/results - In this paper we enrich the decision-making supported by goal models by using Dynamic Decision Networks (DDNs). Goal realization strategies and their impact on softgoals have a correspondence with decision alternatives and conditional probabilities and expected utilities in the DDNs respectively. Our novel approach allows the specification of preferences over the softgoals and supports reasoning about partial satisfaction of softgoals using probabilities. We report results of the application of the approach on two different cases. Our early results suggest the decision-making process of SASs can be improved by using DDNs. © 2013 Springer-Verlag.

Clinical performance of daily disposable soft contact lenses using sustained release technology

Purpose: Polyvinyl alcohol (PVA) is a successful tear film stabiliser and is widely used in comfort drops and some soft contact lens materials. A PVA-containing lens, nelfilcon A has been modified to include additional (non-functional) PVA in order to provide improved comfort. This study aims to examine the clinical performance of this nelfilcon A lens with AquaRelease™ (AquaRelease). Methods: Two contralateral, investigator masked, open label, subjective and objective evaluations were conducted. The first examined the effect of adding increased molecular weight PVA to nelfilcon A (n = 5), and the second compared this AquaRelease lens to ocufilcon B (n = 34). The principal measures were non-invasive break-up time (NIBUT) and subjective comfort, which were assessed at the beginning and end of a week of daily wear, and three times throughout 1 day at 8, 12 and 16 h. Results: All subjects successfully completed the daily wearing schedule of 16 h. On initial insertion, subjective comfort and NIBUT improved for AquaRelease than original nelfilcon A lenses (p < 0.05). Initial comfort was better for AquaRelease compared to ocufilcon B lenses (p = 0.01); however, NIBUT was not statistically different (11.7 ± 15.6 s versus 8.4 ± 6.8 s; p = 0.26). Subjective comfort decreased with time (p < 0.001), but there was no significant difference between AquaRelease and ocufilcon B lenses (p = 0.16). NIBUT was not significantly affected by time (p = 0.56) or between lenses (p = 0.33). At the end of a weeks' wear, subjective initial, end-of-day, overall comfort and vision were rated significantly better with AquaRelease than ocufilcon B (p < 0.01). Conclusions: Release of additional non-functionalised PVA from the nelfilcon A lenses appears to enhance comfortable contact lens wear. © 2006 British Contact Lens Association.

Dynamic decision-making based on NFR for managing software variability and configuration selection

Due to dynamic variability, identifying the specific conditions under which non-functional requirements (NFRs) are satisfied may be only possible at runtime. Therefore, it is necessary to consider the dynamic treatment of relevant information during the requirements specifications. The associated data can be gathered by monitoring the execution of the application and its underlying environment to support reasoning about how the current application configuration is fulfilling the established requirements. This paper presents a dynamic decision-making infrastructure to support both NFRs representation and monitoring, and to reason about the degree of satisfaction of NFRs during runtime. The infrastructure is composed of: (i) an extended feature model aligned with a domain-specific language for representing NFRs to be monitored at runtime; (ii) a monitoring infrastructure to continuously assess NFRs at runtime; and (iii) a exible decision-making process to select the best available configuration based on the satisfaction degree of the NRFs. The evaluation of the approach has shown that it is able to choose application configurations that well fit user NFRs based on runtime information. The evaluation also revealed that the proposed infrastructure provided consistent indicators regarding the best application configurations that fit user NFRs. Finally, a benefit of our approach is that it allows us to quantify the level of satisfaction with respect to NFRs specification.

Functional identity of receptors for proteolysis-inducing factor on human and murine skeletal muscle

Background: Cachexia in both mice and humans is associated with tumour production of a sulphated glycoprotein called proteolysis-inducing factor (PIF). In mice PIF binds with high affinity to a surface receptor in skeletal muscle, but little is known about the human receptor. This study compares the human PIF receptor with the murine. Methods: Human PIF was isolated from the G361 melanoma and murine PIF from the MAC16 colon adenocarcinoma. The human PIF receptor was isolated from human skeletal muscle myotubes. Protein synthesis and degradation induced by human and murine PIF was studied in human and murine skeletal muscle myotubes. Results: Both the human and murine PIF receptors showed the same immunoreactivity and Mr 40 000. Both murine and human PIF inhibited total protein synthesis and stimulated protein degradation in human and murine myotubes to about the same extent, and this was attenuated by a rabbit polyclonal antibody to the murine PIF receptor, but not by a non-specific rabbit antibody. Both murine and human PIF increased the activity of the ubiquitin-proteasome pathway in both human and murine myotubes, as evidenced by an increased 'chymotrypsin-like' enzyme activity, protein expression of the 20S and 19S proteasome subunits, and increased expression of the ubiquitin ligases MuRF1 and MAFbx, and this was also attenuated by the anti-mouse PIF receptor antibody. Conclusions: These results suggest that the murine and human PIF receptors are identical. © 2014 Cancer Research UK.

Audit fees, non-audit fees and auditor going-concern reporting decisions in the United Kingdom

The accounting profession has come under increased scrutiny over recent years about the growing number of non-audit fees received from audit clients and the possible negative impact of such fees on auditor independence. The argument advanced is that providing substantial amounts of non-audit services to clients may make it more likely that auditors concede to the wishes of the client management when difficult judgments are made. Such concerns are particularly salient in the case of reporting decisions related to going-concern uncertainties for financially stressed clients. This study empirically examines audit reports provided to financially stressed companies in the United Kingdom and the magnitude of audit and non-audit service fees paid to the company’s auditors. We find that the magnitude of both audit fees and non-audit fees are significantly associated with the issuance of a going-concern modified audit opinion. In particular, financially stressed companies with high audit fees are more likely to receive a going-concern modified audit opinion, whereas companies with high non-audit fees are less likely to receive a goingconcern modified audit opinion. Additional analyses indicate that the results are generally robust across alternative model and variable specifications. Overall, evidence supports the contention that high non-audit fees have a detrimental effect on going-concern reporting judgments for financially stressed U.K. companies.

Depolarisation and suppression of burst firing activity in the mouse subthalamic nucleus by dopamine D1/D5 receptor activation of a cyclic-nucleotide gated non-specific cation conductance

Neuronal burst firing in the subthalamic nucleus (STN) is one of the hallmarks of dopamine depletion in Parkinson's disease. Here, we have determined the postsynaptic effects of dopamine in the STN and the functional consequences of dopamine receptor modulation on burst firing in vitro. STN cells displayed regular spiking activity at a rate of 7.9 +/- 0.5 Hz. Application of dopamine (30 mu M) induced membrane depolarisations accompanied by an increase in firing rate of mean 12.0 +/- 0.6 Hz in all 69 cells. The dopamine effect was mimicked by the dopamine D1/D5 receptor agonist SKF38393 (10 mu M, 17 cells) and the dopamine D2-like receptor agonist quinpirole (10 mu M, 35 cells), partly reduced by D1/D5 antagonist SCH23390 (2 mu M, seven cells), but unaffected by the D2 antagonists sulpiride (10 mu M, seven cells) or eticlopride (10 mu M, six cells). Using voltage ramps, dopamine induced an inward current of 69 +/- 9.4 pA at a holding potential of -60 mV (n = 17). This current was accompanied by an increase in input conductance of 1.55 +/- 0.35 nS which reversed at -30.6 +/- 2.3 mV, an effect mimicked by SKF38393 (10 AM, nine cells). Similar responses were observed when measuring instantaneous current evoked by voltage steps and in the presence of the I-h blocker, ZD7288, indicating effects independent of I-h. The increase in conductance was blocked by SCH23390 (2 mu M, n = 4), mimicked by the activator of adenylyl cyclase forskolin (10 mu M, n = 7) and blocked by H-89, an inhibitor of cyclic AMP dependent protein kinase A (10 PM, n = 6). These results indicate that the dopamine depolarisation is in part mediated by D1/D5 receptor mediated activation of a cyclic-nucleotide gated (CNG) non-specific cation conductance. This conductance contributes to the membrane depolarisation that changes STN neuronal bursting to more regular activity by significantly increasing burst duration and number of spikes per burst.

Functional polymers for biomedical application : synthesis and applications

Aromatic and aliphatic diacid chlorides were used to condense naturally occurring diamino acids and their esterified derivatives. It was anticipated the resulting functional polyamides would biodegrade to physiologically acceptable compounds and show pH dependant solubility could be used for biomedical applications ranging from enteric coatings to hydrosoluble drug delivery vehicles capable of targeting areas of low physiological pH. With these applications in mind the polymers were characterised by infra red spectroscopy, gel permeation chromatography and in the case of aqueous soluble polymers by potentiometric titration. Thin films of poly (lysine ethyl ester isophthalamide) plasticised with poly (caprolactone) were cast from DMSO/chloroform solutions and their mechanical properties measured on a Hounsfield Hti tensiometer. Interfacial synthesis was investigated as a synthetic route for the production of linear functional polyamides. High molecular weight polymer was obtained only when esterified diamino acids were condensed with aromatic diacid chlorides. The method was unsuitable for the production of copolymers of free and esterified amino acids with a diacid chloride. A novel miscible mixed solvent single phase reaction was investigated for production of copolymers of esterified and non-esterified amino acids with diacid chlorides. Aliphatic diacid chlorides were unsuitable for condensing diamino acids using this technique because of high rates of hydrolysis. The technique gave high molecular weight homopolymers from esterified diamino acids and aromatic diacid chlorides.

Atom transfer radical polymerisation - towards the synthesis of a fully-functional photorefractive polymer

Atom transfer radical polymerisation (ATRP) of styrene in xylene solution initiated with 1-phenylethyl bromide and mediated by CuBr/N-propyl-2- pyridinemethanimine catalyst complex was studied. The polymerisation was ill-controlled, yielding polymers with broad molecular weight distributions and values of number average molecular weight considerably higher than the theoretical values calculated from 100% initiator efficiency. The degree of control afforded over the polymerisation was enhanced by use of a more soluble catalyst complex, CuBr/N-octyl-2-pyridinemethanimine. Furthermore, the use of a more polar solvent, diglyme, generated a homogeneous catalyst complex that facilitated the production of polymers having narrow molecular weight distributions (1.10 < PDi < 1.20). The kinetics of the atom transfer radical polymerisation of methyl methacrylate at 90°C in diglyme solution initiated with ethyl-2-bromoisobutyrate and mediated by CuBr/N-octyl-2-pyridinemethanimine was studied and the orders of the reaction were established. The effect on the rate of polymerisation of the ratio of CuBr:N-octyl-2-pyridinemethanimine was also determined. The temperature dependencies of the rate of polymerisation of methyl methacrylate in diglyme solution and xylene solution were studied, and were found to be non-linear and dependent upon the polarity of the solvent. The use of highly polar aprotic solvents, such as N,N-dimethylformamide and dimethylsulphoxide, was found to be detrimental to the degree of control afforded over the polymerisation of methyl methacrylate. This was circumvented by use of a 5-fold excess, over that conventionally used, of catalyst complex. The atom transfer radical polymerisation of (4-nitrophenyl)-[3-[N-[2- (methacryloyloxy)ethyl]carbazolyl]]diazene in dimethyl sulphoxide solution was studied. Although homopolymerisation yielded only oligomers, copolymerisation of this monomer with methyl methacrylate was found to be readily achievable. Keywords: ATRP, Styrene; Methyl methacrylate; Polar solvents; Fully-functional photorefractive polymer. 2

Neural network enhanced self tuning adaptive control application for non-linear control of dynamic systems

The main theme of research of this project concerns the study of neutral networks to control uncertain and non-linear control systems. This involves the control of continuous time, discrete time, hybrid and stochastic systems with input, state or output constraints by ensuring good performances. A great part of this project is devoted to the opening of frontiers between several mathematical and engineering approaches in order to tackle complex but very common non-linear control problems. The objectives are: 1. Design and develop procedures for neutral network enhanced self-tuning adaptive non-linear control systems; 2. To design, as a general procedure, neural network generalised minimum variance self-tuning controller for non-linear dynamic plants (Integration of neural network mapping with generalised minimum variance self-tuning controller strategies); 3. To develop a software package to evaluate control system performances using Matlab, Simulink and Neural Network toolbox. An adaptive control algorithm utilising a recurrent network as a model of a partial unknown non-linear plant with unmeasurable state is proposed. Appropriately, it appears that structured recurrent neural networks can provide conveniently parameterised dynamic models for many non-linear systems for use in adaptive control. Properties of static neural networks, which enabled successful design of stable adaptive control in the state feedback case, are also identified. A survey of the existing results is presented which puts them in a systematic framework showing their relation to classical self-tuning adaptive control application of neural control to a SISO/MIMO control. Simulation results demonstrate that the self-tuning design methods may be practically applicable to a reasonably large class of unknown linear and non-linear dynamic control systems.

The anatomical and functional correlates of category-specificity

The dramatic effects of brain damage can provide some of the most interesting insights into the nature of normal cognitive performance. In recent years a number of neuropsychological studies have reported a particular form of cognitive impairment where patients have problems recognising objects from one category but remain able to recognise those from others. The most frequent ‘category-specific’ pattern is an impairment identifying living things, compared to nonliving things. The reverse pattern of dissociation, i.e., an impairment recognising and naming nonliving things relative to living things, has been reported albeit much less frequently. The objective of the work carried out in this thesis was to investigate the organising principles and anatomical correlates of stored knowledge for categories of living and nonliving things. Three complementary cognitive neuropsychological research techniques were employed to assess how, and where, this knowledge is represented in the brain: (i) studies of normal (neurologically intact) subjects, (ii) case-studies of neurologically impaired patients with selective deficits in object recognition, and (iii) studies of the anatomical correlates of stored knowledge for living and nonliving things on the brain using magnetoencephalography (MEG). The main empirical findings showed that semantic knowledge about living and nonliving things is principally encoded in terms of sensory and functional features, respectively. In two case-study chapters evidence was found supporting the view that category-specific impairments can arise from damage to a pre-semantic system, rather than the assumption often made that the system involved must be semantic. In the MEG study, rather than finding evidence for the involvement of specific brain areas for different object categories, it appeared that, when subjects named and categorised living and nonliving things, a non-differentiated neural system was involved.

Functional localisation of human sensory-motor cortex using magnetoencephalography

The 19 channel Neuromagnetometer system in the Clinical Neurophysiology Unit at Aston University is a multi-channel system, unique in the United Kingdom. A bite bar head localisation and MRI co-registration strategy which enabled accurate and reproducible localisation of MEG data into cortical space was developed. This afforded the opportunity to study magnetic fields of the human cortex generated by stimulation of peripheral nerve, by stimulation of visceral sensory receptors and by those evoked through voluntary finger movement. Initially, a study of sensory-motor evoked data was performed in a healthy control population. The techniques developed were then applied to patients who were to undergo neurosurgical intervention for the treatment of epilepsy and I or space occupying lesions. This enabled both validation of the effective accuracy of source localisation using MEG as well as to determine the clinical value of MEG in presurgical assessment of functional localisation in human cortex. The studies in this thesis have demonstrated that MEG can repeatedly and reliably locate sources contained within a single gyrus and thus potentially differentiate between disparate gyral activation. This ability is critical in the clinical application of any functional imaging technique; which is yet to be fully validated by any other 'non-invasive' functional imaging methodology. The technique was also applied to the study of visceral sensory representation in the cortex which yielded important data about the multiple cortical representation of visceral sensory function.

Functional CB2 type cannabinoid receptors at CNS synapses

To date, it has been thought that cannabinoid receptors in CNS are primarily of the CB1R subtype, with CB2R expressed only in glia and peripheral tissues. However, evidence for the expression of CB2 type cannabinoid receptors at neuronal sites in the CNS is building through anatomical localization of receptors and mRNA in neurons and behavioural studies of central effects of CB2R agonists. In the medial entorhinal area of the rat, we found that blockade of CB1R did not occlude suppression of GABAergic inhibition by the non-specific endogenous cannabinoid 2-AG, suggesting that CB1R could not account fully for the effects of 2-AG. Suppression could be mimicked using the CB2R agonist JWH-133 and reversed by the CB2R inverse agonist AM-630, indicating the presence of functional CB2R. When we reversed the order of drug application AM-630 blocked the effects of the CB2R agonist JWH-133, but not the CB1R inverse agonist LY320135. JTE-907, a CB2R inverse agonist structurally unrelated to AM-630 elicited increased GABAergic neurotransmission at picomolar concentrations. Analysis of mIPSCs revealed that CB2R effects were restricted to action potential dependent, but not action potential independent GABA release. These data provide pharmacological evidence for functional CB2R at CNS synapses.