Quality of Service in Distributed Stream Processing for large scale Smart Pervasive Environments

The wide diffusion of cheap, small, and portable sensors integrated in an unprecedented large variety of devices and the availability of almost ubiquitous Internet connectivity make it possible to collect an unprecedented amount of real time information about the environment we live in. These data streams, if properly and timely analyzed, can be exploited to build new intelligent and pervasive services that have the potential of improving people's quality of life in a variety of cross concerning domains such as entertainment, health-care, or energy management. The large heterogeneity of application domains, however, calls for a middleware-level infrastructure that can effectively support their different quality requirements. In this thesis we study the challenges related to the provisioning of differentiated quality-of-service (QoS) during the processing of data streams produced in pervasive environments. We analyze the trade-offs between guaranteed quality, cost, and scalability in streams distribution and processing by surveying existing state-of-the-art solutions and identifying and exploring their weaknesses. We propose an original model for QoS-centric distributed stream processing in data centers and we present Quasit, its prototype implementation offering a scalable and extensible platform that can be used by researchers to implement and validate novel QoS-enforcement mechanisms. To support our study, we also explore an original class of weaker quality guarantees that can reduce costs when application semantics do not require strict quality enforcement. We validate the effectiveness of this idea in a practical use-case scenario that investigates partial fault-tolerance policies in stream processing by performing a large experimental study on the prototype of our novel LAAR dynamic replication technique. Our modeling, prototyping, and experimental work demonstrates that, by providing data distribution and processing middleware with application-level knowledge of the different quality requirements associated to different pervasive data flows, it is possible to improve system scalability while reducing costs.

Design the support for granting required sla in public cloud environments based on cloud foundry

Through the use of Cloud Foundry "stack" concept, a new isolation is provided to the application running on the PaaS. A new deployment feature that can easily scale on distributed system, both public and private clouds.

Sources and pathways of methane formed in oxidative environments

Methane is the most abundant reduced organic compound in the atmosphere. As the strongest known long-lived greenhouse gas after water vapour and carbon dioxide methane perturbs the radiation balance of Earth’s atmosphere. The abiotic formation of methane requires ultraviolet irradiation of organic matter or takes place in locations with high temperature and/or pressure, e.g. during biomass burning or serpentinisation of olivine, under hydrothermal conditions in the oceans deep or below tectonic plates. The biotic methane formation was traditionally thought to be formed only by methanogens under strictly anaerobic conditions, such as in wetland soils, rice paddies and agricultural waste. rnIn this dissertation several chemical pathways are described which lead to the formation of methane under aerobic and ambient conditions. Organic precursor compounds such as ascorbic acid and methionine were shown to release methane in a chemical system including ferrihydrite and hydrogen peroxide in aquatic solution. Moreover, it was shown by using stable carbon isotope labelling experiments that the thio-methyl group of methionine was the carbon precursor for the methane produced. Methionine, a compound that plays an important role in transmethylation processes in plants was also applied to living plants. Stable carbon isotope labelling experiments clearly verified that methionine acts as a precursor compound for the methane from plants. Further experiments in which the electron transport chain was inhibited suggest that the methane generation is located in the mitochondria of the plants. The abiotic formation of methane was shown for several soil samples. Important environmental parameter such as temperature, UV irradiation and moisture were identified to control methane formation. The organic content of the sample as well as water and hydrogen peroxide might also play a major role in the formation of methane from soils. Based on these results a novel scheme was developed that includes both biotic and chemical sources of methane in the pedosphere.rn

Optimized scheduling in real-time environments with column generation

