Development of dependable controllers in the context of machines design

Proceedings of ICMD 2013In the domain of machines' design, one of the most important issues to solve is related with the controller's design, mainly, guaranteeing that the machine will behave as expected. In order to achieve a dependable controller, some steps can be considered, such as the formalization of its specification - before being translated to the program that will be inserted in the controller device - and the respective analysis and verification. Nowadays, some formal analysis techniques, such as formal verification, are used to achieve this purpose. The dependability of a controller, however, is impacted by its execution context. This paper proposes an approach for the formal verification of the specification of mechatronic system's controllers, which considers, on the formal verification tasks, the behavior of the plant and the behavior of the Human Machine Interface of the Mechatronic system. Some conclusions are extrapolated for other systems of the same kind

Upper tropospheric ozone production from lightning NOx-impacted convection: Smoke ingestion case study from the DC3 campaign

©2015. American Geophysical Union. All Rights Reserved. As part of the Deep Convective Cloud and Chemistry (DC3) experiment, the National Science Foundation/National Center for Atmospheric Research (NCAR) Gulfstream-V (GV) and NASA DC-8 research aircraft probed the chemical composition of the inflow and outflow of two convective storms (north storm, NS, south storm, SS) originating in the Colorado region on 22 June 2012, a time when the High Park wildfire was active in the area. A wide range of trace species were measured on board both aircraft including biomass burning (BB) tracers hydrogen cyanide (HCN) and acetonitrile (ACN). Acrolein, a much shorter lived tracer for BB, was also quantified on the GV. The data demonstrated that the NS had ingested fresh smoke from the High Park fire and as a consequence had a higher VOC OH reactivity than the SS. The SS lofted aged fire tracers along with other boundary layer ozone precursors and was more impacted by lightning NOx (LNOx) than the NS. The NCAR master mechanism box model was initialized with measurements made in the outflow of the two storms. The NS and SS were predicted to produce 11 and 14ppbv of O3, respectively, downwind of the storm over 2days. Sensitivity tests revealed that the ozone production potential of the SS was highly dependent on LNOx. Normalized excess mixing ratios, ΔX/ΔCO, for HCN and ACN were determined in both the fire plume and the storm outflow and found to be 7.0±0.5 and 2.3±0.5pptvppbv-1, respectively, and 1.4±0.3pptvppbv-1 for acrolein in the outflow only

Forecasting Dengue, Chikungunya and Zika cases in Recife, Brazil: a spatio-temporal approach based on climate conditions, health notifications and machine learning

Dengue has become a challenge for many countries. Arboviruses transmitted by Aedes aegypti spread rapidly over the last decades. The emergence chikungunya fever and zika in South America poses new challenges to vector monitoring and control. This situation got worse from 2015 and 2016, with the rapid spread of chikungunya, causing fever and muscle weakness, and Zika virus, related to cases of microcephaly in newborns and the occurrence of Guillain-Barret syndrome, an autoimmune disease that affects the nervous system. The objective of this work was to construct a tool to forecast the distribution of arboviruses transmitted by the mosquito Aedes aegypti by implementing dengue, zika and chikungunya transmission predictors based on machine learning, focused on multilayer perceptrons neural networks, support vector machines and linear regression models. As a case study, we investigated forecasting models to predict the spatio-temporal distribution of cases from primary health notification data and climate variables (wind velocity, temperature and pluviometry) from Recife, Brazil, from 2013 to 2016, including 2015’s outbreak. The use of spatio-temporal analysis over multilayer perceptrons and support vector machines results proved to be very effective in predicting the distribution of arbovirus cases. The models indicate that the southern and western regions of Recife were very susceptible to outbreaks in the period under investigation. The proposed approach could be useful to support health managers and epidemiologists to prevent outbreaks of arboviruses transmitted by Aedes aegypti and promote public policies for health promotion and sanitation

Education can improve the negative perception of a threatened long-lived scavenging bird, the Andean condor

