Proactive services ecosystem framework

Dissertation presented to obtain the degree of Doctor in Electrical and Computer Engineering, specialization on Collaborative Enterprise Networks

Adhesive selection for single lap bonded joints: Experimentation and advanced techniques for strength prediction

The integrity of multi-component structures is usually determined by their unions. Adhesive-bonding is often used over traditional methods because of the reduction of stress concentrations, reduced weight penalty, and easy manufacturing. Commercial adhesives range from strong and brittle (e.g., Araldite® AV138) to less strong and ductile (e.g., Araldite® 2015). A new family of polyurethane adhesives combines high strength and ductility (e.g., Sikaforce® 7888). In this work, the performance of the three above-mentioned adhesives was tested in single lap joints with varying values of overlap length (LO). The experimental work carried out is accompanied by a detailed numerical analysis by finite elements, either based on cohesive zone models (CZM) or the extended finite element method (XFEM). This procedure enabled detailing the performance of these predictive techniques applied to bonded joints. Moreover, it was possible to evaluate which family of adhesives is more suited for each joint geometry. CZM revealed to be highly accurate, except for largely ductile adhesives, although this could be circumvented with a different cohesive law. XFEM is not the most suited technique for mixed-mode damage growth, but a rough prediction was achieved.

Desenvolvimento de uma framework de argumentação Para apoio à tomada de decisão ubíqua

Os Sistemas de Apoio à Tomada de Decisão em Grupo (SADG) surgiram com o objetivo de apoiar um conjunto de decisores no processo de tomada de decisão. Uma das abordagens mais comuns na literatura para a implementação dos SADG é a utilização de Sistemas Multi-Agente (SMA). Os SMA permitem refletir com maior transparência o contexto real, tanto na representação que cada agente faz do decisor que representa como no formato de comunicação utilizado. Com o crescimento das organizações, atualmente vive-se uma viragem no conceito de tomada de decisão. Cada vez mais, devido a questões como: o estilo de vida, os mercados globais e o tipo de tecnologias disponíveis, faz sentido falar de decisão ubíqua. Isto significa que o decisor deverá poder utilizar o sistema a partir de qualquer local, a qualquer altura e através dos mais variados tipos de dispositivos eletrónicos tais como tablets, smartphones, etc. Neste trabalho é proposto um novo modelo de argumentação, adaptado ao contexto da tomada de decisão ubíqua para ser utilizado por um SMA na resolução de problemas multi-critério. É assumido que cada agente poderá utilizar um estilo de comportamento que afeta o modo como esse agente interage com outros agentes em situações de conflito. Sendo assim, pretende-se estudar o impacto da utilização de estilos de comportamento ao longo do processo da tomada de decisão e perceber se os agentes modelados com estilos de comportamento conseguem atingir o consenso mais facilmente quando comparados com agentes que não apresentam nenhum estilo de comportamento. Pretende-se ainda estudar se o número de argumentos trocados entre os agentes é proporcional ao nível de consenso final após o processo de tomada de decisão. De forma a poder estudar as hipóteses de investigação desenvolveu-se um protótipo de um SADG, utilizando um SMA. Desenvolveu-se ainda uma framework de argumentação que foi adaptada ao protótipo desenvolvido. Os resultados obtidos permitiram validar as hipóteses definidas neste trabalho tendo-se concluído que os agentes modelados com estilos de comportamento conseguem na maioria das vezes atingir um consenso mais facilmente comparado com agentes que não apresentam nenhum estilo de comportamento e que o número de argumentos trocados entre os agentes durante o processo de tomada de decisão não é proporcional ao nível de consenso final.

A multiagent based shop floor transportation system simulator

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Lightweight robust behavior industrial agent methodology

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Transactions in dynamic reactive environments

