Model-driven development of sensor network applications with optimization of non-functional constraints

Wireless sensor networks (WSNs) differ from conventional distributed systems in many aspects. The resource limitation of sensor nodes, the ad-hoc communication and topology of the network, coupled with an unpredictable deployment environment are difficult non-functional constraints that must be carefully taken into account when developing software systems for a WSN. Thus, more research needs to be done on designing, implementing and maintaining software for WSNs. This thesis aims to contribute to research being done in this area by presenting an approach to WSN application development that will improve the reusability, flexibility, and maintainability of the software. Firstly, we present a programming model and software architecture aimed at describing WSN applications, independently of the underlying operating system and hardware. The proposed architecture is described and realized using the Model-Driven Architecture (MDA) standard in order to achieve satisfactory levels of encapsulation and abstraction when programming sensor nodes. Besides, we study different non-functional constrains of WSN application and propose two approaches to optimize the application to satisfy these constrains. A real prototype framework was built to demonstrate the developed solutions in the thesis. The framework implemented the programming model and the multi-layered software architecture as components. A graphical interface, code generation components and supporting tools were also included to help developers design, implement, optimize, and test the WSN software. Finally, we evaluate and critically assess the proposed concepts. Two case studies are provided to support the evaluation. The first case study, a framework evaluation, is designed to assess the ease at which novice and intermediate users can develop correct and power efficient WSN applications, the portability level achieved by developing applications at a high-level of abstraction, and the estimated overhead due to usage of the framework in terms of the footprint and executable code size of the application. In the second case study, we discuss the design, implementation and optimization of a real-world application named TempSense, where a sensor network is used to monitor the temperature within an area.

Opportunities and constraints of transhumant small ruminant production in the Chinese Altay Mountains

This PhD thesis focuses on current livelihoods of agro-pastoral livestock keepers, their animal nutrition, herd and rangeland management strategies. It thereby aims to contribute to sustainable rangeland management, livestock production and household income in Qinghe county of the Chinese Altay Mountain region, located in Xinjiang Uyghur Autonomous Region, PR China. In its first part the study characterizes the socio-economic situation and agricultural practices of agro-pastoralists through structured household interviews. The second part provides insights into the grazing behaviour and feed intake of small ruminants on seasonal pastures in this region, and into the quantitative and qualitative biomass offer on natural rangelands. The third part analyses the reproductive performance and annual growth of the local sheep and goat herds, and, by modelling improved feeding and culling strategies, tests herd management options that potentially improve the monetary output per female herd animal without increasing the pressure onto natural rangelands. Taken together, the results of the study suggest that, despite an increase and intensification of cropping and vegetable gardening in the region of Qinghe, livestock rearing is still the major livelihood strategy both in terms of prevalence and relative importance. However, livestock keeping is challenged by low biomass production on rangelands, due to the combined impact of high climate variability and highly localized grazing pressure on the seasonal pastures. Though government regulations try to tackle the latter aspect, their implementation is sometimes difficult. Alternatives to strict regulation of grazing periods and animal numbers on seasonal pastures are, in the case of goats, more rigorous culling strategies and, in the case of sheep and goats, strategic supplementation of the animals in the winter and spring season. However, for the latter strategy to become economically viable, an improvement of live animal and meat marketing options and an investment in local meat processing facilities that add value to the carcasses is needed. As the regional cities grow rapidly, the potential market to absorb diverse and good quality meat products is there, along with the road network connecting Qinghe county to the regional capital. Such governmental measures will not only create new job opportunities in the region but also benefit the cash income of pastoralists in this westernmost region of China.

Décentralisation et allocation des ressources : les détours de la municipalisation du système de santé brésilien.

