In this work we address the problem of managing the reactive behavior in distributed environments in which data continuously changes over time, where the users may need to explicitly express how the triggers should be (self) modified. To enable this we propose the (ECA) – Evolving and Context-Aware Event-Condition-Action paradigm for specifying triggers that capture the desired reactive behavio...

Distributed sensing of structural states is essential to vibration control, health monitoring and shape control of precision structronic systems. Paraboloidal shells of revolution are widely used in aerospace, telecommunication, etc. structures. However, distributed sensing of paraboloidal shell structures is rarely investigated over the years. Micro-sensing characteristics, sensor segmentation...

In this paper we first compare Parikh’s condition to various pumping conditions ~ BarHillel’s pumping lemma, Ogden’s condition and Bader-Moura’s condition; secondly, to interchange condition; and finally, to Sokolowski’s and Grant“s conditions. In order to carry out these comparisons we present some properties of Parikh’s languages. The main result is the orthogonality of the previously mention...

Controllability properties of a partial differential equation (PDE) model describing a thermoelastic plate are studied. The PDE is composed of a Kirchoff plate equation coupled to a heat equation on a bounded domain, with the coupling taking place on the interior and boundary of the domain. The coupling in this PDE is parameterized by α > 0. Boundary control is exerted through the (two) free bo...

2014 We derive a model of convection appropriate for containers with large width to height ratios. It couples a real rapidly varying convective variable to a slowly varying « drift » velocity field given by its stream-function. The derivation assumes stress-free boundary conditions at the top and the bottom. We discuss its extension to the more realistic no-slip case and the analogies/differenc...

Using a weak convergence approach, we prove a LPD for the solution of 2D stochastic Navier Stokes equations when the viscosity converges to 0 and the noise intensity is multiplied by the square root of the viscosity. Unlike previous results on LDP for hydrodynamical models, the weak convergence is proven by tightness properties of the distribution of the solution in appropriate functional spaces.

In this work we deduce an explicit Sommerfeld-type radiation condition able to prove uniqueness for the problem of outgoing wave propagation in isotropic elastic half-spaces with free boundary condition. The expression is obtained by a rigorous asymptotic analysis of the Green’s function associated with this problem. Observe that this is an exterior problem with unbounded frontier. The main dif...

This note concerns a nonlinear differential equation problem in which both the nonlinearity in the equation and its solution are determined by prescribed data. The question under consideration arises from a study of two-dimensional steady parallel-flows of a perfect fluid governed by Euler’s equations and a free-boundary condition, when the distribution of vorticity is arbitrary but prescribed.

A fundamental issue in the development of concurrent programs is the resource allocation problem. Roughly speaking, it consists of providing some mechanism to avoid race conditions in the access of shared resources by two or more concurrent processes. For such a task, maybe the most widely mechanism consists of using critical sections. Unfortunately, it is also widely-known that programs which ...