Mobile Robot Lab Project to Introduce Engineering Students to Fault Diagnosis in Mechatronic Systems

This document is a self-archiving copy of the accepted version of the paper. Please find the final published version in IEEEXplore: http://dx.doi.org/10.1109/TE.2014.2358551This paper proposes lab work for learning fault detection and diagnosis (FDD) in mechatronic systems. These skills are important for engineering education because FDD is a key capability of competitive processes and products. The intended outcome of the lab work is that students become aware of the importance of faulty conditions and learn to design FDD strategies for a real system. To this end, the paper proposes a lab project where students are requested to develop a discrete event dynamic system (DEDS) diagnosis to cope with two faulty conditions in an autonomous mobile robot task. A sample solution is discussed for LEGO Mindstorms NXT robots with LabVIEW. This innovative practice is relevant to higher education engineering courses related to mechatronics, robotics, or DEDS. Results are also given of the application of this strategy as part of a postgraduate course on fault-tolerant mechatronic systems.This work was supported in part by the Spanish CICYT under Project DPI2011-22443

Mecanismos cognitivos para el enriquecimiento semántico del discurso mediante funciones de mapeo

En este trabajo estudiamos ciertos mecanismos lingüístico-cognitivos involucrados en los procesos de enriquecimiento semántico del discurso y del diálogo: dislocación de los perfiles de normalidad y fallo del Principio de Extensionalidad, desautomatización de expresiones y estudio inferencial de sus contenidos, y uso de tropos (morfosintácticos y léxico-semánticos). Igualmente, hemos realizado un análisis de la modificación de los perfiles de normalidad y de las zonas activas, así como de la creación de amalgamas conceptuales en dichos procesosIn this paper we study some linguistic-cognitive mechanisms involved in semantic enrichment processes of discourse and dialogue: dislocation of normality profiles and failure of the Extensionality Principle, disautomatization of expressions and inferential study of its contents, and use of tropes (morpho-syntactic and lexical-semantic tropes). We have also analyzed the modification of normality profiles, active zones, and the creation of conceptual blending in these processe

Hipertensión pulmonar en perros y gatos

En áreas endémicas, la dirofilariosis cardiaca es la causa más frecuentemente descrita de hipertensión pulmonar (HP). Aunque existen características comunes a todas las formas de HP, los hallazgos clínicos y el tratamiento dependerán en gran medida de la afección subyacente. En este trabajo se realiza una revisión del conocimiento actual respecto a la fisiopatología de la enfermedad, así como de las presentaciones clínicas y pautas terapétuicas generales y en función del mecanismo fisiopatológico implicado.

Political credit cycles: the case of the Euro zone

We study the mechanisms through which the adoption of the Euro delayed, rather than advanced, economic reforms in the Euro zone periphery and led to the deterioration of important institutions in these countries. We show that the abandonment of the reform process and the institutional deterioration, in turn, not only reduced their growth prospects but also fed back into financial conditions, prolonging the credit boom and delaying the response to the bubble when the speculative nature of the cycle was already evident. We analyze empirically the interrelation between the financial boom and the reform process in Greece, Spain, Ireland, and Portugal and, by way of contrast, in Germany, a country that did experience a reform process after the creation of the Euro

PCL/POSS Nanocomposites: Effect of POSS Derivative and Preparation Method on Morphology and Properties

The incorporation of polyhedral oligomeric silsesquioxanes (POSS) molecules as nanoparticles into polymers can provide improved physico-chemical properties. The enhancement depends on the extent of dispersion of the nanofiller, which is determined by the compatibility with the polymer that is by the POSS type, and the processing method. In this study, poly(epsilon-caprolactone)/POSS derivatives nanocomposites (PCL/POSS) were obtained via solution-casting and melt compounding. Two amino-derivatives containing different alkyl substituents, and ditelechelic POSS-containing hybrid PCL masterbatch were used as nanofillers. The effect of preparation method, POSS content and type on the morphology, thermal, mechanical, and surface properties of nanocomposites were studied. Morphological analysis evidenced the formation of POSS crystalline aggregates, self-assembled POSS molecules of submicrometer size dispersed in the polymer matrix. The best dispersion was achieved using the ditelechelic POSS-containing hybrid PCL masterbatch, and comparing the two amino-POSS derivatives, the one with longer alkyl chain of substituents exhibited better degree of dispersion independent of preparation method. DSC analysis showed the role of POSS derivatives as nucleating agents for PCL. The incorporation of POSS derivatives into the PCL matrix improved thermal stability. The preparation method, POSS type and content had influence on mechanical properties of nanocomposites. POSS nanoparticles enhanced the surface hydrophobicity of PCL.This research was funded by the Basque Government (SAIOTEK 2012 S-PE12UN006) and the University of the Basque Country (UFI11/56)

Combining unit and specification-based testing for meta-model validation and verification

This is the author’s version of a work that was accepted for publication in Information Systems. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Information Systems, VOL 62, (2016)] DOI 10.1016/j.is.2016.06.008Meta-models play a cornerstone role in Model-Driven Engineering as they are used to define the abstract syntax of modelling languages, and so models and all sorts of model transformations depend on them. However, there are scarce tools and methods supporting their Validation and Verification (V&V), which are essential activities for the proper engineering of meta-models. In order to fill this gap, we propose two complementary meta-model V&V languages. The first one has similar philosophy to the xUnit framework, as it enables the definition of meta-model unit test suites comprising model fragments and assertions on their (in-)correctness. The second one is directed to express and verify expected properties of a meta-model, including domain and design properties, quality criteria and platform-specific requirements. As a proof of concept, we have developed tooling for both languages in the Eclipse platform, and illustrate its use within an example-driven approach for meta-model construction. The expressiveness of our languages is demonstrated by their application to build a library of meta-model quality issues, which has been evaluated over the ATL zoo of meta-models and some OMG specifications. The results show that integrated support for meta-model V&V (as the one we propose here) is urgently needed in meta-modelling environments.This work has been funded by the Spanish Ministry of Economy and Competitivity with project “Flexor” (TIN2014-52129-R), the region of Madrid with project “SICOMORO-CM” (S2013/ICE-3006), and the EU commission with project “MONDO” (FP7- ICT-2013-10, #611125)

PTL: A Model Transformation Language based on Logic Programming

In this paper we present a model transformation language based on logic programming. The language, called PTL (Prolog based Transformation Language), can be considered as a hybrid language in which ATL (Atlas Transformation Language)-style rules are combined with logic rules for defining transformations. ATL-style rules are used to define mappings from source models to target models while logic rules are used as helpers. The implementation of PTL is based on the encoding of the ATL-style rules by Prolog rules. Thus, PTL makes use of Prolog as a transformation engine. We have provided a declarative semantics to PTL and proved the semantics equivalent to the encoded program. We have studied an encoding of OCL (Object Constraint Language) with Prolog goals in order to map ATL to PTL. Thus a subset of PTL can be considered equivalent to a subset of ATL. The proposed language can be also used for model validation, that is, for checking constraints on models and transformations. We have equipped our language with debugging and tracing capabilities which help developers to detect programming errors in PTL rules. Additionally, we have developed an Eclipse plugin for editing PTL programs, as well as for debugging, tracing and validation. Finally, we have evaluated the language with several transformation examples as well as tested the performance with large models