173 research outputs found
Hall effect encoding of brushless dc motors
Encoding mechanism integral to the motor and using the permanent magnets embedded in the rotor eliminates the need for external devices to encode information relating the position and velocity of the rotating member
A Theory of Sampling for Continuous-time Metric Temporal Logic
This paper revisits the classical notion of sampling in the setting of
real-time temporal logics for the modeling and analysis of systems. The
relationship between the satisfiability of Metric Temporal Logic (MTL) formulas
over continuous-time models and over discrete-time models is studied. It is
shown to what extent discrete-time sequences obtained by sampling
continuous-time signals capture the semantics of MTL formulas over the two time
domains. The main results apply to "flat" formulas that do not nest temporal
operators and can be applied to the problem of reducing the verification
problem for MTL over continuous-time models to the same problem over
discrete-time, resulting in an automated partial practically-efficient
discretization technique.Comment: Revised version, 43 pages
LNCS
Imprecision in timing can sometimes be beneficial: Metric interval temporal logic (MITL), disabling the expression of punctuality constraints, was shown to translate to timed automata, yielding an elementary decision procedure. We show how this principle extends to other forms of dense-time specification using regular expressions. By providing a clean, automaton-based formal framework for non-punctual languages, we are able to recover and extend several results in timed systems. Metric interval regular expressions (MIRE) are introduced, providing regular expressions with non-singular duration constraints. We obtain that MIRE are expressively complete relative to a class of one-clock timed automata, which can be determinized using additional clocks. Metric interval dynamic logic (MIDL) is then defined using MIRE as temporal modalities. We show that MIDL generalizes known extensions of MITL, while translating to timed automata at comparable cost
Modeling Time in Computing: A Taxonomy and a Comparative Survey
The increasing relevance of areas such as real-time and embedded systems,
pervasive computing, hybrid systems control, and biological and social systems
modeling is bringing a growing attention to the temporal aspects of computing,
not only in the computer science domain, but also in more traditional fields of
engineering.
This article surveys various approaches to the formal modeling and analysis
of the temporal features of computer-based systems, with a level of detail that
is suitable also for non-specialists. In doing so, it provides a unifying
framework, rather than just a comprehensive list of formalisms.
The paper first lays out some key dimensions along which the various
formalisms can be evaluated and compared. Then, a significant sample of
formalisms for time modeling in computing are presented and discussed according
to these dimensions. The adopted perspective is, to some extent, historical,
going from "traditional" models and formalisms to more modern ones.Comment: More typos fixe
Results from the European Union MAPEC_LIFE cohort study on air pollution and chromosomal damage in children: are public health policies sufficiently protective?
Background: Children are at high risk of suffering health consequences of air pollution and childhood exposure can increase the risk of developing chronic diseases in adulthood. This study, part of the MAPEC_LIFE project (LIFE12 ENV/IT/000614), aimed to investigate the associations between exposure to urban air pollutants and micronucleus (MN) frequency, as a biomarker of chromosomal damage, in buccal cells of children for supporting implementation and updating of environmental policy and legislation. Methods: This prospective epidemiological cohort study was carried out on 6- to 8-year-old children living in five Italian towns with different levels and features of air pollution. Exfoliated buccal cells of the children were sampled twice, in winter and spring, obtaining 2139 biological samples for genotoxicological investigation. Micronucleus (MN) frequency was investigated in buccal cells of children and its association with air pollution exposure was assessed applying multiple Poisson regression mixed models, including socio-demographic and lifestyle factors as confounders. We also dichotomize air pollutants\u2019 concentration according to the EU Ambient Air Quality Directives and WHO Air Quality Guidelines in all Poisson regression models to assess their risk predictive capacity. Results: Positive and statistically significant associations were found between MN frequency and PM10, PM2.5, benzene, SO2 and ozone. The increment of the risk of having MN in buccal cells for each \u3bcg/m3 increase of pollutant concentration was maximum for benzene (18.9%, 95% CIs 2.2\u201338.4%) and modest for the other pollutants (between 0.2 and 1.4%). An increased risk (between 17.9% and 59.8%) was found also for exposure to PM10, benzene and benzo(a)pyrene levels higher than the threshold limits. Conclusions: Some air pollutants are able to induce chromosomal damage in buccal cells of children even at concentrations below present EU/WHO limits. This type of biological effects may be indicative of the environmental pressure which populations are exposed to in urban areas
Assessment of atrial regional and global electromechanical function by tissue velocity echocardiography: a feasibility study on healthy individuals
BACKGROUND: The appropriate evaluation of atrial electrical function is only possible by means of invasive electrophysiology techniques, which are expensive and therefore not suitable for widespread use. Mechanical atrial function is mainly determined from atrial volumes and volume-derived indices that are load-dependent, time-consuming and difficult to reproduce because they are observer-dependent. AIMS: To assess the feasibility of tissue velocity echocardiography (TVE) to evaluate atrial electromechanical function in young, healthy volunteers. SUBJECTS AND METHODS: We studied 37 healthy individuals: 28 men and nine women with a mean age of 29 years (range 20–47). Standard two-dimensional (2-D) and Doppler echocardiograms with superimposed TVE images were performed. Standard echocardiographic images were digitized during three consecutive cardiac cycles in cine-loop format for off-line analysis. Several indices of regional atrial electrical and mechanical function were derived from both 2-D and TVE modalities. RESULTS: Some TVE-derived variables indirectly reflected the atrial electrical activation that follows the known activation process as revealed by invasive electrophysiology. Regionally, the atrium shows an upward movement of its walls at the region near the atrio-ventricular ring with a reduction of this movement towards the upper levels of the atrial walls. The atrial mechanical function as assessed by several TVE-derived indices was quite similar in all left atrium (LA) walls. However, all such indices were higher in the right (RA) than the LA. There were no correlations between the 2-D- and TVE-derived variables expressing atrial mechanical function. Values of measurement error and repeatability were good for atrial mechanical function, but only acceptable for atrial electrical function. CONCLUSION: TVE may provide a simple, easy to obtain, reproducible, repeatable and potentially clinically useful tool for quantifying atrial electromechanical function
Retro-trochanteric sciatica-like pain: current concept
The aim of this manuscript is to review the current knowledge in terms of retro-trochanteric pain syndrome, make recommendations for diagnosis and differential diagnosis and offer suggestions for treatment options. The terminology in the literature is confusing and these symptoms can be referred to as ‘greater trochanteric pain syndrome’, ‘trochanteric bursitis’ and ‘trochanteritis’, among other denominations. The authors focus on a special type of sciatica, i.e. retro-trochanteric pain radiating down to the lower extremity. The impact of different radiographic assessments is discussed. The authors recommend excluding pathology in the spine and pelvic area before following their suggested treatment algorithm for sciatica-like retro-trochanteric pain. Level of evidence II
The economic impact of moderate stage Alzheimer's disease in Italy: Evidence from the UP-TECH randomized trial
Background: There is consensus that dementia is the most burdensome disease for modern societies. Few cost-of-illness studies examined the complexity of Alzheimer's disease (AD) burden, considering at the same time health and social care, cash allowances, informal care, and out-of-pocket expenditure by families. Methods: This is a comprehensive cost-of-illness study based on the baseline data from a randomized controlled trial (UP-TECH) enrolling 438 patients with moderate AD and their primary caregiver living in the community. Results: The societal burden of AD, composed of public, patient, and informal care costs, was about �20,000/yr. Out of this, the cost borne by the public sector was �4,534/yr. The main driver of public cost was the national cash-for-care allowance (�2,324/yr), followed by drug prescriptions (�1,402/yr). Out-of-pocket expenditure predominantly concerned the cost of private care workers. The value of informal care peaked at �13,590/yr. Socioeconomic factors do not influence AD public cost, but do affect the level of out-of-pocket expenditure. Conclusion: The burden of AD reflects the structure of Italian welfare. The families predominantly manage AD patients. The public expenditure is mostly for drugs and cash-for-care benefits. From a State perspective in the short term, the advantage of these care arrangements is clear, compared to the cost of residential care. However, if caregivers are not adequately supported, savings may be soon offset by higher risk of caregiver morbidity and mortality produced by high burden and stress. The study has been registered on the website www.clinicaltrials.org (Trial Registration number: NCT01700556). Copyright � International Psychogeriatric Association 2015
- …