Most of today’s systems, especially when related to the Web or to multi-agent systems, are not standalone or independent, but are part of a greater ecosystem, where they need to interact with other entities, react to complex changes in the environment, and act both over its own knowledge base and on the external environment itself. Moreover, these systems are clearly not static, but are constantly evolving due to the execution of self updates or external actions. Whenever actions and updates are possible, the need to ensure properties regarding the outcome of performing such actions emerges. Originally purposed in the context of databases, transactions solve this problem by guaranteeing atomicity, consistency, isolation and durability of a special set of actions. However, current transaction solutions fail to guarantee such properties in dynamic environments, since they cannot combine transaction execution with reactive features, or with the execution of actions over domains that the system does not completely control (thus making rolling back a non-viable proposition). In this thesis, we investigate what and how transaction properties can be ensured over these dynamic environments. To achieve this goal, we provide logic-based solutions, based on Transaction Logic, to precisely model and execute transactions in such environments, and where knowledge bases can be defined by arbitrary logic theories.

An agent-based simulator to estimate domestic energy use

Throughout recent years, there has been an increase in the population size, as well as a fast economic growth, which has led to an increase of the energy demand that comes mainly from fossil fuels. In order to reduce the ecological footprint, governments have implemented sustainable measures and it is expected that by 2035 the energy produced from renewable energy sources, such as wind and solar would be responsible for one-third of the energy produced globally. However, since the energy produced from renewable sources is governed by the availability of the respective primary energy source there is often a mismatch between production and demand, which could be solved by adding flexibility on the demand side through demand response (DR). DR programs influence the end-user electricity usage by changing its cost along the time. Under this scenario the user needs to estimate the energy demand and on-site production in advance to plan its energy demand according to the energy price. This work focuses on the development of an agent-based electrical simulator, capable of: (a) estimating the energy demand and on-site generation with a 1-min time resolution for a 24-h period, (b) calculating the energy price for a given scenario, (c) making suggestions on how to maximize the usage of renewable energy produced on-site and to lower the electricity costs by rescheduling the use of certain appliances. The results show that this simulator allows reducing the energy bill by 11% and almost doubling the use of renewable energy produced on-site.

Measurement of the production and lepton charge asymmetry of W bosons in Pb plus Pb collisions at root s(NN)=2.76 TeV with the ATLAS detec

A measurement of W boson production in lead-lead collisions at sNN−−−√=2.76 TeV is presented. It is based on the analysis of data collected with the ATLAS detector at the LHC in 2011 corresponding to an integrated luminosity of 0.14 nb−1 and 0.15 nb−1 in the muon and electron decay channels, respectively. The differential production cross-sections and lepton charge asymmetry are each measured as a function of the average number of participating nucleons ⟨Npart⟩ and absolute pseudorapidity of the charged lepton. The results are compared to predictions based on next-to-leading-order QCD calculations. These measurements are, in principle, sensitive to possible nuclear modifications to the parton distribution functions and also provide information on scaling of W boson production in multi-nucleon systems.

Development of an integrated approach to reliability management and operation

The research described in this thesis has been developed as a part of the Reliability and Field Data Management for Multi-component Products (REFIDAM) Project. This project was founded under the Applied Research Grants Scheme administered by Enterprise Ireland. The project was a partnership between Galway-Mayo Institute of Technology and Thermo King Europe. The project aimed to develop a system in order to manage the information required for reliability assessment and improvement of multi-component products, by establishing information flows within the company and information exchange with fleet users.

Development of a life cycle management system for remote products.

The research described in this thesis has been developed as a part of the Reliability and Field Data Management for Multi-Component Products (REFIDAM) Project. This project was funded under the Applied Research Grants Scheme administered by Enterprise Ireland. The project was a partnership between Galway-Mayo Institute of Technology and an industrial company, Thermo King Europe. The project aimed to develop a system to manage the information required for maintenance costing, cost of ownership, reliability assessment and improvement of multi-component products, by establishing information flows between the customer network and across the Thermo King organisation.

Coupling and monotonicity of queueing processes