Dans cette thèse, nous avons analysé le déroulement d’un processus de municipalisation du système de santé, effectué au Rio Grande do Norte (RN), un des états fédérés du nord-est du Brésil. En tenant compte des contextes historiques d’implantation, nous avons centré notre attention sur la contribution des acteurs impliqués dans ce processus, spécialement dans l’allocation des ressources financières du système. Les croyances, perceptions, attentes, représentations, connaissances, intérêts, l’ensemble des facteurs qui contribuent à la constitution des capacités cognitives de ces acteurs, favorise la réflexivité sur leurs actions et la définition de stratégies diverses de façon à poursuivre leurs objectifs dans le système de santé. Ils sont vus ainsi comme des agents compétents et réflexifs, capables de s’approprier des propriétés structurelles du système de santé (règles et ressources), de façon à prendre position dans l’espace social de ce système pour favoriser le changement ou la permanence du statu quo. Au cours du processus de structuration du Système unique de santé brésilien, le SUS, la municipalisation a été l’axe le plus développé d’un projet de réforme de la santé. Face aux contraintes contextuelles et de la dynamique complexe des espaces sociaux de la santé, les acteurs réformistes n’ont pas pu suivre le chemin de l’utopie idéalisée; quelques détours ont été parcourus. Au RN, la municipalisation de la santé a constitué un processus très complexe où la triade centralisation/décentralisation/recentralisation a suivi son cours au milieu de négociations, de conflits, d’alliances, de disputes, de coopérations, de compétitions. Malgré les contraintes des contextes successifs, des propriétés structurelles du système et des dynamiques sociales dans le système de santé, quelques changements sont intervenus : la construction de leaderships collectifs; l’émergence d’une culture de négociation; la création des structures et des espaces sociaux du système, favorisant les rencontres des acteurs dans chaque municipalité et au niveau de l’état fédéré; un apprentissage collectif sur le processus de structuration du SUS; une grande croissance des services de première ligne permettant d’envisager une inversion de tendance du modèle de prestation des services; les premiers pas vers la rupture avec la culture bureaucratique du système. Le SUS reste prisonnier de quelques enjeux institutionnalisés dans ce système de santé : la dépendance du secteur privé et de quelques groupes de professionnels; le financement insuffisant et instable; la situation des ressources humaines. Les changements arrivés sont convergents, incrémentiels, lents; ils résultent d’actions normatives, délibérées, formalisées. Elles aussi sont issues de l’inattendu, de l’informel, du paradoxe; quelques-unes plus localisées, d’autres plus généralisées, pour une courte ou une plus longue durée.

The Impact of Global English in Xinjiang, China: Linguistic Capital and Identity Negotiation among the Ethnic Minority and Han Chinese Students

Thesis (Ph.D.)--University of Washington, 2016-08

‘We report the world as it is, not as we want it to be’: Journalistic negotiation of news routines, roles and responsibilities when reporting on suicide

Thesis (Master's)--University of Washington, 2016-08

Discrete-time positive periodic systems with state and control constraints

The aim of this paper is to provide an efficient control design technique for discrete-time positive periodic systems. In particular, stability, positivity and periodic invariance of such systems are studied. Moreover, the concept of periodic invariance with respect to a collection of boxes is introduced and investigated with connection to stability. It is shown how such concept can be used for deriving a stabilizing state-feedback control that maintains the positivity of the closed-loop system and respects states and control signals constraints. In addition, all the proposed results can be efficiently solved in terms of linear programming.

Multi-stage scheduling problems with precedence constraints

Abstract not available

The politics of negotiation and implementation: a reciprocal water access agreement in the Himalayan foothills, India

In this paper, we examine the on-the-ground realities of upstream-downstream negotiations and transactions over ecosystem services. We explore the engagement, negotiation, implementation, and postimplementation phases of a “reciprocal water access” (RWA) agreement between village communities and municipal water users at Palampur, Himachal Pradesh, India. We aim to highlight how external actors drove the payments for ecosystem services agenda through a series of facilitation and research engagements, which were pivotal to the RWA’s adoption, and how the agreement fared once external agents withdrew. In the postimplementation period, the RWA agreement continues to be upheld by upstream communities amidst evolving, competing land-use changes and claims. The introduction of cash payments for environmental services for forest-water relationships has given rise to multifaceted difficulties for the upstream hamlets, which has impeded the functionality of their forest management committee. Upstream communities’ formal rights and abilities to control and manage their resources are dynamic and need strengthening and assurance; these developments result in fluctuating transaction and opportunity costs not originally envisaged by the RWA agreement. The paper demonstrates the importance of an explicit understanding of the local politics of negotiation and implementation to determine the effectiveness of compensation-based mechanisms for the supply of ecosystem services.

Earliness penalties on a single machine subject to precedence constraints: SLK due date assignment

Abstract not available

Flow shop scheduling problems under machine-dependent precedence constraints

Abstract not available

Ordering induced by chemical, thermal and mechanical constraints at solid interfaces

We know that classical thermodynamics even out of equilibrium always leads to stable situation which means degradation and consequently d sorder. Many experimental evidences in different fields show that gradation and order (symmetry breaking) during time and space evolution may appear when maintaining the system far from equilibrium. Order through fluctuations, stochastic processes which occur around critical points and dissipative structures are the fundamental background of the Prigogine-Glansdorff and Nicolis theory. The thermodynamics of macroscopic fluctuations to stochastic approach as well as the kinetic deterministic laws allow a better understanding of the peculiar fascinating behavior of organized matter. The reason for the occurence of this situation is directly related to intrinsic non linearities of the different mechanisms responsible for the evolution of the system. Moreover, when dealing with interfaces separating two immiscible phases (liquid - gas, liquid -liquid, liquid - solid, solid - solid), the situation is rather more complicated. Indeed coupling terms playing the major role in the conditions of instability arise from the peculiar singular static and dynamic properties of the surface and of its vicinity. In other words, the non linearities are not only intrinsic to classical steps involving feedbacks, but they may be imbedded with the non-autonomous character of the surface properties. In order to illustrate our goal we discuss three examples of ordering in far from equilibrium conditions: i) formation of chemical structures during the oxidation of metals and alloys; ii) formation of mechanical structures during the oxidation of metals iii) formation of patterns at a solid-liquid moving interface due to supercooling condition in a melt of alloy. © 1984, Walter de Gruyter. All rights reserved.