Im Bereich sicherheitsrelevanter eingebetteter Systeme stellt sich der Designprozess von Anwendungen als sehr komplex dar. Entsprechend einer gegebenen Hardwarearchitektur lassen sich Steuergeräte aufrüsten, um alle bestehenden Prozesse und Signale pünktlich auszuführen. Die zeitlichen Anforderungen sind strikt und müssen in jeder periodischen Wiederkehr der Prozesse erfüllt sein, da die Sicherstellung der parallelen Ausführung von größter Bedeutung ist. Existierende Ansätze können schnell Designalternativen berechnen, aber sie gewährleisten nicht, dass die Kosten für die nötigen Hardwareänderungen minimal sind. Wir stellen einen Ansatz vor, der kostenminimale Lösungen für das Problem berechnet, die alle zeitlichen Bedingungen erfüllen. Unser Algorithmus verwendet Lineare Programmierung mit Spaltengenerierung, eingebettet in eine Baumstruktur, um untere und obere Schranken während des Optimierungsprozesses bereitzustellen. Die komplexen Randbedingungen zur Gewährleistung der periodischen Ausführung verlagern sich durch eine Zerlegung des Hauptproblems in unabhängige Unterprobleme, die als ganzzahlige lineare Programme formuliert sind. Sowohl die Analysen zur Prozessausführung als auch die Methoden zur Signalübertragung werden untersucht und linearisierte Darstellungen angegeben. Des Weiteren präsentieren wir eine neue Formulierung für die Ausführung mit fixierten Prioritäten, die zusätzlich Prozessantwortzeiten im schlimmsten anzunehmenden Fall berechnet, welche für Szenarien nötig sind, in denen zeitliche Bedingungen an Teilmengen von Prozessen und Signalen gegeben sind. Wir weisen die Anwendbarkeit unserer Methoden durch die Analyse von Instanzen nach, welche Prozessstrukturen aus realen Anwendungen enthalten. Unsere Ergebnisse zeigen, dass untere Schranken schnell berechnet werden können, um die Optimalität von heuristischen Lösungen zu beweisen. Wenn wir optimale Lösungen mit Antwortzeiten liefern, stellt sich unsere neue Formulierung in der Laufzeitanalyse vorteilhaft gegenüber anderen Ansätzen dar. Die besten Resultate werden mit einem hybriden Ansatz erzielt, der heuristische Startlösungen, eine Vorverarbeitung und eine heuristische mit einer kurzen nachfolgenden exakten Berechnungsphase verbindet.

Statistical mapping of real environments with uwb radars

In this master thesis I evaluated the performance of a Ultra-Wide Bandwidth (UWB) radar system for indoor environments mapping. In particular, I used a statistical Bayesian approach which is able to combine all the measurements collected by the radar, including system non-idealities such as the error on the estimated antenna pointing direction or on the estimated radar position. First I verified through simulations that the system was able to provide a sufficiently accurate reconstruction of the surrounding environment despite the limitations imposed by the UWB technology. In fact, the emission of UWB pulses is limited in terms of transmitted power by international regulations. Motivated by the promising results obtained through simulations, I successively carried out a measurement campaign in a real indoor environment using a UWB commercial device. The obtained results showed that the UWB radar system is capable of providing an accurate reconstruction of indoor environments also adopting not directional antennas.

Analysis and partial solutions of security problems in automotive environments

Questo scritto mira a fare una panoramica dei problemi legati alla sicurezza della comunicazione tra componenti interne dei veicoli e delle soluzioni oggigiorno disponibili. Partendo con una descrizione generale del circuito interno dell’auto analizzeremo i suoi punti di accesso e discuteremo i danni prodotti dalla sua manomissione illecita. In seguito vedremo se ´è possibile prevenire tali attacchi dando un’occhiata alle soluzioni disponibili e soffermandoci in particolare sui moduli crittografici e le loro applicazioni. Infine presenteremo l’implementazione pratica di un protocollo di autenticazione tra ECUs e una dimostrazione matematica della sua sicurezza.

On the recurrence of random walks in Lévy random environments

This thesis investigates one-dimensional random walks in random environment whose transition probabilities might have an infinite variance. The ergodicity of the dynamical system ''from the point of view of the particle'' is proved under the assumptions of transitivity and existence of an absolutely continuous steady state on the space of the environments. We show that, if the average of the local drift over the environments is summable and null, then the RWRE is recurrent. We provide an example satisfying all the hypotheses.

Landscape and well-being: a scoping study on the health-promoting impact of outdoor environments

OBJECTIVES: The present literature review conceptualises landscape as a health resource that promotes physical, mental, and social well-being. Different health-promoting landscape characteristics are discussed. METHODS: This article is based on a scoping study which represents a special kind of qualitative literature review. Over 120 studies have been reviewed in a five-step-procedure, resulting in a heuristic device. RESULTS: A set of meaningful pathways that link landscape and health have been identified. Landscapes have the potential to promote mental well-being through attention restoration, stress reduction, and the evocation of positive emotions; physical well-being through the promotion of physical activity in daily life as well as leisure time and through walkable environments; and social well-being through social integration, social engagement and participation, and through social support and security. CONCLUSION: This scoping study allows us to systematically describe the potential of landscape as a resource for physical, mental and social well-being. A heuristic framework is presented that can be applied in future studies, facilitating systematic and focused research approaches and informing practical public health interventions.