The main purpose of this work is to give a survey of main monotonicity properties of queueing processes based on the coupling method. The literature on this topic is quite extensive, and we do not consider all aspects of this topic. Our more concrete goal is to select the most interesting basic monotonicity results and give simple and elegant proofs. Also we give a few new (or revised) proofs of a few important monotonicity properties for the queue-size and workload processes both in single-server and multi- server systems. The paper is organized as follows. In Section 1, the basic notions and results on coupling method are given. Section 2 contains known coupling results for renewal processes with focus on construction of synchronized renewal instants for a superposition of independent renewal processes. In Section 3, we present basic monotonicity results for the queue-size and workload processes. We consider both discrete-and continuous-time queueing systems with single and multi servers. Less known results on monotonicity of queueing processes with dependent service times and interarrival times are also presented. Section 4 is devoted to monotonicity of general Jackson-type queueing networks with Markovian routing. This section is based on the notable paper [17]. Finally, Section 5 contains elements of stability analysis of regenerative queues and networks, where coupling and monotonicity results play a crucial role to establish minimal suficient stability conditions. Besides, we present some new monotonicity results for tandem networks.

Long-term effect of a school-based physical activity program (KISS) on fitness and adiposity in children: a cluster-randomized controlled trial.

BACKGROUND: School-based intervention studies promoting a healthy lifestyle have shown favorable immediate health effects. However, there is a striking paucity on long-term follow-ups. The aim of this study was therefore to assess the 3 yr-follow-up of a cluster-randomized controlled school-based physical activity program over nine month with beneficial immediate effects on body fat, aerobic fitness and physical activity. METHODS AND FINDINGS: Initially, 28 classes from 15 elementary schools in Switzerland were grouped into an intervention (16 classes from 9 schools, n = 297 children) and a control arm (12 classes from 6 schools, n = 205 children) after stratification for grade (1st and 5th graders). Three years after the end of the multi-component physical activity program of nine months including daily physical education (i.e. two additional lessons per week on top of three regular lessons), short physical activity breaks during academic lessons, and daily physical activity homework, 289 (58%) participated in the follow-up. Primary outcome measures included body fat (sum of four skinfolds), aerobic fitness (shuttle run test), physical activity (accelerometry), and quality of life (questionnaires). After adjustment for grade, gender, baseline value and clustering within classes, children in the intervention arm compared with controls had a significantly higher average level of aerobic fitness at follow-up (0.373 z-score units [95%-CI: 0.157 to 0.59, p = 0.001] corresponding to a shift from the 50th to the 65th percentile between baseline and follow-up), while the immediate beneficial effects on the other primary outcomes were not sustained. CONCLUSIONS: Apart from aerobic fitness, beneficial effects seen after one year were not maintained when the intervention was stopped. A continuous intervention seems necessary to maintain overall beneficial health effects as reached at the end of the intervention. TRIAL REGISTRATION: ControlledTrials.com ISRCTN15360785.

Effect of school based physical activity programme (KISS) on fitness and adiposity in primary schoolchildren: cluster randomised controlled trial.

To assess the effectiveness of a school based physical activity programme during one school year on physical and psychological health in young schoolchildren. Cluster randomised controlled trial. 28 classes from 15 elementary schools in Switzerland randomly selected and assigned in a 4:3 ratio to an intervention (n=16) or control arm (n=12) after stratification for grade (first and fifth grade), from August 2005 to June 2006. 540 children, of whom 502 consented and presented at baseline. Children in the intervention arm (n=297) received a multi-component physical activity programme that included structuring the three existing physical education lessons each week and adding two additional lessons a week, daily short activity breaks, and physical activity homework. Children (n=205) and parents in the control group were not informed of an intervention group. For most outcome measures, the assessors were blinded. Primary outcome measures included body fat (sum of four skinfolds), aerobic fitness (shuttle run test), physical activity (accelerometry), and quality of life (questionnaires). Secondary outcome measures included body mass index and cardiovascular risk score (average z score of waist circumference, mean blood pressure, blood glucose, inverted high density lipoprotein cholesterol, and triglycerides). 498 children completed the baseline and follow-up assessments (mean age 6.9 (SD 0.3) years for first grade, 11.1 (0.5) years for fifth grade). After adjustment for grade, sex, baseline values, and clustering within classes, children in the intervention arm compared with controls showed more negative changes in the z score of the sum of four skinfolds (-0.12, 95 % confidence interval -0.21 to -0.03; P=0.009). Likewise, their z scores for aerobic fitness increased more favourably (0.17, 0.01 to 0.32; P=0.04), as did those for moderate-vigorous physical activity in school (1.19, 0.78 to 1.60; P<0.001), all day moderate-vigorous physical activity (0.44, 0.05 to 0.82; P=0.03), and total physical activity in school (0.92, 0.35 to 1.50; P=0.003). Z scores for overall daily physical activity (0.21, -0.21 to 0.63) and physical quality of life (0.42, -1.23 to 2.06) as well as psychological quality of life (0.59, -0.85 to 2.03) did not change significantly. A school based multi-component physical activity intervention including compulsory elements improved physical activity and fitness and reduced adiposity in children. Trial registration Current Controlled Trials ISRCTN15360785.

