A high order model for piezoelectric rods: an asymptotic approach

Preprint submitted to International Journal of Solids and Structures. ISSN 0020-7683

Anderson localization of light in disordered superlattices containing graphene layers

We theoretically investigate light propagation and Anderson localization in one-dimensional disordered superlattices composed of dielectric stacks with graphene sheets in between. Disorder is introduced either on graphene material parameters ({\it e.g.} Fermi energy) or on the widths of the dielectric stacks. We derive an analytic expression for the localization length $\xi$, and compare it to numerical simulations using transfer matrix technique; a very good agreement is found. We demonstrate that the presence of graphene may strongly attenuate the anomalously delocalised Breswter modes, and is at the origin of a periodic dependence of $\xi$ on frequency, in contrast to the usual asymptotic decay, $\xi \propto \omega^{-2}$. By unveiling the effects of graphene on Anderson localization of light, we pave the way for new applications of graphene-based, disordered photonic devices in the THz spectral range.

Cortisol, family coping and burden in informal caregivers of addicts

This study focuses on the prospective mediation role of family coping between burden and cortisol levels in informal caregivers of addicts as well as on the feasible use of two different ways to analyse the salivary cortisol levels. Participants were 120 Portuguese informal caregivers of addicts. The cortisol samples were collected at awakening, 45 minutes later and after a 30 minute presentation of images taken from the International Affective Picture System. Family coping and caregiver burden were measured using the Portuguese versions of the Caregiver Reaction Assessment, and the Family Crisis Oriented Personal Evaluation Scale. Cortisol samples were collected in salivettes and the results were computed in order to determine the Area Under the Curve scores (AUCg, AUCi). Results found family coping to be negatively correlated with burden and AUCg levels (i.e. overall intensity) and positively correlated with either AUCg and AUCi (i.e. change over time). The mediation model revealed that family coping was a partial mediator in the relationship between the burden and AUCg levels. Therefore, Family Coping appears to be an essential variable in understanding the stress response and should be considered in further studies and interventions. In addition, the use of two different formulas for calculating cortisol levels provided important new information concerning the relationship between cortisol, burden and family coping. It seems that burden has a more profound effect on the overall intensity of the neuroendocrine response to caregiver stress and not so much on the sensitivity of the system.

On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

Monitoring for a decidable fragment of MTL-∫

Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-R, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to e↵ectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results.

Surface phenomena and hydrodynamic effects on the deposition of Pseudomonas fluorescens

Biofilm adhesion to metals (copper, aluminium and brass) was studied at two different velocities and pH values of 7 and 9. Both bacteria and metals showed negative surface charges at those values of pH, which tends to slow down adhesion. Film densities increased with the fluid velocity and were also affected by the pH and by the growth rate of the bacteria. Long duration tests based on heat transfer measurements were run at five different fluid velocities and at pH = 7, showing in general an asymptotic behaviour and a control of deposition by adhesion and growth phenomena.