Diurnal and seasonal variations in the duration and depth of the longest dives in southern elephant seals (Mirounga leonina): possible physiological and behavioural constraints

This study seeks to understand how the physiological constraints of diving may change on a daily and seasonal basis. Dive data were obtained from southern elephant seals (Mirounga leonina) from South Georgia using satellite relay data loggers. We analysed the longest (95th percentile) dive durations as proxies for physiological dive limits. A strong, significant relationship existed between the duration of these dives and the time of day and week of year in which they were performed. The depth of the deepest dives also showed a significant, but far less consistent, relationship with local time of day and season. Changes in the duration of the longest dives occurred irrespective of their depth. Dives were longest in the morning (04:00-12:00 h) and shortest in the evening (16:00-00:00 h). The size of the fluctuation varied among animals from 4.0 to 20.0 min. The daily pattern in dive depth was phase-shifted in relation to the diurnal rhythm in dive duration. Dives were deeper at midday and shallower around midnight. Greater daily changes in duration occurred in seals feeding in the open ocean than in those foraging on the continental shelf. The seasonal peak in the duration of the longest dives coincided with austral midwinter. The size of the increase in dive duration from autumn/spring to winter ranged from 11.5 to 30.0 min. Changes in depth of the longest dives were not consistently associated with particular times of year. The substantial diurnal and seasonal fluctuations in maximum dive duration may be a result of changes in the physiological capacity to remain submerged, in addition to temporal changes in the ecological constraints on dive behaviour. We speculate about the role of melatonin as a hormonal mediator of diving capability.

Topology Optimization of continuum structures with epsilon-relaxed stress constraints

Topology optimization of linear elastic continuum structures is a challenging problem when considering local stress constraints. The reasons are the singular behavior of the constraint with the density design variables, combined with the large number of constraints even for small finite element meshes. This work presents an alternative formulation for the s-relaxation technique, which provides an workaround for the singularity of the stress constraint. It also presents a new global stress constraint formulation. Derivation of the sensitivities for the constraint by the adjoint method is shown. Results for single and multiple load cases show the potential of the new formulation.

The Development of Public Finances and Role of Fiscal Constraints in a Monetary Union: Example eurozone

This thesis is about the development of public debt and deficit in the eurozone, which has been in the center of attention for much of the new millennium. The debt-to-GDP and deficit-to-GDP ratios have changed significantly during the period of the European monetary integration, with sharp increases in the levels since the beginning of the financial crisis. We view the levels both before and after the establishment of the European Central Bank. The subject is complemented by a study of the restrictions on fiscal policy in the eurozone. The thesis begins with a review of the most central agreements in the Economic and Monetary Union, namely the Maastricht Treaty, the Stability and Growth Pact and the Fiscal Compact. We study the instructions and requirements provided by these contracts, with the emphasis being on the debt and deficit values. Furthermore, we view two theories that aim to provide us with information, whether the fiscal restrictions are useful or not. The second and empirical part consists of review on the debt and deficit levels in practice. We take a close look on the values for each of the currency union members. The third and last part summarizes the findings, and analyzes the reasons behind the changes. The result of the thesis is, that even though the levels of public debt and deficit have worsened since the beginning of the financial crisis, tight rules on fiscal policy might not be the best possible solution. Private sector has played a crucial part in the increase of the debt levels, and tight rules have their impact on the long awaited economic growth in the eurozone. It is obvious, though, that some form of fiscal guidelines with scientific ground are needed in order to avoid excessive and harmful debt and deficit levels. The main task is to make these guidelines a more essential part of the fiscal policy in each of the member countries.