Human-wildlife conflicts currently represent one of the main conservation problems for wildlife species around the world. Vultures have serious conservation concerns, many of which are related to people's adverse perception about them due to the belief that they prey on livestock. Our aim was to assess local perception and the factors influencing people's perception of the largest scavenging bird in South America, the Andean condor. For this, we interviewed 112 people from Valle Fértil, San Juan province, a rural area of central west Argentina. Overall, people in the area mostly have an elementary education, and their most important activity is livestock rearing. The results showed that, in general, most people perceive the Andean condor as an injurious species and, in fact, some people recognize that they still kill condors. We identified two major factors that affect this perception, the education level of villagers and their relationship with livestock ranching. Our study suggests that conservation of condors and other similar scavengers depends on education programs designed to change the negative perception people have about them. Such programs should be particularly focused on ranchers since they are the ones who have the worst perception of these scavengers. We suggest that highlighting the central ecological role of scavengers and recovering their cultural value would be fundamental to reverse their persecution and their negative perception by people.Fil: Cailly Arnulphi, Verónica Beatríz. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan. Centro de Investigaciones de la Geosfera y Biosfera. Universidad Nacional de San Juan. Facultad de Ciencias Exactas Físicas y Naturales. Centro de Investigaciones de la Geosfera y Biosfera; ArgentinaFil: Lambertucci, Sergio Agustin. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Patagonia Norte. Instituto de Investigaciones en Biodiversidad y Medioambiente. Universidad Nacional del Comahue. Centro Regional Universidad Bariloche. Instituto de Investigaciones en Biodiversidad y Medioambiente; ArgentinaFil: Borghi, Carlos Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan. Centro de Investigaciones de la Geosfera y Biosfera. Universidad Nacional de San Juan. Facultad de Ciencias Exactas Físicas y Naturales. Centro de Investigaciones de la Geosfera y Biosfera; Argentin

On a New Species of Hysterothylacium (Nematoda: Anisakidae) from Cauque mauleanum (Pisces: Atherinidae) by Brightfield and Scanning Electron Microscopy

Hysterothylacium geschei n. sp. (Nematoda, Anisakidae) is described from the intestine of Cauque mauleanum (Steindachner) (Pisces: Atherinidae) from Lake Panguipulli (39º43'S; 72º13'W), Chile. Eleven (78.6%) out of 14 fish were infected, with a mean intensity (range) of 14.4 (1-55) worms. The new species can be differentiated from the two previously described species of freshwater fishes from South America by the presence of lateral alae, the number of caudal papillae, and the length of the spicules, oesophagus, intestinal caecum, distance vulva-anterior extremity and the length ratio intestinal caecum: ventricular appendix. From the fishes examined in Lake Panguipulli, including the introduced salmonid species Oncorhynchus mykiss (Walbaum) and the authochthonous species Basilichthys australis Eigenmann (Atherinidae) and Percichthys trucha (Valenciennes) (Percichthyidae), only one specimen of P. trucha was found parasitized by a third-stage larva of this species

Structure Discovery in Mixed Order Hyper Networks

Background  Mixed Order Hyper Networks (MOHNs) are a type of neural network in which the interactions between inputs are modelled explicitly by weights that can connect any number of neurons. Such networks have a human readability that networks with hidden units lack. They can be used for regression, classification or as content addressable memories and have been shown to be useful as fitness function models in constraint satisfaction tasks. They are fast to train and, when their structure is fixed, do not suffer from local minima in the cost function during training. However, their main drawback is that the correct structure (which neurons to connect with weights) must be discovered from data and an exhaustive search is not possible for networks of over around 30 inputs.  Results  This paper presents an algorithm designed to discover a set of weights that satisfy the joint constraints of low training error and a parsimonious model. The combined structure discovery and weight learning process was found to be faster, more accurate and have less variance than training an MLP.  Conclusions  There are a number of advantages to using higher order weights rather than hidden units in a neural network but discovering the correct structure for those weights can be challenging. With the method proposed in this paper, the use of high order networks becomes tractable

Analysis of Global Sumoylation Changes Occurring during Keratinocyte Differentiation

