Fast on-wafer electrical, mechanical, and electromechanical characterization of piezoresistive cantilever force sensors

Validation of a technological process requires an intensive characterization of the performance of the resulting devices, circuits, or systems. The technology for the fabrication of micro and nanoelectromechanical systems (MEMS and NEMS) is evolving rapidly, with new kind of device concepts for applications like sensing or harvesting are being proposed and demonstrated. However, the characterization tools and methods for these new devices are still not fully developed. Here, we present an on-wafer, highly precise, and rapid characterization method to measure the mechanical, electrical, and electromechanical properties of piezoresistive cantilevers. The setup is based on a combination of probe-card and atomic force microscopy technology, it allows accessing many devices across a wafer and it can be applied to a broad range of MEMS and NEMS. Using this setup we have characterized the performance of multiple submicron thick piezoresistive cantilever force sensors. For the best design we have obtained a force sensitivity ℜ_F = 158μV/nN, a noise of 5.8 μV (1 Hz–1 kHz) and a minimum detectable force of 37 pN with a relative standard deviation of σ_r ≈ 8%. This small value of σr, together with a high fabrication yield >95%, validates our fabrication technology. These devices are intended to be used as bio-molecular detectors for the measurement of intermolecular forces between ligand and receptor molecule pairs

Checking Interval Properties of Computations

Model checking is a powerful method widely explored in formal verification. Given a model of a system, e.g., a Kripke structure, and a formula specifying its expected behaviour, one can verify whether the system meets the behaviour by checking the formula against the model. Classically, system behaviour is expressed by a formula of a temporal logic, such as LTL and the like. These logics are "point-wise" interpreted, as they describe how the system evolves state-by-state. However, there are relevant properties, such as those constraining the temporal relations between pairs of temporally extended events or involving temporal aggregations, which are inherently "interval-based", and thus asking for an interval temporal logic. In this paper, we give a formalization of the model checking problem in an interval logic setting. First, we provide an interpretation of formulas of Halpern and Shoham's interval temporal logic HS over finite Kripke structures, which allows one to check interval properties of computations. Then, we prove that the model checking problem for HS against finite Kripke structures is decidable by a suitable small model theorem, and we provide a lower bound to its computational complexity.Comment: In Journal: Acta Informatica, Springer Berlin Heidelber, 201

A cross-sectional study on prevalence and predictors of burnout among a sample of pharmacists employed in pharmacies in Central Italy

Burnout is defined as an occupational phenomenon linked to chronic workplace stress that has not been successfully managed and included among the factors influencing health status or contact with health services. Although several studies were performed for assessing this phenomenon, there is a lack of data on the prevalence of burnout and associated predictors, due to different definitions of the syndrome and heterogeneity of assessment methods. One of the well-known evidences on burnout is related to the highest risk professions, which include policemen, firemen, teachers, psychologists, medical students, nurses, physicians, and other health professionals, such as pharmacists. Objective. The aims of the present study were to (1) assess the occurrence of burnout syndrome among a sample of pharmacists employed in public and private pharmacies located in Rome province (Latium Region; central Italy); (2) evaluate the role of some potential predictors for the development of the syndrome. Materials and Methods. A questionnaire elaborated ad hoc was administered online to 2,000 members of the Association of Professional Pharmacists of Rome and its province and employed in public or private pharmacies. The questionnaire included the 14-item Shirom-Melamed Burnout Measure (SMBM) tool and questions on demographic characteristics and working conditions. Results. Physical exhaustion was the burnout dimension with the highest score; besides, approximately 11% of the studied pharmacists were categorized as having clinically relevant burnout levels (≥4.40). Several of the investigated variables significantly influenced the single burnout dimensions at the univariate analyses; multivariate analyses demonstrated that alcohol consumption and workplace location have a significant independent role on the overall SMBM index, while working time significantly influences clinically relevant burnout level. Conclusions. The results revealed that pharmacists are at risk of burnout, and thus, it is necessary to perform specific preventive intervention for managing this occupational threat

Antioxidant and immune response of the sea urchin Paracentrotus lividus to different re-suspension patterns of highly polluted marine sediments