Neocartilage formation in 1 g, simulated, and microgravity environments: implications for tissue engineering

The aim of this study was to analyze and compare the deposition of cartilage-specific extracellular matrix components and cellular organization in scaffold-free neocartilage produced in microgravity and simulated microgravity.

Communication in troubled waters: responses of fish communication systems to changing environments

Fish populations are increasingly being subjected to anthropogenic changes to their sensory environments. The impact of these changes on inter- and intra-specific communication, and its evolutionary consequences, has only recently started to receive research attention. A disruption of the sensory environment is likely to impact communication, especially with respect to reproductive interactions that help to maintain species boundaries. Aquatic ecosystems around the world are being threatened by a variety of environmental stressors, causing dramatic losses of biodiversity and bringing urgency to the need to understand how fish respond to rapid environmental changes. Here, we discuss current research on different communication systems (visual, chemical, acoustic, electric) and explore the state of our knowledge of how complex systems respond to environmental stressors using fish as a model. By far the bulk of our understanding comes from research on visual communication in the context of mate selection and competition for mates, while work on other communication systems is accumulating. In particular, it is increasingly acknowledged that environmental effects on one mode of communication may trigger compensation through other modalities. The strength and direction of selection on communication traits may vary if such compensation occurs. However, we find a dearth of studies that have taken a multimodal approach to investigating the evolutionary impact of environmental change on communication in fish. Future research should focus on the interaction between different modes of communication, especially under changing environmental conditions. Further, we see an urgent need for a better understanding of the evolutionary consequences of changes in communication systems on fish diversity.

HIV-1 Nef interferes with T-lymphocyte circulation through confined environments in vivo

HIV-1 negative factor (Nef) elevates virus replication and contributes to immune evasion in vivo. As one of its established in vitro activities, Nef interferes with T-lymphocyte chemotaxis by reducing host cell actin dynamics. To explore Nef's influence on in vivo recirculation of T lymphocytes, we assessed lymph-node homing of Nef-expressing primary murine lymphocytes and found a drastic impairment in homing to peripheral lymph nodes. Intravital imaging and 3D immunofluorescence reconstruction of lymph nodes revealed that Nef potently impaired T-lymphocyte extravasation through high endothelial venules and reduced subsequent parenchymal motility. Ex vivo analyses of transendothelial migration revealed that Nef disrupted T-lymphocyte polarization and interfered with diapedesis and migration in the narrow subendothelial space. Consistently, Nef specifically affected T-lymphocyte motility modes used in dense environments that pose high physical barriers to migration. Mechanistically, inhibition of lymph node homing, subendothelial migration and cell polarization, but not diapedesis, depended on Nef's ability to inhibit host cell actin remodeling. Nef-mediated interference with in vivo recirculation of T lymphocytes may compromise T-cell help and thus represents an important mechanism for its function as a HIV pathogenicity factor.

DEVELOPMENT OF A HUMANOID ROBOT ARM FOR USE IN URBAN ENVIRONMENTS

The Bucknell Humanoid Robot Arm project was developed in order toprovide a lightweight robotic arm for the IHMC / Bucknell University bipedal robot that will provide a means of manipulation and facilitate operations in urban environments. The resulting fabricated arm described in this thesis weighs only 13 pounds, and is capable of holding 11 pounds fully outstretched, lifting objects such as tools, and it can open doors. It is also capable of being easily integrated with the IHMC / Bucknell University biped. This thesis provides an introduction to robots themselves, discusses the goals of the Bucknell Humanoid Robot Arm project, provides a background on some of the existing robots, and shows how the Bucknell Humanoid Robot Arm fits in with the studies that have been completed. After reading these studies, important items such as design trees and operational scenarios were completed. The completion of these items led to measurable specifications and later the design requirements and specifications. A significant contribution of this thesis to the robotics discipline involves the design of the actuator itself. The arm uses of individual, lightweight, compactly designed actuators to achieve desired capabilities and performance requirements. Many iterations were completed to get to the final design of each actuator. After completing the actuators, the design of the intermediate links and brackets was finalized. Completion of the design led to the development of a complex controls system which used a combination of Clanguage and Java.