Appropriateness of methadone maintenance treatment for opiate addiction: evaluation by an expert panel.

With some 30,000 dependent persons, opiate addiction constitutes a major public health problem in Switzerland. The Swiss Federal Office of Public Health (FOPH) has long played a leading role in the prevention and treatment of opiate addiction and in research on effective means of containing the epidemic of opiate addiction and its consequences. Major milestones on that path have been the successive "Methadone reports" published by that Office and providing guidance on the care of opiate addiction with substitution treatment. In view of updating the recommendations for the appropriateness of substitution treatment for opiate addiction, in particular for the prescription of methadone, the FOPH commissioned a multi-component project involving the following elements. A survey of current attitudes and practices in Switzerland related to opiate substitution treatment Review of Swiss literature on methadone substitution treatment Review of international literature on methadone substitution treatment National Methadone Substitution Conference Multidisciplinary expert panel to evaluate the appropriateness of substitution treatment. The present report documents the process and summarises the results of the latter element above. The RAND appropriateness method (RAM) was used to distil from literature-based evidence and systematically formulated expert opinion, areas where consensus exist on the appropriateness (or inappropriateness) of methadone maintenance treatment (MMT) and areas where disagreement or uncertainty persist and which should be further pursued. The major areas which were addressed by this report are Initial assessment of candidates for MMT Appropriate settings for initiation of MMT (general and special cases) Appropriateness of methadone supportive therapy Co-treatments and accompanying measures Dosage schedules and pharmacokinetic testing Withdrawal from MMT Miscellaneous questions Appropriateness of other (non-methadone) substitution treatment Summary statements for each of the above categories are derived from the panel meeting and presented in the report. In the "first round", agreement was observed for 31% of the 553 theoretical scenarios evaluated. The "second round" rating, following discussion of divergent ratings, resulted in a much higher agreement among panellists, reaching 53% of the 537 scenarios. Frank disagreement was encountered for 7% of all scenarios. Overall 49% of the clinical situations (scenarios) presented were considered appropriate. The areas where at least 50% of the situations were considered appropriate were "initial assessment of candidates for MMT", the "appropriate settings for initiation of MMT", the "appropriate settings for methadone supportive treatment" and "Appropriateness of other (non-methadone) substitution treatment". The area where there was the least consensus on appropriateness concerned "appropriateness of withdrawal from MMT" (6%). The report discusses the implications and limitations of the panel results and provides recommendations for the dissemination, application, and future use of the criteria for the appropriateness of MMT. The RAND Appropriateness Method proved to be an accepted and appreciated method to assess the appropriateness of methadone maintenance treatment for opiate addicts. In the next step, the results of the expert panel process must now be combined with those of the Swiss and international literature reviews and the survey of current attitudes and practices in Switzerland, to be synthesized into formal practice guidelines. Such guidelines should be disseminated to all concerned, promoted, used and rigorously evaluated for compliance and outcome.

Regulation of the Gac/Rsm pathway in "Pseudomonas fluorescens" CHA0