Marine pollution due to disused industrial activities is a major threat to ecosystems and human health, for example through the effects of re-suspension of toxic substances that are present in contaminated sediments. Here, we examined the effects of different re-suspension patterns of polluted sediments from the site of national interest Bagnoli-Coroglio, on the immune system of the sea urchin Paracentrotus lividus. An indoor experiment was set up exposing sea urchins for 34 days to such sediments and evaluating the effects of two patterns of water turbulence, mimicking natural storms at sea. One group of animals experienced an “aggregated” pattern of turbulence, consisting in two events, each lasting 2 days, separated by only 3 calm days, while a second group experienced two events of turbulence separated by 17 calm days (spaced pattern). At different times from the beginning of the experiment, coelomic fluid was collected from the animals and immune cells were examined for cell count and morphology, oxidative stress variables, and expression of genes involved in metal detoxification, stress response and inflammation. Our results highlighted that the aggregated pattern of turbulence was more noxious for sea urchins. Indeed, their immune system was altered, over the exposure time, as indicated by the increase of red amoebocytes number. Moreover, despite of an increase of the antioxidant power, animals from this group displayed a very significant ROS over-production at the end of the experiment. Conversely, animals in the spaced condition activated a different immune response, mainly having phagocytes as actors, and were able to partially recover from the received stress at the end of the experiment. No changes in the expression of genes related to antioxidant and anti-inflammatory responses were observed in both groups. By contrast, a down-regulation of various metallothioneins (4, 6, 7 and 8) in the group subjected to aggregated pattern was observed, while metallothionein 8 was up-regulated in the animals from the group exposed to the spaced pattern of turbulence. This work provides the first evidence of how sea urchins can respond to different re-suspension patterns of polluted sediments by modulating their immune system functions. The present data are relevant in relation to the possible environmental restoration of the study site, whose priorities include the assessment of the effects of marine pollution on local organisms, among which P. lividus represents a key benthic species

Fast on-wafer electrical, mechanical, and electromechanical characterization of piezoresistive cantilever force sensors

Validation of a technological process requires an intensive characterization of the performance of the resulting devices, circuits or systems. The technology for the fabrication of Micro and Nanoelectromechanical systems is evolving rapidly, with new kind of device concepts for applications like sensing or harvesting are being proposed and demonstrated. However, the characterization tools and methods for these new devices are still nor fully developed. Here, we present an on-wafer, highly precise and rapid characterization method to measure the mechanical, electrical and electromechanical properties of piezoresistive cantilevers. The set-up is based on a combination of probe-card and atomic force microscopy (AFM) technology, it allows accessing many devices across a wafer and it can be applied to a broad range of MEMS and NEMS. Using this set-up we have characterized the performance of multiple submicron thick piezoresistive cantilever force sensors. For the best design we have obtained a force sensitivity RF=158 uV/nN, a noise of 5.8 uV (1Hz-1kHz) and a minimum detectable force (MDF) of 37 pN with a relative standard deviation of sigma=8%. This small value of sigma, together with a high fabrication yield >95%, validates our fabrication technology. The devices are intended to be used as bio-molecular detectors for the measurement of intermolecular forces between ligand and receptor molecule pairs.This work has been supported by MICINN through projects TEC2011-23600 and NANOSELECT-CSD2007- 00041 (Consolider-Ingenio 2010 Programme).Peer reviewe

Influence of the meteorological record length on the generation of representative weather files

Heat and moisture (HM) transfer simulations of building envelopes and whole building energy simulations require adequate weather files. The common approach is to use weather data of reference years constructed from meteorological records. The weather record affects the capability of representing the real weather of the resulting reference years. In this paper the problem of the influence of the length of the records on the representativeness of the reference years is addressed and its effects are evaluated also for the applicative case of the moisture accumulation risk analysis with the Glaser Method and with DELPHIN 6, confirming that records shorter than 10 years could lead to less representative reference years. On the other hand, it is shown that reference years obtained from longer periods are not representative of the most recent years, which present higher dry-bulb air temperatures due to a short-term climate change effect observed in all the considered weather records. An alternative representative year (Moisture Representative Year) to be used in building energy simulations with a strong dependence on moisture is presented

Comparison of amsler–krumeich and sandali classifications for staging eyes with keratoconus

Keratoconus (KC) is the most common corneal ectasia characterized by progressive corneal thinning, protrusion, and irregular astigmatism. The Amsler–Krumeich classification based on the analysis of corneal topography, corneal thickness, refraction and biomicroscopy is the most commonly used; recently, a new classification based on anterior segment Optical Coherence Tomography was introduced by Sandali and colleagues. Since there is no information about the possible agreement between these two classifications, the aim of this study is to compare the stratification of consecutive KC patients using the Amsler–Krumeich and Sandali classifications, and to further ascertain KC cases in which one classification is preferred over the other. Overall, 252 eyes of 137 patients (41.45 ± 16.93 years) were analyzed: in 156 eyes (61.9%), the Amsler and Sandali staging differed in one stage while in 75 cases (29.8%) it differed in two or more stages. In 222 eyes (88.1%), the Sandali staging was higher compared to the Amsler one. These results show that the two classifications are not fully interchangeable: the Amsler–Krumeich classification is more appropriate in identifying and longitudinally monitoring patients with early stages of KC, while the Sandali classification for the diagnosis and follow-up of patients with more advanced stages, particularly when a surgical planning has to be chosen

Automated Syntheses of Carrier-free 77Br-labelled Alkylbromides

開始ページ、終了ページ: 冊子体のページ付