Sumoylation is a highly dynamic process that plays a role in a multitude of processes ranging from cell cycle progression to mRNA processing and cancer. A previous study from our lab demonstrated that SUMO plays an important role in keratinocyte differentiation. Here we present a new method of tracking the sumoylation state of proteins by creating a stably transfected HaCaT keratinocyte cell line expressing an inducible SNAP-SUMO3 protein. The SNAP-tag allows covalent fluorescent labeling that is denaturation resistant. When combined with two-dimensional gel electrophoresis, the SNAP-tag technology provides direct visualization of sumoylated targets and can be used to follow temporal changes in the global cohort of sumoylated proteins during dynamic processes such as differentiation. HaCaT keratinocyte cells expressing SNAP-SUMO3 displayed normal morphological and biochemical features that are consistent with typical keratinocyte differentiation. SNAP-SUMO3 also localized normally in these cells with a predominantly nuclear signal and some minor cytoplasmic staining, consistent with previous reports for untagged SUMO2/3. During keratinocyte differentiation the total number of proteins modified by SNAP-SUMO3 was highest in basal cells, decreased abruptly after induction of differentiation, and slowly rebounded beginning between 48 and 72 hours as differentiation progressed. However, within this overall trend the pattern of change for individual sumoylated proteins was highly variable with both increases and decreases in amount over time. From these results we conclude that sumoylation of proteins during keratinocyte differentiation is a complex process which likely reflects and contributes to the biochemical changes that drive differentiation

Mechanism of Dinitrochlorobenzene-Induced Dermatitis in Mice: Role of Specific Antibodies in Pathogenesis

Dinitrochlorobenzene-induced contact hypersensitivity is widely considered as a cell-mediated rather than antibody-mediated immune response. At present, very little is known about the role of antigen-specific antibodies and B cells in the development of dinitrochlorobenzene-induced hypersensitivity reactions, and this is the subject of the present investigation.Data obtained from multiple lines of experiments unequivocally showed that the formation of dinitrochlorobenzene-specific Abs played an important role in the development of dinitrochlorobenzene-induced contact hypersensitivity. The appearance of dinitrochlorobenzene-induced skin dermatitis matched in timing the appearance of the circulating dinitrochlorobenzene-specific antibodies. Adoptive transfer of sera containing dinitrochlorobenzene-specific antibodies from dinitrochlorobenzene-treated mice elicited a much stronger hypersensitivity reaction than the adoptive transfer of lymphocytes from the same donors. Moreover, dinitrochlorobenzene-induced contact hypersensitivity was strongly suppressed in B cell-deficient mice with no DNCB-specific antibodies. It was also observed that treatment of animals with dinitrochlorobenzene polarized Th cells into Th2 differentiation by increasing the production of Th2 cytokines while decreasing the production of Th1 cytokines.In striking contrast to the long-held belief that dinitrochlorobenzene-induced contact hypersensitivity is a cell-mediated immune response, the results of our present study demonstrated that the production of dinitrochlorobenzene-specific antibodies by activated B cells played an indispensible role in the pathogenesis of dinitrochlorobenzene-induced CHS. These findings may provide new possibilities in the treatment of human contact hypersensitivity conditions

TRY plant trait database - enhanced coverage and open access

Plant traits-the morphological, anatomical, physiological, biochemical and phenological characteristics of plants-determine how plants respond to environmental factors, affect other trophic levels, and influence ecosystem properties and their benefits and detriments to people. Plant trait data thus represent the basis for a vast area of research spanning from evolutionary biology, community and functional ecology, to biodiversity conservation, ecosystem and landscape management, restoration, biogeography and earth system modelling. Since its foundation in 2007, the TRY database of plant traits has grown continuously. It now provides unprecedented data coverage under an open access data policy and is the main plant trait database used by the research community worldwide. Increasingly, the TRY database also supports new frontiers of trait-based plant research, including the identification of data gaps and the subsequent mobilization or measurement of new data. To support this development, in this article we evaluate the extent of the trait data compiled in TRY and analyse emerging patterns of data coverage and representativeness. Best species coverage is achieved for categorical traits-almost complete coverage for 'plant growth form'. However, most traits relevant for ecology and vegetation modelling are characterized by continuous intraspecific variation and trait-environmental relationships. These traits have to be measured on individual plants in their respective environment. Despite unprecedented data coverage, we observe a humbling lack of completeness and representativeness of these continuous traits in many aspects. We, therefore, conclude that reducing data gaps and biases in the TRY database remains a key challenge and requires a coordinated approach to data mobilization and trait measurements. This can only be achieved in collaboration with other initiatives