Abstract
In this paper the first steps for the derivation of a mathematical model to describe the mechanical behaviour of a cylindrical electromagnetic vibration energy harvester, designed to extract energy from human gait to power biomedical implantable devices, are provided. As it is usual, in the modelling of such devices, the proposed mechanical model is also based on the solution of Newton's second law, but here a nonlinear closed-form expression is used for the resulting magnetic force of the system, unlike what has been done in previous works where, traditionally, that expression is a linear or is a nonlinear approximation of the real one. The main feature of this mechanical model is that it depends on several parameters which are related to the main characteristics of this kind of devices, which constitutes a major advantage with respect to the usual models available in the literature since these characteristics can always be changed in order to optimize the device. © 2014 © 2014 Taylor & Francis.

Abstract
In the last decade, SAR interferometry techniques, especially those that use time series analysis experienced a strong development in both, methodologies and applications, becoming an operational tool for deformation monitoring. The emergence of a growing number of SAR dedicated missions combined with the increasing interest from academics, but also private research groups, reflected in the number of available software packages developed with interferometric analysis purposes, were the major responsible for the InSAR/MTI achievements occurred over the past few years. Many free-of-charge (freeware or open-source) and commercial software packages exist. Due to its proven reliability and freeware distribution among the scientific community, Stanford Method for Persistent Scatterers/Multi-Temporal Interferometry (StaMPS/MTI) implementation, is widely used for ground deformation monitoring. This paper presents viStaMPS v1.2, a collaborative scientific project that appeared with three major purposes: (1) facilitate the usage by users nonfamiliar with the specificities of the programming language that supports StaMPS; (2) implement several visualization tasks not available in the StaMPS standard approach requiring that each user to develop its own code for visualization and interpretation purposes and (3) create a collaborative research project, continually under development counting on the dynamism of its users to improve and/or add new features. (C) 2014 Published by Elsevier Ltd.

Abstract
The aim of this paper is twofold. Firstly, to present a survey of the actual and most advanced methods for man-made structures monitoring, more specifically dams and bridges. Theoretical and technical aspects of these methodologies are presented and discussed focusing on innovative inspection methods and on the opportunities that could deliver. Secondly, to identify the opportunities that could potentially improve the inspections and maintenance processes, being the satellite-based monitoring, using radar imagery, recognized as viable source of independent information products that may be used to remotely monitor the health of these specific man-made structures. By applying Multi-temporal InSAR processing techniques to a series of radar images over the same region, it is possible to detect vertical movements of structure systems on the ground in the millimeter range, and therefore, identify abnormal or excessive movement indicating potential problems requiring detailed ground investigation. In this paper it is clearly demonstrated that with the new high-resolution synthetic aperture radar satellites scenes, InSAR technology may be particular useful as hot spot indicator of relative deformations structures over large areas, making possible to develop interferometric based methodologies for structural health monitoring. From a technological standpoint, this approach represents a substantial evolution over the current state-of-the-art. (C) 2014 The Authors. Published by Elsevier Ltd.

Abstract
Hypervisor-based virtualization provides a natural way to integrate formerly distinct systems into a single mixed-criticality multicore system by consolidating in separated virtual machines. We propose an adaptive computation bandwidth management for such architectures, which is compatible with a potential certification based on the guarantee of specified bandwidth minimums and the isolation of overruns of virtual machines. This management uses periodic servers and an elastic task model to combine analyzability at design time with adaptability at runtime. Mode changes or early termination of VMs trigger a resource redistribution that reassigns spare capacity. In this paper we focus on the integration of an adaptive reservation policy into a virtualization software stack and the co-design of hypervisor and paravirtualized guest operating system. In a concrete implementation on a PowerPC 405, the bandwidth distribution policy incurred in a memory footprint below 2.7KB and a worst-case execution time for the redistribution function below 4 microseconds for realistic low numbers of VMs. Simulations over synthetically generated sets of VMs with random mode changes showed a gain of 13% of computation bandwidth when compared to an approach with fixed partitions and provided a relative error of allocated bandwidth to desired bandwidth 4 times lower.

Abstract
Being distributed in nature, IEC 61499 industrial control applications are subject to partial failures. Building applications that are tolerant of these failures (i.e. a fault-tolerant application) may be achieved through the use of replication. In this paper we present a framework to support replicated IEC 61499 applications, and study how replica determinism may be achieved in this framework. © 2014 IEEE.

Abstract
BACKGROUND: In a preliminary study the oxidative stability and tocopherol content of pork meat were shown to be improved by olive leaf (OL) feed supplementation at 50 and 100 g kg(-1). However, growth performance was affected negatively. Therefore the objective of the present study was to assess the influence of OL supplementation at a lower level on feed digestibility, growth performance and meat quality. RESULTS: Pigs were fed a basal diet (control), a basal diet with 25 g OL kg(-1) (OL2.5) or a basal diet with 50 g OL kg(-1) (OL5). The incorporation of OL significantly decreased growth rates (P = 0.010) and backfat thickness (P = 0.035) and increased feed/gain ratio (P = 0.032) in the OL5 group. Feed/gain ratio increased more for females (P = 0.001). The incorporation of OL decreased the crude fat (P = 0.006) and protein (P = 0.037) digestibility of both OL diets. Nevertheless, OL was effective in increasing the tocopherol content of meat (P = 0.009). However, meat from pigs fed the OL diets showed similar conjugated diene content, pH and colour parameters to that from pigs fed the control diet, even after 6 days of storage at 4 degrees C. CONCLUSION: The data indicate that olive leaves may be included in pig diets at 25 g kg(-1) in order to improve the tocopherol content of meat without excessively compromising growth performance. (C) 2014 Society of Chemical Industry