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.

The Influence of Limited Kinematic Hardening in Shakedown Analysis

The use of the Design by Analysis concept is a trend in modern pressure vessel and piping calculations. DBA flexibility allow us to deal with unexpected configurations detected at in-service inspections. It is also important, in life extension calculations, when deviations of the original standard hypotesis adopted initially in Design by Formula, can happen. To apply the DBA to structures under variable mechanic and thermal loads, it is necessary that, alternate plasticity and incremental collapse (with instantaneous plastic collapse as a particular case), be precluded. These are two basic failure modes considered by ASME or European Standards in DBA. The shakedown theory is the tool available to achieve this goal. In order to apply it, is necessary only the range of the variable loads and the material properties. Precise, robust and efficient algorithms to solve the very large nonlinear optimization problems generated in numerical applications of the shakedown theory is a recent achievement. Zouain and co-workers developed one of these algorithms for elastic ideally-plastic materials. But, it is necessary to consider more realistic material properties in real practical applications. This paper shows an enhancement of this algorithm to dealing with limited kinematic hardening, a typical property of the usual steels. This is done using internal thermodynamic variables. A discrete algorithm is obtained using a plane stress, mixed finite element, with internal variable. An example, a beam encased in an end, under constant axial force and variable moment is presented to show the importance of considering the limited kinematic hardening in a shakedown analysis.

Shakedown Analysis Considering Limited Kinematic Hardening Materials

In design or safety assessment of mechanical structures, the use of the Design by Analysis (DBA) route is a modern trend. However, for making possible to apply DBA to structures under variable loads, two basic failure modes considered by ASME or European Standards must be precluded. Those modes are the alternate plasticity and incremental collapse (with instantaneous plastic collapse as a particular case). Shakedown theory is a tool that permit us to assure that those kinds of failures will be avoided. However, in practical applications, very large nonlinear optimization problems are generated. Due to this facts, only in recent years have been possible to obtain algorithms sufficiently accurate, robust and efficient, for dealing with this class of problems. In this paper, one of these shakedown algorithms, developed for dealing with elastic ideally-plastic structures, is enhanced to include limited kinematic hardening, a more realistic material behavior. This is done in the continuous model by using internal thermodynamic variables. A corresponding discrete model is obtained using an axisymmetric mixed finite element with an internal variable. A thick wall sphere, under variable thermal and pressure loads, is used in an example to show the importance of considering the limited kinematic hardening in the shakedown calculations

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