Search results for "Continuous"
showing 10 items of 899 documents
Minimally Invasive Assessment of Mental Stress based on Wearable Wireless Physiological Sensors and Multivariate Biosignal Processing
2019
The development of connected health technologies for the continuous monitoring of the psychophysical state of individuals performing daily life activities requires the aggregation of non-intrusive sensors and the availability of methods and algorithms for extracting the relevant physiological information. The present study proposes an integrated approach for the objective assessment of mental stress which combines wirelessly connected low invasive biosensors with multivariate physiological time series analysis. In a group of 18 healthy subjects monitored in a relaxed resting state and during two experimental conditions inducing mental stress and sustained attention (respectively, mental ari…
Continuous energy-efficient monitoring model for mobile ad hoc networks
2021
The monitoring of mobile ad hoc networks is an observation task that consists of analysing the operational status of these networks while evaluating their functionalities. In order to allow the whole network and applications to work properly, the monitoring task has become of considerable importance. It must be carried out in real-time by performing measurements, logs, configurations, etc. However, achieving continuous energy-efficient monitoring in mobile wireless networks is very challenging considering the environment features as well as the unpredictable behavior of the participating nodes. This paper outlines the challenges of continuous energy-efficient monitoring over mobile ad hoc n…
A Formal Semantics and a Client Synthesis for a BPEL Service
2008
A complex Web service described with languages like BPEL4WS, consists of an executable process and its observable behaviour (called an abstract process) based on the messages exchanged with the client. The abstract process behaviour is non deterministic due to the internal choices during the service execution. Furthermore the specification often includes timing constraints which must be taken into account by the client. Thus given a service specification, we identify the synthesis of a client as a key issue for the development of Web services. To this end, we propose an approach based on (dense) timed automata to first describe the observable service behaviour and then to build correct inte…
Discrete-Time Adaptive Hysteresis Filter for Parallel Computing and Recursive Identification of Preisach Model
2018
High-precision motion control systems, for instance deployed for micro- and nano-positioning, often use the smart-material based actuators such as piezoelectric and magnetostrictive stages. Those exhibit inherent hysteresis nonlinearities which are challenging to compensate without precise hysteresis modeling. Even if a suitable hysteresis modeling approach is available, its parameter identification, correspondingly adaptation, at normal operating conditions constitute an essential task for the overall control design. This paper uses the direct recursive identification method for the Preisach hysteresis model and describes the fast parallel-computing discrete-time algorithm for an adaptive …
A Realistic Proposal for the Observation of Zeno Phenomena in the Dynamics of Trapped Ions
2001
A realistic experimental scheme for the observation of a continuous measurement Quantum Zeno Effect in the contest of single trapped ions is proposed. Our method relies on the nonlinearities characterizing the ionic Rabi frequency far from the Lamb-Dicke regime.
A Function Algebra Providing New Mergelyan Type Theorems in Several Complex Variables
2019
For compact sets $K\subset \mathbb C^{d}$, we introduce a subalgebra $A_{D}(K)$ of $A(K)$, which allows us to obtain Mergelyan type theorems for products of planar compact sets as well as for graphs of functions.
Separation properties of continuous maps in codimension 1 and geometrical applications
1992
Abstract Nuno Ballesteros, J.J. and M.C. Romero Fuster, Separation properties of continuous maps in codimension 1 and geometrical applications, Topology and its Applications 46 (1992) 107-111. We show that the image of a proper closed continuous map, f , from an n -manifold X to an ( n + 1)-manifold Y , such that H 1 (Y; Z 2 ) =0 , separates Y into at least two connected components provided the self-intersections set of f is not dense in any connected component of Y . We also obtain some geometrical applications.
A remark on weakly convex continuous mappings in topological linear spaces
2009
Abstract Let C be a compact convex subset of a Hausdorff topological linear space and T : C → C a continuous mapping. We characterize those mappings T for which T ( C ) is convexly totally bounded.
Approximate Lax–Wendroff discontinuous Galerkin methods for hyperbolic conservation laws
2017
Abstract The Lax–Wendroff time discretization is an alternative method to the popular total variation diminishing Runge–Kutta time discretization of discontinuous Galerkin schemes for the numerical solution of hyperbolic conservation laws. The resulting fully discrete schemes are known as LWDG and RKDG methods, respectively. Although LWDG methods are in general more compact and efficient than RKDG methods of comparable order of accuracy, the formulation of LWDG methods involves the successive computation of exact flux derivatives. This procedure allows one to construct schemes of arbitrary formal order of accuracy in space and time. A new approximation procedure avoids the computation of ex…
A network model for the short-term prediction of the evolution of cocaine consumption in Spain
2010
Cocaine consumption is a social problem with acute consequences and its dependency can be regarded as a health concern of social transmission. This fact leads us to develop the idea that its transmission dynamics can be studied using epidemiological mathematical models. Under this point of view, in this paper we propose a network model to study the short-term evolution of the cocaine consumer subpopulations. The model parameters are obtained from data source and from an analogue continuous model. Sensitivity of the model parameters is studied. The parameters are associated with prevention and treatment policies and the sensitivity study gives us information about which parameters have more …