SUMMARY : Two-component systems are key mediators implicated in the response of numerous bacteria to a wide range of signals and stimuli. The two-component system comprised of the sensor kinase GacS and the response regulator GacA is broadly distributed among γ-proteobacteria bacteria and fulfils diverse functions such as regulation of carbon storage and expression of virulence. In Pseudomonas fluorescens, a soil bacterium which protects plants from root-pathogenic fungi and nematodes, the GacS/GacA two-component system has been shown to be essential for the production of secondary metabolites and exoenzymes required for the biocontrol activity of the bacterium. The regulatory cascade initiated by GacS/GacA consists of two translational repressor proteins, RsmA and RsmE, as well as three GacAcontrolled small regulatory RNAs RsmX, RsmY and RsmZ, which titrate RsmA and RsmE to allow the expression of biocontrol factors. Genetic analysis revealed that two additional sensor kinases termed RetS and Lads were involved as negative and positive control elements, respectively, in the Gac/Rsm pathway in P. fluoresens CHAO. Furthermore, it could be proposed that RetS and Lads interact with GacS, thereby modulating the expression of antibiotic compounds and hydrogen cyanide, as well as the rpoS gene encoding the stress and stationary phase sigma factor σ. Temperature was found to be an important environmental cue that influences the Gac/Rsm network. Indeed, the production of antibiotic compounds and hydrogen cyanide was reduced at 35°C, by comparison with the production at 30°C. RetS was identified to be involved in this temperature control. The small RNA RsmY was confirmed to be positively regulated by GacA and RsmA/RsmE. Two essential regions were identified in the rsmY promoter by mutational analysis, the upstream activating sequence (UAS) and the linker sequence. Although direct experimental evidence is still missing, several observations suggest that GacA may bind to the UAS, whereas the linker region would be recognized by intermediate RsmA/RsmEdependent repressors and/or activators. In conclusion, this work has revealed new elements contributing to the function of the signal transduction mechanisms in the Gac/Rsm pathway. RESUME : Les systèmes ä deux composants sont des mécanismes d'une importance notoire que beaucoup de bactéries utilisent pour faire face et répondre aux stimuli environnementaux. Le système à deux composants comprenant le senseur GacS et le régulateur de réponse GacA est très répandu chez les γ-protéobactéries et remplit des fonctions aussi diverses que la régulation du stockage de carbone ou l'expression de la virulence. Chez Pseudomonas fluorescens CHAO, une bactérie du sol qui protège les racines des plantes contre des attaques de champignons et nématodes pathogènes, le système à deux composants GacS/GacA est essentiel à la production de métabolites secondaires et d'exoenzymes requis pour l'activité de biocontrôle de la bactérie. La cascade régulatrice initiée pas GacS/GacA fait intervenir deux protéines répresseur de traduction, RsmA et RsmE, ainsi que trois petits ARNs RsmX, RsmY et RsmZ, dont la production est contrôlée par GacA. Ces petits ARNs ont pour rôle de contrecarrer l'action des protéines répressseur de la traduction, ce qui permet l'expression de facteurs de biocontrôle. Des analyses génétiques ont révélé la présence de deux senseurs supplémentaires, appelés Rets et Lads, qui interviennent dans la cascade Gac/Rsm de P. fluorescens. L'impact de ces senseurs est, respectivement, négatif et positif. Ces interactions ont apparenunent lieu au niveau de GacS et permettent une modulation de l'expression des antibiotiques et de l'acide cyanhydrique, ainsi que du gène rpoS codant pour le facteur sigma du stress. La température s'est révélée être un facteur environnemental important qui influence la cascade Gac/Rsm. Il s'avère en effet que la production d'antibiotiques ainsi que d'acide cyanhydrique est moins importante à 35°C qu'à 30°C. L'implication du senseur Rets dans ce contrôle par la température a pu être démontrée. La régulation positive du petit ARN RsmY par GacA et RsmA/RsmE a pu être confirmée; par le biais d'une analyse mutationelle, deux régions essentielles ont pu être mises en évidence dans la région promotrice de rsmY. Malgré le manque de preuves expérimentales directes, certains indices suggèrent que GacA puisse directement se fixer sur une des deux régions (appelée UAS), tandis que la deuxième région (appelée linker) serait plutôt reconnue par des facteurs intermédiaires (activateurs ou répresseurs) dépendant de RsmA/RsmE. En conclusion, ce travail a dévoilé de nouveaux éléments permettant d'éclairer les mécanismes de transduction des signaux dans la cascade Gac/Rsm.